PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Dene a scalar m ultiplication V R [ x ] V b y v ( a 0 + a 1 x + + a r x r ) = v a 0 + T ( v ) a 1 + + T r ( v ) a r Theorem 1 Under this scalar m ultiplication, V is an R [ x ]-mo dule.
http://www.w3.org/ns/prov#wasQuotedFrom
  • ufl.edu