| http://www.w3.org/ns/prov#value | - means for computing a numerator of a quotient determinative of the compression constant to be recovered; means for computing a denominator of the quotient; means for shifting off a least significant bit from both the numerator and the denominator until the numerator and the denominator are less than 2K; and means for performing K-bit division, where K is a constant.
|
