
satisfiability abbr.
gen.	выполнимость
data.prot.	выполнимость требований
el.	выполнимость всех условий; возможность выполнения всех условий
energ.ind.	выполнимость
Makarov.	возможность удовлетворить
math. logic	применимость


modulo abbr.
comp., MS	остаток от деления
el.	арифметическая операция вычисления остатка
IT	коэффициент; показатель степени; остаток целочисленного деления; остаток; модуль
Makarov.	двоичный счётчик по модулю


theory abbr.
gen.	теория; предположение
AI.	класс; логическая программа; тип
chem.	теория
patents.	теоретические знания
polit.	важные идеи
progr.	теоретические сведения
R&D.	теоретическое обеспечение