A Comprehensive Framework for Saturation Theorem Proving

MaRDI QIDQ7361037swMATHFDO

Authors Sophie Tourret

Publication date 9 April 2020

Cited in

(6)

• Given Clause Loops
• Typed Ordered Resolution
• A Modular Formalization of Superposition
• Extensions to the Comprehensive Framework for Saturation Theorem Proving
• A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic
• A Modular Splitting Framework for Saturation Theorem Proving

This page was built for software: A Comprehensive Framework for Saturation Theorem Proving