Terms containing quantifier

Subject	English	Russian
math.	existential quantifier symbol	символ квантора существования
math.	quantifier algebra	кванторная алгебра
ling.	quantifier binding	связанность по квантору
math.	quantifier binding a variable	квантор, связывающий переменную
AI.	quantifier elimination	элиминация кванторов (Microsoft Alex_Odeychuk)
AI.	quantifier-elimination procedure	процедура элиминации кванторов (Microsoft Alex_Odeychuk)
ling.	quantifier-floating	перемещение квантора
math.	quantifier form	кванторная форма
math.	quantifier-free	бескванторный
math.	quantifier-free calculus	бескванторное исчисление
math.	quantifier-free formula	бескванторная формула
math.	quantifier-free inference	бескванторный вывод
math.	quantifier-free sentence	бескванторное высказывание
AI.	quantifier-free uninterpreted function	бескванторная неинтерпретируемая функция (Alex_Odeychuk)
AI.	quantifier instantiation	инстанцирование квантора (Microsoft Alex_Odeychuk)
AI.	quantifier instantiation procedure	процедура инстанцирования квантора (Microsoft Alex_Odeychuk)
ling.	quantifier-lowering	понижение квантора
ling.	quantifier-lowering	опущение квантора
logic	quantifier prefixes	кванторная приставка (IF-logic Unbewusst)
ling.	quantifier-raising	подъём квантора
ling.	quantifier-raising	повышение квантора
math.	quantifier rule	правило квантификации
math.	universal quantifier symbol	символ квантора универсальности