| http://www.w3.org/ns/prov#value | - The first term (RQE0) of the equation (1) is a logical expression for deciding that there is a request to be selected and the second term (BP) of the equation (1) is a logical expression for deciding that there is no waiting request at the P stage.
|