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 |