MyWikiBiz, Author Your Legacy — Saturday October 25, 2025
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 |