This HTML5 document contains 635 embedded RDF statements represented using HTML+Microdata notation.
The embedded RDF content will be recognized by any processor of HTML5 Microdata.
| Prefix | IRI |
|---|---|
| dbpedia-de | http://de.dbpedia.org/resource/ |
| n5 | https://www.cse.chalmers.se/research/group/logic/book/ |
| n59 | http://plato.stanford.edu/entries/type-theory/ |
| xsdh | http://www.w3.org/2001/XMLSchema# |
| dbpedia-el | http://el.dbpedia.org/resource/ |
| yago | http://dbpedia.org/class/yago/ |
| dbo | http://dbpedia.org/ontology/ |
| n35 | http://dbpedia.org/resource/Call/ |
| n67 | https://www.cs.uoregon.edu/research/summerschool/summer12/ |
| rdf | http://www.w3.org/1999/02/22-rdf-syntax-ns# |
| n58 | https://plato.stanford.edu/entries/type-theory-intuitionistic/ |
| dbpedia-ko | http://ko.dbpedia.org/resource/ |
| wikidata | http://www.wikidata.org/entity/ |
| owl | http://www.w3.org/2002/07/owl# |
| n66 | https://www.cs.uoregon.edu/research/summerschool/ |
| n49 | https://ncatlab.org/nlab/show/ |
| n53 | https://hott.github.io/HoTT-2019/images/ |
| dbpedia-it | http://it.dbpedia.org/resource/ |
| n41 | http://www.nuprl.org/documents/Constable/ |
| n43 | https://global.dbpedia.org/id/ |
| n54 | https://ghostarchive.org/archive/20221009/http:/www.nuprl.org/documents/Constable/ |
| dbpedia-fr | http://fr.dbpedia.org/resource/ |
| n51 | http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ |
| n40 | http://www.nuprl.org/book/ |
| n42 | http://citeseer.ist.psu.edu/ |
| n30 | http://www.cs.chalmers.se/Cs/Research/Logic/Types/ |
| n65 | http://lists.seas.upenn.edu/mailman/listinfo/ |
| n55 | https://ghostarchive.org/archive/20221009/https:/pure.tue.nl/ws/files/1383309/ |
| n37 | http://math.andrej.com/category/type-theory/ |
| dbr | http://dbpedia.org/resource/ |
| n39 | https://www.youtube.com/ |
| dbpedia-no | http://no.dbpedia.org/resource/ |
| n38 | ftp://ftp.cs.cornell.edu/pub/nuprl/doc/ |
| dbpedia-es | http://es.dbpedia.org/resource/ |
| dbpedia-pt | http://pt.dbpedia.org/resource/ |
| n61 | https://www.cs.ru.nl/B.Jacobs/CLT/ |
| dbpedia-kk | http://kk.dbpedia.org/resource/ |
| dbpedia-ru | http://ru.dbpedia.org/resource/ |
| dbpedia-nl | http://nl.dbpedia.org/resource/ |
| prov | http://www.w3.org/ns/prov# |
| n6 | https://homotopytypetheory.org/book/ |
| freebase | http://rdf.freebase.com/ns/ |
| n52 | https://home.ttic.edu/~dreyer/course/papers/ |
| yago-res | http://yago-knowledge.org/resource/ |
| dbpedia-ja | http://ja.dbpedia.org/resource/ |
| dbpedia-ar | http://ar.dbpedia.org/resource/ |
| n50 | http://www.iwu.edu/~htiede/papers/pdf/ |
| dbp | http://dbpedia.org/property/ |
| dbpedia-fa | http://fa.dbpedia.org/resource/ |
| dbpedia-uk | http://uk.dbpedia.org/resource/ |
| dbpedia-vi | http://vi.dbpedia.org/resource/ |
| dbc | http://dbpedia.org/resource/Category: |
| n44 | https://www.researchgate.net/publication/ |
| dbt | http://dbpedia.org/resource/Template: |
| n18 | http://www.cs.chalmers.se/Cs/Research/Logic/TypesSS05/ |
| rdfs | http://www.w3.org/2000/01/rdf-schema# |
| dcterms | http://purl.org/dc/terms/ |
| wikipedia-en | http://en.wikipedia.org/wiki/ |
| n68 | https://www.cs.uoregon.edu/research/summerschool/summer15/ |
| foaf | http://xmlns.com/foaf/0.1/ |
| n64 | https://pure.tue.nl/ws/files/1383309/ |
| dbpedia-cs | http://cs.dbpedia.org/resource/ |
| dbpedia-eo | http://eo.dbpedia.org/resource/ |
| dbpedia-zh | http://zh.dbpedia.org/resource/ |
| dbpedia-az | http://az.dbpedia.org/resource/ |
| n56 | https://archive-pml.github.io/martin-lof/pdfs/ |
| n33 | http://dbpedia.org/resource/Nlab: |
| dbpedia-pl | http://pl.dbpedia.org/resource/ |
| n48 | https://hbr.github.io/Lambda-Calculus/ |
| dbpedia-he | http://he.dbpedia.org/resource/ |