| http://www.w3.org/ns/prov#value | - Use only the upper sliders to adjust the pq-string and test whether it is an axiom or a theorem or neither. (Axioms must follow the axiom schema or pattern , where represents a string of hyphens.) This Demonstration is a power tool for exploring this sample formal system, but the exploration process occurs in your own mind: do not use the lower slider or buttons until you have thoroughly explore
|
