HTML Microdata document

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

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

Prefix	Namespace IRI
category-es	http://es.dbpedia.org/resource/CategorÃa:
dct	http://purl.org/dc/terms/
wikipedia-es	http://es.wikipedia.org/wiki/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
n13	http://es.wikipedia.org/wiki/LÃ³gica_combinatoria?oldid=103096805&ns=
dbpedia-es	http://es.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
n11	http://rdf.freebase.com/ns/m.
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
dbr	http://dbpedia.org/resource/

Subject Item: dbpedia-es:LÃ³gica_combinatoria
rdfs:label: Lógica combinatoria
rdfs:comment: La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de la computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar matemáticamente).
owl:sameAs: n11:0138gg
dct:subject: category-es:TeorÃa_de_la_demostraciÃ³n
foaf:isPrimaryTopicOf: wikipedia-es:LÃ³gica_combinatoria
dbo:wikiPageID: 38871
dbo:wikiPageRevisionID: 103096805
dbo:wikiPageLength: 20427
prov:wasDerivedFrom: n13:0
dbo:abstract: La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de la computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar matemáticamente).