机译:Herbrand定理的一种改进及其在模型生成定理证明中的应用
Graduate School of Environment Management, Nagoya Sangyo University, Aichi, Japan;
herbrand's theorem; herbrand universe; model generation theorem proving; SATCHMO; really non-propositional;
机译:Herbrand定理的一种改进及其在模型生成定理证明中的应用
机译:纯粹数学定理可以证明是正确的,但应用数学,自然科学和社会科学以及工程学中使用的模型最多只能“尚未证明是错误的”。
机译:纯数学的定理可以得到证明,但应用数学,自然和社会科学以及工程中的模型最多可以“尚未证明是错误”
机译:Herbrand的Prenex Goedel逻辑定理及其对定理证明的后果
机译:一类马尔可夫过程的紧缩性和功能中心极限定理,适用于非线性自动回归模型(不变性,概率)。
机译:筛子m-定理捆绑参数半参数模型并施加到有效估计的线性模型中截尾数据
机译:Herbrand关于先验哥德尔逻辑的定理及其对定理证明的影响