Sciweavers

CADE
2008
Springer

Presenting TSTP Proofs with Inference Web Tools

14 years 3 months ago
Presenting TSTP Proofs with Inference Web Tools
Abstract. This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subsequent use of Inference Web (IW) tools to provide new presentations of the proofs. The translation enriches the TSTP proofs with proof provenance meta-data, and provides new possibilities for proof processing.
Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2008
Where CADE
Authors Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nicholas Del Rio, Deborah L. McGuinness
Comments (0)