TPTP, TSTP, CASC, etc.
From MaRDI portal
Publication:3499763
DOI10.1007/978-3-540-74510-5_4zbMath1188.68265OpenAlexW1561106754MaRDI QIDQ3499763
Publication date: 3 June 2008
Published in: Computer Science – Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74510-5_4
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 ⋮ Solving modal logic problems by translation to higher-order logic ⋮ THF0 – The Core of the TPTP Language for Higher-Order Logic
Uses Software
This page was built for publication: TPTP, TSTP, CASC, etc.
