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