Dies ist der Befehl dfg2tptp, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
dfg2tptp – wandelt DFG-Dateien in TPTP-Dateien um
ZUSAMMENFASSUNG
dfg2tptp
BESCHREIBUNG
dfg2tptp ist ein Programm, das eine problematische Eingabedatei in DFG zu einem Problem formatieren
Eingabedatei in TPTP Format. Das TPTP problem format wird von der TPTP-Bibliothek von test . verwendet
Probleme für den automatisierten Satzbeweis, erhältlich unter http://www.math.miami.edu/~tptp/.
Es gibt verschiedene Tools zur Konvertierung von Problemen TPTP Formatieren in Eingabedateien für andere Theoreme
Prüfer.
Verwenden Sie dfg2tptp online über die Dienste von onworks.net
