Presenting TSTP Proofs with
Inference Web Tools

Introduction

• Motivation
• The TPTP and TSTP
• PML

PML Presentations

• The Inference Web NodeSet Browser
• The Inference Web Browser
• Probe-It!
• Inference Web Search
• Browsing the TSTP Proofs