En la Demostración automática de teoremas, PhoX es un asistenete de pruebas que es eXtensible. El usuario le da a PhoX un objetivo inicial, guiándole a través de de los subobjetivos y pruebas, para llegar al objetivo final. Internamente, PhoX construye árboles de deducción naturales. Cada fórmula probada con anterioridad puede convertirse en una regla futura. PhoX fue originalmente diseñado e implementado por Christophe Raffalli en el lenguaje de programación Ocaml.

rdfs:comment
  • En la Demostración automática de teoremas, PhoX es un asistenete de pruebas que es eXtensible. El usuario le da a PhoX un objetivo inicial, guiándole a través de de los subobjetivos y pruebas, para llegar al objetivo final. Internamente, PhoX construye árboles de deducción naturales. Cada fórmula probada con anterioridad puede convertirse en una regla futura. PhoX fue originalmente diseñado e implementado por Christophe Raffalli en el lenguaje de programación Ocaml. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • PhoX (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 1563132 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 707 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 7 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 64461368 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of