This HTML5 document contains 113 embedded RDF statements represented using HTML+Microdata notation.
The embedded RDF content will be recognized by any processor of HTML5 Microdata.
| Prefix | Namespace IRI |
|---|---|
| n19 | http://caligraph.org/resource/Edsger_W. |
| n18 | http://caligraph.org/resource/Paxos_(computer_science) |
| n25 | http://caligraph.org/ontology/Mathematician_from_New_York_(state) |
| n22 | http://caligraph.org/resource/Lamport' |
| n13 | http://caligraph.org/resource/TLA%2B |
| n23 | http://en.wikipedia.org/wiki/Leslie_(name) |
| n15 | http://en.wikipedia.org/wiki/List_of_members_of_the_National_Academy_of_Engineering_(Computer_science) |
| n7 | http://en.wikipedia.org/wiki/Category: |
| skos | http://www.w3.org/2004/02/skos/core# |
| n21 | http://caligraph.org/resource/IEEE_Emanuel_R. |
| rdfs | http://www.w3.org/2000/01/rdf-schema# |
| n12 | http://en.wikipedia.org/wiki/List_of_members_of_the_National_Academy_of_Sciences_(computer_and_information_sciences) |
| n24 | http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91 |
| rdf | http://www.w3.org/1999/02/22-rdf-syntax-ns# |
| owl | http://www.w3.org/2002/07/owl# |
| n20 | http://en.wikipedia.org/wiki/Category:Mathematicians_from_New_York_(state) |
| n27 | http://caligraph.org/ontology/Member_of_the_National_Academy_of_Engineering_(Computer_science) |
| clgo | http://caligraph.org/ontology/ |
| n17 | http://caligraph.org/ontology/People_by_Erd%C5%91 |
| n11 | http://caligraph.org/resource/New_York_(state) |
| n6 | http://en.wikipedia.org/wiki/ |
| prov | http://www.w3.org/ns/prov# |
| n14 | http://en.wikipedia.org/wiki/Lamport_(surname) |
| n26 | http://caligraph.org/ontology/Member_of_the_National_Academy_of_Sciences_(computer_and_information_sciences) |
| xsdh | http://www.w3.org/2001/XMLSchema# |
| dbr | http://dbpedia.org/resource/ |
| n16 | http://en.wikipedia.org/wiki/List_of_American_Academy_of_Arts_and_Sciences_members_(2006%E2%80%932019) |
| clgr | http://caligraph.org/resource/ |