http://www.w3.org/ns/prov#value | - In this case, it will be sufficient to find some z???W 0z\in W_0 of length nn and directed paths (recall that here a directed path is a path consisting only of directed arrows) in ???? n\mathcal{G}_n from v???v' to zz and from v???v'' to zz such that applying ???\mathcal{I} to the following diamond (upper part of the diagram) results in a commutative diamond in BB:
|