Completeness results for inequality provers
- 31 December 1985
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 27 (3) , 255-288
- https://doi.org/10.1016/0004-3702(85)90015-3
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A Linear Format for Resolution With Merging and a New Technique for Establishing CompletenessJournal of the ACM, 1970
- Applications of the Löwenheim–Skolem–Tarski Theorem to Problems of Completeness and DecidabilityIndagationes Mathematicae, 1954