| http://www.w3.org/ns/prov#value | - The values of signals c1 and c2 are encoded on d bits (d=4, for example), so that the value of signal r is encoded on (d+1) bits, one of which bits is a sign bit with the value 1 or 0, according to whether the number is positive or not positive, for example.
|
