“非归结定理证明”的版本历史

差异选择：选出需要对比的版本，按“回车键”或下方的按钮进行对比。
说明：（当前）=与最后版本之间的差异，（先前）=与上一版本之间的差异，小=小编辑。