迈克尔·费希尔；克莱尔·狄克逊 引导子句时间分辨率。 （英语） Zbl 0949.03009号 霍华德·巴林格等人，《时序逻辑的进展》。1997年，英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。16, 167-184 (2000). 现有子句时间解析的一个缺点是，时间解析操作必须在所有相关的非时间解析步骤之后进行。作者提出了一种新的时间分辨率规则，可以看作是对现有时间分辨率规则的推广。这个规则可以在反驳过程中的任何时候应用。有关整个系列，请参见[Zbl 0931.00025].审核人：N.Zamov（喀山） MSC公司： 03B35型 证明和逻辑操作的机械化 03B44号 时间逻辑 关键词：自动理论证明；时序逻辑；条款决议；线性时间；时间分辨率 PDF格式BibTeX公司 XML格式引用 \textit{M.Fisher}和\textit{C.Dixon}，应用。日志。序列号。16、167--184（2000；Zbl 0949.03009）