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