PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The following question is mainly inspired by this previous one Which manifolds admit a diffeomorphism of order $n$? and some answers given there.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net