Un probador de teoremas lógicos es una metodología o programa, que rechaza o acepta un teorema según un conjunto de reglas predefinidas. Ejemplos: Prolog, Lisp.

rdfs:comment
  • Un probador de teoremas lógicos es una metodología o programa, que rechaza o acepta un teorema según un conjunto de reglas predefinidas. Ejemplos: Prolog, Lisp. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Probador de teoremas lógicos (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 171116 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 326 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 8 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 74643575 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of