Ini adalah perintah tptp2dfg yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
tptp2dfg - mengubah file DFG menjadi file TPTP
RINGKASAN
tptp2dfg [-termasuk]
DESKRIPSI
tptp2dfg adalah program yang mengubah file input masalah menjadi TPTP format menjadi masalah
masukan file di DFG format. Itu TPTP format masalah digunakan oleh perpustakaan tes TPTP
masalah untuk pembuktian teorema otomatis, tersedia di http://www.math.miami.edu/~tptp/.
PILIHAN
tptp2dfg mendukung opsi baris perintah berikut.
-termasuk
Opsi ini memungkinkan perluasan perintah include dalam file tptp. Jika diatur semua
TPTP termasuk arahan dalam file input hte diganti dengan konten file masing-masing
selama penerjemahan. Jika tidak disetel, TPTP termasuk arahan yang diterjemahkan ke dalam DFG
termasuk arahan. Standar nonaktif.
Gunakan tptp2dfg online menggunakan layanan onworks.net
