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

edits

Navigation menu