{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T06:51:02Z”，“时间戳”：1649055062080}，“引用计数”：0，“发布者”：“AI Access Foundation”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[”jair“]，”摘要“：”我们提出了一种生成方程逻辑中素蕴涵的算法，即包含一阶项之间的方程和不方程的公式的最一般结果。这个算法是由一个被证明是正确和完整的微积分定义的。然后，我们将重点放在所考虑的子句集是基础的情况下，即不包含变量，并设计一个专门的树数据结构，该结构旨在有效地检测和删除冗余蕴涵。给出了相应的算法及其终止性和正确性证明。最后，在基本情况下对该素数蕴涵生成方法进行了实验评估，包括与最新的命题和一阶素数蕴藏生成工具的比较<\/jats:p>“，”DOI“：”10.1613\/jair.5481“，”type“：”journal-article“，”created“：{”date-parts“：[[2018,7,18]]，”date-time“：”2018-07-18T15:46:43Z“，”timestamp“：1531928803000}，”page“：“：”60“，”作者“：[{”给定“：”Mnacho“，”家族”：“Echenim”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Nicolas”，“family”：“Peltier”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Sophie”，“family”：“Tourret”，“sequence”：“additional”，“affiliation”：[]｝，“member”：“16860”，“在线发布”：｛“日期部分”：[[2017,12,18]]｝，“容器标题”：[《人工智能研究杂志》，“original-title“：[]，”link“：[{”URL“：”https:\/\/jair.org\/index.php\/jair \/article\/download\/11098\/26287“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL:“https:\//jair.org\/index.php\/jaire\/artricle\/dwnload\/11998\/226288”，“content-type:”application“/postscript”，“content-version”：“vor”，“intended-application“：”text-mining“}，{”URL“：”https:\/\/jair.org\/index.php\/jair \/article\/download\/11098\/26287“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,10,8]]，“date-time”：“2019-10-08T22:30:15Z”，“timestamp”：1570573815000}，“score”：1，“资源”：{primary“：{”URL“：”https:\//jair.org\/index.php\/jair\/article\/view\/11098“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[[2017,12,18]}，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1613\/jair.5481”，“relationship”：{}、“ISSN”：[“1076-9757”]，“ISSN-”类型“：[{”值“：”1076-9757“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期部分“：[[2017,12,18]}}}