PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • One might define an algebraic automorphic rep to be accessible if it is cohomological or perhaps limit of discrete series (perhaps these are the ones for which there is a chance of proving they are arithmetic), and then try and find examples of algebraic auto reps which should never transfer to an accessible rep on any other group.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net