| 
|
Quote: the resolution principle -- from any two clauses, one may infer a resolvent; a refutation is a sequence of resolutions leading to the empty clause; unsatisfiable iff refutation
Topic:
logic
Topic:
logic programming
Quotation Skeleton
The single inference principle of our system of … is the resolution principle, namely: From any two … of the set S of clauses we mean … of clauses such that (a) each [clause] is either in S or is a resolvent of two … [the last clause is empty]. It is immediate from the Resolution Theorem that a finite … Thus the Resolution Theorem is the completeness theorem … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic (84 items)
Topic: logic programming (34 items)