×

可满足模理论中Craig插值的高效生成。 (英语) Zbl 1351.68247号


MSC公司:

68吨15 定理证明(演绎、解析等)(MSC2010)
03B35型 证明和逻辑操作的机械化
03C40号 插值、保存、可定义性
PDF格式BibTeX公司 XML格式引用