Labelled Unit Superposition Calculi for Instantiation-Based Reasoning
From MaRDI portal
Publication:4933325
DOI10.1007/978-3-642-16242-8_33zbMath1306.68192OpenAlexW1508989423MaRDI QIDQ4933325
Konstantin Korovin, Christoph Sticksel
Publication date: 12 October 2010
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_33
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning ⋮ SCL(EQ): SCL for first-order logic with equality
This page was built for publication: Labelled Unit Superposition Calculi for Instantiation-Based Reasoning
