Ordered_Resolution_Prover

swMATH38028MaRDI QIDQ53728

No author found.

Described by source

• Formalizing Bachmair and Ganzinger's ordered resolution prover

This page was built for software: Ordered_Resolution_Prover