Course page Home page Home page CoursesNew course

Unification and resolution: Mathematical Logic course | Zoonk

19. Unification and resolution

Covers unification, substitution algorithms, Skolemization, Herbrand’s theorem, and resolution. Learners turn first-order formulas into clause form and build machine-oriented refutations.

Mathematical Logic

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc