PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The main tool involved in establishing the results above by reducing differential-topology problems into algebraic-topology solutions is equivariant algebraic K-theory, where equivariance is understood with respect to the group given by the circle, i.e. the unit circle of the complex plane.
http://www.w3.org/ns/prov#wasQuotedFrom
  • wikipedia.org