Beagle

swMATH13649MaRDI QIDQ25563FDOQ25563

Author name not available (Why is that?)

Described by source

• Beagle – A Hierarchic Superposition Theorem Prover

Cited In (2)

• First-order automated reasoning with theories: when deduction modulo theory meets practice
• Unification with abstraction and theory instantiation in saturation-based reasoning

This page was built for software: Beagle