PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Assuming N is the number of bits input to the ones-tally circuit 22, and assuming that N is a power of two, then the ones-tally circuit 22 illustrated in FIG. 1 produces [log2 (N)]+1 number of bits in the result.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com