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 = Rn $-b- Rm on page 71 for a subtract with borrow and saturation).Flags affected: if unconditional or test bit is set, then update N, Z, C,OV, LTExample: // Subtract 32-bit r76 from r54 storing result in r98r8 = r4 - r6; // Subtract least-significant 16 bitsr9 = r5 -b- r7; // Subtract most-
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com