Hierarchic superposition revisited
From MaRDI portal
Publication:2185457
DOI10.1007/978-3-030-22102-7_2zbMath1443.68212arXiv1904.03776MaRDI QIDQ2185457
Peter Baumgartner, Uwe Waldmann
Publication date: 4 June 2020
Full work available at URL: https://arxiv.org/abs/1904.03776
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)