{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期-部分”:[[2024,6,21]],“日期-时间”:“2024-06-21T13:33:13Z”,“时间戳”:1718976793851},“出版商位置”:“美国纽约州纽约市”,“引用-计数”:0,“出版者”:“ACM出版社”,“内容-域”:[],“交叉标记-限制”:false}“短期集装箱运输”:[],“已出版印刷品”:{“日期部分”:[[1970]]},“DOI”:“10.1145\/8800161.805156”,“类型”:“论文集”,“创建”:{“日期部分”:[[2003,11,25],“日期-时间”:“2003-11-25T16:40:52Z”,“时间戳”:1069778452000},“来源”:“Crossref”,“由计数引用”:23,“标题”:[“上下文无关和索引语言上一些定理的面向树的证明”],“prefix”:“10.1145”,“author”:[{“given”:“William C.”,“family”:“Rounds”,“sequence”:“first”,“affiliation”:[]}],“member”:“320”,“event”:{“name”:“第二届年度ACM研讨会”,“location”:“美国马萨诸塞州北安普顿”,“缩写词”:“STOC'70”,“number”:,“start”:{“date-parts”:[[1970,5,4]]},“end”:{“date-parts”:[[1970,5,1]}},”container-title“:[“第二届ACM计算理论研讨会论文集-STOC'70”],“original-title”:[],“link”:[{“URL”:“http://\dl.ACM.org\/ft_gateway.cfm?id=805156&ftid=53524&dwn=1”,“content-type”:“unspecified”,“内容类型”版本“:”vor“,“意向应用程序”:“相似性检查”}],“存放”:{“日期部分”:[[2016,12,16]],“日期时间”:“2016-12-16T00:58:10Z”,“时间戳”:1481849890000},“分数”:1,“资源”:{primary”:{URL:“http://\/portal.acm.org\/citument.cfm?doid=800161.805156”}},”副标题“:[],”短标题“:[],”已发布“:{”日期部分“:[1970]]},“references-count”:0,“URL”:“http://\/dx.doi.org\/10.1145\/800161.805156”,“关系”:{},“主题”:[],“发布”:{“日期部分”:[[1970]]}}}