(Q431667)
Statements
Identifiers
1 reference
1 reference
Sitelinks
Wikipedia(18 entries)
- azwiki Teoremlərin avtomatik sübutu
- enwiki Automated theorem proving
- eswiki Demostración automática de teoremas
- euwiki Teoremen frogapen automatiko
- fawiki اثبات قضیه خودکار
- frwiki Démonstration automatique de théorèmes
- hywiki Թեորեմների ավտոմատացված ապացուցում
- itwiki Dimostrazione automatica di teoremi
- jawiki 自動定理証明
- kowiki 자동 정리 증명
- plwiki Automatyczne dowodzenie twierdzeń
- ptwiki Prova automática de teoremas
- ruwiki Автоматическое доказательство
- srwiki Automatsko dokazivanje teorema
- thwiki การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
- trwiki Otomatik teorem kanıtlama
- ukwiki Автоматизоване доведення теорем
- zhwiki 自動化定理證明