| Subject | English | Russian |
| AI. | automated theorem proving system | система автоматического доказательства теорем (Alex_Odeychuk) |
| AI. | theorem proving language | язык программирования на основе автоматического доказательства теорем (Alex_Odeychuk) |
| AI. | theorem proving methodology | методология автоматического доказательства теорем (автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта Alex_Odeychuk) |
| IT | theorem proving program | программа для построения доказательств |
| IT | theorem proving programme | программа для построения доказательств |