Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Resolution_inference> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Resolution_inference abstract "In propositional logic, a resolution inference is an instance of the following rule:We call: The clauses and are the inference’s premises (the resolvent of the premises) is its conclusion. The literal is the left resolved literal, The literal is the right resolved literal, is the resolved atom or pivot.This rule can be generalized to first-order logic to:where is a most general unifier of and and and have no common variables.".
- Resolution_inference wikiPageID "42116733".
- Resolution_inference wikiPageRevisionID "598608676".
- Resolution_inference subject Category:Inference.
- Resolution_inference subject Category:Proof_theory.
- Resolution_inference subject Category:Propositional_calculus.
- Resolution_inference comment "In propositional logic, a resolution inference is an instance of the following rule:We call: The clauses and are the inference’s premises (the resolvent of the premises) is its conclusion. The literal is the left resolved literal, The literal is the right resolved literal, is the resolved atom or pivot.This rule can be generalized to first-order logic to:where is a most general unifier of and and and have no common variables.".
- Resolution_inference label "Resolution inference".
- Resolution_inference sameAs m.0_x73n8.
- Resolution_inference sameAs Q17125598.
- Resolution_inference sameAs Q17125598.
- Resolution_inference wasDerivedFrom Resolution_inference?oldid=598608676.
- Resolution_inference isPrimaryTopicOf Resolution_inference.