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

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

PrefixNamespace IRI
dbohttp://dbpedia.org/ontology/
n13http://dbpedia.org/resource/OS/
n15https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/OS/
n4http://dbpedia.org/resource/Ada_(programming_language)
wdrshttp://www.w3.org/2007/05/powder-s#
n11https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Ada_(programming_language)
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
n14http://localhost:8890/about/id/entity/http/dbpedia.org/class/yago/
n9https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/EDN_(magazine)
n10https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbphttp://dbpedia.org/property/
n12https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Template:
n16http://dbpedia.org/resource/EDN_(magazine)
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbr:DDC-I
rdf:type
yago:Company108058098
wdrs:describedby
n9: n10:X86 n11: n12:URL n10:Source_code n14:Company108058098 n10:POSIX n15:2 n10:Formal_methods
dbo:wikiPageWikiLink
dbr:X86 n4: dbr:Source_code dbr:POSIX dbr:Formal_methods n13:2 n16:
dbp:wikiPageUsesTemplate
dbt:URL