The TPTP World -
Infrastructure for Automated Reasoning
http://www.tptp.org

Introduction 0:05

TPTP World Core Infrastructure 0:10

TPTP World Services 0:25

TPTP World Applications 0:40

Using the TPTP World (--) 1:00

Conclusion 0:50 or 1:20

The End - Any Questions?