Dit is de opdracht dfg2tptp die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
dfg2tptp - transformeert DFG-bestanden in TPTP-bestanden
KORTE INHOUD
dfg2tptp
PRODUCTBESCHRIJVING
dfg2tptp is een programma dat een probleeminvoerbestand omzet in DFG formatteren tot een probleem
invoerbestand in TPTP formaat. De TPTP probleemformaat wordt gebruikt door de TPTP-bibliotheek van test
problemen voor het automatisch bewijzen van stellingen, beschikbaar op http://www.math.miami.edu/~tptp/.
Er bestaan verschillende tools om problemen om te zetten TPTP formaat in invoerbestanden voor andere stellingen
provers.
Gebruik dfg2tptp online met behulp van onworks.net-services