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