{“id”：“https://openalex.org/W2079590852“，”doi“：”https://doi.org/10.1016/j.ic-2010年12月.004日“，”title“：”下推系统上模态\u03bc-calculus的饱和方法“，”display_name“：”上推系统上的模态\u05bc-calcus的饱和方法”，“publication_year”：2011，“publiation_date”：“2011-05-01”，“ids”：{“openalex”：“https://openalex.org/W2079590852“，”doi“：”https://doi.org/10.1016/j.ic-2010年12月.004日“，”mag“：”2079590852“｝，”language“：”en“，”primary_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic-2010年12月.004日“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/j.ic-2010年12月.004日“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5083664380“，”display_name“：”Matthew Hague“，”orcid“：”https://orcid.org/0000-0003-4913-3800}，“机构”：[{“id”：https://openalex.org/I40120149“，”display_name“：”牛津大学“，”ror“：”https://ror.org/052gg0110“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I40120149“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”M.Hague“，”raw _affiliation_strings“：[“牛津大学计算实验室Wolfson Building，Parks Road OX1 3QD，UK”]，“affiliations”：[{“raw_affiliation _string”：“牛津大学计算机实验室WolfsonBuilding，Parks Rood OX1 3GD，UK“，”机构ID“：[”https://openalex.org/I40120149“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5025152913“，”display_name“：”C.-H.Luke Ong“，”orcid“：”https://orcid.org/0000-0001-7509-680X}，“机构”：[{“id”：https://openalex.org/I40120149“，”display_name“：”牛津大学“，”ror“：”https://ror.org/052gg0110“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I40120149“]｝]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”C.-H.L.Ong“，”raw_affiation_strings“：[”牛津大学计算实验室Wolfson Building，Parks Road Oxford OX1 3QD，UK“]，”附属机构“：[{”raw_affiation_string“：”牛津大学计算实验室Wolfson Building，Parks Road Oxford OX1 3QD，UK“，”机构ID“：[”https://openalex.org/I40120149“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：{“value”：2630，“currency”：“USD”，“value_USD”：2620，“provenance”：“doaj”}，“apc _payd”：null，“fwci”：1.256，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cit”ed_by_count“：14，”引用标准化百分比“：{”value“：0.918579，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：87，”max“：88}，“biblio”：{“volume”：“209”，”issue“：”5“，”first_page“：”799“，”last_page“：”821“}，）”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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.9996，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9919，“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/keywords/detentistic-pushdown-automaton“，”display_name“：”确定性下推自动机“，”score“：0.70421135}，{”id“：”https://openalex.org/keywords/pushdown-automaton网站“，”display_name“：”下推自动机“，”score“：0.5909553}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.493259}，{”id“：”https://openalex.org/keywords/soundness网站“，”display_name“：”Soundness“，”score“：0.4715709}]，”concepts“：[{”id“：”https://openalex.org/C74919329，“wikidata”：https://www.wikidata.org/wiki/Q378713“，”display_name“：”确定性下推自动机“，”level“：5，”score“：0.70421135}，{”id“：”https://openalex.org/C77944639，“wikidata”：https://www.wikidata.org/wiki/Q751443“，”display_name“：”下推自动机“，”level“：3，”score“：0.5909553}，{”id“：”https://openalex.org/C168773036，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.5368735}，{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”Soundness“，”level“：2，”score“：0.4715709｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.45272827}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.44291252}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.43105975}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.4124629}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3953138}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.3905081}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.37841806}，{”id“：”https://openalex.org/C116248031，“wikidata”：https://www.wikidata.org/wiki/Q214526“，”display_name“：”自动机理论“，”level“：3，”score“：0.24127251｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.23393497}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.23338458}，{”id“：”https://openalex.org/C158008952，“wikidata”：https://www.wikidata.org/wiki/Q617295“，”display_name“：”非确定性有限自动机“，”level“：4，”score“：0.254576}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.10040113}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic-2010年12月.004日“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic-2010年12月.004日“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W119381390","https://openalex.org/W1480600454","https://openalex.org/W1496412704","https://openalex.org/W1508260233","https://openalex.org/W1554290420","https://openalex.org/W1568797836","https://openalex.org/W1582292473","https://openalex.org/W1589224558","https://openalex.org/W1691700263","https://openalex.org/W1774868381","https://openalex.org/W1972164030","https://openalex.org/W1979706237","https://openalex.org/W2060742249","https://openalex.org/W2082000355","https://openalex.org/W2101936540","https://openalex.org/W2114132089","https://openalex.org/W2120926795","https://openalex.org/W2123277897网址","https://openalex.org/W2155627592","https://openalex.org/W2170933628","https://openalex.org/W217941633","https://openalex.org/W22002794","https://openalex.org/W2268014521","https://openalex.org/W260642817","https://openalex.org/W2770491639","https://openalex.org/W2914758524","https://openalex.org/W3005728772","https://openalex.org/W3037477934","https://openalex.org/W4244831445“]，”related_works“：[”https://openalex.org/W3196258201","https://openalex.org/W3133052492","https://openalex.org/W3037972106","https://openalex.org/W2522490152","https://openalex.org/W2053341755","https://openalex.org/W2049492436","https://openalex.org/W2039777175","https://openalex.org/W1602383402","https://openalex.org/W1584306444","https://openalex.org/W1511257926“]，”abstract_inverted_index“：{”We“：[0,73]，”present“：[1]，”an“：[2,51,99]，”algorithm“：[3,91111]，”for“：[4]，”computing“：[5]，”direct“：[6]，”the“：[7,16,26,30,34,63,68,71109]，”denation“：[8,64]，”of“：[9,19,49,46,58,70,76]，”a“：[10,56117]，”\u03bc“：[11,36]，“微积分”：[12]，“公式”：[13]，“\u03c7”：[14]，“over”：[15,67]，“configuration”：[17]，“graph”：[18]，“下推“：[21,47]，”系统。“：[22]，”我们的“：[23,90]，”方法“：[24]，”给定“：[25]，”第一“：[27]，”扩展“：[28]，”饱和“：[31]，”技术“：[32]，”到“：[33,43,84119]，”完整“：[35]，”微积分。“：[37]，”有限“：[38]，”字“：[39]，”自动机“：[40]，”是“：[41]，”使用“：[42]，”表示“：[44]，”集合“：[45]，”配置。“：[48]，”开始“：[49]，”来自“：[50]，”初始“：[52]，”自动机“：[53]，”我们“：[54105]，”执行“：[55]，”系列“：[57]，”自动化“：[59,85]，”操作“：[60]，”其中“：[61]，”计算“：[62]，”by“：[65]，”递归“：[66]，”结构“：[69]，”公式。“：[72]，”引入“：[74]，”概念“：[75]，”欠近似“：[77]，”（稳健性）“：[78]，”和“：[79,95,97]，”过近似“：+80]，”完整性“：[81]，”that“：[82108]，”apply“：[83]，”transitions“：[86]，”而不是“：[87]，”not“：[88115]，”运行。“：[89]，”是“：[9212]，”相对“：[93]，”简单“：[94]，”直接“：[96]，”避免“：[98]，”立即“：[100]，”指数“：[101]，”吹“：[102]，”向上。“：[103]，”最终“：[104]，”显示“：[106]，”实验“：[107]，”直接“：[110]，”更多“：[113]，”效率“：[114]，”通过“：[116]，”减少“：[118]，”奇偶校验“：[120]，”游戏。“：[121]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2079590852“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年度”：2021，”“cited_by_cunt”：2}，}“年份“：2018，”“：2013，”cited_by_count“：1}，{“年份”：2012，”cited_by_count”：1}]，”updated_date“：”2024-08-15T08:30:29.129676“，”创建日期“：”2016-06-24“}