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