PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The fact that the number of divisors is odd iff our number is a perfect square can also be done in a formula-free way by a pairing argument.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com