Difference between revisions of "Directory talk:Jon Awbrey/Papers/Propositional Equation Reasoning Systems"
MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) |
Jon Awbrey (talk | contribs) |
||
| Line 1: | Line 1: | ||
==Document History== | ==Document History== | ||
| − | ===Standard Upper Ontology (Apr 2001)=== | + | ===Standard Upper Ontology (Mar–Apr 2001)=== |
* http://suo.ieee.org/email/thrd186.html#04187 | * http://suo.ieee.org/email/thrd186.html#04187 | ||
| + | # http://suo.ieee.org/email/msg04187.html | ||
| + | # http://suo.ieee.org/email/msg04305.html | ||
| + | # http://suo.ieee.org/email/msg04413.html | ||
| + | # http://suo.ieee.org/email/msg04419.html | ||
| + | # http://suo.ieee.org/email/msg04422.html | ||
| + | # http://suo.ieee.org/email/msg04423.html | ||
| + | # http://suo.ieee.org/email/msg04432.html | ||
| + | # http://suo.ieee.org/email/msg04454.html | ||
| + | # http://suo.ieee.org/email/msg04455.html | ||
| + | # http://suo.ieee.org/email/msg04476.html | ||
| + | # http://suo.ieee.org/email/msg04510.html | ||
| + | # http://suo.ieee.org/email/msg04517.html | ||
| + | # http://suo.ieee.org/email/msg04525.html | ||
| + | # http://suo.ieee.org/email/msg04533.html | ||
| + | # http://suo.ieee.org/email/msg04536.html | ||
| + | # http://suo.ieee.org/email/msg04542.html | ||
| + | # http://suo.ieee.org/email/msg04546.html | ||
| − | ===Ontology List (Apr 2001)=== | + | ===Ontology List (Mar–Apr 2001)=== |
* http://suo.ieee.org/ontology/thrd74.html#01779 | * http://suo.ieee.org/ontology/thrd74.html#01779 | ||
| + | # http://suo.ieee.org/ontology/msg01779.html | ||
| + | # http://suo.ieee.org/ontology/msg01897.html | ||
| + | # http://suo.ieee.org/ontology/msg02005.html | ||
| + | # http://suo.ieee.org/ontology/msg02011.html | ||
| + | # http://suo.ieee.org/ontology/msg02014.html | ||
| + | # http://suo.ieee.org/ontology/msg02015.html | ||
| + | # http://suo.ieee.org/ontology/msg02024.html | ||
| + | # http://suo.ieee.org/ontology/msg02046.html | ||
| + | # http://suo.ieee.org/ontology/msg02047.html | ||
| + | # http://suo.ieee.org/ontology/msg02068.html | ||
| + | # http://suo.ieee.org/ontology/msg02102.html | ||
| + | # http://suo.ieee.org/ontology/msg02109.html | ||
| + | # http://suo.ieee.org/ontology/msg02117.html | ||
| + | # http://suo.ieee.org/ontology/msg02125.html | ||
| + | # http://suo.ieee.org/ontology/msg02128.html | ||
| + | # http://suo.ieee.org/ontology/msg02134.html | ||
| + | # http://suo.ieee.org/ontology/msg02138.html | ||
===Arisbe List (Feb 2003)=== | ===Arisbe List (Feb 2003)=== | ||
Revision as of 19:54, 10 August 2009
Document History
Standard Upper Ontology (Mar–Apr 2001)
- http://suo.ieee.org/email/msg04187.html
- http://suo.ieee.org/email/msg04305.html
- http://suo.ieee.org/email/msg04413.html
- http://suo.ieee.org/email/msg04419.html
- http://suo.ieee.org/email/msg04422.html
- http://suo.ieee.org/email/msg04423.html
- http://suo.ieee.org/email/msg04432.html
- http://suo.ieee.org/email/msg04454.html
- http://suo.ieee.org/email/msg04455.html
- http://suo.ieee.org/email/msg04476.html
- http://suo.ieee.org/email/msg04510.html
- http://suo.ieee.org/email/msg04517.html
- http://suo.ieee.org/email/msg04525.html
- http://suo.ieee.org/email/msg04533.html
- http://suo.ieee.org/email/msg04536.html
- http://suo.ieee.org/email/msg04542.html
- http://suo.ieee.org/email/msg04546.html
Ontology List (Mar–Apr 2001)
- http://suo.ieee.org/ontology/msg01779.html
- http://suo.ieee.org/ontology/msg01897.html
- http://suo.ieee.org/ontology/msg02005.html
- http://suo.ieee.org/ontology/msg02011.html
- http://suo.ieee.org/ontology/msg02014.html
- http://suo.ieee.org/ontology/msg02015.html
- http://suo.ieee.org/ontology/msg02024.html
- http://suo.ieee.org/ontology/msg02046.html
- http://suo.ieee.org/ontology/msg02047.html
- http://suo.ieee.org/ontology/msg02068.html
- http://suo.ieee.org/ontology/msg02102.html
- http://suo.ieee.org/ontology/msg02109.html
- http://suo.ieee.org/ontology/msg02117.html
- http://suo.ieee.org/ontology/msg02125.html
- http://suo.ieee.org/ontology/msg02128.html
- http://suo.ieee.org/ontology/msg02134.html
- http://suo.ieee.org/ontology/msg02138.html
Arisbe List (Feb 2003)
Ontology List (Mar 2003)
Inquiry List (Mar 2003)
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o Propositional Equation Reasoning Systems -- 2001 o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o PERS. Propositional Equation Reasoning Systems Version 1. SUO List 01. http://suo.ieee.org/email/msg04187.html 02. http://suo.ieee.org/email/msg04305.html 03. http://suo.ieee.org/email/msg04413.html 04. http://suo.ieee.org/email/msg04419.html 05. http://suo.ieee.org/email/msg04422.html 06. http://suo.ieee.org/email/msg04423.html 07. http://suo.ieee.org/email/msg04432.html 08. http://suo.ieee.org/email/msg04454.html 09. http://suo.ieee.org/email/msg04455.html 10. http://suo.ieee.org/email/msg04476.html 11. http://suo.ieee.org/email/msg04510.html 12. http://suo.ieee.org/email/msg04517.html 13. http://suo.ieee.org/email/msg04525.html 14. http://suo.ieee.org/email/msg04533.html 15. http://suo.ieee.org/email/msg04536.html 16. http://suo.ieee.org/email/msg04542.html 17. http://suo.ieee.org/email/msg04546.html Version 1. Ontology List 01. http://suo.ieee.org/ontology/msg01779.html 02. http://suo.ieee.org/ontology/msg01897.html 03. http://suo.ieee.org/ontology/msg02005.html 04. http://suo.ieee.org/ontology/msg02011.html 05. http://suo.ieee.org/ontology/msg02014.html 06. http://suo.ieee.org/ontology/msg02015.html 07. http://suo.ieee.org/ontology/msg02024.html 08. http://suo.ieee.org/ontology/msg02046.html 09. http://suo.ieee.org/ontology/msg02047.html 10. http://suo.ieee.org/ontology/msg02068.html 11. http://suo.ieee.org/ontology/msg02102.html 12. http://suo.ieee.org/ontology/msg02109.html 13. http://suo.ieee.org/ontology/msg02117.html 14. http://suo.ieee.org/ontology/msg02125.html 15. http://suo.ieee.org/ontology/msg02128.html 16. http://suo.ieee.org/ontology/msg02134.html 17. http://suo.ieee.org/ontology/msg02138.html o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o Propositional Equation Reasoning Systems -- 2003 o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o PERS. Propositional Equation Reasoning Systems Version 2. Ontology List 00. http://suo.ieee.org/ontology/thrd19.html#04522 00. http://suo.ieee.org/ontology/thrd19.html#04532 01. http://suo.ieee.org/ontology/msg04522.html 02. http://suo.ieee.org/ontology/msg04523.html 03. http://suo.ieee.org/ontology/msg04524.html 04. http://suo.ieee.org/ontology/msg04525.html 05. http://suo.ieee.org/ontology/msg04526.html 06. http://suo.ieee.org/ontology/msg04527.html 07. http://suo.ieee.org/ontology/msg04528.html 08. http://suo.ieee.org/ontology/msg04529.html 09. http://suo.ieee.org/ontology/msg04530.html 10. http://suo.ieee.org/ontology/msg04531.html 11. http://suo.ieee.org/ontology/msg04532.html 12. http://suo.ieee.org/ontology/msg04533.html 13. http://suo.ieee.org/ontology/msg04534.html 14. http://suo.ieee.org/ontology/msg04536.html 15. http://suo.ieee.org/ontology/msg04537.html 16. http://suo.ieee.org/ontology/msg04538.html Version 2. Arisbe List 01. http://stderr.org/pipermail/arisbe/2003-February/001541.html 02. http://stderr.org/pipermail/arisbe/2003-February/001542.html 03. http://stderr.org/pipermail/arisbe/2003-February/001543.html 04. http://stderr.org/pipermail/arisbe/2003-February/001544.html 05. http://stderr.org/pipermail/arisbe/2003-February/001545.html 06. http://stderr.org/pipermail/arisbe/2003-February/001546.html 07. http://stderr.org/pipermail/arisbe/2003-February/001547.html 08. http://stderr.org/pipermail/arisbe/2003-February/001548.html 09. http://stderr.org/pipermail/arisbe/2003-February/001549.html 10. http://stderr.org/pipermail/arisbe/2003-February/001550.html 11. http://stderr.org/pipermail/arisbe/2003-February/001552.html 12. http://stderr.org/pipermail/arisbe/2003-February/001553.html 13. http://stderr.org/pipermail/arisbe/2003-February/001554.html 14. http://stderr.org/pipermail/arisbe/2003-February/001555.html 15. http://stderr.org/pipermail/arisbe/2003-February/001557.html 16. http://stderr.org/pipermail/arisbe/2003-February/001559.html Version 3. Inquiry List 00. http://stderr.org/pipermail/inquiry/2003-March/thread.html#126 01. http://stderr.org/pipermail/inquiry/2003-March/000126.html 02. http://stderr.org/pipermail/inquiry/2003-March/000127.html 03. http://stderr.org/pipermail/inquiry/2003-March/000128.html 04. http://stderr.org/pipermail/inquiry/2003-March/000129.html 05. http://stderr.org/pipermail/inquiry/2003-March/000130.html 06. http://stderr.org/pipermail/inquiry/2003-March/000131.html 07. http://stderr.org/pipermail/inquiry/2003-March/000132.html 08. http://stderr.org/pipermail/inquiry/2003-March/000133.html 09. http://stderr.org/pipermail/inquiry/2003-March/000134.html 10. http://stderr.org/pipermail/inquiry/2003-March/000135.html 11. http://stderr.org/pipermail/inquiry/2003-March/000136.html 12. http://stderr.org/pipermail/inquiry/2003-March/000137.html 13. http://stderr.org/pipermail/inquiry/2003-March/000138.html 14. http://stderr.org/pipermail/inquiry/2003-March/000139.html 15. http://stderr.org/pipermail/inquiry/2003-March/000140.html 16. http://stderr.org/pipermail/inquiry/2003-March/000141.html 17. http://stderr.org/pipermail/inquiry/2003-March/000142.html o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o Propositional Equation Reasoning Systems -- 2004-2006 o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o PERS. Propositional Equation Reasoning Systems Version 4. NKS Forum 00. http://forum.wolframscience.com/showthread.php?threadid=297 01. http://forum.wolframscience.com/showthread.php?postid=950#post950 02. http://forum.wolframscience.com/showthread.php?postid=952#post952 03. http://forum.wolframscience.com/showthread.php?postid=953#post953 04. http://forum.wolframscience.com/showthread.php?postid=954#post954 05. http://forum.wolframscience.com/showthread.php?postid=957#post957 06. http://forum.wolframscience.com/showthread.php?postid=958#post958 07. http://forum.wolframscience.com/showthread.php?postid=959#post959 08. http://forum.wolframscience.com/showthread.php?postid=961#post961 09. http://forum.wolframscience.com/showthread.php?postid=962#post962 10. http://forum.wolframscience.com/showthread.php?postid=964#post964 11. http://forum.wolframscience.com/showthread.php?postid=965#post965 12. http://forum.wolframscience.com/showthread.php?postid=967#post967 13. http://forum.wolframscience.com/showthread.php?postid=968#post968 14. http://forum.wolframscience.com/showthread.php?postid=973#post973 15. http://forum.wolframscience.com/showthread.php?postid=976#post976 16. http://forum.wolframscience.com/showthread.php?postid=977#post977 17. http://forum.wolframscience.com/showthread.php?postid=981#post981 18. http://forum.wolframscience.com/showthread.php?postid=988#post988 19. http://forum.wolframscience.com/showthread.php?postid=990#post990 20. http://forum.wolframscience.com/showthread.php?postid=994#post994 21. http://forum.wolframscience.com/showthread.php?postid=1003#post1003 22. http://forum.wolframscience.com/showthread.php?postid=1005#post1005 23. http://forum.wolframscience.com/showthread.php?postid=1015#post1015 24. http://forum.wolframscience.com/showthread.php?postid=1022#post1022 25. http://forum.wolframscience.com/showthread.php?postid=1025#post1025 26. http://forum.wolframscience.com/showthread.php?postid=1031#post1031 27. http://forum.wolframscience.com/showthread.php?postid=1220#post1220 28. http://forum.wolframscience.com/showthread.php?postid=1224#post1224 29. http://forum.wolframscience.com/showthread.php?postid=1227#post1227 30. http://forum.wolframscience.com/showthread.php?postid=1228#post1228 31. http://forum.wolframscience.com/showthread.php?postid=1232#post1232 32. http://forum.wolframscience.com/showthread.php?postid=1249#post1249 33. http://forum.wolframscience.com/showthread.php?postid=1262#post1262 34. http://forum.wolframscience.com/showthread.php?postid=1265#post1265 35. http://forum.wolframscience.com/showthread.php?postid=1273#post1273 36. Version 4. Inquiry List 00. http://stderr.org/pipermail/inquiry/2004-April/thread.html#1341 00. http://stderr.org/pipermail/inquiry/2004-May/thread.html#1391 00. http://stderr.org/pipermail/inquiry/2006-January/thread.html#3364 01. http://stderr.org/pipermail/inquiry/2004-April/001341.html 02. http://stderr.org/pipermail/inquiry/2004-April/001342.html 03. http://stderr.org/pipermail/inquiry/2004-April/001343.html 04. http://stderr.org/pipermail/inquiry/2004-April/001344.html 05. http://stderr.org/pipermail/inquiry/2004-April/001345.html 06. http://stderr.org/pipermail/inquiry/2004-April/001346.html 07. http://stderr.org/pipermail/inquiry/2004-April/001347.html 08. http://stderr.org/pipermail/inquiry/2004-April/001348.html 09. http://stderr.org/pipermail/inquiry/2004-April/001349.html 10. http://stderr.org/pipermail/inquiry/2004-April/001350.html 11. http://stderr.org/pipermail/inquiry/2004-April/001351.html 12. http://stderr.org/pipermail/inquiry/2004-April/001352.html 13. http://stderr.org/pipermail/inquiry/2004-April/001353.html 14. http://stderr.org/pipermail/inquiry/2004-April/001354.html 15. http://stderr.org/pipermail/inquiry/2004-April/001355.html 16. http://stderr.org/pipermail/inquiry/2004-April/001356.html 17. http://stderr.org/pipermail/inquiry/2004-April/001357.html 18. http://stderr.org/pipermail/inquiry/2004-April/001358.html 19. http://stderr.org/pipermail/inquiry/2004-April/001359.html 20. http://stderr.org/pipermail/inquiry/2004-April/001360.html 21. http://stderr.org/pipermail/inquiry/2004-April/001361.html 22. http://stderr.org/pipermail/inquiry/2004-April/001362.html 23. http://stderr.org/pipermail/inquiry/2004-April/001363.html 24. http://stderr.org/pipermail/inquiry/2004-April/001364.html 25. http://stderr.org/pipermail/inquiry/2004-April/001365.html 26. http://stderr.org/pipermail/inquiry/2004-April/001366.html 27. http://stderr.org/pipermail/inquiry/2004-April/001389.html 28. http://stderr.org/pipermail/inquiry/2004-April/001390.html 29. http://stderr.org/pipermail/inquiry/2004-May/001391.html 30. http://stderr.org/pipermail/inquiry/2004-May/001392.html 31. http://stderr.org/pipermail/inquiry/2004-May/001393.html 32. http://stderr.org/pipermail/inquiry/2004-May/001394.html 33. http://stderr.org/pipermail/inquiry/2004-May/001395.html 34. http://stderr.org/pipermail/inquiry/2004-May/001396.html 35. http://stderr.org/pipermail/inquiry/2004-May/001398.html 36. http://stderr.org/pipermail/inquiry/2006-January/003364.html 37. o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
