PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The presentation is an artifact of being originally given as a speech with slides: obviously if it were intended as a journal article, I would have formatted it differently! (For example, I deliberately left the citations and attributions in Flyspeck 8 because they weren't meant to be read by the audience at the talk: the slides go by far too quickly.)
http://www.w3.org/ns/prov#wasQuotedFrom
  • gnolls.org