Changes

Line 117: Line 117:  
===Apr — Propositional Equation Reasoning Systems===
 
===Apr — Propositional Equation Reasoning Systems===
    +
* http://forum.wolframscience.com/archive/topic/297-1.html
 +
* http://forum.wolframscience.com/printthread.php?threadid=297
 
* http://forum.wolframscience.com/showthread.php?threadid=297
 
* http://forum.wolframscience.com/showthread.php?threadid=297
 
* http://stderr.org/pipermail/inquiry/2004-April/thread.html#1341
 
* http://stderr.org/pipermail/inquiry/2004-April/thread.html#1341
12,089

edits