http://www.w3.org/ns/prov#value | - However, as will be appreciated from the foregoing and as explained further below, the symbols that are analysed can in general be of any type that conforms to a specification and that techniques other than first order logic may be applied.
|