\u03c9型“，”display_name“：”与\u03c9型“，”“publication_year”：2015，“publication_date”：“2015-05-22”，“ids”：{“openalex”：“https://openalex.org/W2958924191“，”doi“：”https://doi.org/10.1017/s0960129515000195“，”mag“：”2958924191“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s0960129515000195“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”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｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5069526185“，”display_name“：”赵浩然“，”兽人“：”https://orcid.org/0000-0003-2842-3526“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”赵浩然“，”raw_affiliation_strings“：[]，“从属关系”：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5023031080“，”display_name“：”Hui Kou“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Hui Kou“，”raw _affiliation_strings“：]，”affiliations“：[/]}]，“countries_distiction_count”：0，“institutions_distition_count“：0，”corresponding_author_ids，“apc_payd”：空，“fwci”：0.334，“has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：1，”citation_normalized_percentile“：{”value“：0.582362，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：false}，”cited_by_count_year“：{“min”：66，“max”：73}，“biblio”：{“volume”：“27”，“issue”：“4”，“first_page”：“540”，“last_page”：”556“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9956，”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.9956，”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.9911，”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/T10896“，”display_name“：”泊松流形的变形量化“，”score“：0.99，”subfield“：{”id“：”https://openalex.org/subfields/2610“，”display_name“：”数学物理“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/retract“，”display_name“：”Retract“，”score“：0.85263157}，{”id“：”https://openalex.org/keywords/cartesian-product网站“，”display_name“：”笛卡尔积“，”score“：0.61176527}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.439648｝]，”concepts“：[｛”id“：”https://openalex.org/C2776055716，“wikidata”：https://www.wikidata.org/wiki/Q7316893“，”display_name“：”Retract“，”level“：2，”score“：0.85263157}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.76153326}，{”id“：”https://openalex.org/C65236422，“wikidata”：https://www.wikidata.org/wiki/Q173740“，”display_name“：”笛卡尔积“，”level“：2，”score“：0.61176527}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362网址“，”display_name“：”绑定函数“，”level“：2，”score“：0.5833443}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5367144}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.4810855}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.46478865}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.36099598}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.124907285}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s0960129515000195“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”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”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：18，“referenced_works“：[”https://openalex.org/W128738456","https://openalex.org/W1525647423","https://openalex.org/W1547926009","https://openalex.org/W1887766079","https://openalex.org/W1981700077","https://openalex.org/W1983718305","https://openalex.org/W2016969862","https://openalex.org/W2026518150","https://openalex.org/W2037794459","https://openalex.org/W2044288142","https://openalex.org/W2072497723","https://openalex.org/W2082152502","https://openalex.org/W2090948897","https://openalex.org/W2093541252","https://openalex.org/W2154851516","https://openalex.org/W2223977032","https://openalex.org/W4211265583网址","https://openalex.org/W4861723“]，”related_works“：[”https://openalex.org/W4383216082","https://openalex.org/W4377164417","https://openalex.org/W4298018575","https://openalex.org/W4294364856","https://openalex.org/W270088093","https://openalex.org/W2359419821","https://openalex.org/W2315570462","https://openalex.org/W2299552569","https://openalex.org/W2164522043","https://openalex.org/W2163912400“]，”abstract_inverted_index“：{”In“：[0]，“1978，”：[1]，“G.”：[2]，“Plotkin”：[3]，“noted”：[4]，“that”：[5,30,75120213280]，“$\\mathbb{T}$”：[6,34,88121175198202223223223624525225265269]，“\u03c9”：[7,13,35,59,891221761992032242232324625726270]，“，”：[8123]，“：[9,16,31,43102149182211240293296]，“笛卡尔“：[10，53110194]，“产品”：[11]，“的”：[12，15，21，311413815115918422124426428295]，“副本”：[14]，“三个”：[17]，“元素”：[18]，“平面”：[19]，“域”：[2010209]，“布尔”：[22]，“是”：[23，61，68，79，90107128141177193205217239271283]，“a”：[24，52，83109125156218261284]，“通用”：[251229208273]，“域，“：[26]，”其中，“：[27230]，”\u2018universal\u2019“：[28]，”表示“：[29,74]，”收回“：[32]，”用于“：[36,62,69132169274]，”斯科特“：[37]，”连续“：[38,49]，”语义“：[39]，”是“：[40]，”精确“：[41]，”全部“：[42]，”u03c9CC“：[44]，”-域“：[45]，”其中“：[46,72,78]，”with“：[47]116190]，“Scott”：[48]，“functions”：[50118192]，“form”：[51]，“closed”：[54111]，“category”。“：[55]，”作为“：[56]，”通常“：[57]，”2018“：[58]，”2019“：[60]，”可计算“：[63]，”基于，2019“:[64]，”和“：[65171181267286303]，”此处“：[66]，”\u2018CC\u2019“:[67]，”有条件“：[70]，”完成，2019”：[71]，“本质上”：[73]，“任何”：[76]，“子集”：[77]，“两两”：[80]，“有界”：[81]，“has”：[82]，“least”：[84]，“upper”：[85]，“bound”。“：[86]，“自”：[87]，“也”：[91]，“an”：[92178]，“\u03c9DI”：[93]，“-domain”：[94168180216]，“（an）：[95]，“重要”：[96]，“结构”：[97]，“in”：[981302102492929]，“稳定”：[99117134152191207219241262276]，“理论），”：[101]，“如下”：[103]，“问题”：[104]，“出现”：[105]，“自然：“：[106]，”there“：[108]，”category“：[112183]，”C“：[11311]，”domains“：[115160]，”such“：[119]，”or“：[124]，”related“：[126]，”structure“，”：[127]，“Berry\u2019s”：[133275]，“语义？“：[135]，”The“：[136]，”aim“：[137]，”this“：[139144281]，”paper“：[140282]，”to“：[142]，”answer“：[143]，”question。“：[145]，”我们“：[146154278]，”第一个“：[147]，”调查“：[148]，”财产“：[150]，”收回。“：[153]，”引入“：[155]，”新“：[157]，”类“：[158]，”调用“：[161]，”条件“：[162]，”完成“：[163]，”DI“：[164]，”域“：[165186]，”（“：[166]，”CCDI“：[C67185]，”短）“：[170]，”显示“：[172]，”that，“：[173]，”“（1）”：[174]，“\u03c9CCDI”：[179188215]，”“：[187]，”-域）“：[189]，”关闭；“：[195]，“（2）”：[196]，“[”：[197222231251]，“\u2192”：[200225234254]，“st”：[20126235255]，“]”：[204238258]，“sense”：[212]，“every”：[214]，“retract”：[220263]，“】，”：[229]，“function”：[242]，“space”：[243]，“；“：[247]，”（3）“：[248]，”特别的，”：[250]，“不是”：[260272]，“因此”：[268]，“语义。“：[277]，”remark“：[279]，”complete“：[285]，”correction“：[287]，”our“：[289]，”earlier“：[290]，”report“：[291]，”Proceedings“：[294]，”6th“：[297]，”International“：[298]，”Symposium“：[299]，”on“：[300]，”Domain“：[301]，”Theory“：302]，”Its“：[304]，”Applications“：[305]，”（ISDT2013）。“：[306]}，”引用_ by_api_url“：”https://api.openalex.org/works？filter=cites:W2958924191“，”counts_by_year“：[{”年“：2018，”cited_by_count“：1}]，”更新日期“：”2024-08-29T06:53:20.978245“，”创建日期“：“2019-07-23”}