Jest to polecenie dfg2tptp, które można uruchomić w bezpłatnym dostawcy hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu MAC OS
PROGRAM:
IMIĘ
dfg2tptp - przekształca pliki DFG w pliki TPTP
STRESZCZENIE
dfg2tptp
OPIS
dfg2tptp to program, który konwertuje problematyczny plik wejściowy do formatu DFG sformatować w problem
plik wejściowy w TPTP format. ten TPTP format problemu jest używany przez bibliotekę testową TPTP
problemy do automatycznego dowodzenia twierdzeń, dostępne pod adresem http://www.math.miami.edu/~tptp/.
Istnieją różne narzędzia do konwertowania problemów TPTP formatować do plików wejściowych dla innego twierdzenia
dowodzenia.
Użyj dfg2tptp online, korzystając z usług onworks.net