{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,11,28]]，“日期时间”：“2023-11-28T14:00:24Z”，“时间戳”：1701180024869}，“出版商位置”：“查姆”，“参考计数”：8，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783030930998”，“类型”：”打印“}，{“值”：“9783030931001”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2021,12,16]]，“date-time”：“2021-12-16T00:00:00Z”，“timestamp”：1639612800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2021,12,16]，“日期-时间”：“2011-16T00:00:00Z“，”timestamp“：1639612800000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2021,12,16]]，“date-time”：“2021-12-16T00:00:00Z”，“timestamp”：1639612800000}，“content-version”：“tdm”，“delay-in-days“：0，”URL“https:\\/www.spring.com/tdm”}16]]，“日期时间”：“2021-12-16T00:00:00Z”，“时间戳”：1639612800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[2022]}，”DOI“：”10.1007\/978-3-030-93100-1_2“，”type“：”book-capter“，”创建“：{“date-parts”：[2021,12,15]]，“date-time”：“2021-12-15T23:02:26Z”，“时间戳”：1639609346000}，“页面”：“9-24”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：1，”title“：[”Andrews Skolemization May Shorten Resolution Proofs Non-elementaly“]，”prefix“：”10.1007“，”author“：[{”ORCID“http://\/ORCID”id.org\/00000-0002-7815-2501“，“authenticated-orcid”：false，“given”：“Matthias”，“family”：“Baaz”，“sequence”：“first”，“affiliation”：[]}，{“orcid”：”http://\/orcid.org\/00000-0002-4753-7302“，”authenticationd-ocid“：false 2,16]]}，“引用”：[{“问题”：“1”，“key”：“2_CR1”，“doi-asserted-by”：“publisher”，“first page”：《102》，“doi”：“10.1017\/jsl.2018.51”，《volume》：“84”，“author”：“JP-Aguilera”，“year”：“2019”，“unstructured”：“Aguilera，J.P.，Baaz，M.：不合理的推断使证明更短。J.Symbl.Log.84（1），102\u2013122（2019）”，“日志标题”：“J.Symb.Log.”}，{“issue”：“3”，“key”：“2_CR2”，“doi-asserted-by”：“publisher”，“first-page”：“414”，“DOI”：“10.2307\/2269949”，“volume”：“36”，“author”：“PB Andrews”，“year”：“1971年”，“unstructured”：“Andrews，P.B.：类型理论的解析。J.Symb.Log.36（3），414\u2013432（1971）”，“journal-title”：“J.Symm.Log.”}，{“issue”：“2”，“key”：”2_CR3“，”DOI-asserted-by“：”publisher“，“first page”：“193”，“DOI”：“10.1145\/322248.322249”，“volume”：“28”，“author”：“PB Andrews”，“year”：“1981”，“unstructured”：“Andrews，P.B.：通过一般匹配证明定理。J.ACM 28（2），193\u2013214“author”：“M Baaz”，“year”：“2012”，“unstructured”：“Baaz，M.，Hetzl，S.，Weller，D.：关于证明deskolemization的复杂性。J.Symb.Log.77（2），669\u2013686（2012）”，“日志标题”：“J.Symp.Log.”}，{“问题”：“4”，“键”：“2_CR5”，“doi-asserted-by”：“出版商”，“首页”：“353”，“doi”：“10.3233\/FI-1994-2044”，《卷》：“20”，“作者”：“M Baaz”，“年份”：“1994”，“非结构化”：“Baaz，M.，Leitsch，A.：关于skolemization和证明复杂性。Fundam.Informaticae 20（4），353\u2013379（1994）”，“journal-title”：“Fundam.Informaticae”}，{“key”：“2_CR6”，“doi-asserted-by”：“publisher”，“unstructured”：“Eder，E.：一阶微积分的相对复杂性。Springer，Heidelberg（2013）。https:\//doi.org\/10007\/978-3222-84222-0”，“DOI”：“10.1007\/978-3-3222-84222-0”}，{“issue”：“4”，“key”：“2_CR7”，“DOI-asserted-by”：“publisher”，“first page”：”2337“，“DOI:”10.1007\/BF01629444“，”volume“：”20“，“author”：“VP Orevkov”，“year”：“1982”，“unstructured”：“Orevkof，V.P.：消去割后派生复杂性增加的下限。J.Sov.Math.20（4），2337 \u20132350（1982）“，“期刊标题”：“J.Sov.Math.”}，｛“key”：“2_CR8”，“doi asserted by”：“crossref”，“unstructured”：“Statman，R.：Herbrand\u2019s定理的下界。In：Proceedings of the American Mathematical Society，pp.104\u2013107（1979）”，“doi”：“10.1090\/S002-9939-1999-0529224-9”｝]，“容器标题”：[“计算机科学的逻辑基础”，“计算机科学课堂讲稿”]，“original-title”：[]，“link”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-300-93100-1_2”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2021,12,27]]，“date-time”：”2021-12-27T00:02:51Z“，”时间戳：164 0563371000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/link.springer.com/10.1007\/978-3-030-93100-1_2”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2021,12,16]}，”ISBN“：[”9783030930998“，”references-count“：8，”URL“http://\/dx.doi.org\/10007\/978 3-030-93100-1_2“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{“value”：“0302-9743”，“type”：”print“}，{“value”：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2021,12,16]]}，“assertion”：“[{”value：“2021年12月16日”，“order”：1，“name”：“first_online”，“label”：“first online”，value“：”LFCS“，”order“：1，”name“：”conference_acrombit“，“label”：“Conference Acronym”，“group”：{“name”：“会议信息”，“label:”会议信息“}}，{“value”：“计算机科学逻辑基础国际研讨会”，“order”：2，“name”:”会议名称“，”label“：”会议名称”，“group”：：3，“name”：“conference_city”，“label”：“conference city”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}，{“value”：“USA”，“order”：4，“name“：”conference_country“，”label“：”conference_country“，“会议年”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“2022年1月10日”，“order”：7，“name”：“Conference_start_date”，“label”：“会议开始日期”，“group”：｛“name”：“ConferenceInfo”，“label”：“会议信息”｝｝，｛“value”：“2022年1月13日”，“order”：8，“name”：“Conference_end_date”，“label”：“会议结束日期”，“group”：｛“name”：“ConferenceInfo”，“label”：“Confection Information”}}，{“value”：“lfcs2022”，“order”：10，“name”：“Conference_id”，“标签”：“会议id”，“group”：“name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“Single-blind”，“order”：1，“name”：“type”，“label”：“type”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“Peer Review Information（由会议组织者提供）”}}.，{”value“：”EasyChair“，”order“：2，”name“：”Conference_management_system“，”label“：”会议管理系统“，”group“：{”name“：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”｝｝，｛“value”：“35”，“order”：3，“name”：“number_of_submissions_sent_for-Review”，“label”：“发送供评审的提交数量”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）“}}，{”value“：”23“，”order“：4，”name“：”number_of_full_papers_accepted“，”label“：”接受的整篇论文数“，”group“：name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{“value”：“66%-该值由等式“接受的全文数”/“发送供审阅的提交数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：“acceptance_rate_of_Full_Papers”，“label”：“全文接受率“，”group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{”value“：”3.1“，”order“：7，”name“:”average_number_of_reviews_per_paper“，”标签“：”每篇论文的平均评论数“，”google“：同行评议信息（由会议组织者提供）“}}，{“value”：“3.4”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）”}}external_reviewers_involved“，”label“：”涉及外部审阅者“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行审阅信息（由会议组织者提供）“}}]}}