D.W.Loveland 的“模型消除”方法阐释
计算机科学中的逻辑
2016-06-30 v2
摘要
我们简明地介绍 D.W.Loveland 的“模型消除”方法。特别地，我们解释并证明由该方法生成的引理的正确性。
引用
@article{arxiv.1603.07458,
title = {The method "Model Elimination" of D.W.Loveland explained},
author = {Michel Lévy},
journal= {arXiv preprint arXiv:1603.07458},
year = {2016}
}