Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Resolution_(logic)> }
Showing triples 1 to 96 of
96
with 100 triples per page.
- John_Alan_Robinson knownFor Resolution_(logic).
- First-order wikiPageDisambiguates Resolution_(logic).
- Resolution wikiPageDisambiguates Resolution_(logic).
- Resolvent wikiPageDisambiguates Resolution_(logic).
- Binary_resolution wikiPageRedirects Resolution_(logic).
- First-order_resolution wikiPageRedirects Resolution_(logic).
- First_order_resolution wikiPageRedirects Resolution_(logic).
- Logical_resolution wikiPageRedirects Resolution_(logic).
- Method_of_resolution wikiPageRedirects Resolution_(logic).
- Non-clausal_resolution wikiPageRedirects Resolution_(logic).
- Resolution_principle wikiPageRedirects Resolution_(logic).
- Resolution_prover wikiPageRedirects Resolution_(logic).
- Resolvent_(logic) wikiPageRedirects Resolution_(logic).
- Robinson%60s_resolution_principle wikiPageRedirects Resolution_(logic).
- Robinsons_Resolution_Algorithm wikiPageRedirects Resolution_(logic).
- 2-satisfiability wikiPageWikiLink Resolution_(logic).
- Alexander_Razborov wikiPageWikiLink Resolution_(logic).
- Automated_theorem_proving wikiPageWikiLink Resolution_(logic).
- Binary_resolution wikiPageWikiLink Resolution_(logic).
- Boolean_satisfiability_problem wikiPageWikiLink Resolution_(logic).
- Commercial_Court_(Victoria) wikiPageWikiLink Resolution_(logic).
- Completeness_(logic) wikiPageWikiLink Resolution_(logic).
- Condensed_detachment wikiPageWikiLink Resolution_(logic).
- Congruence_lattice_problem wikiPageWikiLink Resolution_(logic).
- Conjunctive_normal_form wikiPageWikiLink Resolution_(logic).
- Consensus_theorem wikiPageWikiLink Resolution_(logic).
- Cut-elimination_theorem wikiPageWikiLink Resolution_(logic).
- DPLL_algorithm wikiPageWikiLink Resolution_(logic).
- Davis–Putnam_algorithm wikiPageWikiLink Resolution_(logic).
- Drinker_paradox wikiPageWikiLink Resolution_(logic).
- Evert_Willem_Beth wikiPageWikiLink Resolution_(logic).
- First-order wikiPageWikiLink Resolution_(logic).
- First-order_logic wikiPageWikiLink Resolution_(logic).
- First-order_resolution wikiPageWikiLink Resolution_(logic).
- First_order_resolution wikiPageWikiLink Resolution_(logic).
- Frege_system wikiPageWikiLink Resolution_(logic).
- History_of_artificial_intelligence wikiPageWikiLink Resolution_(logic).
- Horn_clause wikiPageWikiLink Resolution_(logic).
- Index_of_logic_articles wikiPageWikiLink Resolution_(logic).
- Index_of_philosophy_articles_(R–Z) wikiPageWikiLink Resolution_(logic).
- Inverse_resolution wikiPageWikiLink Resolution_(logic).
- Isabelle_(proof_assistant) wikiPageWikiLink Resolution_(logic).
- John_Alan_Robinson wikiPageWikiLink Resolution_(logic).
- List_of_important_publications_in_theoretical_computer_science wikiPageWikiLink Resolution_(logic).
- List_of_mathematical_logic_topics wikiPageWikiLink Resolution_(logic).
- List_of_programming_languages_by_type wikiPageWikiLink Resolution_(logic).
- Literal_(mathematical_logic) wikiPageWikiLink Resolution_(logic).
- Logical_resolution wikiPageWikiLink Resolution_(logic).
- Method_of_analytic_tableaux wikiPageWikiLink Resolution_(logic).
- Method_of_resolution wikiPageWikiLink Resolution_(logic).
- Model_elimination wikiPageWikiLink Resolution_(logic).
- Mutilated_chessboard_problem wikiPageWikiLink Resolution_(logic).
- Narrowing_of_algebraic_value_sets wikiPageWikiLink Resolution_(logic).
- Non-clausal_resolution wikiPageWikiLink Resolution_(logic).
- Occurs_check wikiPageWikiLink Resolution_(logic).
- Outline_of_logic wikiPageWikiLink Resolution_(logic).
- Planner_(programming_language) wikiPageWikiLink Resolution_(logic).
- Program_synthesis wikiPageWikiLink Resolution_(logic).
- Prolog wikiPageWikiLink Resolution_(logic).
- Prolog_syntax_and_semantics wikiPageWikiLink Resolution_(logic).
- Proof_complexity wikiPageWikiLink Resolution_(logic).
- Proof_compression wikiPageWikiLink Resolution_(logic).
- Propositional_proof_system wikiPageWikiLink Resolution_(logic).
- RecycleUnits wikiPageWikiLink Resolution_(logic).
- Resolution wikiPageWikiLink Resolution_(logic).
- Resolution_principle wikiPageWikiLink Resolution_(logic).
- Resolution_proof_compression_by_splitting wikiPageWikiLink Resolution_(logic).
- Resolution_proof_reduction_via_local_context_rewriting wikiPageWikiLink Resolution_(logic).
- Resolution_prover wikiPageWikiLink Resolution_(logic).
- Resolvent wikiPageWikiLink Resolution_(logic).
- Resolvent_(logic) wikiPageWikiLink Resolution_(logic).
- Robinson%60s_resolution_principle wikiPageWikiLink Resolution_(logic).
- Robinson_algorithm wikiPageWikiLink Resolution_(logic).
- Robinsons_Resolution_Algorithm wikiPageWikiLink Resolution_(logic).
- SLD_resolution wikiPageWikiLink Resolution_(logic).
- SNARK_(theorem_prover) wikiPageWikiLink Resolution_(logic).
- Sequent_calculus wikiPageWikiLink Resolution_(logic).
- Skolem_normal_form wikiPageWikiLink Resolution_(logic).
- Structural_rule wikiPageWikiLink Resolution_(logic).
- Superposition_calculus wikiPageWikiLink Resolution_(logic).
- Toniann_Pitassi wikiPageWikiLink Resolution_(logic).
- Unification_(computer_science) wikiPageWikiLink Resolution_(logic).
- Unit_propagation wikiPageWikiLink Resolution_(logic).
- Vampire_(theorem_prover) wikiPageWikiLink Resolution_(logic).
- Václav_Chvátal wikiPageWikiLink Resolution_(logic).
- Wolfgang_Haken wikiPageWikiLink Resolution_(logic).
- XSB wikiPageWikiLink Resolution_(logic).
- viewcontent.cgi?article=1005&context=eecs_techreports isCitedBy Resolution_(logic).
- logic.html isCitedBy Resolution_(logic).
- books?vid=ISBN0-12-170350-9 isCitedBy Resolution_(logic).
- bf02737109 isCitedBy Resolution_(logic).
- 0004-3702(82)90011-x isCitedBy Resolution_(logic).
- 321250.321253 isCitedBy Resolution_(logic).
- 357084.357090 isCitedBy Resolution_(logic).
- John_Alan_Robinson knownFor Resolution_(logic).
- Resolution_(logic) primaryTopic Resolution_(logic).