{“id”：“https://openalex.org/W1827579455“，”doi“：”https://doi.org/10.1007/978-3-540-24754-8_2“，”title“：“使用时序逻辑抽象的同步和异步元胞自动机分析”，”display_name“：”使用时序逻辑提取的同步和非同步元胞自然主义分析“，”publication_year“：2004，”publitation_date“：”2004-01-01“，”ids“：{”openalex“：”https://openalex.org/W1827579455“，”doi“：”https://doi.org/10.1007/978-3-540-24754-8_2“，”mag“：”1827579455“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-24754-8_2“，”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、”is_core“：true、”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/A5057841233“，”display_name“：”Masami Hagiya“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I74801974“，”display_name“：”东京大学“，”ror“：”https://ror.org/057zh3y96“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I74801974“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Masami Hagiya“，”raw_affiliation_strings“：[“东京大学信息科学与技术研究生院”]，”affiliations“：[{”raw_affiliation_string“：”东京大学信息科技研究生院“，”institution_ids“：]”https://openalex.org/I74801974“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5015753190“，”display_name“：”Koichi Takahashi“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I73613424“，”display_name“：”国家先进工业科学技术研究院“，”ror“：”https://ror.org/01703db54“，”“country_code”“：”JP“，”type“：”government“，”seriance“：[”https://openalex.org/I73613424“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Koichi Takahashi“，”raw_affiliation_strings“：[“国家先进工业科学技术研究所”]，”affiliations“：[{”raw_affiliation_string“：”国家先进工业科技研究所“，”institution_ids“：[https://openalex.org/I73613424“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5013350879“，”display_name“：”山本正弘“，”兽人“：”https://orcid.org/0000-0003-1940-1800}，“机构”：[{“id”：https://openalex.org/I159385669“，”display_name“：”千叶大学“，”ror“：”https://ror.org/01hjzeq58“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I159385669“]}]，”countries“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Mitsuharu Yamamoto“，”raw _ afiliation_strings“：【”千叶大学理学院“】，”affiliations“：[{”raw _affiliation_strong“：”千叶学院“，”institution_ids“：[“https://openalex.org/I159385669“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5038139801“，”display_name“：”Takahiro Sat\u00f4“，”orcid“：”https://orcid.org/0009-0001-3692-7903}，“机构”：[{“id”：https://openalex.org/I74801974“，”display_name“：”东京大学“，”ror“：”https://ror.org/057zh3y96“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I74801974“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”佐藤高弘“，”raw _ afiliation_strings“：[“东京大学信息科学与技术研究生院”]，”affiliations“：[{”raw _affiliation_strong“：”东京大学信息科技研究生院“，”institution_ids“：]”https://openalex.org/I74801974“]}]}]，”countries_distinct_count“：1，”institutions_distinact_counts“：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.709，“has_fulltext”：false，“cited_by_count”：7，“cited_by_by_percent”ile_year“：{“最小”：81，“最大”：82}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”7“，”last_page“：”21“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T12162“，”display_name“：”元胞自动机理论与应用“，”score“：0.9992，”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/T12162“，”display_name“：”元胞自动机理论与应用“，”score“：0.9992，”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.9977，“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.9941，”subfield“：｛”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.581002}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.537133}，{”id“：”https://openalex.org/keywords/cellular-automata网站“，”display_name“：”元胞自动机“，”score“：0.529536}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.524811}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8581046}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.72043836}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”Abstraction“，”level“：2，”score“：0.57385963｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.53533065｝，｛”id“：”https://openalex.org/C132525143，“wikidata”：https://www.wikidata.org/wiki/Q141488“，”display_name“：”Graph“，”level“：2，”score“：0.5334138}，{”id“：”https://openalex.org/C2779167558，“wikidata”：https://www.wikidata.org/wiki/Q176468“，”display_name“：”过渡系统“，”level“：2，”score“：0.5327658}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.52249414}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.50111055}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.4831247}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.34611058}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-24754-8_2“，”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、”is_core“：true、”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：9，“referenced_works“：[”https://openalex.org/W1497571013","https://openalex.org/W1590315663","https://openalex.org/W1991981864","https://openalex.org/W2002128397","https://openalex.org/W2108704847","https://openalex.org/W2124876285","https://openalex.org/W2153439859","https://openalex.org/W2295903414","https://openalex.org/W4300930208“]，”related_works“：[”https://openalex.org/W4254327869","https://openalex.org/W2546438959","https://openalex.org/W2494453020","https://openalex.org/W2468920154","https://openalex.org/W2362494442","https://openalex.org/W2142909653","https://openalex.org/W2141327607","https://openalex.org/W2000873772","https://openalex.org/W1848392865","https://openalex.org/W1589881974“]，”ngrams_url“：”https://api.openalex.org/works/W1827579455/ngrams网站“，”abstract_inverted_index“：｛”We“：[0,75]，”have“：[1]，”been“：[2]，”正在研究“：[3]，”抽象“：[4，97]，”of“：[5，41，50，68,92105109]，”linked“：[6]，”structures“：[7]，”in“：[8]，”which“：[9]，”cells“：[10，69，81，86]，”are“：[11,70，87111]，”connected“：[12]，”by“：[13，89101]，”pointers，“：[14]，”使用“：[15,79]，”时间“：[16,93]，”逻辑“：[17]，”这个“：[18]，”论文“：[19]，”提出“：[20]”、“some”：[21]、“our”：[22]、“results”：[23]、“for”：[24]、“these”：[25]、“抽象。“：[26]，”The“：[27,39,66]，”system“：[28,35]，”to“：[29,57,63]，”be“：[30,99]，”verified“：[31]，”is“：[32]，”a“：[33,37,48,90]，”transition“：[34]，”on“：[36]，”graph。“：[38]，“形状”：[40]，“the”：[42,51,54103]，“graph”：[43]，“does”：[44]，“not”：[45]，“change”：[46]，“as”：[47]，“result”：%49]，“transition”：[52]，“but”：【53】，“label”：【55】，“assigned”：【56】，“each”：【58】，“cell”：【59】，“（node）”：【60】，“changes”：【61】，“accorder”：【62】，“重写”：[64]，“规则。“：[65]，”标签“：[67]，”更改“：[71]，”同步“：[72]，”或“：[73]，”异步。“：[74]，”抽象“：[76,80,83]，”这样“：[77]，”系统“：[78]，”和“：[82,95]，”图形。“：[84]，”摘要“：[85]，”特征“：[88]，”集合“：[91104]，”公式“：[94]，”不同“：[96]，”can“：[98]，”tried“：[100]，”changing“：[102]，”formulas。“：[106]，”某些“：[107]，”示例“：[108]，”分析“：[110]，”也“：[112]，”描述。“：[113]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W1827579455“，”counts_by_year“：[{”年“：2014，”cited_by_count“：1}]，”更新日期“：”2024-06-29T12:57:14.212182“，”创建日期“：“2016-06-24”}