First-Order Atom Definitions Extended
- 20 November 2001
- book chapter
- Published by Springer Nature
- p. 309-319
- https://doi.org/10.1007/3-540-45653-8_21
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Combining Superposition, Sorts and SplittingPublished by Elsevier ,2001
- Replacement Rules with Definition DetectionPublished by Springer Nature ,2000
- Stratified ResolutionPublished by Springer Nature ,2000
- On generating small clause normal formsPublished by Springer Nature ,1998
- The TPTP problem libraryPublished by Springer Nature ,1994