Changes

MyWikiBiz, Author Your Legacy — Monday December 23, 2024
Jump to navigationJump to search
Line 36: Line 36:  
===Propositional Equation Reasoning Systems===
 
===Propositional Equation Reasoning Systems===
   −
====Arisbe List (Mar–Apr 2001)====
+
====Arisbe List (Mar 2001)====
    
* http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
 
* http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
12,080

edits

Navigation menu