Presenting TSTP Proofs with Inference Web Tools

Authors
Pinheiro, Paulo
Sutcliffe, Geoff
Chang, Cynthia
Ding, Li
Rio, Nicholas
McGuinness, Deborah L.
ORCID
No Thumbnail Available
Other Contributors
Issue Date
2008-08-10
Keywords
Inference Web
Degree
Terms of Use
Full Citation
Abstract
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.
Description
Department
Publisher
Relationships
https://tw.rpi.edu/project/InferenceWeb
Access