PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • External for instance -- most natural examples of functors we have from the stable motivic homotopy category to some other category invert G_m (e.g. any of the usual realizations, or K-theory).
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net