Beagle

MaRDI QIDQ25563swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-21401-6_25

Described by source

• Beagle -- a hierarchic superposition theorem prover

Cited in

(6)

• First-order automated reasoning with theories: when deduction modulo theory meets practice
• SPASS+T
• SMTtoTPTP
• CoqMT
• HARP
• Unification with abstraction and theory instantiation in saturation-based reasoning

This page was built for software: Beagle