This HTML5 document contains 11 embedded RDF statements represented using HTML+Microdata notation.
The embedded RDF content will be recognized by any processor of HTML5 Microdata.
| Prefix | Namespace IRI |
|---|---|
| n2 | http://caligraph.org/resource/Vampire: |
| n7 | http://en.wikipedia.org/wiki/Category: |
| skos | http://www.w3.org/2004/02/skos/core# |
| rdfs | http://www.w3.org/2000/01/rdf-schema# |
| rdf | http://www.w3.org/1999/02/22-rdf-syntax-ns# |
| owl | http://www.w3.org/2002/07/owl# |
| n9 | http://dbpedia.org/resource/Vampire: |
| clgo | http://caligraph.org/ontology/ |
| prov | http://www.w3.org/ns/prov# |
| xsdh | http://www.w3.org/2001/XMLSchema# |
| clgr | http://caligraph.org/resource/ |