Changes

MyWikiBiz, Author Your Legacy — Thursday December 18, 2025
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 19:28, 2 November 2008

48 bytes removed ,  19:28, 2 November 2008
→‎Formal extension : Cactus calculus: cleanup debris
Line 241: Line 241:  
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
−
<nowiki>Insert non-formatted text here</nowiki>
      
==Case analysis-synthesis theorem==
 
==Case analysis-synthesis theorem==
Jon Awbrey
12,180

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/72324"

Navigation menu