Back Teoremlərin avtomatik sübutu Azerbaijani Automated theorem proving English Demostración automática de teoremas Spanish Teoremen frogapen automatiko Basque اثبات قضیه خودکار Persian Démonstration automatique de théorèmes French Թեորեմների ավտոմատացված ապացուցում Armenian 自動定理証明 Japanese 자동 정리 증명 Korean Automatyczne dowodzenie twierdzeń Polish
Questa voce o sezione sull'argomento teorie dell'informatica non cita le fonti necessarie o quelle presenti sono insufficienti.
La dimostrazione automatica di teoremi (in inglese Automated theorem proving o ATP) o deduzione automatica, è il sottocampo più sviluppato del ragionamento automatico. L'operazione consiste nella dimostrazione di teoremi matematici da parte di un programma per computer.