PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For example, there is a result saying that if $0 o M' o M o M'' o 0$ is exact, $M''$ is finitely presented and $M$ is finitely generated, then $M'$ is also finitely generated.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net