| http://www.w3.org/ns/prov#value | - the theorems and definitions, and also provide counterexamples to conjectures (and especially counterexamples to converses of theorems). Each archetype has numerous computational results which you could strive to duplicate as you encounter new definitions and theorems. There are some exercises which will guide you in this quest, though these are not comprehensive.</p>
|
