| http://www.w3.org/ns/prov#value | - ??(p1 -p0)). . . if 0 < t < 1. . . . a p0 + t (p1 -p0). . . . b q. . . . go to ACCEPT. . . else. . . . go to REJECT. . if P is an edge and Q is an edge. . . v (p1 -p0) ??? (q1 -q0). . . if v ??? v = 0 go to REJECT. . . t1 |q0 -p0 q1 -q0v|/(v ??? v). . . t2 |q0 -p0 p1 -p0v|/(v ??? v). . . if 0
|