| http://www.w3.org/ns/prov#value | - Indeed, in many languages, such as C++ and Java, there exists an optimiser that stops the evaluation of logical expressions when finding either a true value followed by the or logical operator or a false value followed by the and logical operator.
|