PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Under these conditions, every algebraic group is an extension of a reductive group by a unipotent group (since a reductive group is one whose unipotent radical, i.e. maximal normal unipotent connected subgroup, is trivial).
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net