{“id”：“https://openalex.org/W1590132050“，”doi“：”https://doi.org/10.1007/11814948_3“，”title“：”限制假度的半代数证明的复杂性“，”display_name“：”限定假度的半代数证明的复杂度“，”publication_year“：2006，”publitation_date“：”2006-01-01“，”ids“：{”openalex“：”https://openalex.org/W1590132050“，”doi“：”https://doi.org/10.1007/11814948_3“，”mag“：”1590132050“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/11814948_3“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5045075322“，”display_name“：”Arist Kojevnikov“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2800906181“，”display_name“：”Steklov数学研究所圣彼得堡系“，”ror“：”https://ror.org/030h9s280“，”“country_code”“：”RU“，”type“：”facility“，”lineage“：[”https://openalex.org/I1313323035","https://openalex.org/I2800906181","https://openalex.org/I4210124601“]}]，”国家“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”Arist Kojevnikov“，”raw _ afiliation_strings“：[“俄罗斯圣彼得堡Steklov数学研究所圣彼得堡系”]，”affiliations“：[{”raw _affiliation_string“：”俄罗斯圣彼得伯格Steklof数学研究所St.Petersburg系”，“institution_ids”：[”https://openalex.org/I2800906181“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5045174507“，”display_name“：”Alexander S.Kulikov“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2800906181“，”display_name“：”Steklov数学研究所圣彼得堡系“，”ror“：”https://ror.org/030h9s280“，”“country_code”“：”RU“，”type“：”facility“，”lineage“：[”https://openalex.org/I1313323035","https://openalex.org/I2800906181","https://openalex.org/I4210124601“]｝]，”国家“：[”RU“]，”is_correresponsing“：false，”raw_author_name“：”Alexander S.Kulikov“，”raw_affiation_strings“：[”俄罗斯圣彼得堡斯特克洛夫数学学院圣彼得堡分院“]，”附属机构“：[{”raw_affiation_string“：”俄罗斯圣彼得堡斯特克洛夫数学学院圣彼得堡分院“，”机构ID“：[”https://openalex.org/I2800906181“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：null，”has_fulltext“：false，”cited_by_count _year“：{“min”：0，“max”：65}，“biblio”：{”volume“：null，”issue“：null，”first_page“：”11“，”last_page“：”21“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10948“，”“display_name”：“组合数学与代数组合数学”，“score”：0.9982，“subfield”：{“id”：“https://openalex.org/subfields/2607“，”display_name“：”离散数学与组合数学“}，”field“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10948“，”“display_name”：“组合数学与代数组合数学”，“score”：0.9982，“subfield”：{“id”：“https://openalex.org/subfields/2607“，”display_name“：”离散数学与组合数学“}，”field“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10374“，”display_name“：”图论与算法“，”score“：0.9969，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10996“，”display_name“：”Mesh Generation Algorithms“，”score“：0.9958，”subfield“：{”id“：”https://openalex.org/subfields/s704“，”display_name“：”计算机图形和计算机辅助设计“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/constraint-satisfaction-problems“，”display_name“：”约束满足问题“，”score“：0.500631}]，”concepts“：[{”id“：”https://openalex.org/C2777685122，“wikidata”：https://www.wikidata.org/wiki/Q170028“，”display_name“：”Falsity“，”level“：2，”score“：0.9804311}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.7554008}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.73725}，{”id“：”https://openalex.org/C2775997480，“wikidata”：https://www.wikidata.org/wiki/Q586277“，”display_name“：”学位（音乐）“，”等级“：2，”分数“：0.7271507}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.64565724｝，｛”id“：”https://openalex.org/C77553402，“wikidata”：https://www.wikidata.org/wiki/Q13222579“，”display_name“：”上下限“，”level“：2，”score“：0.5518424}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.50680405}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.46930885}，{”id“：”https://openalex.org/C105605280，“wikidata”：https://www.wikidata.org/wiki/Q7249999“，”display_name“：”证明复杂性“，”level“：3，”score“：0.46446484}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.087212354}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.087150544}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.07808906}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C24890656，“wikidata”：https://www.wikidata.org/wiki/Q82811“，”display_name“：”Acoustics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/11814948_3“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“id”：”https://metadata.un.org/sdg/10“，”score“：0.51，”display_name“：”Reduced不等式“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：11，”referrenced_works“：[”https://openalex.org/W1528724633","https://openalex.org/W1603398055","https://openalex.org/W1988083342网址","https://openalex.org/W2007575279","https://openalex.org/W2026967932","https://openalex.org/W2038193443","https://openalex.org/W2049645218","https://openalex.org/W2095948615","https://openalex.org/W2137423523","https://openalex.org/W2166026605","https://openalex.org/W2210840110“]，”related_works“：[”https://openalex.org/W4367190712","https://openalex.org/W4288055874","https://openalex.org/W3196023996","https://openalex.org/W315696179","https://openalex.org/W2945126541","https://openalex.org/W2186044446","https://openalex.org/W2099785256","https://openalex.org/W187835144","https://openalex.org/W1533619009","https://openalex.org/W153148314“]，”ngrams_url“：”https://api.openalex.org/works/W1590132050/ngrams“，”“abstract_inverted_index”：{“A”：[0]，“弱化”：[1]，“版本”：[2]，“的”：[3,16,18,36,46,75,82100129]，“the”：[4,14,44,72,76,80146]，“Cutting”：[5]，“Plane”：[6]，“（CP）”：[7]，“proof”：[8,73110125]，“system”：[9]，“with”：[10,3426]，“A”：[11,56135]，“限制”：[12]，“on”：[13,71]，“degree”：[15,35,81128]，“falsity”：[17,37,83130]，“intermediate”：[19]不等式“：[20]，”was“：[21]，”introduced“：[22112]，”by“：[23,39,54,86113]，”Goerdt。“：[24]，”He“：[25]，”proved“：[26]，”an“：[27,67]，”指数“：[28,68]，”lower“：[209,69141]，”bound“：[30,70]，”for“：[31,88,98105145]，”CP“：[32,60]，”roof“：[33]，”有界“：[38,85127]，”\\（{\\frac{n}{\\log^{2n}+1}}}），“：[40]，”where“：[41]，“n”：[42]，“is”：[43,84]，“number”：[45]，“变量。“：[47]，”Hirsch“：[48]，”and“：[49,61142]，”Nikolenko“：[50]，”strong“：[51]，”this“：[52,92,96]，”result“：[53,65,97]，”establing“：[55]，”direct“：[57]，”connection“：58]，”between“：[59]，”Res（k）“：[62136]，”proof。“：[63]，”This“：[64]，”暗示“：[66]，”length“：[74]，”Tseitin Urquhart“：[77]，”同义词，“：[78]，”when“：[79]，”cn“：[87]，”some“：[89]，”constant“：[90]，”c.In“：[91]，”paper“：[93]，”we“：[94]，”generalize“：[95]，”extensions“：[99]，”Lov\u00e1sz Schrijver“：[101]，”结石“：[102]，“（LS），”：[103]，“即”：[104]，“LS”：[106121]，“k”：[1071091224]，“+CP”：[108123]，“系统“：[111]，”格里戈里耶夫“：[114]，”et“：[115]，”al.“：[116]，”We“：[117138]，”show“：[118]，”that“：[119]，”any“：[120]，”can“：[131]，”be“：[132]，”transformed“：[133]，”into“：[134]，”proof。“：[137]，”也“：[139]，”证明“：[140]，”上限“：[143]，”界限“：[144]，”新“：[147]，”系统。“：[148]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1590132050“，”counts_by_year“：[]，”updated_date“：”2024-06-26T11:34:30.742717“，”创建日期“：”2016-06-24“}