This HTML5 document contains 12 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/
n10https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/class/yago/
wdrshttp://www.w3.org/2007/05/powder-s#
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
n8http://localhost:8890/about/id/entity/http/dbpedia.org/resource/
n9https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://localhost:8890/about/id/entity/http/dbpedia.org/resource/Template:
dbphttp://dbpedia.org/property/
n12https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Template:
xsdhhttp://www.w3.org/2001/XMLSchema#
n7http://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
Subject Item
dbr:SPIN_model_checker
rdf:type
yago:Assistant109815790
wdrs:describedby
n4:Infobox_software n8:Microsoft_Windows n9:Tool n10:Assistant109815790 n8:Tool n12:Infobox_software
dbp:operatingSystem
dbr:Microsoft_Windows
dbo:wikiPageWikiLink
dbr:Microsoft_Windows
n7:hypernym
dbr:Tool
dbo:operatingSystem
dbr:Microsoft_Windows
dbp:wikiPageUsesTemplate
dbt:Infobox_software