PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In addition, all numbers (lockers) except perfect squares have factors that occur in pairs, so that every locker except those whose number is a perfect square has its state changed an even number of times: it gets changed and then changed back, or opened and shut again.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org