Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Automated_theorem_proving> ?p ?o }
- 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 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 ref=sr_1_1?ie=UTF8&qid=1431851255&sr=8-1&keywords=an+introduction+to+anna+programming+with+specifications.
- Automated_theorem_proving wikiPageExternalLink logic.html.
- 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 david-luckham.
- 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 Theorem%20Checker.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 wikiPageLength "28738".
- Automated_theorem_proving wikiPageOutDegree "230".
- Automated_theorem_proving wikiPageRevisionID "682179200".
- Automated_theorem_proving wikiPageWikiLink ACL2.
- Automated_theorem_proving wikiPageWikiLink AMD.
- Automated_theorem_proving wikiPageWikiLink Academic_Press.
- Automated_theorem_proving wikiPageWikiLink Acumen_RuleManager.
- Automated_theorem_proving wikiPageWikiLink Advanced_Micro_Devices.
- Automated_theorem_proving wikiPageWikiLink Alan_Bundy.
- Automated_theorem_proving wikiPageWikiLink Alan_Turing.
- Automated_theorem_proving wikiPageWikiLink Alfred_North_Whitehead.
- Automated_theorem_proving wikiPageWikiLink Allen_Newell.
- Automated_theorem_proving wikiPageWikiLink Alonzo_Church.
- Automated_theorem_proving wikiPageWikiLink Alt-Ergo.
- Automated_theorem_proving wikiPageWikiLink Argonne_National_Laboratory.
- Automated_theorem_proving wikiPageWikiLink Aristotelian_logic.
- Automated_theorem_proving wikiPageWikiLink Artificial_intelligence.
- Automated_theorem_proving wikiPageWikiLink Automated_proof_checking.
- Automated_theorem_proving wikiPageWikiLink Automated_reasoning.
- Automated_theorem_proving wikiPageWikiLink Automath.
- Automated_theorem_proving wikiPageWikiLink Begriffsschrift.
- Automated_theorem_proving wikiPageWikiLink Bertrand_Russell.
- Automated_theorem_proving wikiPageWikiLink Binary_decision_diagram.
- Automated_theorem_proving wikiPageWikiLink CADE_ATP_System_Competition.
- Automated_theorem_proving wikiPageWikiLink CARINE.
- Automated_theorem_proving wikiPageWikiLink CNRS.
- Automated_theorem_proving wikiPageWikiLink CVC_(theorem_prover).
- Automated_theorem_proving wikiPageWikiLink C_date_and_time_functions.
- Automated_theorem_proving wikiPageWikiLink Category:Automated_theorem_proving.
- Automated_theorem_proving wikiPageWikiLink Category:Formal_methods.
- Automated_theorem_proving wikiPageWikiLink Category:Theorem_proving_software_systems.
- Automated_theorem_proving wikiPageWikiLink Centre_national_de_la_recherche_scientifique.
- Automated_theorem_proving wikiPageWikiLink Chalmers_University_of_Technology.
- Automated_theorem_proving wikiPageWikiLink Christoph_Weidenbach.
- Automated_theorem_proving wikiPageWikiLink Cliff_Shaw.
- Automated_theorem_proving wikiPageWikiLink Co-NP-complete.
- Automated_theorem_proving wikiPageWikiLink Completeness_(logic).
- Automated_theorem_proving wikiPageWikiLink Computability.
- Automated_theorem_proving wikiPageWikiLink Computer-aided_proof.
- Automated_theorem_proving wikiPageWikiLink Computer-assisted_proof.
- Automated_theorem_proving wikiPageWikiLink Computer_algebra_system.
- Automated_theorem_proving wikiPageWikiLink Computer_program.
- Automated_theorem_proving wikiPageWikiLink Connect_Four.
- Automated_theorem_proving wikiPageWikiLink Cyc.
- Automated_theorem_proving wikiPageWikiLink DPLL_algorithm.
- Automated_theorem_proving wikiPageWikiLink David_Plaisted.
- Automated_theorem_proving wikiPageWikiLink Decidability_(logic).
- Automated_theorem_proving wikiPageWikiLink Disjunctive_normal_form.
- Automated_theorem_proving wikiPageWikiLink Donald_E._Walker_Distinguished_Service_Award.
- Automated_theorem_proving wikiPageWikiLink ENS_Cachan.
- Automated_theorem_proving wikiPageWikiLink EQP.
- Automated_theorem_proving wikiPageWikiLink E_theorem_prover.
- Automated_theorem_proving wikiPageWikiLink Elsevier.
- Automated_theorem_proving wikiPageWikiLink First-order_logic.
- Automated_theorem_proving wikiPageWikiLink First-order_resolution.
- Automated_theorem_proving wikiPageWikiLink Floating-point_unit.
- Automated_theorem_proving wikiPageWikiLink Floating_point_unit.
- Automated_theorem_proving wikiPageWikiLink Formal_verification.
- Automated_theorem_proving wikiPageWikiLink Four_color_theorem.
- Automated_theorem_proving wikiPageWikiLink GNU_General_Public_License.
- Automated_theorem_proving wikiPageWikiLink GPL.
- Automated_theorem_proving wikiPageWikiLink Gandalf_(theorem_prover).
- Automated_theorem_proving wikiPageWikiLink General_Problem_Solver.
- Automated_theorem_proving wikiPageWikiLink Geoff_Sutcliffe.
- Automated_theorem_proving wikiPageWikiLink Gottlob_Frege.
- Automated_theorem_proving wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
- Automated_theorem_proving wikiPageWikiLink Gxc3xb6dels_incompleteness_theorem.
- Automated_theorem_proving wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Automated_theorem_proving wikiPageWikiLink Gérard_Huet.
- Automated_theorem_proving wikiPageWikiLink Gödel-machines.
- Automated_theorem_proving wikiPageWikiLink Harald_Ganzinger.