| http://www.w3.org/ns/prov#value | - I I have no problem with the claim that your proof is a real proof in that it gives all necessary information for a mathematician to understand it (and I do understand it), but as I mentioned in another comment, I am working in a strict formal system, and no details can be omitted.
|
