Subject	English	Russian
progr.	elimination of quantifiers	удаление кванторов (ssn)
math.	elimination of quantifiers	элиминация кванторов
math.	method of elimination of quantifiers	метод исключения кванторов
AI.	quantifier elimination	элиминация кванторов (Microsoft Alex_Odeychuk)
AI.	quantifier-elimination procedure	процедура элиминации кванторов (Microsoft Alex_Odeychuk)
math.	quantifiers elimination theorem	теорема об элиминации кванторов