THF0 – The Core of the TPTP Language for Higher-Order Logic

From MaRDI portal
Publication:3541725

DOI10.1007/978-3-540-71070-7_41zbMath1165.68447OpenAlexW1541015300MaRDI QIDQ3541725

Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe

Publication date: 27 November 2008

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_41



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (9)


Uses Software


Cites Work


This page was built for publication: THF0 – The Core of the TPTP Language for Higher-Order Logic