PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • ??? If X is a vector and omega a differential p-form, then the interior product or hook of X and omega is the differential (p - 1)-form theta = Hook(X, omega) defined by theta(Y1, Y2, ..., Yq) = omega(X, Y1, Y2, ..., Yq), where q = p - 1 and Y1, Y2, ..., Yq are arbitrary vectors.
http://www.w3.org/ns/prov#wasQuotedFrom
  • maplesoft.com