{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T07:54:51Z”，“时间戳”：1725522891070}，“引用计数”：0，“发布者”：“IEEE Compute.Soc.Press”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，“内政部”：“10.1109\/lics.1988.5104”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2003,1,6]]，“date-time”：“2003-01-06T14:03:04Z”，“timestamp”：1041861784000}，“page”：”91-101“，“source”:“Crossref”，“is-referenced-by-count”：0，“title”：[“lambda-beta-Omega-calculus中X可分性和单边可逆性的表征”]，“prefix”：“10.1109”，”author“：[{”given“C.”，“家庭”：“Bohm”，“sequence”：“first”，“affiliation”：[]}，{“given”：“A.”，“family”：“Piperno”，“serquence”:“additional”，“ffiliation”：[]}]，“member”：“263”，“event”：{“name”：“[1988]Proceedings.Third Annual Information Symposium on Logic in Computer Science”，“location”：“Edinburgh，UK”}，“container-title”：[“[1988年]诉讼程序。第三届计算机科学逻辑年度信息研讨会“]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx2\/203\/271\/000005104.pdf？arnumber=5104”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,3,8]]，“date-time”：2017-03-08T17:14:44Z“，”timestamp“：1488993284000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/ieexplore.iee.org\/document\/5104\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[null]]}，《references-count》：0，“URL”:“http://\/dx.doi.org\/10.109\/lics.1988.5104“，”关系“：{}，”主题“：[]}}