本网站由以下捐款支持：OEIS基金会.

仙人掌语言•文档历史

来自OeisWiki
跳转到：航行,搜索

作者：乔恩·奥布里

文档历史记录

仙人掌补丁

|主题：探究驱动系统：探究探究|联系人：Jon Awbrey|版本：草案8.70|创建日期：1996年6月23日|修订日期：2002年1月6日|顾问：M.A.Zohdy|背景：奥克兰大学，美国密歇根州罗切斯特|摘录：第1.3.10节（反复出现的主题）|摘录：第1.3.10.8至1.3.10.13小节

2000年8月•逻辑图的扩展

CG列表•丢失的链接

  1. http://www.virtual-earth.de/CG/CG-list/old/msg03351.html
  2. http://www.virtual-earth.de/CG/CG-list/old/msg03352.html
  3. http://www.virtual-earth.de/CG/CG-list/old/msg03353.html
  4. http://www.virtual-earth.de/CG/CG-list/old/msg03354.html
  5. http://www.virtual-earth.de/CG/CG-list/old/msg03376.html
  6. http://www.virtual-earth.de/CG/CG-list/old/msg03379.html
  7. http://www.virtual-earth.de/CG/CG-list/old/msg03381.html

CG列表•新档案

  1. http://web.archive.org/web/20030723202219/http://mars.virtual-earth.de/pipermail/cg/2000q3/003592.html
  2. http://web.archive.org/web/20030723202341/http://mars.virtual-earth.de/pipermail/cg/2000q3/003593.html
  3. •
  4. http://web.archive.org/web/20030723202516/http://mars.virtual-earth.de/pipermail/cg/2000q3/003595.html
  5. •
  6. •
  7. •

CG列表•旧档案

  1. •
  2. http://web.archive.org/web/20020321115639/http://www.virtual（虚拟）-地球.de/CG/CG-list/msg03352.html
  3. •
  4. http://web.archive.org/web/20020321120331/http://www.virtual（虚拟）-地球.de/CG/CG-list/msg03354.html
  5. http://web.archive.org/web/20020321223131/http://www.virtual（虚拟）-地球.de/CG/CG-list/msg03376.html
  6. •
  7. http://web.archive.org/web/20020129134132/http://www.virtual（虚拟）-地球.de/CG/CG-list/msg03381.html

2000年9月•零阶逻辑

  1. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg01246.html
  2. http://web.archive.org/web/20080905054059/http://suo.iee.org/email/msg01251.html
  3. http://web.archive.org/web/20070223033521/http://suo.iee.org/email/msg01380.html
  4. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg01406.html
  5. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg01546.html
  6. 网址：http://web.archive.org/web/200705085032/http://suo.iee.org/email/msg01561.html
  7. http://web.archive.org/web/200705085032/http://suo.iee.org/email/msg01670.html
  8. http://web.archive.org/web/200705085032/http://suo.iee.org/email/msg01966.html
  9. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg01985.html
  10. http://web.archive.org/web/20070401102902/http://suo.iee.org/email/msg01988.html

2000年10月•全是谎言，没有悖论

  1. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg01739.html

2000年11月•Sowa顶级类别

使用什么语言

  1. http://web.archive.org/web/20070320012929/http://suo.iee.org/email/msg01956.html

零阶逻辑

  1. http://web.archive.org/web/20070320012940/http://suo.iee.org/email/msg01966.html

KIF中的TLC

  1. http://web.archive.org/web/20081204195421/http://suo.iee.org/ontology/msg00048.html
  2. http://web.archive.org/web/20070320014557/http://suo.iee.org/ontology/msg00051.html

2000年12月•产生假设的顺序交互

  1. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg02607.html
  2. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg02608.html
  3. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg03183.html

2001年1月•微分分析图灵自动机

数据•Arisbe列表

  1. http://web.archive.org/web/20061013224128/http://stderr.org/pipermail/arisbe/2001-1月/000182.html
  2. http://web.archive.org/web/20061013224814/http://stderr.org/pipermail/arisbe/2001-2000年1月.html

数据•本体列表

  1. http://web.archive.org/web/20041021223934/http://suo.iee.org/ontology/msg00596.html
  2. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg00618.html

2001年3月•命题方程推理系统

PERS•Arisbe列表

  1. http://web.archive.org/web/20150107210011/http://stderr.org/pipermail/arisbe/2001-三月/000380.html
  2. http://web.archive.org/web/20050920031758/http://stderr.org/pipermail/arisbe/2001-四月/000407.html
  3. http://web.archive.org/web/20051202010243/http://stderr.org/pipermail/arisbe/2001-四月/000409.html
  4. http://web.archive.org/web/20051202074355/http://stderr.org/pipermail/arisbe/2001-四月/000411.html
  5. http://web.archive.org/web/2005120201217/http://stderr.org/pipermail/arisbe/2001-四月/000412.html
  6. http://web.archive.org/web/2005125716/http://stderr.org/pipermail/arisbe/2001-四月/000413.html
  7. http://web.archive.org/web/20051202001736/http://stderr.org/pipermail/arisbe/2001-四月/000416.html
  8. http://web.archive.org/web/20051202053817/http://stderr.org/pipermail/arisbe/2001-四月/000417.html
  9. http://web.archive.org/web/200512020013458/http://stderr.org/pipermail/arisbe/2001-四月/000421.html
  10. http://web.archive.org/web/20051202013024/http://stderr.org/pipermail/arisbe/2001-四月/000427.html
  11. http://web.archive.org/web/20051202032812/http://stderr.org/pipermail/arisbe/2001-四月/000428.html
  12. http://web.archive.org/web/200512512109/http://stderr.org/pipermail/arisbe/2001-四月/000430.html
  13. http://web.archive.org/web/20050908023250/http://stderr.org/pipermail/arisbe/2001-四月/00432.html
  14. http://web.archive.org/web/200512002952/http://stderr.org/pipermail/arisbe/2001-四月/000433.html
  15. http://web.archive.org/web/20051201220336/http://stderr.org/pipermail/arisbe/2001-四月/000434.html
  16. http://web.archive.org/web/20050906215058/http://stderr.org/pipermail/arisbe/2001-四月/000435.html

PERS•Arisbe列表•讨论

  1. 网址：http://web.archive.org/web/2015107212003/http://stderr.org/pipemail/arisbe/2001-四月/000397.html

PERS•本体列表

  1. http://web.archive.org/web/20070326233418/http://suo.iee.org/ontology/msg01779.html
  2. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg01897.html
  3. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02005.html
  4. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02011.html
  5. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02014.html
  6. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02015.html
  7. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02024.html
  8. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02046.html
  9. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02047.html
  10. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02068.html
  11. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02102.html
  12. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02109.html
  13. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02117.html
  14. http://web.archive.org/web/20040116001230/http://suo.iee.org/ontology/msg02125.html
  15. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02128.html
  16. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02134.html
  17. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg02138.html

PERS•SUO列表

  1. http://web.archive.org/web/20140423181000/http://suo.iee.org/email/msg04187.html
  2. http://web.archive.org/web/20070922193822/http://suo.iee.org/email/msg04305.html
  3. http://web.archive.org/web/20071007170752/http://suo.iee.org/email/msg04413.html
  4. http://web.archive.org/web/20070121063018/http://suo.iee.org/email/msg04419.html
  5. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg04422.html
  6. http://web.archive.org/web/20070305132316/http://suo.iee.org/email/msg04423.html
  7. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg04432.html
  8. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg04454.html
  9. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg04455.html
  10. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg04476.html
  11. http://web.archive.org/web/20060718091105/http://suo.iee.org/email/msg04510.html
  12. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg04517.html
  13. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg04525.html
  14. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg04533.html
  15. http://web.archive.org/web/200705085032/http://suo.iee.org/email/msg04536.html
  16. http://web.archive.org/web/200705085032/http://suo.iee.org/email/msg04542.html
  17. 网址：http://web.archive.org/web/20050824231950/http://suo.iee.org/email/msg04546.html

2001年7月•逻辑图的反射扩展

RefLog•Arisbe列表

  1. http://web.archive.org/web/20150109141000/http://stderr.org/pipermail/arisbe/2001-7月/000711.html

RefLog•SUO列表

  1. http://web.archive.org/web/20070705085032/http://suo.iee.org/email/msg05694.html

2001年12月•量化逻辑的功能概念

FunLog•Arisbe列表

  1. http://web.archive.org/web/20141005034614/http://stderr.org/pipermail/arisbe/2001-12月/001212.html
  2. http://web.archive.org/web/20141005034615/http://stderr.org/pipermail/arisbe/2001-12月/001213.html
  3. http://web.archive.org/web/20051202034557/http://stderr.org/pipermail/arisbe/2001-12月/001216.html
  4. http://web.archive.org/web/20051202074331/http://stderr.org/pipermail/arisbe/2001-12月/001221.html
  5. http://web.archive.org/web/20051201235028/http://stderr.org/pipermail/arisbe/2001-12月/001222.html
  6. http://web.archive.org/web/20051202052037/http://stderr.org/pipermail/arisbe/2001-12月/001223.html
  7. http://web.archive.org/web/20050827214411/http://stderr.org/pipermail/arisbe/2001-12月/001224.html
  8. http://web.archive.org/web/20051202092500/http://stderr.org/pipermail/arisbe/2001-12月/001225.html
  9. http://web.archive.org/web/20051202051942/http://stderr.org/pipermail/arisbe/2001-12月/001226.html
  10. http://web.archive.org/web/2005042510213/http://stderr.org/pipermail/arisbe/2001-12月/001227.html

FunLog•本体列表

  1. 网址：http://web.archive.org/web/2011608022546/http://suo.ieee.org/ontology/msg03562.html
  2. 网址：http://web.archive.org/web/2011608022712/http://suo.ieee.org/ontology/msg03563.html
  3. 网址：http://web.archive.org/web/2011608023312/http://suo.ieee.org/ontology/msg03564.html
  4. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03565.html
  5. http://web.archive.org/web/20070812011325/http://suo.iee.org/ontology/msg03569.html
  6. http://web.archive.org/web/2011060802328/http://suo.iee.org/ontology/msg03570.html
  7. http://web.archive.org/web/20110608022616/http://suo.iee.org/ontology/msg03568.html
  8. http://web.archive.org/web/20110608023557/http://suo.iee.org/ontology/msg03572.html
  9. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03577.html
  10. http://web.archive.org/web/20070317021141/http://suo.iee.org/ontology/msg03578.html
  11. http://web.archive.org/web/20110608021549/http://suo.iee.org/ontology/msg03579.html
  12. http://web.archive.org/web/20110608021332/http://suo.iee.org/ontology/msg03580.html
  13. http://web.archive.org/web/20110608020250/http://suo.iee.org/ontology/msg03581.html
  14. http://web.archive.org/web/20110608021344/http://suo.iee.org/ontology/msg03582.html
  15. http://web.archive.org/web/20110608021557/http://suo.iee.org/ontology/msg03583.html
  16. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg04247.html

2001年12月•仙人掌语言

仙人掌城卡通•阿里斯贝列表

  1. http://web.archive.org/web/20050825005438/http://stderr.org/pipermail/arisbe/2001-12月/001214.html
  2. http://web.archive.org/web/20051202101235/http://stderr.org/pipermail/arisbe/2001-12月/001217.html

仙人掌城卡通•本体列表

  1. http://web.archive.org/web/2011060823426/http://suo.iee.org/ontology/msg03567.html
  2. http://web.archive.org/web/20110608024449/http://suo.iee.org/ontology/msg03571.html

2002年1月•零阶理论

ZOT•阿里斯贝列表

  1. http://web.archive.org/web/20150109042401/http://stderr.org/pipermail/arisbe/2002-1月/001293.html
  2. http://web.archive.org/web/20150109042402/http://stderr.org/pipermail/arisbe/2002-1月/001294.html
  3. http://web.archive.org/web/20050503213326/http://stderr.org/pipermail/arisbe/2002-1月/001295.html
  4. 网址：http://web.archive.org/web/20050503213330/http://stderr.org/pipemail/arisbe/2002-一月/001296.html
  5. 网址：http://web.archive.org/web/20050504070444/http://stderr.org/pipemail/arisbe/2002-1月/001299.html
  6. http://web.archive.org/web/20050504070430/http://stderr.org/pipermail/arisbe/2002-1月/001300.html
  7. http://web.archive.org/web/20050504070700/http://stderr.org/pipermail/arisbe/2002-1月/001301.html
  8. http://web.archive.org/web/20050504070704/http://stderr.org/pipermail/arisbe/2002-1月/001302.html
  9. http://web.archive.org/web/20050504070712/http://stderr.org/pipermail/arisbe/2002-1月/001304.html
  10. http://web.archive.org/web/20050504070717/http://stderr.org/pipermail/arisbe/2002-1月/001305.html
  11. http://web.archive.org/web/20050504070722/http://stderr.org/pipermail/arisbe/2002-1月/001306.html
  12. http://web.archive.org/web/20050504070726/http://stderr.org/pipermail/arisbe/2002-1月/001308.html
  13. http://web.archive.org/web/20050504070730/http://stderr.org/pipermail/arisbe/2002-1月/001309.html
  14. http://web.archive.org/web/20050504070434/http://stderr.org/pipermail/arisbe/2002-1月/001310.html
  15. http://web.archive.org/web/20050504070742/http://stderr.org/pipermail/arisbe/2002-1月/001313.html
  16. http://web.archive.org/web/20050504070746/http://stderr.org/pipermail/arisbe/2002-1月/001314.html
  17. http://web.archive.org/web/20050504070438/http://stderr.org/pipermail/arisbe/2002-1月/001315.html
  18. http://web.archive.org/web/20050504070540/http://stderr.org/pipermail/arisbe/2002-1月/001316.html
  19. http://web.archive.org/web/20050504070750/http://stderr.org/pipermail/arisbe/2002-1月/001317.html

ZOT•Arisbe列表•讨论

  1. http://web.archive.org/web/20050503213334/http://stderr.org/pipermail/arisbe/2002-1月/001297.html
  2. http://web.archive.org/web/20050504070656/http://stderr.org/pipermail/arisbe/2002-一月/001298.html
  3. 网址：http://web.archive.org/web/20050504070708/http://stderr.org/pipemail/arisbe/2002-一月/001303.html
  4. http://web.archive.org/web/20050504070544/http://stderr.org/pipermail/arisbe/2002-1月/001307.html
  5. http://web.archive.org/web/20050504070734/http://stderr.org/pipermail/arisbe/2002-1月/001311.html
  6. http://web.archive.org/web/20050504070738/http://stderr.org/pipermail/arisbe/2002-1月/001312.html
  7. http://web.archive.org/web/20050504070755/http://stderr.org/pipermail/arisbe/2002-1月/001318.html

ZOT•本体列表

  1. http://web.archive.org/web/20070323210742/http://suo.iee.org/ontology/msg03680.html
  2. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03681.html
  3. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03682.html
  4. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03683.html
  5. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03691.html
  6. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03693.html
  7. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03695.html
  8. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03696.html
  9. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03701.html
  10. http://web.archive.org/web/20070329211521/http://suo.iee.org/ontology/msg03702.html
  11. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03703.html
  12. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03706.html
  13. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03707.html
  14. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03708.html
  15. http://web.archive.org/web/20080620074722/http://suo.iee.org/ontology/msg03712.html
  16. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03715.html
  17. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03716.html
  18. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03717.html
  19. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03718.html
  20. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03721.html
  21. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03722.html
  22. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03723.html
  23. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03724.html

ZOT•本体列表•讨论

  1. http://web.archive.org/web/200705085032/http://suo.iee.org/ontology/msg03684.html
  2. http://web.archive.org/web/200705085032/http://suo.iee.org/ontology/msg03685.html
  3. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03686.html
  4. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03687.html
  5. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03689.html
  6. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03690.html
  7. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03694.html
  8. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03697.html
  9. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03698.html
  10. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03699.html
  11. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03700.html
  12. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03704.html
  13. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03705.html
  14. http://web.archive.org/web/20070330093628/http://suo.iee.org/ontology/msg03709.html
  15. http://web.archive.org/web/20080705071714/http://suo.iee.org/ontology/msg03710.html
  16. http://web.archive.org/web/20080620010020/http://suo.iee.org/ontology/msg03711.html
  17. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03713.html
  18. http://web.archive.org/web/20080620074749/http://suo.iee.org/ontology/msg03714.html
  19. http://web.archive.org/web/20061005100254/http://suo.iee.org/ontology/msg03719.html
  20. http://web.archive.org/web/20070705085032/http://suo.iee.org/ontology/msg03720.html

2003年3月•主题一计划•逻辑仙人掌

  1. http://web.archive.org/web/20081007043317/http://stderr.org/pipermail/inquiry/2003-3月/000114.html
  2. http://web.archive.org/web/20080908075558/http://stderr.org/pipermail/inquiry/2003-3月/000115.html
  3. http://web.archive.org/web/20080908080336:http://stderr.org/pipemail/inquiry/2003-3月/000116.html

2005年2月•主题一计划•逻辑仙人掌

  1. http://web.archive.org/web/20150109152359/http://stderr.org/pipermail/inquiry/2005-2月/002360.html
  2. 网址：http://web.archive.org/web/2015109152401/http://stderr.org/pipemail/inquiry/2005-2月/002361.html
  3. http://web.archive.org/web/20061013233259/http://stderr.org/pipermail/inquiry/2005-2月/002362.html
  4. http://web.archive.org/web/20081121103109/http://stderr.org/pipermail/inquiry/2005-2月/002363.html
检索自“https://oeis.org/w/index.php？title=Cactus_Language_•_Document_History&oldid=1634159"