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