TSTP Standards

Introduction

• What is ATP?
• Applications and Systems
• The Need for Standards
  • Via the TPTP
  • Via the TSTP
  • Via the Tools

The Problem and Solution Language

• Existing Problem Languages
• Existing Solution Languages
• Goals for the Syntax
• Abstract Syntax
• Concrete Syntax

System Results Statuses

• Existing Result Statuses
• Status Hierarchy
• Common Cases
• Special Cases