| http://www.w3.org/ns/prov#value | - a) The yield V of a bits-denotation D is determined as follows: ??? let W be the intrinsic boolean value {b} of its constituent RADIX-digit-sequence: ??? let m be the length of W; ??? let n be the value of {l} bits width {10.2.1.j}, where {l} stands for as many times long (short) as there are long-symbols (short-symbols) contained in D; ??? it is required that m be not greater than n: ??? V is a s
|
