 |
| English | Russian |
| ATP system | система автоматического доказательства теорем (сокр. от "automated theorem proving system" Alex_Odeychuk) |
| ATP system competition | конкурс систем автоматического доказательства теорем (ATP – сокр. от "automated theorem proving" Alex_Odeychuk) |