Part 2: First-order logic
2.5 Normal forms, Skolemization, Herbrand models
- Prenex normal form
- Skolemization
- Clause normal form (CNF)
- Herbrand interpretations
Imprint | Data Protection