MyWikiBiz, Author Your Legacy — Wednesday November 05, 2025
Jump to navigationJump to search
562 bytes added
, 06:28, 27 March 2010
| Line 328: |
Line 328: |
| | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" | | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" |
| | |- | | |- |
| − | | [[Image:Generation Theorem Banner Title.png|500px]] | + | | [[Image:Generation Theorem 1.0 Banner Title.png|500px]] |
| | |- | | |- |
| | | [[Image:Generation Theorem 1.0 Storyboard 1.png|500px]] | | | [[Image:Generation Theorem 1.0 Storyboard 1.png|500px]] |
| Line 373: |
Line 373: |
| | | | |
| | {| align="center" cellpadding="10" | | {| align="center" cellpadding="10" |
| − | | [[Image:Logical_Graph_Figure_29.jpg|500px]] || (31) | + | | [[Image:Dominant Form 1.0 Splash Page.png|500px]] || (31) |
| | |} | | |} |
| | | | |
| | Here is a proof of the Dominant Form Theorem. | | Here is a proof of the Dominant Form Theorem. |
| | | | |
| − | {| align="center" cellpadding="10" | + | {| align="center" cellpadding="8" |
| − | | [[Image:Logical_Graph_Figure_30.jpg|500px]] || (32) | + | | |
| | + | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" |
| | + | |- |
| | + | | [[Image:Dominant Form 1.0 Banner Title.png|500px]] |
| | + | |- |
| | + | | [[Image:Dominant Form 1.0 Storyboard 1.png|500px]] |
| | + | |- |
| | + | | [[Image:Equational Inference C2 Regenerate a.png|500px]] |
| | + | |- |
| | + | | [[Image:Dominant Form 1.0 Storyboard 2.png|500px]] |
| | + | |- |
| | + | | [[Image:Equational Inference J1 Delete a.png|500px]] |
| | + | |- |
| | + | | [[Image:Dominant Form 1.0 Storyboard 3.png|500px]] |
| | + | |- |
| | + | | [[Image:Equational Inference Banner QED.png|500px]] |
| | + | |} |
| | + | | (32) |
| | |} | | |} |
| | | | |