Skip to content
Logo EPFL, École polytechnique fédérale de Lausanne
  • About
  • Education
  • Research
  • Innovation
  • Schools
  • Campus
Show / hide the search form
Hide the search form
  • EN
Menu
  1. IC
  2. Laboratories
  3. LARA

LARA

Resolution, Equality

Resolution in First-Order Logic

Herbrand Model for an Example

Instantiation plus Ground Resolution

Non-Ground Instantiation and Resolution

Unification

Definition of Resolution for FOL

Completeness of Resolution for FOL

Herbrand Theorem for Formulas with Equality

Finite Model and Infinite Herbrand Model Example

Axioms for Equality

Continued in lecture12.

  • Laboratories
    • Back: Laboratories
    • LARA
      • Back: LARA
      • About
      • News
      • IMPRO
      • Publications
      • Software
      • Teaching
      • Collaboration
      • Funding

In the same section

  • LARA
    • About
    • News
    • IMPRO
    • Publications
    • Software
    • Teaching
    • Collaboration
    • Funding
- Login
Accessibility Legals

© 2019 EPFL, all rights reserved

Trace: • lecture11
sav08/lecture11.txt · Last modified: 2008/04/02 15:35 by vkuncak