PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • When the instruction code 401 is input to the instruction invalidation circuit, the comparators 402, 403 determine whether the slanted line sections satisfy condition A and condition B. The outputs of the comparators are summed by the AND gate 404 and a determination made as to whether the instruction code 401 that is input is an FPU instruction or not.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com