| Subject | English | Russian |
| AI. | automatic theorem prover for SMT problems | автоматический доказатель теорем для задач выполнимости формул в теориях |
| AI. | SMT benchmark problem | эталонная задача для решателя задач выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | SMT problem | задача выполнимости формул в теориях (сокр. от "satisfiability modulo theories problem" Alex_Odeychuk) |