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

MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search
Line 107: Line 107:
 
===NKS Forum (Apr–May 2004)===
 
===NKS Forum (Apr–May 2004)===
  
 +
* http://forum.wolframscience.com/archive/topic/297-1.html
 +
* http://forum.wolframscience.com/printthread.php?threadid=297
 
* http://forum.wolframscience.com/showthread.php?threadid=297
 
* http://forum.wolframscience.com/showthread.php?threadid=297
−
* http://forum.wolframscience.com/printthread.php?threadid=297
 
 
# http://forum.wolframscience.com/showthread.php?postid=950#post950
 
# http://forum.wolframscience.com/showthread.php?postid=950#post950
 
# http://forum.wolframscience.com/showthread.php?postid=952#post952
 
# http://forum.wolframscience.com/showthread.php?postid=952#post952

Revision as of 20:38, 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 (Feb 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)

  1. http://stderr.org/pipermail/inquiry/2003-March/000126.html
  2. http://stderr.org/pipermail/inquiry/2003-March/000127.html
  3. http://stderr.org/pipermail/inquiry/2003-March/000128.html
  4. http://stderr.org/pipermail/inquiry/2003-March/000129.html
  5. http://stderr.org/pipermail/inquiry/2003-March/000130.html
  6. http://stderr.org/pipermail/inquiry/2003-March/000131.html
  7. http://stderr.org/pipermail/inquiry/2003-March/000132.html
  8. http://stderr.org/pipermail/inquiry/2003-March/000133.html
  9. 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

NKS Forum (Apr–May 2004)

  1. http://forum.wolframscience.com/showthread.php?postid=950#post950
  2. http://forum.wolframscience.com/showthread.php?postid=952#post952
  3. http://forum.wolframscience.com/showthread.php?postid=953#post953
  4. http://forum.wolframscience.com/showthread.php?postid=954#post954
  5. http://forum.wolframscience.com/showthread.php?postid=957#post957
  6. http://forum.wolframscience.com/showthread.php?postid=958#post958
  7. http://forum.wolframscience.com/showthread.php?postid=959#post959
  8. http://forum.wolframscience.com/showthread.php?postid=961#post961
  9. 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

Inquiry List (2004–2006)

  1. http://stderr.org/pipermail/inquiry/2004-April/001341.html
  2. http://stderr.org/pipermail/inquiry/2004-April/001342.html
  3. http://stderr.org/pipermail/inquiry/2004-April/001343.html
  4. http://stderr.org/pipermail/inquiry/2004-April/001344.html
  5. http://stderr.org/pipermail/inquiry/2004-April/001345.html
  6. http://stderr.org/pipermail/inquiry/2004-April/001346.html
  7. http://stderr.org/pipermail/inquiry/2004-April/001347.html
  8. http://stderr.org/pipermail/inquiry/2004-April/001348.html
  9. 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

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

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

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Retrieved from "https://mywikibiz.com/index.php?title=Directory_talk:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems&oldid=90407"