MyWikiBiz, Author Your Legacy — Monday December 23, 2024
Jump to navigationJump to search
10 bytes added
, 02:52, 21 April 2009
Line 44: |
Line 44: |
| ===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 |