PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Note that saturation is not performed in case of overflow (see the description of {if (tb)} Rdest = Rm $+c+ Rn on page 55 for an add with carry and saturation).Flags affected: if unconditional or test bit is set, then update N, Z, C,OV, LTExample: // Add 32-bit r54 to r76 storing result in r98r8 = r4 + r6; // Add least-significant 16 bitsr9 = r5 +c +r7; // Add most-significant 16 bits +
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com