Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02084347n
Noun Concept
Categories: Proof theory, 1965 introductions, Propositional calculus, Rules of inference, Theorems in propositional logic
EN
resolution  resolution principle  binary resolution  first-order resolution  First order resolution
EN
In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation-complete theorem-proving technique for sentences in propositional logic and first-order logic. Wikipedia
English:
logic
Definitions
Relations
Sources
EN
In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation-complete theorem-proving technique for sentences in propositional logic and first-order logic. Wikipedia
A rule of inference used for automated theorem proving Wikipedia Disambiguation
In logic, rule of inference Wikidata
IS A
theorem
rule of inference
HAS KIND
SLD resolution
unit propagation
CS
SLG rezoluce
Wikipedia
EN
resolution (logic)
Wikidata
EN
resolution
Wikipedia Redirections
EN
binary resolution, first-order resolution, First order resolution, Logical resolution, Method of resolution, non-clausal resolution, paramodulation, resolution inference, Resolution principle, resolution prover, resolvent (logic), Robinson's Resolution Algorithm, Robinson`s resolution principle
Wikidata Alias
EN
resolution principle, Resolution principle

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License