{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,26]]，“日期时间”：“2024-03-26T19:55:38Z”，“时间戳”：1711482938770}，“出版商位置”：“柏林，海德堡”，“参考计数”：0，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642209192”，“类型”：“打印”}，{“值”：“9783642209208”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，”content-domain“：{”domain“[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-20920-8_4”，“type”：“book-chapter”，“created”：{（日期-部件）：[[2011，4,28]]，“date-time”：“2011-04-28T08:54:38Z”，“timestamp”：1303980878000}，”page“：”4-4“，”source“：“Crossref”，“is-referenced-by-count”：22，“title”：[“Univalent Foundations of Mathematics”]，“prefix”：“10.007“，”作者“：[{”给定“：”弗拉基米尔“，“family”：“Voevodsky”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“container title”：[“Logic，Language，Information and Computation”，“Lecture Notes in Computer Science”]，“original title”：[]，“link”：[{“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-642-20920-8_4”，“content type”：“unspecified”，“content version”：“vor”，“意向应用程序”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,9,1]]，“日期时间”：“2017-09-01T13:10:14Z”，“时间戳”：1504271414000}，“分数”：1，“资源”：{primary“：{”URL“：”http://link.sprimary.com\/10.1007\/978-3642-20920-844“}}”，“副标题”：[]，“短标题”：[]，“已发布”：[2011]]}，“ISBN”：[“9783642209192”，“9783642209208”]，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-642-20920-8_4”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，”ISSN-type“：[{”value“：”0302-974“，”type“:”print“}，{”value“：“1611-349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date”parts“：[2011]]}}}