PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • However the math we do discover still applies in any universe that encodes the mathematical objects we have studied (which seems very likely, given the apparent generality of such things as numbers and Turing Machines).
http://www.w3.org/ns/prov#wasQuotedFrom
  • scottaaronson.com