About: Automated theorem proving

Property	Value
rdf:type	skos:Concept
rdfs:label	Automated theorem proving
skos:broader	dbpedia:Category:Formal_methods dbpedia:Category:Logic_programming dbpedia:Category:Proofs dbpedia:Category:Logic_in_computer_science dbpedia:Category:Mathematical_logic
skos:prefLabel	Automated theorem proving
is skos:broader of	dbpedia:Category:Theorem_proving_software_systems
is skos:subject of	dbpedia:Automated_theorem_proving dbpedia:Occurs_check dbpedia:Resolution_(logic) dbpedia:DPLL_algorithm dbpedia:Interactive_theorem_proving dbpedia:IsaPlanner dbpedia:Model_elimination dbpedia:Computer-assisted_proof dbpedia:Automated_reasoning dbpedia:Chaff_algorithm dbpedia:Hilbert_system dbpedia:Method_of_analytic_tableaux dbpedia:Sequent_calculus dbpedia:Proof_complexity dbpedia:Davis–Putnam_algorithm dbpedia:Harald_Ganzinger dbpedia:Beaver_bit-vector_decision_procedure dbpedia:Unification dbpedia:Delayed_clause_construction dbpedia:Semi-linear_resolution dbpedia:Unit_propagation dbpedia:Rippling