HTML Microdata document

This HTML5 document contains 10 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/
dbpedia-es	http://es.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
prov	http://www.w3.org/ns/prov#
n10	http://es.wikipedia.org/wiki/Compilador_verificante?oldid=120646385&ns=
xsdh	http://www.w3.org/2001/XMLSchema#

Subject Item: dbpedia-es:Compilador_verificante
rdfs:label: Compilador verificante
rdfs:comment: Compilador verificante es un gran reto propuesto por C. A. R. Hoare. En la actualidad es un reto realizar una correspondencia entre la teoría de la computación y las aplicaciones de software. El desarrollo de un compilador verificante es una herramienta esencial para reunir ambas áreas dado que pondría a disposición de los ingenieros de software los resultados teóricos alcanzados.
dct:subject: category-es:Compiladores
foaf:isPrimaryTopicOf: wikipedia-es:Compilador_verificante
dbo:wikiPageID: 52549
dbo:wikiPageRevisionID: 120646385
dbo:wikiPageLength: 3992
prov:wasDerivedFrom: n10:0
dbo:abstract: Compilador verificante es un gran reto propuesto por C. A. R. Hoare. En la actualidad es un reto realizar una correspondencia entre la teoría de la computación y las aplicaciones de software. El desarrollo de un compilador verificante es una herramienta esencial para reunir ambas áreas dado que pondría a disposición de los ingenieros de software los resultados teóricos alcanzados.