{“id”：“https://openalex.org/W4281943563“，”doi“：”https://doi.org/10.1145/3519939.3523722“，”title“：”Kleene代数模理论：具体KAT的框架“，”display_name“：”Kleene代数学模理论：一个具体KAT框架“，“publication_year”：2022，“publitation_date”：“2022-06-09”，“ids”：{“openalex”：“https://openalex.org/W4281943563“，”doi“：”https://doi.org/10.1145/3519939.3523722“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3519939.35233722“，”pdf_url“：null，”source“：nul，”license“：null/”license_id“：nulse，”version“：null，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“procedings-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://arxiv.org/pdf/1707.02894“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5075185353“，”display_name“：”Michael Greenberg“，”orcid“：”https://orcid.org/0000-0003-0014-7670}，“机构”：[{“id”：https://openalex.org/I108468826“，”display_name“：”史蒂文斯理工学院“，”ror“：”https://ror.org/02z43xh36“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I108468826“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Michael Greenberg“，”raw _ afiliation_strings“：[“美国史蒂文斯理工学院”]，”affiliations“：[{”raw_ afiliation _string“：”美国史蒂文思理工学院“，”institution_ids“:[”https://openalex.org/I108468826“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5075133765“，”display_name“：”Ryan Beckett“，”orcid“：”https://orcid.org/0000-0001-7844-2026}，“机构”：[{“id”：https://openalex.org/I1290206253“，”display_name“：”Microsoft（美国）“，”ror“：”https://ror.org/00d0nc645“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1290206253“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Ryan Beckett“，”raw_affiliation_strings“：[“Microsoft Research，USA”]，”affiliations“：[{”raw_affiliation_string“：”Microsoft Researching，USA“，”institution_ids“:[”https://openalex.org/I1290206253“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5078345177“，”display_name“：”Eric Hayden Campbell“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I205783295“，”display_name“：”康奈尔大学“，”ror“：”https://ror.org/05bnh6r87“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I205783295“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Eric Campbell“，”raw_affiliation_strings“：[“美国康奈尔大学”]，”affiliations“：[{”raw_affiliation_string“：”美国康奈儿大学“，”institution_ids“：[https://openalex.org/I205783295“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payed“：null、”fwci“：2.286，”has_fulltext“：false，”cited_by_count：5，“cited_by_percentile_year”：{“min”：87，”max“：89}，”biblio“：{”volume“：nul，”issue“：null，“first_page”：空，“last_page”：空}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10743“，”display_name“：”自动化软件测试技术“，”score“：0.9997，”subfield“：｛”id“：”https://openalex.org/subfields/1712“，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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.9991，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9989，“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/satisfiability模块理论“，”display_name“：”可满足模理论“，”score“：0.473941}]，”concepts“：[{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.8271496}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.781801}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.70529723}，{”id“：”https://openalex.org/C123260079，“wikidata”：https://www.wikidata.org/wiki/Q1933521“，”display_name“：”Kleene递归定理“，”level“：2，”score“：0.70374215}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.6665748}，{”id“：”https://openalex.org/C206470798，“wikidata”：https://www.wikidata.org/wiki/Q2634506“，”display_name“：”Kleene代数“，”level“：2，”score“：0.63255215}，{”id“：”https://openalex.org/C39387531，“wikidata”：https://www.wikidata.org/wiki/Q1096708“，”display_name“：”Metatheory“，”level“：2，”score“：0.62421054}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.61796343}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5643172}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.49861073}，{”id“：”https://openalex.org/C2780451532，“wikidata”：https://www.wikidata.org/wiki/Q759676“，”display_name“：”Task（project management）“，”level“：2，”score“：0.48419622}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.47714564}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.32680476｝，｛”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.2862694}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.21412376}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.16729662}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.07717687}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：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/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”display_name“：”系统工程“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3519939.3523722“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://arxiv.org/abs/1707.02894，“pdf_url”：https://arxiv.org/pdf/1707.02894，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”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”：true，“landing_page_url”：“http://arxiv.org/abs/1707.02894，“pdf_url”：http://arxiv.org/pdf/1707.02894，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”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://api.datacite.org/dois/10.48550/arxiv.1707.02894“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1707.02894，“pdf_url”：https://arxiv.org/pdf/1707.02894，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”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}，”sustainable_development_goals“：[{”score“：0.78，”display_name“：”和平、正义和强大的制度“，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[”https://openalex.org/W4281943563“]，”referenced_works_count“：40，”referrenced_works“：[”https://openalex.org/W146784359","https://openalex.org/W1480909796","https://openalex.org/W1525169782","https://openalex.org/W1538101810","https://openalex.org/W1561117500","https://openalex.org/W1566548834","https://openalex.org/W1597515852","https://openalex.org/W1788659055","https://openalex.org/W1998368317","https://openalex.org/W2027983931","https://openalex.org/W2066210260","https://openalex.org/W2088189323","https://openalex.org/W2117065635","https://openalex.org/W2124430419","https://openalex.org/W2130210899","https://openalex.org/W2137351629","https://openalex.org/W2148994573","https://openalex.org/W2151517515","https://openalex.org/W2152492994","https://openalex.org/W2164778826","https://openalex.org/W2170145744","https://openalex.org/W2174071996","https://openalex.org/W2253297209","https://openalex.org/W2256352919","https://openalex.org/W2295673914","https://openalex.org/W2311603331","https://openalex.org/W2410246089","https://openalex.org/W2416392025","https://openalex.org/W2509808220","https://openalex.org/W2726021294","https://openalex.org/W2901540136","https://openalex.org/W2913846715","https://openalex.org/W2979499562","https://openalex.org/W3015661654","https://openalex.org/W3098828539","https://openalex.org/W3123988290","https://openalex.org/W4234045312","https://openalex.org/W4251921850","https://openalex.org/W4255282609","https://openalex.org/W66182865“]，”related_works“：[”https://openalex.org/W4287865314","https://openalex.org/W3008933585","https://openalex.org/W2970531535","https://openalex.org/W2951618619","https://openalex.org/W2471495717","https://openalex.org/W2213295336","https://openalex.org/W2198352470","https://openalex.org/W1565669300","https://openalex.org/W1549533980","https://openalex.org/W1007073359“]，”ngrams_url“：”https://api.openalex.org/works/W4281943563/ngrams网站“，”“abstract_inverted_index”：{“Kleene”：[0]，“代数”：[1]，“with”：[2,30,62]，“tests”：[3]，“（KAT）”：[4]，“offer”：[5]，“sound”：[6]，“complete”：[7,58]，“and”：[8,33,57,59]，“decitable”：[9]，“equalational”：[10,54]，“reasoning”：[11]，“about”：[12]，“regular”：[13]，“structured”：[14]，“程序”：[15]，“兴趣”：[16]，“in”：[17]，“KAT”：[18,29]，“has”：[19]，“increased”：[20]，“极大”：[21]，“自”：[22]，“NetKAT”：[23]，“演示”：[24]，“如何”：[25]，“好”：[26]，“扩展”：[27]，“的”：[28]，“特定于域”：[31]，“基元”：[32]，“额外”：[34]，“公理”：[35]，“应用”：[36]，“到”：[37,44]，“计算机”：[38]，“网络。”：[39]，“不幸”：[40]，“扩展”：[41]，“a”：[42,45]，“KAT”：[43]，“新建”：[46]，“域”：[47]，“by”：[48]，“添加”：[49]，“自定义”：[50]，“原语”：[51]，“证明”：[52]，“其”：[53]，“理论”：[55]，“声音”：[56]，“即将到来”：[60]，“向上”：[61]，“an”：[63,68]，“高效”：[64]，“实现”：[65]，“是”：[66,73]，“静止”：[67]，“专家\u2019s”：[69]，“任务。”：[70]，“抽象”：[71]，“元理论“：[72]，”持有“：[74]，”返回“：[75]，”KAT\u2019s“：[76]，”潜力“：[77]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W4281943563“，”counts_by_year“：[{“年份”：2024，”cited_by_count“：1}，{“年度”：2023，”ciped_by_cunt“：3}，”{“年”：2022，“cited_by_count”：1}]，”updated_date“：“2024-07-03T00:32:39.419794”，“创建日期”：“2022-06-13”}