Automated theorem proving
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.
academic discipline
known for
notableIdea
Wikipage disambiguates
Applications of automated theorem provingAutomated deductionAutomated proofAutomated proverAutomated theorem proverAutomated theorem proversAutomatic proof systemAutomatic theorem proverAutomatic theorem provingAutomating theorem provingBenchmarks for automated theorem proversBenchmarks for theorem proversComparison of automated theorem proversComputer generated proofFirst-order theorem proversFormalized theorem provingHistory of automated theorem provingList of automated theorem proversList of theorem proversProof automationTheorem-proverTheorem-proving systemTheorem-proving systemsTheorem proving
Wikipage redirect
ACL2AI-completeATPAlan BundyAlgebraic normal formAlphabet of human thoughtAnatol SlissenkoAndrei VoronkovApplications of artificial intelligenceApplications of automated theorem provingAssociation for Automated ReasoningAttempto Controlled EnglishAutomated MathematicianAutomated deductionAutomated proofAutomated proverAutomated reasoningAutomated theorem proverAutomated theorem proversAutomatic proof systemAutomatic theorem proverAutomatic theorem provingAutomating theorem provingBackward chainingBackward inductionBenchmarks for automated theorem proversBenchmarks for theorem proversBertrand_RussellBill SchelterBoolean algebra (structure)Boolean satisfiability problemBranden FitelsonBrute-force searchByron Cook (computer scientist)CADE ATP System CompetitionCARINECantor's theoremCarew Arthur MeredithChristoph Walther
Link from a Wikipage to another Wikipage
known for
Automated theorem proving
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.
has abstract
Automated theorem proving (als ...... velopment of computer science.
@en
Automatyczne dowodzenie twierd ...... gebry Robbinsa są boolowskie".
@pl
La demostración automática de ...... diante programas de ordenador.
@es
La dimostrazione automatica di ...... di un programma per computer.
@it
La démonstration automatique d ...... sans l'aide de l'utilisateur.
@fr
Prova automática de teoremas ( ...... raciocínio automatizado (RA).
@pt
Teoremen frogapen automatikoa ...... koak frogatzeaz arduratzen da.
@eu
Автоматическое доказательство ...... ли его для этого подготовить).
@ru
Автоматичне доведення (англ. A ...... о його для цього підготувати).
@uk
自動化定理證明(Automated theorem prov ...... 论出一个定理在此系统下是正确的,还是不可证明的,或者错误的。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,024,380,856
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
comment
Automated theorem proving (als ...... velopment of computer science.
@en
Automatyczne dowodzenie twierd ...... gebry Robbinsa są boolowskie".
@pl
La demostración automática de ...... diante programas de ordenador.
@es
La dimostrazione automatica di ...... di un programma per computer.
@it
La démonstration automatique d ...... sans l'aide de l'utilisateur.
@fr
Prova automática de teoremas ( ...... raciocínio automatizado (RA).
@pt
Teoremen frogapen automatikoa ...... koak frogatzeaz arduratzen da.
@eu
Автоматическое доказательство ...... казываний и логике предикатов.
@ru
Автоматичне доведення (англ. A ...... о його для цього підготувати).
@uk
自動化定理證明(Automated theorem prov ...... 论出一个定理在此系统下是正确的,还是不可证明的,或者错误的。
@zh
label
Automated theorem proving
@en
Automatyczne dowodzenie twierdzeń
@pl
Demostración automática de teoremas
@es
Dimostrazione automatica di teoremi
@it
Démonstration automatique de théorèmes
@fr
Prova automática de teoremas
@pt
Teoremen frogapen automatiko
@eu
Автоматизоване доведення теорем
@uk
Автоматическое доказательство
@ru
自動化定理證明
@zh