Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

Beagle – A hierarchic superposition theorem prover

Simple item page
dc.contributor.authorBaumgartner, Peteren
dc.contributor.authorBax, Joshuaen
dc.contributor.authorWaldmann, Uween
dc.date.accessioned2025-12-31T22:41:04Z
dc.date.available2025-12-31T22:41:04Z
dc.date.issued2015en
dc.description.abstractBeagle 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.en
dc.description.sponsorshipNICTA is funded by the Australian Government through the Department of Communications and the Australian Research Council through the ICT Centre of Excellence Program.en
dc.description.statusPeer-revieweden
dc.format.extent11en
dc.identifier.issn0302-9743en
dc.identifier.scopus84984666922en
dc.identifier.urihttps://hdl.handle.net/1885/733798545
dc.language.isoenen
dc.relation.ispartofseries25th International Conference on Automated Deduction CADE 2015en
dc.rightsPublisher Copyright: © Springer International Publishing Switzerland 2015.en
dc.sourceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.titleBeagle – A hierarchic superposition theorem proveren
dc.typeConference paperen
dspace.entity.typePublicationen
local.bibliographicCitation.lastpage377en
local.bibliographicCitation.startpage367en
local.contributor.affiliationBaumgartner, Peter; School of Computing, ANU College of Systems and Society, The Australian National Universityen
local.contributor.affiliationBax, Joshua; School of Computing, ANU College of Systems and Society, The Australian National Universityen
local.contributor.affiliationWaldmann, Uwe; Max Planck Institute for Informaticsen
local.identifier.ariespublicationu4334215xPUB1491en
local.identifier.citationvolume9195en
local.identifier.doi10.1007/978-3-319-21401-6_25en
local.identifier.pured905bdc6-7255-4062-b832-de865835757fen
local.identifier.urlhttps://www.scopus.com/pages/publications/84984666922en
local.type.statusPublisheden

Downloads

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS