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
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n5http://localhost:8890/about/id/entity/http/dbpedia.org/resource/Haskell_(programming_language)
wdrshttp://www.w3.org/2007/05/powder-s#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n13http://dbpedia.org/resource/Python_(programming_language)
n7http://localhost:8890/about/id/entity/http/dbpedia.org/resource/
n6https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/
n16http://dbpedia.org/resource/Haskell_(programming_language)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Python_(programming_language)
n12https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Lattice_(order)
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n10http://dbpedia.org/resource/Lattice_(order)
Subject Item
dbr:Abstract_interpretation
rdf:type
dbo:Work dbr:Theory
rdfs:label
Interprétation abstraite Abstract interpretation Abstrakte Interpretation
wdrs:describedby
n5: n6:Theory n7:Theory n8: n12: n6:Debugging n6:Abstraction
dct:subject
dbc:Program_analysis dbc:Abstract_interpretation
dbo:wikiPageWikiLink
n10: dbr:Debugging n13: n16: dbr:Abstraction
n11:hypernym
dbr:Theory