Il s'agit de la commande dfg2tptp qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos nombreux postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
dfg2tptp - transforme les fichiers DFG en fichiers TPTP
SYNOPSIS
dfg2tptp
DESCRIPTION
dfg2tptp est un programme qui convertit un fichier d'entrée problématique en DFG formater dans un problème
fichier d'entrée dans TPTP format. le TPTP le format du problème est utilisé par la bibliothèque de test TPTP
problèmes pour la preuve automatisée de théorèmes, disponible sur http://www.math.miami.edu/~tptp/.
Différents outils existent pour convertir les problèmes en TPTP formater dans des fichiers d'entrée pour un autre théorème
prouveurs.
Utiliser dfg2tptp en ligne avec les services onworks.net
