Difference between revisions of "Directory talk:Jon Awbrey/Papers/Propositional Equation Reasoning Systems"

MyWikiBiz, Author Your Legacy — Friday March 29, 2024
Jump to navigationJump to search
Line 46: Line 46:
  
 
* http://stderr.org/pipermail/arisbe/2003-February/thread.html#1541
 
* http://stderr.org/pipermail/arisbe/2003-February/thread.html#1541
 +
# http://stderr.org/pipermail/arisbe/2003-February/001541.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001542.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001543.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001544.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001545.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001546.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001547.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001548.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001549.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001550.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001552.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001553.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001554.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001555.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001557.html
 +
# http://stderr.org/pipermail/arisbe/2003-February/001559.html
  
 
===Ontology List (Mar 2003)===
 
===Ontology List (Mar 2003)===
Line 51: Line 67:
 
* http://suo.ieee.org/ontology/thrd19.html#04522
 
* http://suo.ieee.org/ontology/thrd19.html#04522
 
* http://suo.ieee.org/ontology/thrd19.html#04532
 
* http://suo.ieee.org/ontology/thrd19.html#04532
 +
# http://suo.ieee.org/ontology/msg04522.html
 +
# http://suo.ieee.org/ontology/msg04523.html
 +
# http://suo.ieee.org/ontology/msg04524.html
 +
# http://suo.ieee.org/ontology/msg04525.html
 +
# http://suo.ieee.org/ontology/msg04526.html
 +
# http://suo.ieee.org/ontology/msg04527.html
 +
# http://suo.ieee.org/ontology/msg04528.html
 +
# http://suo.ieee.org/ontology/msg04529.html
 +
# http://suo.ieee.org/ontology/msg04530.html
 +
# http://suo.ieee.org/ontology/msg04531.html
 +
# http://suo.ieee.org/ontology/msg04532.html
 +
# http://suo.ieee.org/ontology/msg04533.html
 +
# http://suo.ieee.org/ontology/msg04534.html
 +
# http://suo.ieee.org/ontology/msg04536.html
 +
# http://suo.ieee.org/ontology/msg04537.html
 +
# http://suo.ieee.org/ontology/msg04538.html
  
 
===Inquiry List (Mar 2003)===
 
===Inquiry List (Mar 2003)===
  
 
* http://stderr.org/pipermail/inquiry/2003-March/thread.html#126
 
* http://stderr.org/pipermail/inquiry/2003-March/thread.html#126
 +
 +
==Document History : Text File==
  
 
<pre>
 
<pre>

Revision as of 20:02, 10 August 2009

Document History

Standard Upper Ontology (Mar–Apr 2001)

  1. http://suo.ieee.org/email/msg04187.html
  2. http://suo.ieee.org/email/msg04305.html
  3. http://suo.ieee.org/email/msg04413.html
  4. http://suo.ieee.org/email/msg04419.html
  5. http://suo.ieee.org/email/msg04422.html
  6. http://suo.ieee.org/email/msg04423.html
  7. http://suo.ieee.org/email/msg04432.html
  8. http://suo.ieee.org/email/msg04454.html
  9. 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

Ontology List (Mar–Apr 2001)

  1. http://suo.ieee.org/ontology/msg01779.html
  2. http://suo.ieee.org/ontology/msg01897.html
  3. http://suo.ieee.org/ontology/msg02005.html
  4. http://suo.ieee.org/ontology/msg02011.html
  5. http://suo.ieee.org/ontology/msg02014.html
  6. http://suo.ieee.org/ontology/msg02015.html
  7. http://suo.ieee.org/ontology/msg02024.html
  8. http://suo.ieee.org/ontology/msg02046.html
  9. 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

Arisbe List (Feb 2003)

  1. http://stderr.org/pipermail/arisbe/2003-February/001541.html
  2. http://stderr.org/pipermail/arisbe/2003-February/001542.html
  3. http://stderr.org/pipermail/arisbe/2003-February/001543.html
  4. http://stderr.org/pipermail/arisbe/2003-February/001544.html
  5. http://stderr.org/pipermail/arisbe/2003-February/001545.html
  6. http://stderr.org/pipermail/arisbe/2003-February/001546.html
  7. http://stderr.org/pipermail/arisbe/2003-February/001547.html
  8. http://stderr.org/pipermail/arisbe/2003-February/001548.html
  9. 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

Ontology List (Mar 2003)

  1. http://suo.ieee.org/ontology/msg04522.html
  2. http://suo.ieee.org/ontology/msg04523.html
  3. http://suo.ieee.org/ontology/msg04524.html
  4. http://suo.ieee.org/ontology/msg04525.html
  5. http://suo.ieee.org/ontology/msg04526.html
  6. http://suo.ieee.org/ontology/msg04527.html
  7. http://suo.ieee.org/ontology/msg04528.html
  8. http://suo.ieee.org/ontology/msg04529.html
  9. 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

Inquiry List (Mar 2003)

Document History : Text File

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