Presenting TSTP Proofs with Inference Web Tools

This paper describes the translation of proofs in the Thou- sands 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 trans- lation enriches the TSTP proofs with proof provenance meta-data, and provides new possibilities for proof processing.

View Publication

Associated Projects

The Inference Web is a Semantic Web based knowledge provenance infrastructure that supports interoperable explanations of sources, assumptions, learned information, and answers as an enabler for trust.