This HTML5 document contains 11 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9https://infoscience.epfl.ch/record/110222/files/KuncakRinard03StructuralSubtypingNonRecursiveTypesDecidable.
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://es.wikipedia.org/wiki/Eliminación_de_cuantificadores?oldid=130178654&ns=
Subject Item
dbpedia-es:Eliminación_de_cuantificadores
rdfs:label
Eliminación de cuantificadores
rdfs:comment
La eliminación de cuantificadores es un concepto de simplificación utilizado en lógica matemática, teoría de modelos, y teoría de la computación. Informalmente, una proposición cuantificada, por ejemplo " tal que " puede verse como una pregunta: "¿Cuándo hay un tal que ?",y la proposición sin cuantificadores puede verse como la respuesta a esa pregunta.​
dct:subject
category-es:Model_theory
foaf:isPrimaryTopicOf
wikipedia-es:Eliminación_de_cuantificadores
dbo:wikiPageID
9319217
dbo:wikiPageRevisionID
130178654
dbo:wikiPageExternalLink
n9:pdf
dbo:wikiPageLength
8281
prov:wasDerivedFrom
n11:0
dbo:abstract
La eliminación de cuantificadores es un concepto de simplificación utilizado en lógica matemática, teoría de modelos, y teoría de la computación. Informalmente, una proposición cuantificada, por ejemplo " tal que " puede verse como una pregunta: "¿Cuándo hay un tal que ?",y la proposición sin cuantificadores puede verse como la respuesta a esa pregunta.​ Un criterio de clasificación de fórmulas es atendiendo a su cantidad de cuantificadores. Las fórmulas con menos cuantificadores anidados son más simples, siendo las fórmulas en las que no aparecen cuanficiadores las más sencillas.Una teoría lógica tiene eliminación de cuantificadores si para cada fórmula , existe otra fórmula sin cuantificadores que es equivalente a ella ( de ese teorema).
Subject Item
wikipedia-es:Eliminación_de_cuantificadores
foaf:primaryTopic
dbpedia-es:Eliminación_de_cuantificadores