{“id”：“https://openalex.org/W2029530526“，”doi“：”https://doi.org/10.1145/232627.232643“，”title“：”内核Fun子类型检查的复杂性“，”display_name“：”kernel Fun子类检查的复杂性”，“publication_year”：1996，“publitation_date”：“1996-06-15”，“ids”：{“openalex”：“https://openalex.org/W2029530526“，”doi“：”https://doi.org/10.1145/232627.232643“，”mag“：”2029530526“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/232627.232643，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/232627.232643“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”bronze“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/232627.232643“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5023086477“，”display_name“：”Giorgio Ghelli“，”orcid“：”https://orcid.org/0000-0002-0596-6395“｝，”机构“：[]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Giorgio Ghelli“，”raw_affiation_strings“：[”信息技术学院，意大利科索40，意大利比萨“]，”附属机构“：[｛”raw_affiation_string“：”信息技术学院，意大利科索40，意大利比萨“，”机构_ids“：[]｝]｝]，”countries_destict_count“：1，”institutions_distinct_count“：0，”corresponding_author_id“：[”https://openalex.org/A5023086477“]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：nully，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：2，”cited_by_percentile_year“：{”min“：65，”max“：69}，”biblio“：{volume”：null、“issue”：null、“first_page”：null}，“last_page”：null}、“is_retracted”：false，“is_page”aratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9983，“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.9903，”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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.509679}]，”concepts“：[{”id“：”https://openalex.org/C74193536，“wikidata”：https://www.wikidata.org/wiki/Q574844（网址：https://www.wikidata.org/wiki/Q574844）“，”display_name“：”内核（代数）“，”级别“：2，”分数“：0.7518318}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6076109}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.58518773}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.54361296}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.47348675}，{”id“：”https://openalex.org/C42747912，“wikidata”：https://www.wikidata.org/wiki/Q1048447“，”display_name“：”乘法函数“，”level“：2，”score“：0.44313252}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.373814}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.34443206}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.32942525}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.23749873}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/232627.232643，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/232627.232643“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/232627.232643，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/232627.232643“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}“，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1525323093","https://openalex.org/W1985292984","https://openalex.org/W1989181218","https://openalex.org/W2012108763","https://openalex.org/W2021686672","https://openalex.org/W2027657506","https://openalex.org/W2041042883","https://openalex.org/W2055292912","https://openalex.org/W2057648994","https://openalex.org/W2074237026","https://openalex.org/W2101921507","https://openalex.org/W2105126759","https://openalex.org/W2113239150","https://openalex.org/W2119857670","https://openalex.org/W2123727486","https://openalex.org/W2138839382","https://openalex.org/W2153060956","https://openalex.org/W2165657834","https://openalex.org/W2171058032","https://openalex.org/W2581716308","https://openalex.org/W2686043342","https://openalex.org/W2792739471","https://openalex.org/W2795046794","https://openalex.org/W2911865844","https://openalex.org/W4298231062“]，”related_works“：[”https://openalex.org/W925418074","https://openalex.org/W4318195686","https://openalex.org/W4313513739","https://openalex.org/W4289687320","https://openalex.org/W4287173569","https://openalex.org/W3182422617","https://openalex.org/W3119693376","https://openalex.org/W2975999359","https://openalex.org/W2796561647","https://openalex.org/W2119610731“]，”ngrams_url“：”https://api.openalex.org/works/W2029530526/ngrams网站“，”“abstract_inverted_index”：{“System”：[0]，“kernel”：[1,54,65108127161]，“Fun”：[2,10,66109128162]，“is”：[3,20113139165]，“an”：[4,71,76]，“abstract”：[5]，“version”：[6]，“of”：[7,27,35,49,79144160]，“the”：[8,33,47,67,63,96117154175]，“System”：[9,24,53164181]，“defined”：[11]，“by”：[12106141167]，“卡德利的”：[13]，“和”：[14,19,74121171]，“韦格纳的“：[15]，”种子“：[16]，”论文“：[17]，”[CW85]，“：[18]，”严格“：[21]，”相关“：[22]，”to“：[23125150153177]，”F≤。“：[25]，“扩展”：[26]，“这些”：[28]，“两个”：[29]，“系统”：[30,41]，“是”：[31]，“当前”：[32]，“基础”：[34]，“大多数”：[36]，“建议”：[37]，“用于”：[38,42,52180]，“强”：[39]，“类型”：[40145163]，“面向对象”：[43]，“语言”。我们：[44]，“研究”：[45,99]，“这里”：[46]，“问题”：[48]，“子类型”：[50,67,87110129]，“检查”：[51,68,88130]，“乐趣”：[55]，“呈现”：[56]，“跟随”：[58]，“结果”。“：[59]，“We”：[60,82]，“show”：[61123]，“that”：[62]，“standard”：[C4155]，“algorithm”：/69,89136]，“has”：[70,91]，“index”：[72,77]，“complexity”：[73]，“generates”：[75]，“number”：[78]，“different”：+80]，“subproblems”。“：[81]，”then“：[83]，”present“：[84]，”a“：[85-92107132142168]，”new“：[86158178]，”which“：[90112147]，”多项式“：[93]，”复杂性。“：[94]，”In“：[95]，”process“：[97]，”we“：[C8122137148]，”how“：[100124]，”variable“：[101]，”names“：[102]，”can“：[103]，”be“：[104151]，”managed“：[105]，”checker“：[111]，”not“：[114]，”based“：+115]，”on“：[116]，”De“:118]，”Bruijn“：[119]，”encoding“：[120]，”perform“：[126]，“with”：[131]，“constraint”：[133]，“generating”：[134]，“technique”。“：[135]，”给定“：[138]，”描述“：[140]，”集合“：[143]，”规则“：[146]，”证明“：[149]，”等价“：[152]，”一。“：[156]，”This“：[157]，”presentation“：[159]，”characterized“：[166]，”\“multiplicative”“：[169]，”behavior“，”：[170]，”it“：[172]，”may“：[173]，”open“：[174]，”way“：%176]，”prosentations“：[179]，”F≤“：[182]，”as“：[183]，”well。“：[184]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2029530526“，”counts_by_year“：[]，”updated_date“：”2024-06-23T21:15:37.765336“，”创建日期“：”2016-06-24“}