• Part 2: First-order logic

• 2.10 Refutational completeness of resolution
  • clause orderings, properties
  • closure of clause sets under resolution; saturated sets of clauses
  • construction of interpretations
  • candidate models, properties

Imprint | Data Protection