This HTML5 document contains 480 embedded RDF statements represented using HTML+Microdata notation.
The embedded RDF content will be recognized by any processor of HTML5 Microdata.
| Prefix | IRI |
|---|---|
| dbt | http://dbpedia.org/resource/Template: |
| wikipedia-en | http://en.wikipedia.org/wiki/ |
| n4 | https://vprover.github.io/ |
| n19 | http://gtps.math.cmu.edu/cgi-bin/ |
| dbpedia-hy | http://hy.dbpedia.org/resource/ |
| dbr | http://dbpedia.org/resource/ |
| n15 | https:// |
| n38 | http://www.cis.upenn.edu/~jean/gbooks/ |
| dbpedia-fr | http://fr.dbpedia.org/resource/ |
| dct | http://purl.org/dc/terms/ |
| rdfs | http://www.w3.org/2000/01/rdf-schema# |
| dbpedia-az | http://az.dbpedia.org/resource/ |
| rdf | http://www.w3.org/1999/02/22-rdf-syntax-ns# |
| dbp | http://dbpedia.org/property/ |
| dbpedia-eu | http://eu.dbpedia.org/resource/ |
| n20 | https://github.com/johnyf/tool_lists/blob/master/ |
| xsdh | http://www.w3.org/2001/XMLSchema# |
| dbpedia-uk | http://uk.dbpedia.org/resource/ |
| dbo | http://dbpedia.org/ontology/ |
| dbpedia-pt | http://pt.dbpedia.org/resource/ |
| dbpedia-ja | http://ja.dbpedia.org/resource/ |
| dbc | http://dbpedia.org/resource/Category: |
| n27 | http://www.mathapplets.net/Programs/Meta%20Theorem/ |
| dbpedia-pl | http://pl.dbpedia.org/resource/ |
| dbpedia-th | http://th.dbpedia.org/resource/ |
| dbpedia-ru | http://ru.dbpedia.org/resource/ |
| wikidata | http://www.wikidata.org/entity/ |
| gold | http://purl.org/linguistics/gold/ |
| yago-res | http://yago-knowledge.org/resource/ |
| dbpedia-global | https://global.dbpedia.org/id/ |
| dbpedia-it | http://it.dbpedia.org/resource/ |
| prov | http://www.w3.org/ns/prov# |
| foaf | http://xmlns.com/foaf/0.1/ |
| n10 | http://dbpedia.org/resource/ESC/ |
| dbpedia-zh | http://zh.dbpedia.org/resource/ |
| dbpedia-ko | http://ko.dbpedia.org/resource/ |
| dbpedia-tr | http://tr.dbpedia.org/resource/ |
| dbpedia-fa | http://fa.dbpedia.org/resource/ |
| dbpedia-es | http://es.dbpedia.org/resource/ |
| freebase | http://rdf.freebase.com/ns/ |
| owl | http://www.w3.org/2002/07/owl# |