Beagle

swMATH13649MaRDI QIDQ25563FDOQ25563

Author name not available (Why is that?)

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