{“id”：“https://openalex.org/W2169703983“，”doi“：”https://doi.org/10.1007/bfb0028022“，”title“：”Mona&Fido:“实际中的逻辑自动机连接”，“display_name”：“Mona&Fido:实际中的逻辑学自动机连接“，”publication_year“：1998，”publiction_date“：”1998-01-01“，”ids“：{”openalex“：”https://openalex.org/W2169703983“，”doi“：”https://doi.org/10.1007/bfb00282022“，”mag“：”2169703983“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/bfb0028022“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5083488023“，”display_name“：”Nils Klarlund“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1283103587“，”display_name“：”AT&T（美国）“，”ror“：”网址：https://ror.org/02bbd5539“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1283103587“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Nils Klarlund“，”raw _ afiliation_strings“：[“AT&T Labs-Research，Florham Park，NJ”]，”affiliations“：[{”raw_ afiliation _string“：”AT&T实验室-Research，Florham Park，NJhttps://openalex.org/I1283103587“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5083488023“]，”对应的机构ID“：[”https://openalex.org/I1283103587“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：49，”cited_by_percentile_year“：{”min“：92，”max“：93}，“biblio”：{“volume”：null“issue”：nul，”first_page“：”311“，”last_page“：“326”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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”：1.0，“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.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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9971，”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/synchronizing-automata网站“，”display_name“：”Synchronizing Automata“，”score“：0.550094}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.523004}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.510955}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”Separation Logic“，”score“：0.500724}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.7333017}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.54466045}，{”id“：”https://openalex.org/C13355873，“wikidata”：https://www.wikidata.org/wiki/Q2920850“，”display_name“：”Connection（principal bundle）“，”level“：2，”score“：0.5444539}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.54247206}，{”id“：”https://openalex.org/C3309909，“wikidata”：https://www.wikidata.org/wiki/Q864155“，”display_name“：”二进制决策图“，”level“：2，”score“：0.53749734}，{”id“：”https://openalex.org/C75306776，“wikidata”：https://www.wikidata.org/wiki/Q7632662“，”display_name“：”继任者基数“，”level“：2，”score“：0.5182945}，{”id“：”https://openalex.org/C165753454，“wikidata”：https://www.wikidata.org/wiki/Q1020380“，”display_name“：”B\u00fcchi automaton“，”level“：4，”score“：0.45447215}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.44584197｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4057044}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.32163435}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.21884704}，{”id“：”https://openalex.org/C194525867，“wikidata”：https://www.wikidata.org/wiki/Q5265707“，”display_name“：”确定性自动机“，”level“：3，”score“：0.21875888}，{”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}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/bfb00282022“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：nuld，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[{“id”：”https://metadata.un.org/sdg/16“，”score“：0.77，”display_name“：”和平、正义和强大的机构“}]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：29，”referenced_works“：[”https://openalex.org/W124311540","https://openalex.org/W128368934","https://openalex.org/W1508547921","https://openalex.org/W1508780728","https://openalex.org/W1540012118","https://openalex.org/W1560050980","https://openalex.org/W1571023897","https://openalex.org/W1572721808","https://openalex.org/W1588462485","https://openalex.org/W176067219","https://openalex.org/W1926085771","https://openalex.org/W1968616712","https://openalex.org/W1983682288","https://openalex.org/W1992003147","https://openalex.org/W2019932899","https://openalex.org/W2022136117","https://openalex.org/W2030224590","https://openalex.org/W2032767692","https://openalex.org/W2035020702","https://openalex.org/W2073663206","https://openalex.org/W2128477287","https://openalex.org/W2168881618","https://openalex.org/W2344021881","https://openalex.org/W2491233592","https://openalex.org/W2733077638","https://openalex.org/W4205178514","https://openalex.org/W4248764752","https://openalex.org/W4250370478","https://openalex.org/W4300021588“]，”related_works“：[”https://openalex.org/W4286892938","https://openalex.org/W3147993740","https://openalex.org/W2612831843","https://openalex.org/W2290376746","https://openalex.org/W2219509443","https://openalex.org/W2137641996","https://openalex.org/W2073034928","https://openalex.org/W1941386016","https://openalex.org/W1546295742网址","https://openalex.org/W1508260233“]，”ngrams_url“：”https://api.openalex.org/works/W2169703983/ngrams网站“，”abstract_inverted_index“：{”We“：[0,45]，”discussion“：[1]，”in“：[2,19,54]，”this“：[3]，”paper“：[4]，”how“：[5,47,75]，”connections“：[6]，”Discoverted“：[7]，”几乎“：[8]，”四十“：[9]，”years“：[10]，”ago“：[11]，”between“：[12]，”logics“：%13,23]，”and“：[14,79115]，”automata“：[15]，”can“：[16,81]，”be“：[17,82]，”used“：[18]，”practice.“：[20]，”For“：[21]，”such“：[22]，”表示“：[24]，”规则“：[25]，”集合“：[26]，”我们“：[27,73105]，”有“：[28]，”开发“：[29]，”工具“：[30]，”那“：[31]，”允许“：[32]，”有效“：[33]，”符号“：[34,42]，”推理“：[35]，”不“：[36]，”可实现“：[37]，”通过“：[38]，”定理“：[39]，”证明“：[40]，”或“：[41]，“模型”：[43]，“检查”。“：[44]，”解释“：[46]，”该“：[48,59,97109]，”逻辑自动机“：[49]，”连接“：[50111]，”是“：[51]，”已经“：[52]，”利用“：[53]，”a“：[55,86,91]，”限制“：[56]，”方式“：[57]，”for“：[58,90]，”case“：[60]，”of“：[61101108]，”量化“：[62]，”布尔“：[63]，”logic“：[64]，“where”：[65]，“Binary”：[66]，“Decision”：[67]，“Diagrams”：[68]，“act”：/69]，“as”：[70]，“自动机。“：[71]，”下一步“：[72]，”指示“：[74]，”BDD“：[76]，”数据“：[77]，”结构“：[78]，”算法“：[80]，”扩展“：[83]，”到“：[84112]，”产量“：[85]，”实用“：[87]，”决策“：[88]，”过程“：[89]，”更多“：[92]，”通用“：[93]，”逻辑“：[94]，”即“：[95]，”WS1S，“：[96]，“弱”：[98]，“二阶”：[99]，“理论”：[100]，“一”：[102]，“后继。“：[103]，”最后，“：[104]，”提及“：[106]，”应用程序“：[107]，”自动化逻辑“：[110]，”软件“：[113]，”工程“：[114]，”程序“：116]，”验证。“：[117]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2169703983“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：2}，{“年度”：2021，”“cited_by_cunt”：2%n，{”“年份”“：2020，”“cited_by-count”“：1}，”“年份“：2019，”“icted_by/count”“：2012，”cited_by_count“：1}]，“updated_date”：“2024-06-19T06:01:42.984775”，“创建日期”：“2016-06-24"}