Superposition for fixed domains
From MaRDI portal
Publication:2946615
DOI10.1145/1805950.1805957zbMath1351.03021arXiv0809.0922OpenAlexW2052434414MaRDI QIDQ2946615
Matthias Horbach, Christoph Weidenbach
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0809.0922
superpositionautomated theorem provinginductionless inductionproof by consistencyminimal model semanticsfixed domain semantics
Related Items (max. 100)
Superposition Modulo Non-linear Arithmetic ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ Predicate Completion for non-Horn Clause Sets ⋮ System Description: SPASS-FD ⋮ Combining induction and saturation-based theorem proving
This page was built for publication: Superposition for fixed domains