Proofs and Models in the TPTP World
Abstract
This talk describes the representation of derivations and interpretations in the TPTP World.
Topics covered include
the TPTP World,
the TPTP language,
the SZS ontologies,
the representation of derivations and interpretations,
tools for visualizing and verifying derivations and interpretations,
and
some future work and directions to improve the status quo.