Course page Home page Home page CoursesNew course

Automated theorem proving: Mathematical Logic course | Zoonk

56. Automated theorem proving

Covers term indexing, proof search, equality reasoning, superposition, tableaux, and automated premise selection. Learners configure an automated prover, inspect generated proofs, and distinguish a timeout from a genuine counterexample.

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