HTML Microdata document

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

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

Prefix	Namespace IRI
n10	http://maude.sip.ucm.es/debugging/
category-es	http://es.dbpedia.org/resource/CategorÃa:
dct	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
n15	http://maude.cs.uiuc.
dbpedia-es	http://es.dbpedia.org/resource/
prop-es	http://es.dbpedia.org/property/
n12	http://es.wikipedia.org/wiki/Maude_(lenguaje_de_programaciÃ³n)
schema	http://schema.org/
rdfs	http://www.w3.org/2000/01/rdf-schema#
n19	http://es.wikipedia.org/wiki/Maude_(lenguaje_de_programaciÃ³n)?oldid=125248799&ns=
n2	http://es.dbpedia.org/resource/Maude_(lenguaje_de_programaciÃ³n)
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
n11	http://moment.dsic.upv.es/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/

Subject Item: n2:
rdf:type: schema:Language wikidata:Q315 dbo:ProgrammingLanguage dbo:Language owl:Thing wikidata:Q9143
rdfs:label: Maude (lenguaje de programación)
rdfs:comment: Maude es un lenguaje de programación para especificaciones formales mediante el uso de términos algebraicos. Se trata de un lenguaje interpretado que permite la verificación de propiedades y transformaciones sobre modelos y que permite ejecutar la especificación como si fuera un prototipo.
foaf:name: Maude
foaf:homepage: n15:edu
dct:subject: category-es:Lenguajes_de_programaciÃ³n_lÃ³gica category-es:Lenguajes_interpretados
foaf:isPrimaryTopicOf: n12:
prop-es:desarrollador: dbpedia-es:SRI_International
prop-es:nombre: Maude
prop-es:paradigma: Lenguaje de rescritura Lenguaje funcional Lenguaje declarativo
prop-es:web: n15:edu
dbo:wikiPageID: 1436669
dbo:wikiPageRevisionID: 125248799
dbo:wikiPageExternalLink: n10: n11:mfw n15:edu
dbo:wikiPageLength: 16606
dbo:developer: dbpedia-es:SRI_International
prov:wasDerivedFrom: n19:0
dbo:abstract: Maude es un lenguaje de programación para especificaciones formales mediante el uso de términos algebraicos. Se trata de un lenguaje interpretado que permite la verificación de propiedades y transformaciones sobre modelos y que permite ejecutar la especificación como si fuera un prototipo.