斯帕斯

SPASS是一类具有相等逻辑的一阶逻辑的自动定理证明器。因此,证明者的输入是我们的句法中的一阶公式。运行SPASS在这样的公式导致最终输出斯瓦斯贝塞特:证据发现。如果公式是有效的,斯帕斯贝塞特:完成发现。如果公式是无效的,因为一阶逻辑中的有效性是不可判定的,SPASS可以永远运行,而不会产生任何最终结果。


ZBMaX中的参考文献(158篇)1标准条款

显示结果1至20的158。
按年份排序(引文
  1. Karol,伊莎贝尔的对象逻辑(2019)
  2. Klimek,RADOS.AW:基于模式和合成驱动的面向工作流软件模型的逻辑规范自动生成(2019)
  3. 赖斯,吉赛尔;沃尔茨伦格尔古,布鲁诺:从解析到连续演算的翻译复杂性(2019)
  4. 斯塔亚诺维奇-乌尔埃维,Sana:从非正式到正式证明在Euclidean几何(2019)
  5. Bentkamp,亚力山大;布兰切特,Jasmin Christian;Cracees,西蒙;沃尔德曼,UWE:叠加(λ)-自由高阶逻辑(2018)
  6. CaleSeun,Koen;Smallbone,尼古拉斯:等式逻辑中一阶角公式的有效编码(2018)
  7. Echenim,Mnacho;Peltier,尼古拉斯;Sellami,YANIS:蕴涵的生成模理论的通用框架(2018)
  8. Lagniez,Jean Marie;勒贝里,丹尼尔;德利马,蒂亚戈;蒙特迈勒,瓦伦丁:一种基于假设的最小S5可满足性问题的求解方法(2018)
  9. Nalon,Cluuudia.帕丁森,Dirk:一个基于优先逻辑的解析演算(2018)
  10. Schlichtkrull,安德斯:一阶逻辑解析微积分的形式化(2018)
  11. 斯莱尼,约翰;WordZeLogel-Gulo,布鲁诺:冲突解决:一个具有决策文字和冲突驱动的子句学习的一阶归结演算(2018)
  12. Boaina,Maria Paola;Plaisted,David A.:语义指导的目标敏感推理:推理系统和完备性(2017)
  13. Chaudhari,Dipak L.;DAMANI,OM:通过注释程序的假设传播(2017)
  14. 戴维斯,厄内斯特;马库斯,加里;Frazier Logue,诺亚:使用根本不完全信息的容器常识推理(2017)
  15. Blanchette,Jasmin Christian;B·HME,Sascha;Fleury,马蒂亚斯;SMOLKA,Steffen Juilf;STECKMEMEER,艾伯特:机器生成证明的半易懂ISAR证明(2016)
  16. Boaina,Maria Paola;Plaisted,David A.:语义指导的目标敏感推理:模型表示(2016)
  17. 切尔纳,David M.;莱契奇,亚力山大:图解切割消除和有序鸽洞原理(2016)
  18. Schlichtkrull,安德斯:一阶逻辑解析微积分的形式化(2016)
  19. 舒尔茨,Stephan;M. Helman,马丁:基于饱和定理证明的子句选择启发式算法的性能(2016)
  20. 维希涅夫斯基,马克斯;斯蒂恩,亚力山大;Kern,基姆;Benzmü勒,克里斯托夫:HOL(2016)的有效归一化技术

进一步的出版物可以在:HTTP://www. SPASES-PROV..Org/Expults.HTML