Directory talk:Jon Awbrey/Papers/Propositional Equation Reasoning Systems

MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search

Document History

Standard Upper Ontology (Apr 2001)

Ontology List (Apr 2001)

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
Retrieved from "https://mywikibiz.com/index.php?title=Directory_talk:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems&oldid=90401"