｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2022,4,4]]，“date-time”：“2022-04-04T04:45:48Z”，“timestamp”：1649047548109｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：6，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“value”：“9783540528852”，“type”：“print”｝，｛“value”：“9783540471714”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1990]]}，”DOI“：”10.1007\/3-540-52885-7_133“，”type“：”book-capter“，”created“：”{“date-part”：[2012,25]]，“date-time”：“2012-02-25T21:46:39Z“，”时间戳“：1330206399000}，”页面“：”667-668“，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“TRIP:子句重写的实现”]，“prefix”：“10.1007”，”author“：[{”given“：”Robert“，”family“：”Nieuwenhuis“，”sequence“：”first“，”affiliation“：[]}，{”给定“：”Fernando“sequence”：“附加”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2005,6,9]]}，“reference”：[{“key”：“59_CR1”，“unstructured”：“L.Bachmair，N.Dershowitz，J.Xiang:等式证明的顺序。摘自Proc.Symp.Logic In Computer Science，346\u2013357，Boston（Massachusetts USA），1986。”。Ganzinger，R.Schafers:CEC系统报告完成的规范集合，PROSPECTRA项目，U.Dortmund，1988年59_CR4“，”doi-asserted-by“：”crossref“，”unstructured“：”H.Ganzinger:条件方程的完成过程。第一届国际条件词改写研讨会，Orsay（1987），也将出现在Symb杂志上。计算。“，”DOI“：”10.1007\/3-540-19242-5_6“}，{”key“：”59_CR5“，”unstructured“：”S.Kaplan:公平条件项重写系统：统一、终止和合流。《数据类型规范的最新趋势》，Springer IFB 116（1985）。“}”，{“key”：“59_CR6”，“unstructure”：“R.Nieuwenhuis，F.Orejas:Clausal rewriting。研究报告LSI-89-29，Dept。Lenguajes y Sistemas Inform\u00e1ticos，UPC，1989年11月。（也在别处提交）。“｝]，”容器标题“：[“第十届国际自动推导大会”，“计算机科学讲义”]，“原标题”：[]，“链接”：[｛”URL“：”http:\/\/link.springer.com\/content/pdf\/10.1007\/3-540-528885-7_133.pdf“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用“：”相似性检查“｝]，”存放“：｛”date-parts“：[[2020,11,17]]，“date-time”：“2020-11-17T21:25:34Z”，“timestamp”：1605648334000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\link.springer.com\/10.1007\/3-540-52885-7_133”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[1990]]}，‘ISBN’：[”9783540528852“，”9783540471714“]，”references-count“：6，”URL“：”http:\/\/dx.doi.org\/10.1007\/3-540-52885-7_133“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，“type”：“print”}，{”value“：“1611-3399”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[1990]]}}}}