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