User contributions
MyWikiBiz, Author Your Legacy — Saturday October 04, 2025
Jump to navigationJump to search- 00:29, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Banner Title.png current
- 23:42, 27 March 2010 diff hist 0 N File:Double Negation 1.0 Splash Page.png current
- 17:46, 27 March 2010 diff hist +208 Logical graph →Document history: + knol versions
- 17:24, 27 March 2010 diff hist 0 Logical graph renumber figures
- 17:18, 27 March 2010 diff hist +345 Logical graph →Frequently used theorems: + animation
- 17:13, 27 March 2010 diff hist 0 N File:Dominant Form 2.0 Frame 3.png current
- 17:12, 27 March 2010 diff hist 0 N File:Dominant Form 2.0 Frame 2.png current
- 17:11, 27 March 2010 diff hist 0 N File:Dominant Form 2.0 Frame 1.png current
- 17:10, 27 March 2010 diff hist 0 N File:Dominant Form 2.0 Animation.gif current
- 06:44, 27 March 2010 diff hist 0 N File:Dominant Form 1.0 Storyboard 3.png current
- 06:42, 27 March 2010 diff hist 0 N File:Dominant Form 1.0 Storyboard 2.png current
- 06:40, 27 March 2010 diff hist 0 N File:Dominant Form 1.0 Storyboard 1.png current
- 06:36, 27 March 2010 diff hist 0 N File:Equational Inference J1 Delete a.png current
- 06:34, 27 March 2010 diff hist 0 N File:Equational Inference C2 Regenerate a.png current
- 06:34, 27 March 2010 diff hist 0 N File:Dominant Form 1.0 Banner Title.png current
- 06:32, 27 March 2010 diff hist 0 N File:Dominant Form 1.0 Splash Page.png current
- 06:30, 27 March 2010 diff hist 0 N File:Generation Theorem 1.0 Banner Title.png current
- 06:28, 27 March 2010 diff hist +562 Logical graph →C3. Dominant form theorem: break monolithic storyboard into components
- 19:17, 26 March 2010 diff hist +11 Logical graph →C<sub>2</sub>. Generation theorem: JPEG ---> PNG
- 19:12, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 6.png current
- 19:12, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 5.png current
- 19:11, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 4.png current
- 19:11, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 3.png current
- 19:10, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 2.png current
- 19:09, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Storyboard 1.png current
- 18:41, 26 March 2010 diff hist 0 N File:Equational Inference Banner QED.png current
- 18:40, 26 March 2010 diff hist 0 N File:Equational Inference C1 Reflect a, b.png current
- 18:38, 26 March 2010 diff hist 0 N File:Equational Inference J2 Collect a.png current
- 18:36, 26 March 2010 diff hist 0 N File:Equational Inference J1 Insert a.png current
- 18:34, 26 March 2010 diff hist 0 N File:Equational Inference I2 Elicit (( )).png current
- 18:32, 26 March 2010 diff hist 0 N File:Equational Inference C1 Reflect a(b).png current
- 18:30, 26 March 2010 diff hist 0 N File:Generation Theorem 1.0 Splash Page.png current
- 18:30, 26 March 2010 diff hist 0 N File:Generation Theorem Banner Title.png current
- 18:08, 26 March 2010 diff hist +934 Logical graph →C2. Generation theorem: break monolithic storyboard into components
- 05:50, 26 March 2010 diff hist 0 N File:Equational Inference QED.png current
- 05:50, 26 March 2010 diff hist 0 N File:Equational Inference Delete a, b, c.png current
- 05:48, 26 March 2010 diff hist 0 N File:Equational Inference Weed ab, ac, bc.png current
- 05:48, 26 March 2010 diff hist 0 N File:Equational Inference Cancel (( )).png current
- 05:46, 26 March 2010 diff hist 0 N File:Equational Inference Quit (a), (b), (c).png current
- 05:45, 26 March 2010 diff hist 0 N File:Equational Inference Collect ab, ac, bc.png current
- 05:45, 26 March 2010 diff hist 0 N File:Equational Inference Distribute (abc).png current
- 05:44, 26 March 2010 diff hist 0 N File:Equational Inference Reflect ab, ac, bc.png current
- 05:44, 26 March 2010 diff hist 0 N File:Majority Function Example Proof 1 Title.png current
- 05:34, 26 March 2010 diff hist +3,227 Logical graph update with majority function example & animations
- 03:32, 26 March 2010 diff hist -8 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →C<sub>1</sub>. Double negation: trim head
- 02:27, 26 March 2010 diff hist +268 User:Jon Awbrey/ANIMATION →Proof Animations: + Image:Generation Theorem 2.0 Animation.gif
- 02:19, 26 March 2010 diff hist +361 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Frequently used theorems: + Image:Generation Theorem 2.0 Animation.gif
- 00:06, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Frame 6.png current
- 00:05, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Frame 5.png current
- 00:04, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Frame 4.png current
).png&oldid=114496){kind=link}
).png&action=history){kind=link}
).png){kind=link}
.png&oldid=114495){kind=link}
.png&action=history){kind=link}
.png){kind=link}
).png&oldid=114456){kind=link}
).png&action=history){kind=link}
).png){kind=link}
,_(b),_(c).png&oldid=114455){kind=link}
,_(b),_(c).png&action=history){kind=link}
,_(b),_(c).png){kind=link}
.png&oldid=114453){kind=link}
.png&action=history){kind=link}
.png){kind=link}
