Sciweavers

Share
CADE
2015
Springer

Beagle - A Hierarchic Superposition Theorem Prover

4 years 2 months ago
Beagle - A Hierarchic Superposition Theorem Prover
Beagle is an automated theorem prover for first-order logic modulo built-in theories. It implements a refined version of the hierarchic superposition calculus. This system description focuses on Beagle’s proof procedure, background reasoning facilities, implementation, and experimental results.
Peter Baumgartner, Joshua Bax, Uwe Waldmann
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where CADE
Authors Peter Baumgartner, Joshua Bax, Uwe Waldmann
Comments (0)
books