automated theorem proving (Q431667)
Jump to navigation
Jump to search
subfield of automated reasoning dealing with proving theorems by computer programs
- automated deduction
- ATP
- theorem proving
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | automated theorem proving |
subfield of automated reasoning dealing with proving theorems by computer programs |
|
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 自動化定理證明