PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • After the above described calculations for remaining power ZAN1, ZAN2 are completed in step SP6, CPU 1 proceeds to step SP7 in which it is determined whether the game has finished or not, that is, whether there is a winner or not.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com