This HTML5 document contains 19 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/
n5https://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/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://localhost:8890/about/id/entity/http/dbpedia.org/resource/
n8https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbr:Categorical_logic
rdf:type
yago:Ability105616246 dbo:Organisation yago:Logic105664069 yago:Method105660268 dbo:Agent dbr:Branch
rdfs:label
Categorical logic
wdrs:describedby
n5:Logic105664069 n8:Mathematical_logic n5:Method105660268 n5:Ability105616246 n11:Type_theory n8:Universal_property
dct:subject
dbc:Categorical_logic dbc:Theoretical_computer_science dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbr:Mathematical_logic dbr:Type_theory dbr:Universal_property