Subject	English	Russian
logic	check for logical consistency	проверять на логическую непротиворечивость (techcrunch.com Alex_Odeychuk)
intell.	check for logical inconsistency	проверить на логический излом (Alex_Odeychuk)
AI.	check satisfiability of logical formulas	проверить выполнимость логических формул (Alex_Odeychuk)
AI.	check satisfiability of logical formulas	определить выполнимость логических формул (Alex_Odeychuk)
IT	logical checking	логический контроль