Beagle - A Hierarchic Superposition Theorem Prover
Beagle - A Hierarchic Superposition Theorem Prover
Peter Baumgartner,Joshua Bax,Uwe Waldmann
2015 · DOI: 10.1007/978-3-319-21401-6_25
CADE · 27 Citations
TLDR
Beagle is an automated theorem prover for first-order logic modulo built-in theories that implements a refined version of the hierarchic superposition calculus.