HTML Microdata document

This HTML5 document contains 22 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/
dbo	http://dbpedia.org/ontology/
dbpedia-es	http://es.dbpedia.org/resource/
n11	http://es.dbpedia.org/resource/ResoluciÃ³n_(lÃ³gica)
rdfs	http://www.w3.org/2000/01/rdf-schema#
skos	http://www.w3.org/2004/02/skos/core#
n8	http://es.dbpedia.org/resource/Maple_(software)
n10	http://es.wikipedia.org/wiki/CategorÃa:Demostradores_de_teoremas?oldid=75693229&ns=
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#

Subject Item: category-es:Demostradores_de_teoremas
rdf:type: skos:Concept
rdfs:label: Demostradores de teoremas
skos:prefLabel: Demostradores de teoremas
skos:broader: category-es:TeorÃa_de_la_demostraciÃ³n category-es:Herramientas_de_desarrollo_de_software category-es:MatemÃ¡ticas_aplicadas
dbo:wikiPageID: 64964
dbo:wikiPageRevisionID: 75693229
prov:wasDerivedFrom: n10:14