A combined superposition and model evolution calculus
From MaRDI portal
Publication:438531
DOI10.1007/s10817-010-9214-xzbMath1267.03033OpenAlexW1965168302MaRDI QIDQ438531
Uwe Waldmann, Peter Baumgartner
Publication date: 31 July 2012
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-010-9214-x
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
Cites Work
- Unnamed Item
- Comparing instance generation methods for automated reasoning
- Refutational theorem proving for hierarchic first-order theories
- Ordered semantic hyper-linking
- Theorem proving with ordering and equality constrained clauses
- iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)
- System Description: Spass Version 3.0
- Combining Instance Generation and Resolution
- Term Rewriting and All That
- Computer Science Logic
- Automated Deduction – CADE-20
- Automated Deduction – CADE-20
- Automated Deduction – CADE-19
This page was built for publication: A combined superposition and model evolution calculus