{“id”：“https://openalex.org/W1523846338“，”doi“：”https://doi.org/10.1007/s00153-003-0198-7”，“title”：“关于的量词复杂性？n+1（T）？归纳法”，“display_name”：“关于？n+1（T）？归纳”，“publication_year”：2004，“publication_date”：“2004-04-01”，“ids”：{“openalex”：“https://openalex.org/W1523846338“，”doi“：”https://doi.org/10.1007/s00153-003-0198-7“，”mag“：”1523846338“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s00153-003-0198-7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S188076996“，”display_name“：”数理逻辑存档“，”issn_l“：”0933-5846“，”isn“：[”09335-5846“，”1432-0665“]，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]”，“open_access”：{“is_oa”：true，“oa_status”：“green”url“：”https://idus.us.es/bitstream/11441/87645/1/On%20quantifier%20complexity.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5088075498“，”display_name“：”Andr\u00e9s Cord\u00f3n-Franco“，”orcid“：”https://orcid.org/0000-0002-5967-2536“｝，”机构“：[｛”id“：”https://openalex.org/I79238269“，”display_name“：”塞维利亚大学“，”ror“：”https://ror.org/03yxnpp24“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I79238269“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”A.Cord\u00f3n-Franco“，”raw_affiliation_strings“：[“塞维利亚大学”]，”affiliations“：[{”raw_affiliation_string“：”塞维利亚学院“，”institution_ids“：[https://openalex.org/I79238269“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5060445710“，”display_name“：”Andrey Margarit“，”orcid“：”https://orcid.org/0000-0001-9194-7352“｝，”机构“：[｛”id“：”https://openalex.org/I79238269“，”display_name“：”塞维利亚大学“，”ror“：”https://ror.org/03yxnpp24“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I79238269“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”A.Fern\u00eIndez-Margarit“，”raw _ afiliation_strings“：[“塞维利亚大学”]，”affiliations“：[{”raw _affiliation_string“：”塞维利亚学院“，”institution_ids“：[https://openalex.org/I79238269“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5100775161“，”display_name“：”Francisco Mart\u00edn“，”orcid“：”https://orcid.org/0000-0002-4897-1442“｝，”机构“：[｛”id“：”https://openalex.org/I79238269“，”display_name“：”塞维利亚大学“，”ror“：”https://ror.org/03yxnpp24“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I79238269“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”F.F.Lara-Mart\u00edn“，”raw _ affiliation_strings“：[“塞维利亚大学”]，”affiliation“：[{”raw _affiliation_string“：”塞维利亚学院“，”institution_ids“：[https://openalex.org/I79238269“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[[]，”apc_list“：{”value“：2390，”currency“：”EUR“，”value_usd“：2990，”provenance“：”doaj“}”，“apc_payed”：null，“fwci”：1.567，“has_fulltext”：true，“全文_origin“：”pdf“，”引用_ by_count“：6，”引用_规范化_percentile“：{”value“：0.667431，”is_in_top_1_percent“：false，”is_in_top_10_percents“：false}，”cited_by_percentile_year“：{“min”：77，“max”：78}，“biblio”：{“volume”：“43”，“issue”：“3”，“first_page”：“371”，“last_page”：”“398”}，‘is_retracted’：false”，“is_paratext”：false id“：”https://openalex.org/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9519，”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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9519，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9345，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9336，”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/keywords/quantifier-exclusion网站“，”display_name“：”量词消除“，”score“：0.6895651}，{”id“：”https://openalex.org/keywords/quantifier网站“，”display_name“：”量词（语言学）“，”score“：0.665966}，{”id“：”https://openalex.org/keywords/fragment网站“，”display_name“：”片段（逻辑）“，”score“：0.5501604}，{”id“：”https://openalex.org/keywords/characterization网站“，”“display_name”：“表征（材料科学）”，“分数”：0.5116065}，{“id”：“https://openalex.org/keywords/state-complexity网站“，”display_name“：”状态复杂性“，”score“：0.493671}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.8248333}，{”id“：”https://openalex.org/C32278780，“wikidata”：https://www.wikidata.org/wiki/Q1849020“，”display_name“：”量词消除“，”level“：2，”score“：0.6895651}，{”id“：”https://openalex.org/C2778523021，“wikidata”：https://www.wikidata.org/wiki/Q5532504“，”display_name“：”量词（语言学）“，”level“：2，”score“：0.665966｝，｛”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.6385391}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848（网址：https://www.wikidata.org/wiki/Q5127848）“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.6051694}，{”id“：”https://openalex.org/C192209626，“wikidata”：https://www.wikidata.org/wiki/Q190909“，”display_name“：”焦点（光学）“，”级别“：2，”分数“：0.57163537}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.5501604｝，｛”id“：”https://openalex.org/C2780841128，“wikidata”：https://www.wikidata.org/wiki/Q5073781“，”display_name“：”表征（材料科学）“，”level“：2，”score“：0.5116065}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.50193644}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.45087147}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.3954661}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.2814114}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.097949475}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.07442132}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C171250308，“wikidata”：https://www.wikidata.org/wiki/Q11468“，”display_name“：”Nanotechnology“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s00153-003-0198-7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S188076996“，”display_name“：”数理逻辑存档“，”issn_l“：”0933-5846“，”isn“：[”09335-5846“，”1432-0665“]，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://idus.us.es/handle//11441/87645，“pdf_url”：https://idus.us.es/bitstream/11441/87645/1/On%20quantifier%20complexity.pdf，“源”：{“id”：https://openalex.org/S4306402641“，”display_name“：”LA Referencia（Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4383465926“，”“host_organization_name”：“LA参考”，“host_ordanization_lineage”：[“https://openalex.org/I4383465926“]，”host_organization_lineage_names“：[”LA Referencia“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://idus.us.es/handle//11441/87645，“pdf_url”：https://idus.us.es/bitstream/11441/87645/1/On%20quantifier%20complexity.pdf，“源”：{“id”：https://openalex.org/S4306402641“，”display_name“：”LA Referencia（Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4383465926“，”“host_organization_name”：“LA参考”，“host_ordanization_lineage”：[“https://openalex.org/I4383465926“]，”host_organization_lineage_names“：[”LA Referencia“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1572451808","https://openalex.org/W1579247651","https://openalex.org/W1601654835","https://openalex.org/W1965980309","https://openalex.org/W1987377250","https://openalex.org/W2014596272","https://openalex.org/W2015690845","https://openalex.org/W2016916627","https://openalex.org/W2041820615","https://openalex.org/W2074448200","https://openalex.org/W2076792546","https://openalex.org/W2086129813","https://openalex.org/W2091112568","https://openalex.org/W2573016414","https://openalex.org/W4239934161","https://openalex.org/W83512845“]，”related_works“：[”https://openalex.org/W71729059","https://openalex.org/W4287825236","https://openalex.org/W4214737172","https://openalex.org/W3216731410","https://openalex.org/W3012938552","https://openalex.org/W2798639752","https://openalex.org/W2324712051","https://openalex.org/W1973527399","https://openalex.org/W1524103539","https://openalex.org/W1239946963“]，”abstract_inverted_index“：{”In“：[0,47]，”this“：[1]，”paper“：[2]，”we“：[3]，”continue“：[4]，”the“：[5,8,19,34,72]，”study“：[6]，”of“：[7,22,36,57,99109112118]，”theorys“：[9,37]，”I\u0394“：[10,40,49,74]，”n+1“：[11,41,50,52,62,75,77,84126]，”（T），“：[12]，“发起”：[13]，“In”：[14]，“[7]。”：[15]，“we”：[16]，“focus”：%17]，“on”：[18115]，“量词”：[20]，“复杂性“：[21]，”这些“：[23]，”片段“：[24]，”和“：[25,64105124]，”他们的“：[26]，”（非）有限“：[27]，”公理化。“：[28]，”A“：[29]，”特征化“：[30]，”is“：[31,43,65]，”getabled“：[32]，”for“：[33,82121]，”class“：[35]，”such“：[38]，”that“：[39]，”（T）“：[42]，”\u03a0“：[44,59122]，”n+2“：[45,60123]，”\ u2013可公理化。“：[46]，”special“，”：[48]，“（I\u0394”：[51,61,76]，“）”：[53,63,78]，“给定”：[54]，“an”：[55]，“公理化”：[56]，“Th”：[58]，“not”：66]，“finitely”：[67]，“axiomatible”。“：[68]，”This“：[69]，”fact“：[70]，”relates“：[71]，”fragment“：[73]，”to“：[79,92]，”induction“：[80119]，”rule“：[81]，”\u0394“：[83125]，”\ u2013formulas。“：[85]，“我们的”：[86]，“参数”：[87]，“涉及”：[88]，“a”：[89110]，“构造”：[90]，“到期”：[91]，“R.”：[93]，“凯”：[94]，“（参见”：[95103128]，“[9]），”：[96]，“提供”：[97]，“证明”：[98]，“帕森斯\u2019”：[100]，“保守性”：[101]，“定理”：[102]，“[16]）”：[104]，“（a”：[106]，“弱”：[107]，“版本）”：[108]，“结果”：[111]，“L.D.”：[113]，“Beklemishev”：[114]，“unnested“：[116]，”applications“：[117]，”rules“：[120]，”formulas“：/127]，”[2]）。“：[129]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1523846338“，”counts_by_year“：[{”年“：2014，”cited_by_count“：1}]，”更新日期“：”2024-09-26T21:43:13.660504“，”创建日期“：“2016-06-24”}