| http://www.w3.org/ns/prov#value | - Although the propositional logic of earlier sections was decidable, adding the quantifiers makes the logic undecidable.So far the quantified extensions are first-order: they distinguish propositions from the kinds of objects quantified over.
|
