Terms for subject Artificial intelligence containing проверьте

Russian	English
проверить выполнимость	check satisfiability (напр., формул в теориях Alex_Odeychuk)
проверить выполнимость логических формул	check satisfiability of logical formulas (Alex_Odeychuk)