Subject	English	Russian
AI.	check satisfiability of logical formulas	проверить выполнимость логических формул (Alex_Odeychuk)
AI.	check satisfiability of logical formulas	определить выполнимость логических формул (Alex_Odeychuk)
AI.	satisfiability of logical formulas	выполнимость логических формул (Microsoft Alex_Odeychuk)
AI.	satisfiability of logical formulas over one or more theories	выполнимость логических формул в одной и более теориях (Alex_Odeychuk)
AI.	satisfiability of logical formulas with quantifiers	выполнимость логических формул, содержащих кванторы (Microsoft Alex_Odeychuk)