Extensions to the Comprehensive Framework for Saturation Theorem Proving

MaRDI QIDQ7361753FDO

Authors Jasmin Christian Blanchette, Sophie Tourret

Publication date 25 August 2020

Cited in

(5)

• Typed Ordered Resolution
• First Order Clause
• A Modular Formalization of Superposition
• 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: Extensions to the Comprehensive Framework for Saturation Theorem Proving