MyWikiBiz, Author Your Legacy — Monday December 23, 2024
Jump to navigationJump to search
64 bytes added
, 16:54, 5 January 2009
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)==== |