System on TPTP とは

TPTP上のシステムは、いくつかの自動定理証明システムおよび他の自動推論ツールに対するオンラインインタフェースです。これにより、ユーザーはTPTP問題ライブラリの最新リリースの問題またはTPTP構文のユーザー提供の問題のいずれかでシステムを実行できます。
このシステムは、マイアミ大学のGeoff Sutcliffeによって管理されています。 2010年11月には、定理証明者とモデルファインダーの両方を含む50以上のシステムを扱っていました。 TPTP上のシステムは、ユーザーが選択したシステムを実行するか、問題の機能に基づいてシステムを自動的に選択し、並列に実行することができます。