On the value of antiprenexing
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Shortening proofs by quantifier introductionPublished by Springer Nature ,2005
- On different concepts of function introductionPublished by Springer Nature ,2005
- ON SKOLEMIZATION AND PROOF COMPLEXITYFundamenta Informaticae, 1994
- Complexity of resolution proofs and function introductionAnnals of Pure and Applied Logic, 1992
- Relative Complexities of First Order CalculiPublished by Springer Nature ,1992
- Automated Theorem ProvingPublished by Springer Nature ,1987
- A Structure-preserving Clause Form TranslationJournal of Symbolic Computation, 1986
- Theorem Proving via General MatingsJournal of the ACM, 1981
- Renaming a Set of Clauses as a Horn SetJournal of the ACM, 1978
- An approach to a systematic theorem proving procedure in first-order logicComputing, 1974