Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Automated_theorem_proving> . }
Showing items 1 to 37 of
37
with 100 items per page.
- Anti-unification_(computer_science) subject Category:Automated_theorem_proving.
- Automated_reasoning subject Category:Automated_theorem_proving.
- Automated_theorem_proving subject Category:Automated_theorem_proving.
- Burrows–Abadi–Needham_logic subject Category:Automated_theorem_proving.
- Chaff_algorithm subject Category:Automated_theorem_proving.
- Computer-assisted_proof subject Category:Automated_theorem_proving.
- Concolic_testing subject Category:Automated_theorem_proving.
- DPLL_algorithm subject Category:Automated_theorem_proving.
- Davis–Putnam_algorithm subject Category:Automated_theorem_proving.
- Delayed_clause_construction subject Category:Automated_theorem_proving.
- Geometry_Expert subject Category:Automated_theorem_proving.
- Harald_Ganzinger subject Category:Automated_theorem_proving.
- Hilbert_system subject Category:Automated_theorem_proving.
- Interactive_Theorem_Proving_(conference) subject Category:Automated_theorem_proving.
- IsaPlanner subject Category:Automated_theorem_proving.
- LowerUnits subject Category:Automated_theorem_proving.
- Mathematics_Mechanization_and_Automated_Reasoning_Platform subject Category:Automated_theorem_proving.
- Method_of_analytic_tableaux subject Category:Automated_theorem_proving.
- Model_elimination subject Category:Automated_theorem_proving.
- Occurs_check subject Category:Automated_theorem_proving.
- Proof_(truth) subject Category:Automated_theorem_proving.
- Proof_assistant subject Category:Automated_theorem_proving.
- Proof_complexity subject Category:Automated_theorem_proving.
- Propositional_proof_system subject Category:Automated_theorem_proving.
- Reasoning_system subject Category:Automated_theorem_proving.
- Resolution_(logic) subject Category:Automated_theorem_proving.
- Rippling subject Category:Automated_theorem_proving.
- Semi-linear_resolution subject Category:Automated_theorem_proving.
- Sequent_calculus subject Category:Automated_theorem_proving.
- Substitution_(logic) subject Category:Automated_theorem_proving.
- System_on_TPTP subject Category:Automated_theorem_proving.
- Unification_(computer_science) subject Category:Automated_theorem_proving.
- Unit_propagation subject Category:Automated_theorem_proving.
- Category:Satisfiability_problems broader Category:Automated_theorem_proving.
- Category:Theorem_proving_software_systems broader Category:Automated_theorem_proving.
- Category:Unification_(computer_science) broader Category:Automated_theorem_proving.
- Category:Mathematical_proofs related Category:Automated_theorem_proving.