This HTML5 document contains 24 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/
n4https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/class/yago/
n17http://localhost:8890/about/id/entity/http/dbpedia.org/resource/Haskell_(programming_language)
wdrshttp://www.w3.org/2007/05/powder-s#
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
n2http://dbpedia.org/resource/Idris_(programming_language)
n14http://localhost:8890/about/id/entity/http/dbpedia.org/class/yago/
n9https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Category:
n12https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/
n15http://dbpedia.org/resource/Haskell_(programming_language)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
n16https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Template:
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
n2:
rdf:type
yago:Language106282651 yago:ArtificialLanguage106894544
wdrs:describedby
n4:ArtificialLanguage106894544 n9:High-level_programming_languages n12:Subroutine n14:Language106282651 n12:Cross-platform n12:Coq n16:URL n17: n12:Parametric_polymorphism
dbp:influencedBy
dbr:Coq n15:
dbp:operatingSystem
dbr:Cross-platform
dct:subject
dbc:High-level_programming_languages
dbo:wikiPageWikiLink
dbr:Coq n15: dbr:Subroutine dbr:Cross-platform dbc:High-level_programming_languages dbr:Parametric_polymorphism
dbo:influencedBy
dbr:Coq n15:
dbp:wikiPageUsesTemplate
dbt:URL