英语 ⇄ 俄语 +

satisfiability of logical formulas with quantifiers 强调
人工智能	выполнимость логических формул, содержащих кванторы (Microsoft Alex_Odeychuk)