Saturation_Framework

MaRDI QIDQ53729swMATHFDO

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

Cited in

(6)

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

This page was built for software: Saturation_Framework