Superposition for Bounded Domains

From MaRDI portal
Publication:4913861

DOI10.1007/978-3-642-36675-8_4zbMath1383.03018OpenAlexW1897269102MaRDI QIDQ4913861

Th. Hillenbrand, Christoph Weidenbach

Publication date: 16 April 2013

Published in: Automated Reasoning and Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36675-8_4




Related Items


Uses Software


Cites Work