{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,5,24]]，“日期-时间”：“2023-05-24T22:40:06Z”，“时间戳”：1684968006718}，“参考-计数”：11，“出版商”：“Springer Science and Business Media LLC”，“问题”：“3”，“许可证”：[{“开始”：{-“日期-零件”：[[1999,9,1]]，”日期-时间我”：“1999-09-01T00:00:00Z”，“timestamp”：936144000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”NGCO“]，”published-print“：{”date-parts“：[[1999,9]}”，“DOI”：“10.1007\/bf03037224”，“type”：“”journal-article“，”created“：{”date-parts“：[[2009,4,22]]，”date-time“：“2009-04-22T02:00:53Z”，“时间戳”：1240365653000}，“页面”：“309-327”，“源”：“Crossref”，“is-referenced-by-count”：0，“标题”：[“逻辑编程方法中部分和混合计算的一些类似物”]，“前缀”：“10.1007”，《卷》：“17”，“作者”：[{“given”：“N.”，”family“：”Nepevoda“，”sequence“：”first“，”affiliation“：[]}]，“成员”：“297”，“reference”：[{“key”：“BF03037224_CR1”，“unstructured”：“Chang，C.-L.和Lee，R.C.，《符号逻辑和机械定理证明》，学术出版社，1973年。”}，{“key”：《BF030372024_CR2》，“first page》：“110”，“volume”：，\u041e\u0415\u0442\u0435\u043e\u0440\u0435.u043c\u0447\u0445。\u042d\u0430-u043b\u0438\u0441\u043a\u0438 \u043d\u0430 \u0443 \u0447 \u043d \u044b \u0445 \u0441 \u0435 \u043c\u04380\u0430\u0440\u043 e\u0432\u042b\u04 3b\u 043e\u04 3c\u0438.-\u04。，T.40，C.110\u2013118，1974年。“，“新闻标题”：“\u041e\u0415\u0442\u0435\u043e\u0.440\u0435 \u044c\u0447\u0445。\u042d\u0430-u043b\u0438\u0441\u043a\u0438 \u043d\u0430 \u0443 \u0447 \u043d \u044b \u0445 \u0441 \u0435 \u043c\u04380\u0430\u0440\u043 e\u0432\u042b\u04 3b\u 043e\u04 3c\u0438.-\u04。，T.“}，{“key”：“BF03037224_CR3”，“unstructured”：“Goad，C.A.，\u201c形式证明中操纵的计算应用，\u201年报告N.ATAN-CS-88-819，斯坦福，Ca:-1221980。”}，“key“：”BF030372024_CR4“，“首页”：“95”，“卷”：“20”，“作者”：“N.Nepevoda”，“年份”：“1983”，“非结构化”：“Nepevota，N。N.，\u201cAlgorithmic languages:a review \u201d（俄语；有英文翻译），M.：\u0432\u0438\u043d\u04342\u0438，T.20，C.95\u2013166，1983。“，”journal-title“：”M.:\u0432 \u0438 \u043d“Nepevoda”，“年份”：“1986年”，“非结构化“：”Nepevoda，N.N.，\u201cProofs as graphs\u201d（俄语），M.：\u0432\u0438\u043d\u04342\u0438，\u0432 \u044b\u043f.26，C.54\u201365，1986.“，”日记标题“：”M.：\ u0432 \ u0438 \u043d \u0438 \ u0442\u0428，\ u0432\ u044b \ u043f“}，{“key”：“BF037224_CR 6“，“首页”：“165”，“卷首”：“自然演绎”，“作者”：“D.Prawitz”，“年份”：“1965年”，“非结构化”：“Prawitz，D.，Natural Deduction，斯德哥尔摩，Almquist&Wisgell，-1651965。”}，{“key”：“BF03037224_CR7”，“unstructured”：“Ershov，A.P.，\u201cOn the essential of translation，\u201 dProgramming，51977。”。N.\u201c关于构造逻辑\u201d（俄语），M.，\u0418\u0424AH CCCP，C.84\u2013861986.“，”DOI“：”10.1515\/9783110954975.bm“}，｛”key“：”BF03037224_CR9“，”首页“：”260“，”volume“：”26“，”author“：”V.N.Ka'ayanov“，”年份“：”1985“，”nonstructured“：”Ka'ayanov，V。N.，\u201c程序优化理论简介。《优化程序转换及其实证》，新西伯利亚，第26期，第260页，1985年。J.、\u201cPOP-2参考手册，\u201d机器智能，2，第205页，1968年。“，“journal-title”：“机器智能”}，{“key”：“BF03037224_CR11”，“unstructured”：“Henkin，L.、\u 201c关于无限长公式的一些评论，\u201 dInfinitistic Methods，华沙，第167\u20131831961页。”}]，“容器-时间”：[“新一代计算”]，“原始名称”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BF03037224.pdf”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://www.link.springer\com/article\/10.10007\/BF0037224\/fulltext.html”，“内容类型”：“文本\/html”，“content-vhtml”版本“：”vor“，“intended-application”：“text-mining”}，{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BF03037224”，“content-type”：“unspecified”，“content-version”：“vor”，“intent-d-application:“similarity-checking”}]，“deposed”：{“date-parts”：[2023,5,24]]，“date-time”：”2023-05-24T22:08:50Z“timestamp”：1684966130000}，“score”：1，“资源“：{“主”：{”URL“：“http://\/link.springer.com/10.1007\/BF03037224”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[1999,9]]}dx.doi.org \/10.1007\/BF03037224“，”关系“：{}，”ISSN“：[”0288-3635“，”1882-7055“]，“issn-type”：[{“value”：“0288-3635”，“type”:“print”}，{“value”：“1882-7055”，“类型”：“electronic”}]，“主题”：[]，“published”：{“date-parts”：[[1999,9]]}}}