TY - JOUR
T1 - Beagle – A hierarchic superposition theorem prover
AU - Baumgartner, Peter
AU - Bax, Joshua
AU - Waldmann, Uwe
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2015.
PY - 2015
Y1 - 2015
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84984666922&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-21401-6_25
DO - 10.1007/978-3-319-21401-6_25
M3 - Conference article
AN - SCOPUS:84984666922
SN - 0302-9743
VL - 9195
SP - 367
EP - 377
JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
T2 - 25th International Conference on Automated Deduction CADE 2015
Y2 - 1 August 2015 through 7 August 2015
ER -