{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2023,1,6]]，“日期-时间”：“2023-01-06T05:28:35Z”，“时间戳”：1672982915200}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：19，“发布商”：“ACM”，“内容-域”：{:“域”：[“dl.ACM.org”]，“交叉标记限制“：true}，”short-container-title“：[]，“published-print”：{“date-parts”：[[2012,5,19]]}，“DOI”：“10.1145\/2213977.2213998”，“type”：“proceedings-article”，“created”：{“date-parts”：[2012,5,21]]，“date-time”：“2012-05-21T15:20:35Z”，“timestamp”：1337613635000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source”“：”Crossref“，”is-referenced-by-count“：3，”title“：[“行列式恒等式的简短证明”]，“前缀”：“10.1145”，“作者”：[{“given”：“Pavel”，”family“：”Hrubes“，”sequence“：”first“，”affiliation“：[{“name”：“加拿大阿尔伯塔省卡尔加里大学”}]}，{“given”:“Iddo”，“published-online”：{“date-parts”：[[2012,5,19]]}，“reference”：[{“key”：“e_1_3_2_1_1”，“unstructured”：“Paul Beame和Toniann Pitassi。命题证明复杂性：过去、现在和未来。欧洲公牛协会Theor。计算科学EATCS（65）：66-89 1998。保罗·比姆和托尼安·皮塔西。命题证明复杂性：过去、现在和未来。牛市。欧洲协会。计算。科学。EATCS（65）：66-89 1998.“}，{”key“：”e_1_3_2_2_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/0020-0190（84）90018-8”}，“key”：“e_1_ 3_2_3_1”，“doi-assert-by”：“crossref”，”unstructured“：”玛丽亚·路易莎（Maria Luisa）、博内特·塞缪尔·R（Bonet Samuel R.）、巴斯（Buss）和托尼安·皮塔西（Toniann Pitassi）。\\n\n\n\n是否有Frege系统的硬示例？在可行性数学II第13卷，共Progr。计算。科学。申请。逻辑页\n 30\n--\n 56\n。\n Birkhauser 1995年。玛丽亚·路易莎·博内特·塞缪尔·巴斯和托尼安·皮塔西。弗雷格系统有硬性例子吗？在Progr可行性数学II第13卷。计算。科学。申请。逻辑第30-56页。Birkhauser 1995.“，”DOI“：”10.1007\/978-1-4612-2566-9_3“}，”key“：”e_1_3_2_4_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1109\/CCC.2009.9”}，“key”：“e_1_ 3_2_2_5_1”，“DOI-assert-by”：“publisher”，”DOI:“10.1137\/0208010”}、”key：“e_ 3_2_6_1”、“DOI-aserted-by”:“crossref”“，”非结构化“：”埃米尔·杰尔·贝克。对偶弱鸽子洞原理布尔复杂性与去核化。Ann.纯粹应用。逻辑129（1-3）：1-37 2004。埃米尔·杰尔·贝克。对偶弱鸽子洞原理布尔复杂性与去核化。Ann.纯粹应用。逻辑129（1-3）：1-37 2004.“，”DOI“：”10.1016\/j.apal.2003.12.003“}，{”key“：”e_1_3_2_2_7_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“Jan Kraj\u00edcek。\有界算术命题逻辑与复杂性理论第60卷，《数学及其应用百科全书》。\剑桥1995年。扬·克拉吉（Jan Kraj\u00edcek）。数学及其应用百科全书的有界算术命题逻辑和复杂性理论第60卷。剑桥1995.“，”DOI“：”10.1017\/CBO9780511529948“}，{”key“：”e_1_3_2_2_8_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1007\/s00037-008-0254-0”}，“key”：“e_1_3_2_9_1”，“DOI-assert-by”：“publisher”，”DOI:“10.1145\/322217.32225“}”，{“key“:”e_3_2_10_1“by“：”publisher“，”DOI“：”10.2178\/bsl\/1203350879“}，{”key“：”e_1_3_2_11_1“，”doi由“：”publisher断言，“doi”：“10.1561\/0400000039”}，{“key”：“e_1_3_2_12_1”，“volume title”：“多伦多大学”，“author”：“Soltys Michael”，“year”：“2001”}，{“key”：“e_1_3_2_13_1”，“doi由“：”publisher断言，“doi”：“10.1007\/1158363_34”}，{“key”：“e_1_3_2_14_1”，doi由“：”crossref“断言，”非结构化“：”迈克尔·索尔蒂斯和斯蒂芬·库克。线性代数的证明复杂性。Ann.纯粹应用。逻辑130（1-3）：277--323 2004。迈克尔·索尔蒂斯和斯蒂芬·库克。线性代数的证明复杂性。Ann.纯粹应用。逻辑130（1-3）：277--323 2004.“，”DOI“：”10.1016\/j.apal.2003.10.018“}，”key“：：“j.Reine Angew.Math.”}，{“key”：“e_1_3_2_2_17_1”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1145\/800135.804419”}，{“key”：“e_1_3_2_18_1”，“DOI断言者”：“publisher”，“DOI”：“10.1137\/0212043”}，{“key”：“e_1_3_2_19_1”，“DOI断言者”：“publisher”，“DOI”：“10.5555\/6646670.698972”}]，“event”：{“name”：“STOC'12:计算理论研讨会”，“location”：“New York New York USA”，“缩写”：“STOC'12 2”，“发起人”：[”SIGACT ACM算法和计算理论特别兴趣小组“]}，“container-title”：[“第四十四届ACM计算理论研讨会论文集”]，“original-title“：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2213977.2213998”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期-部分”：[[2023,1,6]]，“日期-时间”：“2023-01-06T02:53:17Z”，“时间戳”：1672973597000}，“分数”：1，“资源”：{“主要”:{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/22113977.2213998”}}，”副标题“：[]，”短标题“：[]，”发布“：{”日期-部分“：[2012,5,19]]}，“references-count”：19，“alternative-id”：[“10.1145\/2213977.2213998“，”10.1145\2213977“]，”URL“：”http://\/dx.doi.org\/10.1145\/22113977.22139“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2012,5,19]]}，“断言”：[{“value”：“2012-05-19”，“order”：2，“name”：“published”，“label”：“published”，“group”：{“name”:“publication_history”，“标签”：“出版物历史”}}]}}