| Subject | English | Russian |
| AI. | annual satisfiability modulo theories competition | ежегодный конкурс решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | automatic theorem prover for satisfiability modulo theories | автоматический доказатель теорем о выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | automatic theorem prover for satisfiability modulo theories problems | автоматический доказатель теорем для задач выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | international workshop on satisfiability modulo theories | международный семинар по решению задач выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | satisfiability modulo theories | выполнимость формул в теориях (разрешимость логических формул с учётом лежащих в их основе теорий. Примерами таких теорий являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т. п. Alex_Odeychuk) |
| AI. | satisfiability modulo theories | задача выполнимости формул в теориях (задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми на практике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk) |
| AI. | satisfiability modulo theories competition | конкурс решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | satisfiability modulo theories problem | задача выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | satisfiability modulo theories solver | решатель задач выполнимости формул в теориях (Alex_Odeychuk) |
| AI. | satisfiability modulo theories solving | решение задач выполнимости в теориях (Microsoft Alex_Odeychuk) |
| AI. | workshop on satisfiability modulo theories | семинар по решению задач выполнимости формул в теориях (Alex_Odeychuk) |
