Ordered_Resolution_Prover

swMATH38028MaRDI QIDQ53728FDOQ53728

Author name not available (Why is that?)

Described by source

• Formalizing Bachmair and Ganzinger's ordered resolution prover

Cited In (3)

• A comprehensive framework for saturation theorem proving
• Resolution theorem proving
• A comprehensive framework for saturation theorem proving

This page was built for software: Ordered_Resolution_Prover