 |
| Subject | Russian | English |
| AI. | интерактивная система автоматического доказательства теорем | interactive proof checker (корпорации AdaCore Alex_Odeychuk) |
| AI. | интерактивное доказательство теорем | ITP (сокр. от "interactive theorem proving" Alex_Odeychuk) |
| AI. | интерактивное доказательство теорем | interactive theorem proving (Alex_Odeychuk) |