Automated theorem proving
[az] Teoremlərin avtomatik sübutu
[ca] Demostració automàtica de teoremes
[es] Demostración automática de teoremas
[eu] Teoremen frogapen automatiko
[fa] اثبات قضیه خودکار
[fr] Démonstration automatique de théorèmes
[hy] Թեորեմների ավտոմատացված ապացուցում
[it] Dimostrazione automatica di teoremi
[ja] 自動定理証明
[ko] 자동 정리 증명