{“id”：“https://openalex.org/W2989806547“，”doi“：”https://doi.org/10.1145/3363518“，”title“：”通过代数效应的模式实现行为等效“，”display_name“：”基于代数效应模式实现行为等值“，”publication_year“：2019，”publiation_date“：”2019-11-21“，”ids“：{”openalex“：”https://openalex.org/W2989806547“，”doi“：”https://doi.org/10.1145/3363518“，”mag“：”2989806547“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3363518，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3363518，“源”：{“id”：https://openalex.org/S41449414“，”display_name“：”ACM Transactions on Programming Languages and Systems“，”issn_l“：”0164-0925“，”isn“：[”0164-00925“、”1558-4593“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机协会“]，”type“：”journal“｝，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”bronze“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/3363518“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5037262512“，”display_name“：”Alex Simpson“，”orcid“：”https://orcid.org/0000-0003-0049-9668“｝，”机构“：[｛”id“：”https://openalex.org/I153976015“，”display_name“：”卢布尔雅那大学“，”ror“：”https://ror.org/05njb9z20“，”country_code“：”SI“，”type“：“教育”，”世系“：[”https://openalex.org/I153976015“]}]，”国家“：[”SI“]，”is_corresponding“：false，”raw_author_name“：”Alex Simpson“，”raw _ affiliation_strings“：[“卢布尔雅那大学，雅德兰斯卡，卢布尔雅那，斯洛文尼亚”]，”affiliation“：[{”raw _affiliation_string“：”卢布尔雅那，雅德兰斯卡，斯洛文尼亚”，“institution_ids”：[“https://openalex.org/I153976015“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5058385346“，”display_name“：”Niels Voorneveld“，”orcid“：”https://orcid.org/0000-0001-6650-3493“｝，”机构“：[｛”id“：”https://openalex.org/I153976015“，”display_name“：”卢布尔雅那大学“，”ror“：”https://ror.org/05njb9z20“，”country_code“：”SI“，”type“：“教育”，”世系“：[”https://openalex.org/I153976015“]}]，”countries“：[”SI“]，”is_corresponding“：false，”raw_author_name“：”Niels Voorneveld“，”raw _affiliation_strings“：【”卢布尔雅那大学，雅德兰斯卡，卢布尔雅那，斯洛文尼亚“】，”affiliations“：[{”raw _affiliation_string“：”卢布勒雅那大学https://openalex.org/I153976015“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：null，”fwci“：1.419，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count 602，“is_in_top_1_percent”：错误，“is_in_top_10_percent“：true}，”cited_by_percentile_year“：{”min“：88，”max“：89}，“biblio”：{“volume”：“42”，“issue”：“1”，“first_page:”1“，”last_page“：”45https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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.9995，“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.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/keywords/modifies（https://openalex.org/关键词/模式）“，”display_name“：”模式“，”score“：0.80977297｝，｛”id“：”https://openalex.org/keywords/openness-to-experience网站“，”display_name“：”体验的开放性“，”score“：0.58690345}，{”id“：”https://openalex.org/keywords/conguence（https://openalex.org/关键词/conguenence）“，”display_name“：”同余（几何）“，”score“：0.5735893}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.528132}，{”id“：”https://openalex.org/keywords/functional等效“，”display_name“：”功能对等“，”score“：0.4614846}，{”id“：”https://openalex.org/keywords/modyne“，”display_name“：”Modality（human\u2013计算机交互）“，”score“：0.4494627}，{”id“：”https://openalex.org/keywords/algebraic-structure网站“，”display_name“：”代数结构“，”score“：0.4100887｝]，”concepts“：[｛”id“：”https://openalex.org/C2779903281，“wikidata”：https://www.wikidata.org/wiki/Q6888026“，”display_name“：”Modalities“，”level“：2，”score“：0.80977297}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.80387783}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.60605407}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.5916476}，{”id“：”https://openalex.org/C84976871，“wikidata”：https://www.wikidata.org/wiki/Q2015673“，”display_name“：”开放体验“，”level“：2，”score“：0.58690345｝，｛”id“：”https://openalex.org/C132074034，“wikidata”：https://www.wikidata.org/wiki/Q154210“，”display_name“：”同余（几何）“，”level“：2，”score“：0.5735893}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.52704793}，{”id“：”https://openalex.org/C2988012377，“wikidata”：https://www.wikidata.org/wiki/Q29966452“，”display_name“：”功能对等“，”level“：2，”score“：0.4614846}，{”id“：”https://openalex.org/C2780226545，“wikidata”：https://www.wikidata.org/wiki/Q6888030“，”display_name“：”Modality（human\u2013 computer interaction）“，”level“：2，”score“：0.4494627}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.43254954}，{”id“：”https://openalex.org/C182419690，“wikidata”：https://www.wikidata.org/wiki/Q205464（网址：https://www.wikidata.org/wiki/Q205464）“，”display_name“：”代数结构“，”level“：2，”score“：0.4100887}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36814034}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.309093}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.24433574}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2421673}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.1652509}，{”id“：”https://openalex.org/C77805123，“wikidata”：https://www.wikidata.org/wiki/Q161272“，”display_name“：”社会心理学“，”level“：1，”score“：0.0816102}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.077135175｝，｛”id“：”https://openalex.org/C15744967，“wikidata”：https://www.wikidata.org/wiki/Q9418“，”display_name“：”心理学“，”等级“：0，”分数“：0.075963676}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C36289849，“wikidata”：https://www.wikidata.org/wiki/Q34749“，”display_name“：”社会科学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C144024400，“wikidata”：https://www.wikidata.org/wiki/Q21201“，”display_name“：”社会学“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：6，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3363518，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3363518，“源”：{“id”：https://openalex.org/S41449414“，”display_name“：”ACM Transactions on Programming Languages and Systems“，”issn_l“：”0164-0925“，”isn“：[”0164-00925“、”1558-4593“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机器协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://plus.cobiss.net/cobiss/si/sl/bib/18420569，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_11.pdf“，”源“：{”id“：”https://openalex.org/S4377196268“，”display_name“：”卢布尔雅那大学（卢布尔雅那大学）知识库“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I153976015“，”“host_organization_name”：“卢布尔雅那大学”，“host_ordanization_lineage”：[“https://openalex.org/I153976015“]，”host_organization_lineage_names“：[”卢布尔雅那大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://repozitorij.uni-lj.si/Dokument.php？id=118447&dn=，“pdf_url”：https://repozitorij.uni-lj.si/Dokument.php？id=118447&dn=，“源”：{“id”：https://openalex.org/S4377196268“，”display_name“：”卢布尔雅那大学（卢布尔雅那大学）知识库“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I153976015“，”“host_organization_name”：“卢布尔雅那大学”，“host_ordanization_lineage”：[“https://openalex.org/I153976015“]，”host_organization_lineage_names“：[”卢布尔雅那大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://repozitorij.uni-lj.si/IzpisGradiva.php？id=107596，“pdf_url”：https://repozitorij.uni-lj.si/Dokument.php？lang=slv&id=118447&dn=，“源”：{“id”：https://openalex.org/S4377196268“，”display_name“：”卢布尔雅那大学（卢布尔雅那大学）知识库“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I153976015“，”“host_organization_name”：“卢布尔雅那大学”，“host_ordanization_lineage”：[“https://openalex.org/I153976015“]，”host_organization_lineage_names“：[”卢布尔雅那大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://repozitorij.uni-lj.si/Dokument.php？id=118446&dn=，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-89884-111.pdf，“源”：{“id”：https://openalex.org/S4377196268“，”display_name“：”卢布尔雅那大学（卢布尔雅那大学）知识库“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I153976015“，”“host_organization_name”：“卢布尔雅那大学”，“host_ordanization_lineage”：[“https://openalex.org/I153976015“]，”host_organization_lineage_names“：[”卢布尔雅那大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“网址：http://arxiv.org/abs/1994.008843，“pdf_url”：http://arxiv.org/pdf/1904.08843，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：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，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3363518，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3363518，“源”：{“id”：https://openalex.org/S41449414“，”display_name“：”ACM Transactions on Programming Languages and Systems“，”issn_l“：”0164-0925“，”isn“：[”0164-00925“、”1558-4593“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，“grants”：[{“funder”：“https://openalex.org/F4320322554“，”funder_display_name“：”Javna Agencija za Raziskovalno Dejavnost RS“，”award_id“：”P1 0294“｝，｛”funder“：”https://openalex.org/F4320338279“，”“funder_display_name”：“空军科学研究办公室”，“award_id”：“FA9550-17-1-0326”}]，“数据集”：[]，“版本”：[]，“referenced_works_count”：57，“referrenced_works”：[”https://openalex.org/W10224464网址","https://openalex.org/W112626393","https://openalex.org/W1508489761","https://openalex.org/W1516346965","https://openalex.org/W1521014576","https://openalex.org/W1547562281","https://openalex.org/W1553136405","https://openalex.org/W172004165","https://openalex.org/W1971906578","https://openalex.org/W1978469611","https://openalex.org/W1982145886","https://openalex.org/W1984184513","https://openalex.org/W1990409169","https://openalex.org/W1995065158","https://openalex.org/W1997143185","https://openalex.org/W2007270285","https://openalex.org/W2008880956","https://openalex.org/W2018474310","https://openalex.org/W2023149698","https://openalex.org/W2023808162","https://openalex.org/W2028012052","https://openalex.org/W2038116769网址","https://openalex.org/W2076954302","https://openalex.org/W2092367588","https://openalex.org/W2106096722","https://openalex.org/W2126431612","https://openalex.org/W2129902163","https://openalex.org/W2137865376","https://openalex.org/W2139772363","https://openalex.org/W2149412346","https://openalex.org/W2153644103","https://openalex.org/W2159513875","https://openalex.org/W2167949883","https://openalex.org/W2170114248","https://openalex.org/W2194869982","https://openalex.org/W2255317114","https://openalex.org/W2267469130","https://openalex.org/W2290372454","https://openalex.org/W2493168904","https://openalex.org/W2507710874","https://openalex.org/W2561675875","https://openalex.org/W2743053213","https://openalex.org/W2797640271","https://openalex.org/W2889362727","https://openalex.org/W2965353800","https://openalex.org/W2996172477","https://openalex.org/W3013099007","https://openalex.org/W3106393588","https://openalex.org/W3145018106","https://openalex.org/W3211574141","https://openalex.org/W369805404","https://openalex.org/W4206652660","https://openalex.org/W4232632148","https://openalex.org/W4256461449","https://openalex.org/W814461068","https://openalex.org/W905467040","https://openalex.org/W951160772“]，”related_works“：[”https://openalex.org/W4285051976","https://openalex.org/W4246922166","https://openalex.org/W4246665322","https://openalex.org/W2989806547","https://openalex.org/W2981096575","https://openalex.org/W2952307304网址","https://openalex.org/W2739034326","https://openalex.org/W2348507444","https://openalex.org/W2136627809","https://openalex.org/W1984301931“]，”abstract_inverted_index“：{”The“：[0]，”article“：[1]，”investives“：[2]，”behavioural“：[3,33,45,84]，”equivalence“：[4,85]，”between“：[5]，”programs“：[6,21]，”in“：[7]，”a“：[8,14,40,51,62,88100103]，”call-by-value“：/9]，”functional“：[10]，”language“：[11]，”extended“：[12]，”with“：[13,87]，”signature“：[15]，”的“：[16,53,58,65,91105120]，”（代数）“：[17]，”效应触发“：[18]，”操作。“：[19]，“两个”：[20]，“是”：[22,75]，“被考虑”：[23]，“作为”：[24]，“被”：[25]，“惯例上”：[26]，“等价”：[27]，“如果”：[28]，“他们”：[29]，”享受“：[30]，“该”：[31,78,81111]，“相同”：[32]，“属性。“：[34,46]，”To“：[35]，”formulate“：[36]，”this“：[37]，”we“：[3]，”define“：[39]，”logic“：[41]，”which“：[42]，”公式“：[43]，”specify“：[44]，”A“：[47]，“critical”：[48]，”component“：[49]，”is“：[50]，”collection“：[52]，”models“：[54]，”expressing“：[55]，”effective-specific“：[56]，”方面“：[57]，”行为。“：[59]，”我们“：[60108]，”给予“：[61]，”一般“：[63]，”理论“：[64]，”这样“：[66]，”形式。“：[67]，“If”：[68]，“two”：[69]，“conditions”，“：[70]，“openance”：[71112]，“and”：[72113128]，“decomposability”：[73114]，“，”：[74]，“satisfeed”：[76]，“by”：[77102]，“models”：[79]“：[92]，”双相似性“：[93]，”其中“：[94]，”可以“：[95]，”是“：[96,99]，“已证明”：[97]，“to”：[98]，“同余”：[101]，“泛化”：[104]，“Howe\u2019s”：[106]，“方法”：[107]，“显示”：[109]，“that”：[110]，“条件”：[115]，“保持”：[116]，“for”：[117]，“多个”：[118]，“示例”：[119]，“代数”：[121]，“效果：”：[122]，“不确定性”：[123]，“概率”：[112]124]，“选项”：[125]，“全局”：[126]，“存储”：[127]，“输入/输出”：[129]｝，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2989806547“，”counts_by_year“：[{“年”：2024，”cited_by_count“：2}，{“年份”：2023，”ciped_by_cunt“：2%n，{”年“：2022，”cited_bycount“:4}，”{“年度”：2021，”citecd_by_count