{“id”：“https://openalex.org/W2051020081“，”doi“：”https://doi.org/10.2307/2275552“，”title“：”关于笛卡尔闭类的统一问题“，”display_name“：”关于笛卡尔闭类的统一问题“，”publication_year“：1997，”publication_date“：”1997-06-01“，”ids“：｛”openalex“：”https://openalex.org/W2051020081“，”doi“：”https://doi.org/10.2307/2275552“，”mag“：”2051020081“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2307/2275552“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：false，”“oa_status”：“closed”，“oa_url”：空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5083889587“，”“display_name”“：”Paliath Narendran“，”orcid“：null}，”“institutions”：[]，”“countries”：[]，”is_corresponding“：false，”raw_author_name“：”“Paliath Narendran”“，”raw _affiliation_strings“：[]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5021476649“，”display_name“：”Frank Pfenning“，”orcid“：”https://orcid.org/0000-0002-8279-5817“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Frank Pfenning“，”raw关联字符串“：[]}，{“author_position”：“last”，“author”：{“id”：“”https://openalex.org/A5051071400“，”display_name“：”Richard Statman“，”orcid“：null}，”institutions“：[]，”countries“：[]，”国家“：[]]，”is_corresponding“：false，”raw_author_name“:”Richard-Statman“、”raw_affiliation_strings“：【]}】，“countries_distict_count”：0，“institutions_distinact_count”：零，“corresponding_author_ids”：[]、“correscondition_institution_ids“：[】，”apc_list“：null，”“”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：13，”cited_by_percentile_year“：{”min“：82，”max“：83}，”biblio“：”volume“：“62”，“issue”：“2”，“first_page”：“636”，“last_page”：“647”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“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.9995，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9966，”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.988，”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/constraint-logic-programming（https://openalex.org/keywords/constraint-logic-programming）“，”display_name“：”Constraint Logic Programming“，”score“：0.50672｝，｛”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.505571}]，”concepts“：[{”id“：”https://openalex.org/C96146094，“wikidata”：https://www.wikidata.org/wiki/Q609057“，”display_name“：”Unification“，”level“：2，”score“：0.93735516}，{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.85147166}，{”id“：”https://openalex.org/C171032842，“wikidata”：https://www.wikidata.org/wiki/Q1725874“，”display_name“：”笛卡尔闭合范畴“，”level“：2，”score“：0.6861173}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.58387613}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.51231277}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.48339954}，{”id“：”https://openalex.org/C203264685，“wikidata”：https://www.wikidata.org/wiki/Q2328174“，”display_name“：”原子公式“，”level“：2，”score“：0.4377315}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.43569094}，{”id“：”https://openalex.org/C165064840，“wikidata”：https://www.wikidata.org/wiki/Q1321061“，”display_name“：”Matching（statistics）“，”level“：2，”score“：0.42449236}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.36494663｝，｛”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.34788537}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.32436854}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.24241188}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.21479851}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2307/2275552“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“liccense_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[{“score”：0.53，“display_name”：“素质教育”，“id”：“https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：17，”referrenced_works“：【”https://openalex.org/W136786770","https://openalex.org/W1604010699","https://openalex.org/W1912847932","https://openalex.org/W2012270428","https://openalex.org/W2017944894","https://openalex.org/W2032563292","https://openalex.org/W2033288425","https://openalex.org/W2042924775","https://openalex.org/W2049362364","https://openalex.org/W2055611812","https://openalex.org/W2056016391","https://openalex.org/W2132750992","https://openalex.org/W2145018595","https://openalex.org/W2151657107","https://openalex.org/W2323682","https://openalex.org/W2579709878","https://openalex.org/W2911867543“]，”related_works“：[”https://openalex.org/W2566029784","https://openalex.org/W2125797022","https://openalex.org/W2120230527","https://openalex.org/W2058284624","https://openalex.org/W2051020081","https://openalex.org/W1981828430","https://openalex.org/W1583400373","https://openalex.org/W1536365843","https://openalex.org/W1490819493","https://openalex.org/W1223318389“]，”ngrams_url“：”https://api.openalex.org/works/W2051020081/ngrams“，”“abstract_inverted_index”：{“abstract”：[0]，“Cartesian”：[1,32]，“closed”：[2,33]，“categories”：[3,34]，“（CCC）”：[4]，“have”：[5]，“played”：[6]，“and”：[7,39,43,97105135147]，“continue”：[8]，“to”：[9,46108128144]，“play”：[10]，“an”：[11,62,69103]，“important”：[12,70]，“role”：[13]，“in”：[14,30,86140]，“the”：[15,18,26,52,75,82,91100109129]，“study”：[16]，“研究”“：[17，20，25，84111131]，”语义“：[19]，”编程“：[21]，”语言。“：[22]，”An“：[23]，”公理化“：[24]，”同构“：[27,77]，”which“：[28139]，”hold“：[29]，”all“：[31]，”discovered“：[35]，”independently“：[36]，”by“：[37118121]，”Soloviev“：[38]，”Bruce“：[40]，”Di“：[41]，”Cosmo“：[42]，”Longo“：%44]，“leads”：[45]，“seven”：[47]，“平等。“：[48]，”我们“：[49,65]，”显示“：[50,67]，”那“：[51,68]，”统一“：[53,73,98]，”问题“：[54,83110130]，”对于“：[55102]，”这个“：[56]，”理论“：[57]，”是“：[58,79,88,94142]，”不可判定“：[59]，”因此“：[60]，”解决“：[61]，”开放“：[63]，”疑问。“：[64]，”也“：[66124]，”子基“：[71]，”即“：[72]，”模“：[74]，”线性“：[76]，”，“：[78]，”NP-完成。“：[80]，”此外，“：[81]，”匹配“：[85]，”CCCs“：[87]，”NP-complete“：[89]，”when“：[90]，”subject“：[92]，”term“：[93]，”不可约。“：[95]，”CCC-matching“：[96]，”form“：[99]，”basis“：[101]，”典雅“：[104]，”实用“：[106]，”solution“：[107]，”retrieving“：[112]，”functions“：[113]，”from“：[114]，”a“：[115]，”library“：116]，”indexed“：[117]，”types“：[119]，”research“：[120]，”Rittri.“：[122]，”It“：[123]，”has“：%125]，”potential“：[126]，“应用程序”：[127]，“多态”：[132136]，“类型”：[133]，“推理”：[134]，“高阶”：[137]，“统一”：[138]，“转向”：[141]，“相关”：[143]，“定理”：[145]，“证明”：[146]，“逻辑”：[148]，“编程”。“：[149]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2051020081“，”counts_by_year“：[{“年份”：2018，”cited_by_count“：1}，{“年度”：2016，”cited_by_count”：1}，{”year“:2012，”citecd_by_count“:1}]，”updated_date“：”2024-05-22T02:40:49.797819“，”created_dates“：”2016-06-24“}