12,080
edits
Changes
→C3. Dominant form theorem: break monolithic storyboard into components
{| 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]]
{| 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)
|}
|}