Superposition Calculus
From MaRDI portal
Software:40285
No author found.
Related Items (4)
Formalization of the resolution calculus for first-order logic ⋮ Programming and verifying a declarative first-order prover in Isabelle/HOL ⋮ Formalizing Bachmair and Ganzinger's ordered resolution prover ⋮ Formalizing Bachmair and Ganzinger's ordered resolution prover
This page was built for software: Superposition Calculus
