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 (Apr 2001)====
+
====Arisbe List (Mar 2001)====
   −
* http://stderr.org/pipermail/arisbe/2001-April/000409.html
+
* http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
 +
: http://stderr.org/pipermail/arisbe/2001-April/000409.html
    
====Inquiry List (Mar 2003)====
 
====Inquiry List (Mar 2003)====
12,080

edits

Navigation menu