| http://www.w3.org/ns/prov#value | - A variety of techniques for distinguishing these variables exist, including type-based rules enforced by the compiler, as well as dynamic techniques that determine and possibly change the status of a variable (transactional or non-transactional) at runtime.
|