Un-skolemizing clause sets
- 24 November 1988
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 29 (5) , 257-263
- https://doi.org/10.1016/0020-0190(88)90119-6
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Subproblem finder and instance checker, two cooperating modules for theorem proversJournal of the ACM, 1986
- Schubert's Steamroller problem: Formulations and solutionsJournal of Automated Reasoning, 1986
- A complete, nonredundant algorithm for reversed SkolemizationTheoretical Computer Science, 1983
- Extracting information from resolution proof treesArtificial Intelligence, 1971