{“id”：“https://openalex.org/W1986174280“，”doi“：”https://doi.org/10.1006/inco.1996.2614（网址：https://doi.org/10.1006/inco.1996.2614）“，”title“：”基本形式系统、内在复杂性和拖沓“，”display_name“：”初步形式系统、固有复杂性和拖拉“，”publication_year“：1997，”publiation_date“：”1997-01-01“，”ids“：{”openalex“：”https://openalex.org/W1986174280“，”doi“：”https://doi.org/10.1006/inco.1996.2614（网址：https://doi.org/10.1006/inco.1996.2614）“，”mag“：”1986174280“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1996.2614“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1006/inco.1996.2614“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5033626728“，”display_name“：”Sanjay Jain“，”orcid“：”https://orcid.org/0000-0001-9620-7070“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Sanjay Jain“，”raw_affiliation_strings“：[]，“从属关系”：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5008299613“，”display_name“：”Arun Sharma“，”orcid“：”https://orcid.org/0009-0000-3832-7998“｝，”机构“：[]，”国家“：[]，”is_corresponding“：false，”raw_author_name“：”Arun Sharma“，”raw_affiation_strings“：[]，”附属机构“：[]｝]，”国家_地区_计数“：0，”机构_地区_计数“：0，”对应机构_授权人“：[]，”对应机构_ ID“：[]，”apc_list“：｛”value“：2630，”货币“：”美元“，”value_USD“：2630，”出处“：”doa j“}，”apc_payd“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：29，”cited_by_percentile_year“：{”min“：89，”max“：90}，”biblio“：{“volume”：“132”，“issue”：“1”，“first_page”：“65”，“last_page”：”84“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T12072“，”“display_name”：“机器学习研究中的主动学习”，“score”：0.9984，“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/T12072“，”“display_name”：“机器学习研究中的主动学习”，“score”：0.9984，“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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9912，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9625，”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/formal-languages网站“，”display_name“：”形式语言“，”score“：0.587479}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.517091}，{”id“：”https://openalex.org/keywords/semi-supervised-learning网站“，”display_name“：”半监督学习“，”score“：0.505771}，{”id“：”https://openalex.org/keywords/regular-expressions网站“，”display_name“：”正则表达式“，”score“：0.502651}]，”concepts“：[{”id“：”https://openalex.org/C77553402，“wikidata”：https://www.wikidata.org/wiki/Q13222579“，”display_name“：”上下限“，”level“：2，”score“：0.72308457}，{”id“：”https://openalex.org/C2777723229，“wikidata”：https://www.wikidata.org/wiki/Q4367921“，”display_name“：”Learnability“，”level“：2，”score“：0.5978711}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.58659387}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.5808393}，{”id“：”https://openalex.org/C151201525，“wikidata”：https://www.wikidata.org/wiki/Q177239“，”display_name“：”极限（数学）“，”等级“：2，”分数“：0.5029232}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.46619478｝，｛”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.42985636}，{”id“：”https://openalex.org/C116834253，“wikidata”：https://www.wikidata.org/wiki/Q2039217“，”display_name“：”Identification（biology）“，”level“：2，”score“：0.41530752}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3006247}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.20999068}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C59822182，“wikidata”：https://www.wikidata.org/wiki/Q441“，”display_name“：”植物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1996.2614“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”版本“：”已发布版本“，”is_accepted“：true，”is_published“：true｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1996.2614“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“，”score“：0.82}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：0，”referrenced_works“：[]，”related_work“：[”https://openalex.org/W72092541","https://openalex.org/W4302791369","https://openalex.org/W37360785","https://openalex.org/W2951285859","https://openalex.org/W2900325930","https://openalex.org/W2766040214","https://openalex.org/W2098466205","https://openalex.org/W1973394166","https://openalex.org/W1966604104","https://openalex.org/W180475243“]，”ngrams_url“：”https://api.openalex.org/works/W1986174280/ngrams网站“，”“abstract_inverted_index”：{“最近，”：[0]，“丰富”：[1]，“子类”：[2]，“的”：[3,22,30,39,57,69,8311012018219421221726327829329993183233333367415419]，“基本”：[4,44245]，“形式”：[5,45246]，“系统”：[6,46247]，“（EFS）”：[7]，379]，“到“：[11,65,79138153219238250258331365387422]，”是“：[12,99168]，”可识别“：[13]，”在“：[14,6020320405]，”的“：[15,61,67,81,861111181361481511801922012052602702912973131388409413]，“限制”：[16,88]，“来自”：[17]，“仅”：[18]，“正”：[19]，“数据”。“：[20]，”示例“：[21]，”这些“：[23,70]，”类“：[24,38241364]，”是“：[25235]，”Angluin’s“：[26]，”模式“：[27,31221281]，“语言”，“：[28]，”联合“：[29216277]，”语言“：[32,4012322273282294324398]，“by”：[33,4278102152432752963226]，”赖特“：[34]，”和“：[35,37159350370399]，”Shinohara，“：[36]，”可定义“：[41242325]，”长度界限“：[43244327]，”研究“：[47]，”Shinohara。“：[49]，“The”：[50,73253]，“present”：[51202410]，“paper”：[52203354411]，“imployees”：[53256]，“two”：[54]，“distinct”：[55336]，“body”：[56]，“abstract”：【58417】，“studies”：【59】，“inductive”：【62339420426】，“inference”：[63421]，“literal”：【64】，“analyze”：【66】，“learnability”：【68342401】，“concrete”：【71]，“类。“：[72265]，”first“：[74,87]，”approach“：[75255]，”uses“：[76]，”constructional“：[77]，”ordinals“：[78]，”bounded“：[80,94116129142145157163178190230314]，”number“：[82119181193317]，”mind“：[84,92121195207347372]，”changes。\u03c9表示“：[85]，”序号。“：[89]，”An“：[90]，”ordinal“：[91206346371]，”change“：[93208348373]，”of \u03c9beans“：[95]，”that“：[96105132165174204228269307358366380383]，”identification“：/97166211]，”can“：[98167]，”carried“：[100169]，”out“：[101170]，”a“：[103128144172284308381]，”learner“：[104134149173]，”after“：[106]，”检查“：[107]，”一些“：[108]，”元素“：[109]，”语言“：[112]，”宣告“：[113175]，”an“：[1141176]，”上部“：[115141156177189]，”on“：[117179191315]，”更改“：[122]，”it“：[123184377]，”will“：[124]，”make“：[125]，”before“：[126]，”converging；“：[127]，”of \u03c9\u00b72“：[130]，”意指“：[131147]，”reserves“：[135150]，”right“：[137152]，”revise“：[139154186]，”this“：[140155229353]，”once；“：[143]，”of \u03c9\u00b73“：[146]，“两次”，“：[158]，”so“：[160]，”on。“：[161]，”A“：[162]，”of\u03c 92表示“：[164]，”times“：[183]，”may“：[185]，”its“：/187]，”suggested“：[188]，”changes。“：[196]，”It“：[1972242660303]，”is“：[1982252212676278304378384]，”complexity“：[209262369392]，”for“：[210240312390]，”formed“：[214274295]，”up“：[218249279279300]，”n“：[202251]，”is\u03c9n。“：[223]，”也“：[226236305355]，”基本。“：[232]，”类似“：[233]，”结果“：[234357402418]，”保留“：[239]，”with“：[248]，”子句。“：[252]，”第二“：[254]，”减少“：[257389]，”研究“：[259]，”内在“：[2613536839]，”可学习“：[264363]，”类“：[271229382]，”服用“：[276]，”吨+1“：[280]，”严格“：[285]，”更多“：[286]，”困难“：[287]，”学习“：[288]，”问题“：[289]，”比“：[290]，”联合“：[298]，”tonpattern“：[301]，”语言。“：[302]，”similar“：[309]，”hierarchy“：[310]，”holds“：[311]，”clauses“：[316]，”case“：[322]，”EFS。“：[328]，“In”：[329]，“addition”：/330]，“building”：[3]2]，“bridges”：[333]，“between”：[33.4]，“three”：335]，“areas”：[37]，“inference”，“：[340]，”viz.，“：341]，“EFS”：[344397]，“subsides”，“:345]，“complexity”：[34.9352]，“presents”：[356]，“relate”：=359]，“topological”：[360]，“属性”：[361]，“复杂性”。“：[374]，”“For”：[375]，“example”，“：[366]，”“complete”：[385]，”根据“：[386]，“has”：[393]，“infinite”：[364]，“弹性。“：[395]，“Since”：[396]，“their”：[400]，“counters”：[404]，“traditional”：[46]，“logic”：[47427]，“programming”，“：[408]，“demonds”：[412]，“possibility”：[4.14]，”using“：[416]，”gain“：[423]，”insights“：[428]，”into“programmating”：[425]，”programming。“：[428]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1986174280“，”counts_by_year“：[{”年份“：2017，”cited_by_count“：2}，{”年“：2016，”cited_by_count”：2}.，{“年份”：2012，”citecd_by_count“:2}]，”updated_date“：”2024-06-17T18:25:38.979296“，”created_date:“2016-06-24”}