| http://www.w3.org/ns/prov#value | - (a) for 0???j???k there is anode Zj on which aj is an input and bj is an output; (b) a0, a1, . . . , ak are distinct from one another; (c) b0, b1, . . . , bk are distinct from one another; (d) for 0<j???k, bj???1 is interconnected to aj; and (e) A=a0 and B=bk.
|
