| http://www.w3.org/ns/prov#value | - As long as I know that any proof is valid, I might not know how long it takes to do a proof; if there???s something that does proof, then I may not know how long the algorithm takes to produce a proof but I may know that anything it claims is a proof is definitely a proof, so there???s different kinds of perfection and types of precision.
|
