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.
| Prefix | Namespace IRI |
|---|---|
| dbpedia-owl | http://dbpedia.org/ontology/ |
| foaf | http://xmlns.com/foaf/0.1/ |
| n7 | http://commons.wikimedia.org/wiki/Special:FilePath/Coq_logo. |
| n10 | http://coq.inria.fr/ |
| rdfs | http://www.w3.org/2000/01/rdf-schema# |
| n4 | http://dbpedia.org/resource/ML_(programming_language) |
| rdf | http://www.w3.org/1999/02/22-rdf-syntax-ns# |
| xsdh | http://www.w3.org/2001/XMLSchema# |
| n6 | http://commons.wikimedia.org/wiki/Special:FilePath/Coq_logo.png?width= |
| n8 | http://dbpedia.org/resource/Agda_(programming_language) |
| dbpedia | http://dbpedia.org/resource/ |