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

satisfiability of logical formulas with quantifiers מתח
.בינה	выполнимость логических формул, содержащих кванторы (Microsoft Alex_Odeychuk)