About: Automated theorem proving

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org:8891

Property	Value
dbo:wikiPageID	8387931 (xsd:integer)
dbo:wikiPageRevisionID	839235357 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Automated theorem proving (en)
skos:broader	dbc:Computational_mathematics dbc:Mathematical_proofs dbc:Formal_methods dbc:Logic_in_computer_science dbc:Logic_programming dbc:Mathematical_logic dbc:Automated_reasoning
skos:prefLabel	Automated theorem proving (en)
prov:wasDerivedFrom	wikipedia-en:Category:Automated_theorem_proving?oldid=839235357&ns=14
owl:sameAs	dbc:Automated_theorem_proving
is dbo:wikiPageWikiLink of	dbr:Proof_(truth) dbr:Proof_assistant dbr:Proof_complexity dbr:Anti-unification_(computer_science) dbr:Resolution_(logic) dbr:DPLL(T) dbr:DPLL_algorithm dbr:Unification_(computer_science) dbr:Davis–Putnam_algorithm dbr:Interactive_Theorem_Proving_(conference) dbr:Nuprl dbr:Propositional_proof_system dbr:Reasoning_system dbr:Computer-assisted_proof dbr:Geometry_Expert dbr:LowerUnits dbr:System_on_TPTP dbr:Geoff_Sutcliffe dbr:Concolic_testing dbr:Substitution_(logic) dbr:Thousands_of_Problems_for_Theorem_Provers dbr:Occurs_check dbr:Automated_theorem_proving dbr:IsaPlanner dbr:Harald_Ganzinger dbr:Hilbert_system dbr:Model_elimination dbr:Automated_reasoning dbr:Burrows–Abadi–Needham_logic dbr:Method_of_analytic_tableaux dbr:Chaff_algorithm dbr:Sequent_calculus dbr:F*_(programming_language) dbr:Unit_propagation dbr:Non-surveyable_proof dbr:WalkSAT dbr:Rippling
is dcterms:subject of	dbr:Proof_(truth) dbr:Proof_assistant dbr:Proof_complexity dbr:Anti-unification_(computer_science) dbr:Resolution_(logic) dbr:DPLL(T) dbr:DPLL_algorithm dbr:Unification_(computer_science) dbr:Davis–Putnam_algorithm dbr:Interactive_Theorem_Proving_(conference) dbr:Nuprl dbr:Propositional_proof_system dbr:Reasoning_system dbr:Computer-assisted_proof dbr:Geometry_Expert dbr:LowerUnits dbr:System_on_TPTP dbr:Geoff_Sutcliffe dbr:Concolic_testing dbr:Substitution_(logic) dbr:Thousands_of_Problems_for_Theorem_Provers dbr:Occurs_check dbr:Automated_theorem_proving dbr:IsaPlanner dbr:Harald_Ganzinger dbr:Hilbert_system dbr:Model_elimination dbr:Automated_reasoning dbr:Burrows–Abadi–Needham_logic dbr:Method_of_analytic_tableaux dbr:Chaff_algorithm dbr:Sequent_calculus dbr:F*_(programming_language) dbr:Unit_propagation dbr:Non-surveyable_proof dbr:WalkSAT dbr:Rippling
is skos:broader of	dbc:Unification_(computer_science) dbc:Satisfiability_problems dbc:Theorem_proving_software_systems
is skos:related of	dbc:Mathematical_proofs dbc:Computer-assisted_proofs