| Line 1: |
Line 1: |
| | ==Fragmata== | | ==Fragmata== |
| | | | |
| − | ; Ontology List
| + | ===Ontology List=== |
| − | : http://suo.ieee.org/ontology/msg03586.html
| |
| − | : http://suo.ieee.org/ontology/msg05486.html
| |
| | | | |
| − | ; Inquiry List
| + | * http://suo.ieee.org/ontology/msg03586.html |
| − | : http://stderr.org/pipermail/arisbe/2001-April/000409.html
| + | * http://suo.ieee.org/ontology/msg05486.html |
| − | : http://stderr.org/pipermail/arisbe/2001-December/001230.html
| |
| − | : http://stderr.org/pipermail/inquiry/2003-March/000114.html
| |
| − | : http://stderr.org/pipermail/inquiry/2005-February/002360.html
| |
| | | | |
| − | ; NKS Forum
| + | ===Inquiry List=== |
| − | : [http://forum.wolframscience.com/showthread.php?threadid=755 Cactus Language, Operator Variables, Reflection]
| + | |
| − | : [http://forum.wolframscience.com/showthread.php?threadid=726 Logic In Graphs]
| + | * http://stderr.org/pipermail/arisbe/2001-April/000409.html |
| | + | * http://stderr.org/pipermail/arisbe/2001-December/001230.html |
| | + | * http://stderr.org/pipermail/inquiry/2003-March/000114.html |
| | + | * http://stderr.org/pipermail/inquiry/2005-February/002360.html |
| | + | |
| | + | ====Propositional Equation Reasoning Systems==== |
| | + | |
| | + | * http://stderr.org/pipermail/inquiry/2003-March/thread.html#126 |
| | + | |
| | + | ===NKS Forum=== |
| | + | |
| | + | ====Logic In Graphs==== |
| | + | |
| | + | * http://forum.wolframscience.com/showthread.php?threadid=726 |
| | + | |
| | + | ====Cactus Language, Operator Variables, Reflection==== |
| | + | |
| | + | * http://forum.wolframscience.com/showthread.php?threadid=755 |