Beagle – A Hierarchic Superposition Prover - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Beagle – A Hierarchic Superposition Prover

(1) , (2) , (3, 4)
1
2
3
4

Abstract

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.

Dates and versions

hal-01251377 , version 1 (06-01-2016)

Identifiers

Cite

Peter Baumgartner, Joshua Bax, Uwe Waldmann. Beagle – A Hierarchic Superposition Prover. 25th International Conference on Automated Deduction (CADE-25), Aug 2015, Berlin, Germany. pp.367-377, ⟨10.1007/978-3-319-21401-6_25⟩. ⟨hal-01251377⟩
90 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More