About: Probador de teoremas lógicos

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

Property	Value
dbo:abstract	Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas. Ejemplos: Prolog, Lisp. * Datos: Q6086968 (es) Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas. Ejemplos: Prolog, Lisp. * Datos: Q6086968 (es)
dbo:wikiPageID	171116 (xsd:integer)
dbo:wikiPageLength	365 (xsd:integer)
dbo:wikiPageRevisionID	123344291 (xsd:integer)
dct:subject	category-es:Software_matemático category-es:Demostradores_de_teoremas
rdfs:comment	Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas. Ejemplos: Prolog, Lisp. * Datos: Q6086968 (es) Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas. Ejemplos: Prolog, Lisp. * Datos: Q6086968 (es)
rdfs:label	Probador de teoremas lógicos (es) Probador de teoremas lógicos (es)
prov:wasDerivedFrom	wikipedia-es:Probador_de_teoremas_lógicos?oldid=123344291&ns=0
foaf:isPrimaryTopicOf	wikipedia-es:Probador_de_teoremas_lógicos
is dbo:wikiPageRedirects of	dbpedia-es:Probador_de_Teoremas_Lógicos dbpedia-es:Probador_de_Teoremas_Logicos dbpedia-es:Probador_de_teoremas_logicos
is foaf:primaryTopic of	wikipedia-es:Probador_de_teoremas_lógicos