PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The basic ideas about tensor products $M(\chi) \otimes L(\mu)$ (with $\mu$ dominant integral) are discussed in my 3.6; note especially the last two paragraphs.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net