Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Resolution_(logic)> ?p ?o. }
Showing items 1 to 54 of
54
with 100 items per page.
- 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; this method may prove the satisfiability of a first-order satisfiable formula, but not always, as it is the case for all methods for first-order logic (see Gödel's incompleteness theorems and Halting problem). Resolution was introduced by John Alan Robinson in 1965.The clause produced by a resolution rule is sometimes called a resolvent.".
- Resolution_(logic) wikiPageExternalLink logic.html.
- Resolution_(logic) wikiPageID "2724082".
- Resolution_(logic) wikiPageRevisionID "606321154".
- Resolution_(logic) author "Alex Sakharov".
- Resolution_(logic) hasPhotoCollection Resolution_(logic).
- Resolution_(logic) title "Resolution Principle".
- Resolution_(logic) title "Resolution".
- Resolution_(logic) urlname "Resolution".
- Resolution_(logic) urlname "ResolutionPrinciple".
- Resolution_(logic) subject Category:1965_introductions.
- Resolution_(logic) subject Category:Automated_theorem_proving.
- Resolution_(logic) subject Category:Rules_of_inference.
- Resolution_(logic) subject Category:Theorems_in_propositional_logic.
- Resolution_(logic) type Abstraction100002137.
- Resolution_(logic) type Cognition100023271.
- Resolution_(logic) type Communication100033020.
- Resolution_(logic) type Concept105835747.
- Resolution_(logic) type Content105809192.
- Resolution_(logic) type Idea105833840.
- Resolution_(logic) type Message106598915.
- Resolution_(logic) type Proposition106750804.
- Resolution_(logic) type PsychologicalFeature100023100.
- Resolution_(logic) type Rule105846054.
- Resolution_(logic) type RulesOfInference.
- Resolution_(logic) type Statement106722453.
- Resolution_(logic) type Theorem106752293.
- Resolution_(logic) type TheoremsInPropositionalLogic.
- Resolution_(logic) comment "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.".
- Resolution_(logic) label "Princípio da resolução".
- Resolution_(logic) label "Resolución (lógica)".
- Resolution_(logic) label "Resolutie (logica)".
- Resolution_(logic) label "Resolution (Logik)".
- Resolution_(logic) label "Resolution (logic)".
- Resolution_(logic) label "Rezolucja (matematyka)".
- Resolution_(logic) label "Règle de résolution".
- Resolution_(logic) label "Правило резолюций".
- Resolution_(logic) label "導出原理".
- Resolution_(logic) label "归结原理".
- Resolution_(logic) sameAs Rezoluce_(logika).
- Resolution_(logic) sameAs Resolution_(Logik).
- Resolution_(logic) sameAs Resolución_(lógica).
- Resolution_(logic) sameAs Règle_de_résolution.
- Resolution_(logic) sameAs 導出原理.
- Resolution_(logic) sameAs 분해_증명.
- Resolution_(logic) sameAs Resolutie_(logica).
- Resolution_(logic) sameAs Rezolucja_(matematyka).
- Resolution_(logic) sameAs Princípio_da_resolução.
- Resolution_(logic) sameAs m.07_36n.
- Resolution_(logic) sameAs Q1051925.
- Resolution_(logic) sameAs Q1051925.
- Resolution_(logic) sameAs Resolution_(logic).
- Resolution_(logic) wasDerivedFrom Resolution_(logic)?oldid=606321154.
- Resolution_(logic) isPrimaryTopicOf Resolution_(logic).