{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T17:12:15Z”，“时间戳”：1648919535514}，“出版商位置”：“查姆”，“参考计数”：7，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783030930998”，“类型”：”打印“}，{“值”：“9783030931001”，“type”：“electronic”｝]，“license”：[｛“start”：｛“date parts”：[[2021,12,16]]，“date-time”：“2021-12-16T00:0:00Z”，“timestamp”：1639612800000｝，“content-version”：“tdm”，“delay in days”：0，“URL”：“https://www.springer.com\/tdm”｝，｛“start”：｛“date parts”：[[2021,12,16]]，“date-time”：“2021-12-16T00:0:00Z”，“timestamp”：1639612800000｝，“内容版本”：“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_23“，”type“：”book-capter“，”创建“：{“date-parts”：[2021,12,15]]，“date-time”：“2021-12-15T23:02:26Z”，“时间戳”：1639609346000}，“页面”：“364-375”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：0，”title“：[”小模型属性在游戏和自动化中的反映“]，”prefix“：”10.1007“，”author“：[{”given“：”Maciej“，”family“：”Zielinkiewicic z“，”sequence“：”first“，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[2021,12,16]]}，“reference”：[{“key”：“23_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：”van Benthem，J.：《游戏中的逻辑：数理逻辑透视》，麻省理工学院出版社，剑桥（2014），“doi”：“10.7551\/mitpress\/9674.001.00001”}，{“key”：”23_CR2“doi-sserted-b”y“：”交叉参考“，“非结构化”：“B\u00f6rger，E.，Gr\u00e4del，E.，Gurevich，Y.：经典决策问题。数理逻辑的观点。Springer（1997）”，“DOI”：“10.1007\/978-3642-59207-2”}，{“key”：“23_CR3”，“DOI-asserted-by”：“publisher”，“first page”：第129页，“DOI:”10.4064\/fm-49-2-129-141“，”卷：“49”，“author”：“A Ehrenfeucht”，“年份”：“1961年”，“unstructured”：“Ehrenfeucht，A.：游戏在形式化理论完备性问题中的应用。Fundamental Mathematicae 49，129\u2013141（1961）。https:\/\/doi.org\/10.4064\/fm-49-2-129-141”，“journal-title”：“Fundamenta Mathematical”}，{“key”：“23_CR4”，“first page”：”1022“volume”:“230”，“author”：“R Fra\u00efss\u00e9”，“year”：“1950”，“unstructured”：“Fra\u00efss\u00e9，R.：Sur une nouvelle classification des syst\u00e 8mes de relation。Comptes rendus hebdomadaires des s\u00e9ances de l\u2019Acad\u00e9mie des sciences 230，1022\u20131024（1950）”，“journal title”：“Comptes endus hebdomadaires des s\u 00e9ance de l\u 2019Acad \u00o9mie de sciences.”}，{“key”：“23_CR5”，“doi-asserted-by”“”：“publisher”，“unstructured”：“S\u00f8rensen，M.H.，Urzyczyn，P.：关于Curry-Howard同构的讲座，逻辑研究和数学基础，第149卷。Elsevier（2006）。https:\/\/doi.org\/10.016\/S0049-237X（06）80499-4“，”doi“：”10.1016\/S00049-237X（06-80499-4“}，{“问题”：“5”，“密钥”：“23_CR6”，“doi-asserted-by”：“发布者”，“首页”：“957”，“doi”：“10.1007\/s1125-016-9661-4”，“卷”：“104”，“作者”：“P Urzyczyn”，“年份”：“2016”，“非结构化”：“直觉主义游戏：确定性、完备性和规范化。《逻辑研究》104（5），957\u20131001（2016）。https:\/\/doi.org\/10007\/s11225-016-9661-4“，“journal-title”：“Studia Logica”}，{“key”：“23_CR7”，“doi-asserted-by”：“publisher”，“unstructured”：“Zielenkiewicz，M.，Schubert，A.：谓词直觉主义逻辑的自动机理论方法。In:Hermenegildo，M.V.，L\u00f3pez-Garc\u00eda，P.（eds.）基于逻辑的程序合成与转换——第26届国际研讨会，2016年LOPSTR，2016年9月6日\u20138日，英国爱丁堡。修订论文集。计算机科学课堂讲稿，第10184卷，第345\u2013360页。斯普林格（2016）。https:\/\/doi.org\/10.1007\/978-3-319-63139-4_20“，”doi“：”10.1007\/9783-319-63139-4_20”}]，“container-title”：[“计算机科学的逻辑基础”，“计算机科学中的讲义”]，“原始标题”：[]，“链接”：[{“URL”：“https:\//link.springer.com\/content\/pdf\/10.10007\/988-3030-93100-1_23”，“内容类型”：“未指定”，“content-version”：“vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2021,12,27]]，”date-time“：”2021-12-27T00:04:44Z“，”timestamp“：1640563484000}，”score“：1，”resource“：”primary“：”{“URL”：“https:\/\/link.springer.com\/10007\/978-3-030-93100-1_23”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”rts“：[2021,12,16]]}，”ISBN“：[”9783030930998“，”978303030931001“]，”references-count“：7，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-030-93100-1_23“，”relationship“：{}，”ISSN“：[”0302-9743“，“1611-3349”]，”ISSN-type“：[{”value“：”0302.9743“：{”日期部分“：[[2021,12,16]]}，”断言“：[{”值“：”2021年12月16日“，”order“：1，”name“：“first_online”，”label“：“first online”，“group”：{“name”：“ChapterHistory”，“label”：“章节历史”}}，{“value”：“LFCS”，“order”：1，“name”:“conference_acrombit”，“table”：“conference acronym”，“group”：{name“：”ConferenceInfo“，”labele“：”会议信息“}}}”，{”value“：“计算机科学逻辑基础国际研讨会”，“order“：2，”name“：”conference_name“，”label“：”会议名称“，”group“：“，”标签“：”会议国家/地区”，“组”：{“name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“2022”，“order”：5，“名称”：“Conference_year”，“标签”：“会议年”，“group”：{name”：”ConferenceInformo“，”label“：”会议信息“}}、{value“：”2022年1月10日“，”order“：7，”name“：”Conference_start_date“，”标签“：”“会议开始日期“，”group“：{”name“：“ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“2022年1月13日”，“order”：8，“name”：“Conference_end_date”，“label”：“会议结束日期”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝，｛“value”：“lfcs2022”，“order”：10，“name”：“Conference_id”，“label”：“会议id”，“group”：｛“name”：“ConferenceInfo”，“label”：“会议信息“}}，{“value”：“https:\/\/lfcs.ws.gc.cuny.edu\/”，“order”：11，“name”：“Conference_url”，“label”：“会议url”，“group”：{“name”:“ConferenceInfo”，“标签”：“Conferency Information”}}：“同行评议信息（由会议组织者提供）“}}，{”value“：”EasyChair“，”order“：2，”name“：”conference_management_system“，”label“：”会议管理系统“，”group“：number_of_submissions_sent_for_review“，”label“：“发送供审阅的提交数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“23”，“order”：4，“name”:“number_ of_full_papers_accepted”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）66%-该值由等式“接受的完整论文数”/“提交供审查的论文数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_full_papers“，”label“：”全文接受率“，”group“：｛”name“：”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“｝｝，｛”value“：”3.1“，”order“：7，”name“：”average_number_of_reviews_per_paper“，”label“：”平均每篇论文的评审数“，”group“：｛”name“：”ConfEventPeerReviewInformation“，”label“：”同行评议信息（由会议组织者提供）“}}，{“value”：“3.4”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：同行评审信息（由会议组织者提供）“}}，{“value”：“Yes”，“order”：9，“name”：“external_reviewers_involved”，“label”：“external reviewers involved”、“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息