- Record: found
- Abstract: not found
- Book Chapter: not found
Automated Deduction – CADE-24
TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references9
- Record: found
- Abstract: not found
- Article: not found
The TPTP Problem Library and Associated Infrastructure
Geoff Sutcliffe (2009)
- Record: found
- Abstract: not found
- Book Chapter: not found
The TPTP Typed First-Order Form with Arithmetic
Geoff Sutcliffe, Stephan Schulz, Koen Claessen … (2012)