Show simple item record

dc.contributor.authorPinheiro, Paulo
dc.contributor.authorSutcliffe, Geoff
dc.contributor.authorChang, Cynthia
dc.contributor.authorDing, Li
dc.contributor.authorRio, Nicholas
dc.contributor.authorMcGuinness, Deborah
dc.date.accessioned2022-02-18T02:39:43Z
dc.date.available2022-02-18T02:39:43Z
dc.date.issued2008-08-10
dc.identifier.other284
dc.identifier.urihttp://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-373/paper-07.pdf
dc.identifier.urihttps://hdl.handle.net/20.500.13015/4686
dc.description.abstractThis 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.
dc.relation.urihttps://tw.rpi.edu/project/InferenceWeb
dc.subjectInference Web
dc.titlePresenting TSTP Proofs with Inference Web Tools


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record