Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Automated_theorem_proving> ?p ?o. }
Showing items 1 to 61 of
61
with 100 items per page.
- Automated_theorem_proving abstract "Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving a limited set of mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.".
- Automated_theorem_proving thumbnail ANL-E_aerial_22037k4.jpg?width=300.
- Automated_theorem_proving wikiPageExternalLink fitting.
- Automated_theorem_proving wikiPageExternalLink genesereth.
- Automated_theorem_proving wikiPageExternalLink ALLIGATOR.
- Automated_theorem_proving wikiPageExternalLink sad.en.html.
- Automated_theorem_proving wikiPageExternalLink FIG.html.
- Automated_theorem_proving wikiPageExternalLink Home-page.htm.
- Automated_theorem_proving wikiPageExternalLink ~mccune.
- Automated_theorem_proving wikiPageExternalLink ~wos.
- Automated_theorem_proving wikiPageExternalLink logic.html.
- Automated_theorem_proving wikiPageExternalLink ~dwl.
- Automated_theorem_proving wikiPageExternalLink ~hoderk.
- Automated_theorem_proving wikiPageExternalLink ~veroff.
- Automated_theorem_proving wikiPageExternalLink simplify-hp-release.txt.
- Automated_theorem_proving wikiPageExternalLink www.fitelson.org.
- Automated_theorem_proving wikiPageExternalLink riazanov.
- Automated_theorem_proving wikiPageExternalLink goedelmachine.html.
- Automated_theorem_proving wikiPageExternalLink www.leoprover.org.
- Automated_theorem_proving wikiPageExternalLink ~comon.
- Automated_theorem_proving wikiPageExternalLink www.manchester.ac.uk.
- Automated_theorem_proving wikiPageExternalLink TheoremChecker.jar.
- Automated_theorem_proving wikiPageExternalLink www.metamath.org.
- Automated_theorem_proving wikiPageExternalLink princess.shtml.
- Automated_theorem_proving wikiPageExternalLink KeYmaera.html.
- Automated_theorem_proving wikiPageExternalLink www.voronkov.com.
- Automated_theorem_proving wikiPageID "2546".
- Automated_theorem_proving wikiPageRevisionID "606182672".
- Automated_theorem_proving hasPhotoCollection Automated_theorem_proving.
- Automated_theorem_proving subject Category:Automated_theorem_proving.
- Automated_theorem_proving subject Category:Formal_methods.
- Automated_theorem_proving type Ability105616246.
- Automated_theorem_proving type Abstraction100002137.
- Automated_theorem_proving type Cognition100023271.
- Automated_theorem_proving type FormalMethods.
- Automated_theorem_proving type Know-how105616786.
- Automated_theorem_proving type Method105660268.
- Automated_theorem_proving type PsychologicalFeature100023100.
- Automated_theorem_proving comment "Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving a limited set of mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.".
- Automated_theorem_proving label "Automated theorem proving".
- Automated_theorem_proving label "Automatyczne dowodzenie twierdzeń".
- Automated_theorem_proving label "Demostración automática de teoremas".
- Automated_theorem_proving label "Dimostrazione automatica di teoremi".
- Automated_theorem_proving label "Démonstration automatique de théorèmes".
- Automated_theorem_proving label "Prova automática de teoremas".
- Automated_theorem_proving label "Автоматическое доказательство".
- Automated_theorem_proving label "定理机器证明".
- Automated_theorem_proving label "自動定理証明".
- Automated_theorem_proving sameAs Demostración_automática_de_teoremas.
- Automated_theorem_proving sameAs Démonstration_automatique_de_théorèmes.
- Automated_theorem_proving sameAs Dimostrazione_automatica_di_teoremi.
- Automated_theorem_proving sameAs 自動定理証明.
- Automated_theorem_proving sameAs Automatyczne_dowodzenie_twierdzeń.
- Automated_theorem_proving sameAs Prova_automática_de_teoremas.
- Automated_theorem_proving sameAs m.0_8m.
- Automated_theorem_proving sameAs Q431667.
- Automated_theorem_proving sameAs Q431667.
- Automated_theorem_proving sameAs Automated_theorem_proving.
- Automated_theorem_proving wasDerivedFrom Automated_theorem_proving?oldid=606182672.
- Automated_theorem_proving depiction ANL-E_aerial_22037k4.jpg.
- Automated_theorem_proving isPrimaryTopicOf Automated_theorem_proving.
