User contributions
27 March 2010
File:Dominant Form 1.0 Storyboard 3.png
no edit summary
File:Dominant Form 1.0 Storyboard 2.png
no edit summary
File:Dominant Form 1.0 Storyboard 1.png
no edit summary
File:Equational Inference J1 Delete a.png
no edit summary
File:Equational Inference C2 Regenerate a.png
no edit summary
File:Dominant Form 1.0 Banner Title.png
no edit summary
File:Dominant Form 1.0 Splash Page.png
no edit summary
File:Generation Theorem 1.0 Banner Title.png
no edit summary
Logical graph
C3. Dominant form theorem: break monolithic storyboard into components
+562
26 March 2010
Logical graph
C<sub>2</sub>. Generation theorem: JPEG ---> PNG
+11
File:Generation Theorem 1.0 Storyboard 6.png
no edit summary
File:Generation Theorem 1.0 Storyboard 5.png
no edit summary
File:Generation Theorem 1.0 Storyboard 4.png
no edit summary
File:Generation Theorem 1.0 Storyboard 3.png
no edit summary
File:Generation Theorem 1.0 Storyboard 2.png
no edit summary
File:Generation Theorem 1.0 Storyboard 1.png
no edit summary
File:Equational Inference Banner QED.png
no edit summary
File:Equational Inference C1 Reflect a, b.png
no edit summary
File:Equational Inference J2 Collect a.png
no edit summary
File:Equational Inference J1 Insert a.png
no edit summary
File:Equational Inference I2 Elicit (( )).png
no edit summary
File:Equational Inference C1 Reflect a(b).png
no edit summary
File:Generation Theorem 1.0 Splash Page.png
no edit summary
File:Generation Theorem Banner Title.png
no edit summary
Logical graph
C2. Generation theorem: break monolithic storyboard into components
+934
File:Equational Inference QED.png
no edit summary
File:Equational Inference Delete a, b, c.png
no edit summary
File:Equational Inference Weed ab, ac, bc.png
no edit summary
File:Equational Inference Cancel (( )).png
no edit summary
File:Equational Inference Quit (a), (b), (c).png
no edit summary
File:Equational Inference Collect ab, ac, bc.png
no edit summary
File:Equational Inference Distribute (abc).png
no edit summary
File:Equational Inference Reflect ab, ac, bc.png
no edit summary
File:Majority Function Example Proof 1 Title.png
no edit summary
Logical graph
update with majority function example & animations
+3,227
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C<sub>1</sub>. Double negation: trim head
-8
User:Jon Awbrey/ANIMATION
Proof Animations: + Image:Generation Theorem 2.0 Animation.gif
+268
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Frequently used theorems: + Image:Generation Theorem 2.0 Animation.gif
+361
File:Generation Theorem 2.0 Frame 6.png
no edit summary
File:Generation Theorem 2.0 Frame 5.png
no edit summary
File:Generation Theorem 2.0 Frame 4.png
no edit summary
File:Generation Theorem 2.0 Frame 3.png
no edit summary
File:Generation Theorem 2.0 Frame 2.png
no edit summary
File:Generation Theorem 2.0 Frame 1.png
no edit summary
File:Generation Theorem 2.0 Animation.gif
no edit summary
25 March 2010
Logical graph
update
+126
Ampheck
update
+55
Logical graph
fill out [document history]
+163
Ampheck
update
+235
Ampheck
+ document history
+663