PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Note that saturation is not perforrned in case of overflow (see the description of {(if (tb) } Rdest = Rm $<< Rn on page 77 for a shift-left with saturation).Flags affected: if unconditional or test bit is set, then update N, Z, C, OV, LT TB and TS are affected, if an unconditional shift was specifiedExample: r7 = r7 << 1; // Shift r7 left 1 bit and implicitly set TB
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com