אנגלית ⇄ רוסית +

quantifier-elimination procedure מתח
.בינה	процедура элиминации кванторов (Microsoft Alex_Odeychuk)