Saturation_Framework

MaRDI QIDQ53729swMATHFDO

Authors Sophie Tourret

Publication date 9 April 2020

Official website https://www.isa-afp.org/entries/Saturation_Framework.html

Cited in

(6)

• Logtk
• Nested Multisets
• Ordered_Resolution_Prover
• Formalizing Bachmair and Ganzinger's ordered resolution prover
• A comprehensive framework for saturation theorem proving
• Robinson arithmetic

This page was built for software: Saturation_Framework