This HTML5 document contains 20 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/
dbohttp://dbpedia.org/ontology/
n4http://es.dbpedia.org/resource/Categoría:Sintaxis_(lógica)
dbpedia-eshttp://es.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n10http://es.wikipedia.org/wiki/Categoría:Sintaxis_(lógica)?oldid=84167635&ns=
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://es.dbpedia.org/resource/Variable_(matemáticas)
Subject Item
dbpedia-es:Fórmula_bien_formada
dct:subject
n4:
Subject Item
dbpedia-es:Reglas_de_inferencia
dct:subject
n4:
Subject Item
dbpedia-es:Sentencia_atómica
dct:subject
n4:
Subject Item
category-es:Lenguajes_formales
skos:broader
n4:
Subject Item
n4:
rdf:type
skos:Concept
rdfs:label
Sintaxis (lógica)
skos:prefLabel
Sintaxis (lógica)
skos:broader
category-es:Lógica category-es:Sintaxis
dbo:wikiPageID
6975175
dbo:wikiPageRevisionID
84167635
prov:wasDerivedFrom
n10:14
Subject Item
category-es:Teoría_de_la_demostración
skos:broader
n4:
Subject Item
category-es:Símbolos_lógicos
skos:broader
n4:
Subject Item
dbpedia-es:Consecuencia_lógica
dct:subject
n4:
Subject Item
dbpedia-es:Proposición
dct:subject
n4:
Subject Item
dbpedia-es:Teorema
dct:subject
n4:
Subject Item
n11:
dct:subject
n4:
Subject Item
dbpedia-es:Constante_lógica
dct:subject
n4:
Subject Item
dbpedia-es:Fórmula_proposicional
dct:subject
n4: