Consolution as a framework for comparing calculi
From MaRDI portal
Publication:1322772
DOI10.1006/jsco.1993.1058zbMath0803.68120MaRDI QIDQ1322772
Peter Baumgartner, Ulrich Furbach
Publication date: 5 May 1994
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1993.1058
resolution; connection method; model elimination; consolution calculus; first-order proof calculi; tableaux model elimination
DB lookup for MSC labels failed
Uses Software