PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • If the output of NOR2 is 1, the upper 3 bits of the shift result of the subtraction result in the first row are all zeros and it means that there is a space for shifting left 2 bits, so that the subtraction result and the shift result of the input value in the first row are shifted left 2 bits.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com