｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2022,4,2]]，“date-time”：“2022-04-02T08:57:42Z”，“timestamp”：1648889862893｝，“reference count”：7，“publisher”：“Springer Science and Business Media LLC”，“issue”：“1”，“license”：[｛“start”：｛“date parts”：[[1983,12,1]]，“date-time”：“1983-12-01T00:00:00Z”，“timestamp”：439084800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Arch-math Logik“]，”published-print“：{”date-parts“：[[1983,12]}”，“DOI”：“10.1007\/bf02023020”，“type”：“”journal-article“，”created“：{”date-parts“：[[2005,8,12]]，“日期-时间”：“2005-08-12T08:01:33Z”，“时间戳”：1123833693000}，“页面”：“141-146”，“源”：“交叉引用”，“被引用-计数”：0，“标题”：[“Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre”]，“前缀”：“10.1007”，“卷”：“23”，“作者”：[{“给定”：“Matthias”，“家族”：“Ragaz”，“序列”：“第一”，“从属关系”：[]}]，“成员”：“297”，“引用”：[{“key”：“BF02023020_CR1”，“首页”：“68”，“卷”：“8”，“作者”：“C.C.Chang”，“年份”：“1961”，“非结构化”：“Chang，C.C.：无限值逻辑模型理论。I.Notices Am.Math.Soc.8，68（1961）。”，“journal-title”：“I.Notces Am.Math.Soc.”}，{“key”：内政部“：“10.7146\/math.scand.a-10685”，“volume”：“13”，“author”：“C.C.Chang”，“year”：“1963”，“unstructured”：“Chang，C.C.：无限值逻辑中的理解公理。math.scand.13，9\u201330（1963）。”，“journal-title”：“math.Scan”}，{“key”：”BF02023020_CR3“，“doi-asserted-by”：“crossref”，“first-page”：“65”，“doi”：“10.71 46\/meth。Scan.a-10706“，”卷“：”14“，“author”：“J.E.Fenstad”，“year”：“1964”，“unstructured”：“Fenstad，J.E.：关于u0141ukasiewicz无限值逻辑中理解公理的一致性。Math.Scand.14，65\u201374（1964）。”，“journal-title”：“Math.Scan”}，{“key”：“BF02023020_CR4”，”doi-asserted-by“：”crossref“，”first page“：”1“，”doi“：”10.2307/2268660“，”“volume”：“16”，“author”：“R.McNaughton”，“year”：“1951”，“unstructured”：“McNaught，R.：关于无限值句子逻辑的一个定理。J.Symb.Logic16，1\u201313（1951）。”，“journal-title”：“J.Symp.logic”}，{“key”：“BF02023020_CR5”，“非结构化”：“Ragaz，M.：Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik.Diss.ETH Nr.6822，Z\u00fcrich 1981.”}，{“key”：“BF02023020_CR6”，“doi-asserted-by”：“crossref”，“first page”：”129“doi”：“10.1007 \/BF02023019”，“卷”：“23”，“作者”：“M.Ragaz”，“年份”：“1983”，“非结构化”：“Ragaz，M.：Die Unentscheidbarkeit der einstelligen enendlichwertigen Pr\u00e4dikatenlogik.Arch.math.Logik23，129\u2013139（1983）。”，“日志标题”：“Arch.mathy.Logik”}，{“key”：“BF02023020_CR7”，“doi-asserted-by”：“crossref”，“first page”：”1“doi”：“10.1002 \/malq.19570030102”，“卷”：“3”，“作者”：“T.Skole”M”，“年份”：“1957年”，“非结构化”：“Skolem，T.:Bemerkungen zum Komphastensionsaxiom.Z.Math.Logk3，1\u201317（1957）。”，“期刊标题”：“Z.Math.Logk”}]，“容器标题”：[“Archiv f\u00fcr Mathematicsche Logik und Grundlagenforschung”]，“原始标题”：[]，“语言”：“de”，“链接”：[｛”URL：“http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF202023020.pdf”，“内容类型”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\/link.springer.com/article\/10.1007\/BF02023020\/fulltext.html”，“内容类型”：“文本\/html”，“content-version“：”vor“，”intended-application“：”text-miniing“}，}“URL“：”http://\-link.sprinter.com/content\/pdf\/10.10007\/BF0223020“，“内容类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,5,13]]，“date-time”：“2019-05-13T18:39:56Z”，“timestamp”：1557772796000}，“score”：1，“resource”：{“primary”：“{”URL：“http://link.springer.com/10.1007\/BF02023020”}}，”subtitle“：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[1983,12]]}，“references-count”：7，“journal-issue”：{“issue”：“1”，“published-print”：{-“date-parts”：[[1983,12]]}}，“alternative-id”：[“BF02023020”]，“URL”：“http://\/dx.doi.org\/10.1007\/BF02023020“，”relationship“：{}，”ISSN“：[”0933-5846“，”1432-0665“]，”ISSN-type“：[{”value“：”0933-5 846”，“type”“：”print“}，{”value“：”1432-0665“，”type“：“electronic”}]，”subject“：[]，”published“：{“日期部分”：[[1983,12]]}}