 |
| Subject | Russian | English |
| tech. | опытная формула | experimental formula |
| Makarov. | опытная формула | empirical formula |
| AI. | прогресс в научно-исследовательских и опытно-конструкторских разработках решателей задач выполнимости формул в теориях | advance in SMT solvers (контекстуальный перевод на русс. язык Alex_Odeychuk) |