automated theorem proving (Q431667)
subfield of automated reasoning dealing with proving theorems by computer programs
- automated deduction
- ATP
- theorem proving
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | automated theorem proving |
subfield of automated reasoning dealing with proving theorems by computer programs |
|
Statements
Identifiers
Automatic theorem proving (English)
הוכחת משפטים אוטומטית (מתמטיקה) (Hebrew)
1 reference
1 reference
Sitelinks
Wikipedia(20 entries)
- azwiki Teoremlərin avtomatik sübutu
- cawiki Demostració automàtica de teoremes
- 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 Թեորեմների ավտոմատացված ապացուցում
- idwiki Pembuktian teorema otomatis
- 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 自動化定理證明
