A note on assumptions about Skolem functions
- 1 January 1995
- journal article
- research article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 15 (2) , 267-275
- https://doi.org/10.1007/bf00881919
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Semantics-Based Translation Methods for Modal LogicsJournal of Logic and Computation, 1991
- Otter 2.0Lecture Notes in Computer Science, 1990
- Computational Aspects of an Order-Sorted Logic with Term DeclarationsPublished by Springer Nature ,1989
- Many-Sorted Resolution and ParamodulationPublished by Elsevier ,1987
- Seventy-five problems for testing automatic theorem proversJournal of Automated Reasoning, 1986
- Modal LogicPublished by Cambridge University Press (CUP) ,1980