Beagle – A Hierarchic Superposition Prover

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.
Type de document :
Communication dans un congrès
Amy P. Felty and Aart Middeldorp. 25th International Conference on Automated Deduction (CADE-25), Aug 2015, Berlin, Germany. Springer, 9195, pp.367-377, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-21401-6_25〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01251377
Contributeur : Stephan Merz <>
Soumis le : mercredi 6 janvier 2016 - 10:12:33
Dernière modification le : lundi 20 novembre 2017 - 15:14:02

Identifiants

Collections

Citation

Peter Baumgartner, Joshua Bax, Uwe Waldmann. Beagle – A Hierarchic Superposition Prover. Amy P. Felty and Aart Middeldorp. 25th International Conference on Automated Deduction (CADE-25), Aug 2015, Berlin, Germany. Springer, 9195, pp.367-377, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-21401-6_25〉. 〈hal-01251377〉

Partager

Métriques

Consultations de la notice

101