Russian ⇄ English

метод семантических таблиц stresses
AI.	semantic tableaux (формальная разрешающая процедура для формул логики высказываний и логики предикатов, позволяющая синтаксическими средствами решать семантические проблемы формализованных исчислений Alex_Odeychuk)
math.	method of semantic tableaux