User contributions
MyWikiBiz, Author Your Legacy — Monday October 06, 2025
Jump to navigationJump to search- 03:02, 28 August 2009 diff hist -649 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Example: convert graphics
- 02:48, 28 August 2009 diff hist 0 N File:Praeclarum Theorema DNF.jpg current
- 14:36, 27 August 2009 diff hist -21,210 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Case analysis-synthesis theorem: convert graphics
- 14:28, 27 August 2009 diff hist +43 User:Jon Awbrey/GRAPHICS →Praeclarum Theorema : Proof by CAST
- 14:00, 27 August 2009 diff hist +2,599 User:Jon Awbrey/GRAPHICS →Propositional Equation Reasoning Systems
- 13:38, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 18.jpg current
- 13:37, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 17.jpg current
- 13:36, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 16.jpg current
- 13:35, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 15.jpg current
- 13:34, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 14.jpg current
- 13:33, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 13.jpg current
- 13:32, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 12.jpg current
- 13:31, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 11.jpg current
- 13:30, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 10.jpg current
- 13:29, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 09.jpg current
- 13:28, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 08.jpg current
- 13:27, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 07.jpg current
- 13:26, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 06.jpg current
- 13:25, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 05.jpg current
- 13:24, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 04.jpg current
- 13:23, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 03.jpg current
- 13:22, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 02.jpg current
- 13:21, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 01.jpg current
- 13:20, 27 August 2009 diff hist 0 N File:Proof Praeclarum Theorema CAST 00.jpg current
- 17:56, 26 August 2009 diff hist +140 Minimal negation operator →External links: add item
- 16:40, 26 August 2009 diff hist 0 N File:Equational Inference Bar -- Cast D.jpg current
- 16:38, 26 August 2009 diff hist 0 N File:Equational Inference Bar -- Cast C.jpg current
- 16:38, 26 August 2009 diff hist 0 N File:Equational Inference Bar -- Cast B.jpg current
- 16:36, 26 August 2009 diff hist 0 N File:Equational Inference Bar -- Cast A.jpg current
- 15:50, 26 August 2009 diff hist 0 N File:Praeclarum Theorema PERS.jpg current
- 14:54, 26 August 2009 diff hist 0 N File:PERS Praeclarum Theorema.jpg current
- 12:42, 26 August 2009 diff hist -49 Minimal negation operator trim agin
- 11:14, 26 August 2009 diff hist +75 N Differential Logic : Introduction redir title of paper current
- 02:26, 26 August 2009 diff hist +153 Minimal negation operator none o yer fuzzy grey square bullets fer me
- 01:30, 26 August 2009 diff hist +17 Minimal negation operator ins [defined in such a way] again
- 21:28, 25 August 2009 diff hist +31 Minimal negation operator re*write
- 18:36, 25 August 2009 diff hist +165 Minimal negation operator to hedge a bet
- 18:08, 25 August 2009 diff hist +58 Minimal negation operator →Glossary of basic terms
- 17:54, 25 August 2009 diff hist +70 Minimal negation operator →Charts and graphs
- 17:00, 25 August 2009 diff hist +1 Minimal negation operator sub [for/in]
- 13:44, 25 August 2009 diff hist +4 Minimal negation operator sub [intermediary concept/preliminary definition]
- 19:48, 24 August 2009 diff hist -12 Minimal negation operator cleanup
- 19:40, 24 August 2009 diff hist +77 Minimal negation operator Algebraic Boolean Context (ABC)
- 19:29, 24 August 2009 diff hist +1,317 Minimal negation operator expand discussion of properties
- 14:48, 24 August 2009 diff hist -1 Minimal negation operator spacing
- 14:47, 24 August 2009 diff hist -2 Minimal negation operator →Charts and graphs: spacing
- 13:28, 24 August 2009 diff hist -23 Minimal negation operator →Charts and graphs
- 13:18, 24 August 2009 diff hist +4 Minimal negation operator typos
- 13:14, 24 August 2009 diff hist -1 Minimal negation operator
- 13:08, 24 August 2009 diff hist +661 Minimal negation operator rewrite
