• Part 2: First-order logic

• 2.10 Refutational completeness of resolution
  • Herbrand's theorem
  • Löwenheim-Skolem's theorem
  • refutational completeness of resolution

• 2.11 Ordered resolution with selection
  • refutational completeness for ground clauses
  • the lifting lemma
  • refutational completeness
  • redundancy of clauses

Imprint | Data Protection