PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • If you do not care about which integer you have got except for its remainder when divided by m, then you define two integers that do not differ in any way that you care about to be equivalent and work in ???/~ (???/(= mod m) in this case).
http://www.w3.org/ns/prov#wasQuotedFrom
  • yale.edu