यह कमांड dfg2tptp है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे कि उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।
कार्यक्रम:
नाम
dfg2tptp - DFG फ़ाइलों को TPTP फ़ाइलों में परिवर्तित करता है
SYNOPSIS
dfg2tptp
वर्णन
dfg2tptp एक प्रोग्राम है जो एक समस्या इनपुट फ़ाइल को में परिवर्तित करता है DFG एक समस्या में प्रारूपित करें
इनपुट फ़ाइल टीपीटीपी प्रारूप। टीपीटीपी समस्या प्रारूप का उपयोग परीक्षण के टीपीटीपी पुस्तकालय द्वारा किया जाता है
स्वचालित प्रमेय सिद्ध करने के लिए समस्याएं, यहां उपलब्ध हैं http://www.math.miami.edu/~tptp/.
समस्याओं को परिवर्तित करने के लिए विभिन्न उपकरण मौजूद हैं टीपीटीपी अन्य प्रमेय के लिए इनपुट फ़ाइलों में प्रारूपित करें
कहावतें
onworks.net सेवाओं का उपयोग करके ऑनलाइन dfg2tptp का उपयोग करें