Saturation_Framework

swMATH38029MaRDI QIDQ53729FDOQ53729

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: Saturation_Framework