The TPTP Typed First-Order Form with Arithmetic
Authors:
- 1 January 2012
- book chapter
- Published by Springer Nature
- p. 406-419
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Model Evolution with equality — Revised and implementedJournal of Symbolic Computation, 2012
- MetiTarski: An Automatic Theorem Prover for Real-Valued Special FunctionsJournal of Automated Reasoning, 2009
- Superposition Modulo Linear Arithmetic SUP(LA)2009
- THF0 – The Core of the TPTP Language for Higher-Order LogicLecture Notes in Computer Science, 2008
- (LIA) - Model Evolution with Linear Integer Arithmetic ConstraintsLecture Notes in Computer Science, 2008
- CVC32007
- QEPCAD BACM SIGSAM Bulletin, 2003
- Refutational theorem proving for hierarchic first-order theoriesApplicable Algebra in Engineering, Communication and Computing, 1994
- The Euclidean definition of the functions div and modACM Transactions on Programming Languages and Systems, 1992
- A more expressive formulation of many sorted logicJournal of Automated Reasoning, 1987