Ito ang command na dfg2tptp na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
dfg2tptp - binabago ang mga DFG na file sa mga TPTP na file
SINOPSIS
dfg2tptp
DESCRIPTION
dfg2tptp ay isang programa na nagko-convert ng isang problema sa input file sa Dfg format sa isang problema
input file sa TPTP pormat. Ang TPTP Ang format ng problema ay ginagamit ng TPTP library ng pagsubok
mga problema para sa automated theorem na nagpapatunay, magagamit sa http://www.math.miami.edu/~tptp/.
Mayroong iba't ibang mga tool upang ma-convert ang mga problema sa TPTP format sa input file para sa iba pang theorem
mga provers.
Gamitin ang dfg2tptp online gamit ang mga serbisyo ng onworks.net