亚历山德罗·西马蒂;阿尔贝托·格里乔;罗伯托·塞巴斯蒂亚尼 可满足模理论中Craig插值的高效生成。 (英语) Zbl 1351.68247号 ACM事务处理。计算。日志。 12,第1号,第7条,54页(2010年). 引用于16文件 MSC公司: 68吨15 定理证明(演绎、解析等)(MSC2010) 03B35型 证明和逻辑操作的机械化 03C40号 插值、保存、可定义性 关键词:克雷格插值;表面贴装技术;决策程序 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《美国医学杂志》。计算。日志。12,第1号,第7条,54页(2010年;Zbl 1351.68247) 全文: 内政部 arXiv公司