{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,4,2]，“日期时间”：“2022-04-02T17:47:31Z”，“时间戳”：1648921651612}，“出版商位置”：“加利福尼亚”，“引用计数”：0，“出版者”：“人工智能组织国际联合会议”，“内容域”：{domain“域”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2018,7]]}，”抽象“：”提出了一个有效生成具有等式的一阶公式的基础蕴涵集的过程。它以叠加演算的调整为基础，并丰富了在证明搜索期间根据需要添加新假设的规则。\给出了实验结果，表明所提出的方法比最先进的系统效率更高<\/jats:p>“，”DOI“：”10.24963\/ijcai.2018\/790“，”type“：”proceedings-article“，”created“：{”date-parts“：[[2018,7,5]]，”date-time“：”2018-07-05T05:49:10Z“，”timestamp“：15307697500000}，”source“：“Crossref”，“is-referenced-by-count”：0，“title”：[“等式逻辑中的素数蕴涵生成（扩展抽象）”]，“前缀”：“10.24963”，“作者“：[{”给定“：”Mnacho“，”family“：”Echenim“，”sequence“：”first“，”affiliation“：[{”name“：”CNRS，LIG，Grenoble Alpes，University of Grenoble，France“}]}，{”given“：”Nicolas“，”family”：“Peltier”，“sequence”：“additional”，“affiliance”：[[{“name”：“CNRS，LIG，Universition of Grenoble-Alpes，Grenobles，France”}]}，{“given”：“Sophie”，“family（家庭）：”Touret“，”序列“：”additional“，“affaliation”：[{“name“：”Max Planck Institute for Informatics，Saarbr\u00fccken“}]}]，“member”：“10584”，“event”：{“name”：“Twenty-Seventh International Joint Conference on Artificial Intelligence{IJCAI-18}”，“theme”：“Artificulation”，“location”：“Stockholm，Sweden”，“缩写词”：“IJCAI-2018”，“number”：“27”，“赞助商”：[”国际人工智能联合会议（IJCAI）“]，”开始“：{“日期部分”：[[2018,7,13]]}，”结束“：{“日期部分“：[[2018，7,19]]}}，“集装箱标签”：[“第二十届国际人工智能联合会议记录”]，”原文标题“：[]，”存放“：{”日期部分“:[[2018,19]]，”日期时间“：”2018-07-05T05:56:06Z“，”timestamp“：1530770166000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/www.ijcai.org\/crocesses\/2018\/790”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2018,7]]}，《references-count》：0，“URL”:“http://\/dx.doi.org\/10.24963\/ijcai”。2018\/790“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2018,7]]}}}