Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Resolution_(logic)> ?p ?o }
- Resolution_(logic) abstract "In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic. In other words, iteratively applying the resolution rule in a suitable way allows for telling whether a propositional formula is satisfiable and for proving that a first-order formula is unsatisfiable. Attempting to prove a satisfiable first-order formula as unsatisfiable may result in a nonterminating computation; this problem doesn't occur in propositional logic.The resolution rule can be traced back to Davis and Putnam (1960); however, their algorithm required to try all ground instances of the given formula. This source of combinatorial explosion was eliminated in 1965 by John Alan Robinson's syntactical unification algorithm, which allowed one to instantiate the formula during the proof "on demand" just as far as needed to keep refutation completeness.The clause produced by a resolution rule is sometimes called a resolvent.".
- Resolution_(logic) wikiPageExternalLink viewcontent.cgi?article=1005&context=eecs_techreports.
- Resolution_(logic) wikiPageExternalLink logic.html.
- Resolution_(logic) wikiPageExternalLink 725.pdf.
- Resolution_(logic) wikiPageExternalLink ?id=2297405&type=pdf.
- Resolution_(logic) wikiPageID "2724082".
- Resolution_(logic) wikiPageLength "15705".
- Resolution_(logic) wikiPageOutDegree "65".
- Resolution_(logic) wikiPageRevisionID "676957886".
- Resolution_(logic) wikiPageWikiLink ACM_Transactions_on_Programming_Languages_and_Systems.
- Resolution_(logic) wikiPageWikiLink Acta_Informatica.
- Resolution_(logic) wikiPageWikiLink Artificial_Intelligence_(journal).
- Resolution_(logic) wikiPageWikiLink Automated_theorem_proving.
- Resolution_(logic) wikiPageWikiLink CARINE.
- Resolution_(logic) wikiPageWikiLink Category:1965_introductions.
- Resolution_(logic) wikiPageWikiLink Category:Automated_theorem_proving.
- Resolution_(logic) wikiPageWikiLink Category:Rules_of_inference.
- Resolution_(logic) wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Resolution_(logic) wikiPageWikiLink Clausal_normal_form.
- Resolution_(logic) wikiPageWikiLink Clause_(logic).
- Resolution_(logic) wikiPageWikiLink Completeness_(logic).
- Resolution_(logic) wikiPageWikiLink Condensed_detachment.
- Resolution_(logic) wikiPageWikiLink Conjunctive_normal_form.
- Resolution_(logic) wikiPageWikiLink Consensus_theorem.
- Resolution_(logic) wikiPageWikiLink DPLL_algorithm.
- Resolution_(logic) wikiPageWikiLink Davis-Putnam_algorithm.
- Resolution_(logic) wikiPageWikiLink Davis–Putnam_algorithm.
- Resolution_(logic) wikiPageWikiLink Existential_quantification.
- Resolution_(logic) wikiPageWikiLink First-order_logic.
- Resolution_(logic) wikiPageWikiLink Gandalf_(theorem_prover).
- Resolution_(logic) wikiPageWikiLink Ground_instance.
- Resolution_(logic) wikiPageWikiLink Harper_&_Row.
- Resolution_(logic) wikiPageWikiLink Harper_(publisher).
- Resolution_(logic) wikiPageWikiLink Inductive_logic_programming.
- Resolution_(logic) wikiPageWikiLink Inference.
- Resolution_(logic) wikiPageWikiLink Inverse_resolution.
- Resolution_(logic) wikiPageWikiLink John_Alan_Robinson.
- Resolution_(logic) wikiPageWikiLink Journal_of_the_ACM.
- Resolution_(logic) wikiPageWikiLink Literal_(mathematical_logic).
- Resolution_(logic) wikiPageWikiLink Logic_programming.
- Resolution_(logic) wikiPageWikiLink Logical_consequence.
- Resolution_(logic) wikiPageWikiLink Mathematical_logic.
- Resolution_(logic) wikiPageWikiLink Mathematical_proof.
- Resolution_(logic) wikiPageWikiLink Method_of_analytic_tableaux.
- Resolution_(logic) wikiPageWikiLink Modus_ponens.
- Resolution_(logic) wikiPageWikiLink Most_general_unifier.
- Resolution_(logic) wikiPageWikiLink Otter_(theorem_prover).
- Resolution_(logic) wikiPageWikiLink Proof_by_contradiction.
- Resolution_(logic) wikiPageWikiLink Propositional_calculus.
- Resolution_(logic) wikiPageWikiLink Propositional_formula.
- Resolution_(logic) wikiPageWikiLink Propositional_logic.
- Resolution_(logic) wikiPageWikiLink Prover9.
- Resolution_(logic) wikiPageWikiLink Quantification_(logic).
- Resolution_(logic) wikiPageWikiLink Quantifier_(logic).
- Resolution_(logic) wikiPageWikiLink Reductio_ad_absurdum.
- Resolution_(logic) wikiPageWikiLink Refutation_completeness.
- Resolution_(logic) wikiPageWikiLink Resolution_inference.
- Resolution_(logic) wikiPageWikiLink Richard_Waldinger.
- Resolution_(logic) wikiPageWikiLink Rule_of_inference.
- Resolution_(logic) wikiPageWikiLink SLD_resolution.
- Resolution_(logic) wikiPageWikiLink SNARK_(theorem_prover).
- Resolution_(logic) wikiPageWikiLink SPASS.
- Resolution_(logic) wikiPageWikiLink Search_algorithm.
- Resolution_(logic) wikiPageWikiLink Skolem_function.
- Resolution_(logic) wikiPageWikiLink Skolem_normal_form.
- Resolution_(logic) wikiPageWikiLink Springer_Science+Business_Media.
- Resolution_(logic) wikiPageWikiLink Substitution_(logic).
- Resolution_(logic) wikiPageWikiLink Syllogism.
- Resolution_(logic) wikiPageWikiLink Tautology_(logic).
- Resolution_(logic) wikiPageWikiLink Term_logic.
- Resolution_(logic) wikiPageWikiLink Theorem-proving.
- Resolution_(logic) wikiPageWikiLink Unification_(computer_science).
- Resolution_(logic) wikiPageWikiLink Unification_(computing).
- Resolution_(logic) wikiPageWikiLink Universal_quantification.
- Resolution_(logic) wikiPageWikiLink Validity.
- Resolution_(logic) wikiPageWikiLink Vampire_(theorem_prover).
- Resolution_(logic) wikiPageWikiLink Zohar_Manna.
- Resolution_(logic) wikiPageWikiLinkText "Resolution (logic)".
- Resolution_(logic) wikiPageWikiLinkText "Resolution (logic)#References".
- Resolution_(logic) wikiPageWikiLinkText "Resolution".
- Resolution_(logic) wikiPageWikiLinkText "Resolution_(logic)".
- Resolution_(logic) wikiPageWikiLinkText "Robinson's resolution".
- Resolution_(logic) wikiPageWikiLinkText "first-order resolution".
- Resolution_(logic) wikiPageWikiLinkText "logical resolution".
- Resolution_(logic) wikiPageWikiLinkText "resolution (logic)".
- Resolution_(logic) wikiPageWikiLinkText "resolution method for first order logic".
- Resolution_(logic) wikiPageWikiLinkText "resolution operator".
- Resolution_(logic) wikiPageWikiLinkText "resolution principle".
- Resolution_(logic) wikiPageWikiLinkText "resolution proof".
- Resolution_(logic) wikiPageWikiLinkText "resolution proofs".
- Resolution_(logic) wikiPageWikiLinkText "resolution rule".
- Resolution_(logic) wikiPageWikiLinkText "resolution theorem provers".
- Resolution_(logic) wikiPageWikiLinkText "resolution theorem proving".
- Resolution_(logic) wikiPageWikiLinkText "resolution".
- Resolution_(logic) wikiPageWikiLinkText "resolve".
- Resolution_(logic) author "Alex Sakharov".
- Resolution_(logic) hasPhotoCollection Resolution_(logic).
- Resolution_(logic) title "Resolution Principle".
- Resolution_(logic) title "Resolution".
- Resolution_(logic) urlname "Resolution".