これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなど、複数の無料オンライン ワークステーションのいずれかを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド dfg2tptp です。
プログラム:
NAME
dfg2tptp - DFG ファイルを TPTP ファイルに変換します
SYNOPSIS
dfg2tptp
DESCRIPTION
dfg2tptp 問題入力ファイルを DFG 問題にフォーマットする
入力ファイル TPTP フォーマット。 の TPTP 問題形式はテストの TPTP ライブラリで使用されます
自動化された定理証明の問題。 http://www.math.miami.edu/~tptp/.
問題を変換するためのさまざまなツールが存在します。 TPTP 他の定理の入力ファイルにフォーマットする
証明者。
onworks.net サービスを使用してオンラインで dfg2tptp を使用する