{“id”：“https://openalex.org/W4289542596“，”doi“：”https://doi.org/10.46298/lmcs-18（3:35）2022“，”title“：”关于具有给定交集类型的术语集“，”display_name“：”具有给定交点类型的术语集合“，”publication_year“：2022，”publiation_date“：”2022-09-21“，”ids“：{”openalex“：”https://openalex.org/W4289542596“，”doi“：”https://doi.org/10.46298/lmcs-18（3:35）2022“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.46298/lmcs-18（3:35）2022“，”pdf_url“：”https://lmcs.episciences.org/10065/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”“：”“计算机科学中的逻辑方法”“，”https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”doaj“]，”open_access“：{”is_oa“：true，”oa_status“：”gold“，”oa_url“：”https://lmcs.episciences.org/10065/pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5033589410“，”display_name“：”Andrew Polonsky“，”orcid“：”https://orcid.org/0000-0003-4515-9827}，“机构”：[{“id”：https://openalex.org/I430192“，”display_name“：”阿巴拉契亚州立大学“，”ror“：”网址：https://ror.org/051m4vc48“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I430192“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Polonsky，Andrew“，”raw _ afiliation_strings“：[“阿巴拉契亚州立大学，北卡罗来纳州布恩”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5051071400“，”display_name“：”Richard Statman“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Statman，Richard“，”raw _ afiliation_strings“：[“卡内基梅隆大学，匹兹堡，宾夕法尼亚州”]}]，”countries _ distinct_count“：1，”institutions _ disting_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5033589410“]，”对应机构_ids“：[”https://openalex.org/I430192“]，”apc_list“：{“value”：0，”currency“：”USD“，”value_USD“：0，“provenance”：“doaj”}，“apc_payed”：{”value“：0”，“currency”：“USD”，“value_USD”：0、“provence”：“doaj”{，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：零，“citected_by_percentile_year”：{“min”：0”、“max”：67}，”biblioi“：{”volume“：”第18卷，第3期“，”Issue“：null，”first_page“：nul，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9894，“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.9894，“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.9823，”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/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9811，”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/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.531195}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.52219}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.50383}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.502297}，{”id“：”https://openalex.org/keywords/regular-expressions网站“，”display_name“：”正则表达式“，”score“：0.501405}]，”concepts“：[{”id“：”https://openalex.org/C64543145，“wikidata”：https://www.wikidata.org/wiki/Q162942“，”display_name“：”十字路口（航空）“，”level“：2，”score“：0.84256303}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.7430755}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.6514157}，{”id“：”https://openalex.org/C2777021872，“wikidata”：https://www.wikidata.org/wiki/Q22976830“，”display_name“：”uniquence“，”level“：2，”score“：0.61524117}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.51634467}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.50683004}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.49595508}，{”id“：”https://openalex.org/C204160518，“wikidata”：https://www.wikidata.org/wiki/Q122653“，”display_name“：”数字系统“，”level“：2，”score“：0.48044845}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4695022}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.2197758}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.20847777}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.06575185}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.06470871}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.46298/lmcs-18（3:35）2022“，”pdf_url“：”https://lmcs.episciences.org/10065/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/1809.08169，“pdf_url”：https://arxiv.org/pdf/1809.08169，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://doaj.org/article/c069cc82f25d4e488b3224ed068b2314“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S4306401280“，”display_name“：”DOAJ（DOAJ：开放存取期刊目录）“，”issn_l“：null，”issn“：null:”is_oa“：true，”is_in_DOAJ“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[[]，“type”：“repository”}，“license”：null、“license_id”：null、“version”：null.、“is_accepted”：false、“is_published“：false}，{”is_oa“：true，”landing_page_url“：”http://arxiv.org/abs/1809.08169，“pdf_url”：http://arxiv.org/pdf/1809.08169，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.46298/lmcs-18（3:35）2022“，”pdf_url“：”https://lmcs.episciences.org/10065/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.41，”id“：”https://metadata.un.org/sdg/4“，”display_name“：”素质教育“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：8，”referrenced_works“：【”https://openalex.org/W1547926009","https://openalex.org/W1838363860","https://openalex.org/W1970227944","https://openalex.org/W1980508492","https://openalex.org/W1985092102","https://openalex.org/W2119240423","https://openalex.org/W2158244462","https://openalex.org/W2241639549“]，”related_works“：[”https://openalex.org/W587872652","https://openalex.org/W571281153","https://openalex.org/W4234680390","https://openalex.org/W3202497208","https://openalex.org/W3023806604","https://openalex.org/W2949403936","https://openalex.org/W2539042112","https://openalex.org/W2378136823","https://openalex.org/W2376285871","https://openalex.org/W2352679663“]，”ngrams_url“：”https://api.openalex.org/works/W4289542596/ngrams网站“，”“abstract_inverted_index”：{“Working”：[0]，“in”：[1]，“a”：[2,25,40,45,93124]，“variant”：[3]，“of”：[4,10,22,71,79,89109116123]，“the”：[5,76,87117]，“intersection”：[6,27,72126]，“type”：[7,73,80,95]，“assignment”：[8,81]，“system”：/9]，“Coppo，”：[11]，“Dezani-Ciancaglini”：[12]，“和”：[13,75]，“文尼里”：[14]，“[1981]，”：[15]，“我们”：[16,84]，“证明”：[17]，“几个“：[18,69]，”事实“：[19]，”关于“：[20]，”集合“：[21]，”术语“：[23,91122]，”有“：[24]，”给定“：[26,94125]，”类型。“：[28127]，”Our“：[29]，”main“：[30]，”result“：[31]，”is“：[32,44,96]，”that“：[33,49,86]，”every“：[34]，”strong“：[35]，”normaling“：[36]，”term“：[37]，”M“：[38,53,63]，”accords“：[39]，”*uniquencity“：[41]，”typeing*，“：[42]，”which“：[43]，”pair“：[46]，”$（\\Gamma，A）$“：[47]，”such“：[48]，”1）“：[50]，”$\\Gamma“：[51,57]，”\\vash“：[52,58]，”：“：”：[54,60]，“A$”：[55]，“2）”：[56]，“N“：[59]，“A”：[61]，“\\Longrightarrow”：[62]，“=_{\\beta\\eta}”：[64]，“N$”：[65]，“我们”：[66]，“也”：[67]，“讨论”：[68]，“表示”：[70]，“代数”：[74]，“对应”：[77]，“选择”：[78]，“规则”。“：[82]，”此外，“：[83]，”显示“：[85]，”设置“：[88]，”关闭“：[90]，”与“：[92]，”一致“：[97]，”可分离“：[98]，”和“：[99]，”if“：[100]，”无限“：[101]，”形式“：[102]，”an“：[103113]，”适当“：[104]，”数字“：[105]，”系统。“：[106]，”The“：[107]，”proof“：[108]，”this“：[110]，”fact“：[111]，”uses“：[112]，”internal“：[114]，”version“：[115]，”B\\“ohmout”：[118]，”technology“：[119]，”adapted“：[120]，”to“：[121]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4289542596“，”counts_by_year“：[]，”updated_date“：”2024-05-18T01:36:32.661916“，”created_date:“2022-08-03”}“