{“id”：“https://openalex.org/W2008587618“，”doi“：”https://doi.org/10.1016/020-0190（92）90142-i“，”title“：”规范化bpa过程互模拟可判定性的简短证明“，”display_name“：”标准化bpa进程互模拟可决策性的简短验证“，”publication_year“：1992，”publitation_date“：”1992-05-01“，“ids”：{”openalex“：”https://openalex.org/W2008587618“，”doi“：”https://doi.org/10.1016/020-0190（92）90142-i“，”mag“：”2008587618“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/020-0190（92）90142-i“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S147953040“，”display_name“：”Information Processing Letters“，”issn_l“：”0020-0190“，”isn“：[”0020-0110“，”1872-6119“]，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://ir.cwi.nl/pub/2007/0207D.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5032619003“，”display_name“：”Jan Friso Groote“，”orcid“：”https://orcid.org/0000-0003-2196-6587}，“机构”：[{“id”：https://openalex.org/I1341640284“，”display_name“：”Wiskunde和Informatica中心“，”ror“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”Jan Friso Groote“，”raw _affiliation_strings“：[“软件技术部，CWI，邮政信箱4079，1009 AB Amsterdam，Netherlands”]，”affiliations“：[{”raw _affiliation_string“：”软件技术部机构ID“：[”https://openalex.org/I1341640284“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5032619003“]，”对应的机构ID“：[”https://openalex.org/I1341640284“]，”apc_list“：{“value”：2200，”currency“：”USD“，”value_USD“：2200、”provenance“：”doaj“}、”apc_payd“：null、”fwci“：4.656、”has_fulltext“：true、”fulltext_origin“：”ngrams“，”cited_by_count“：45、”citation_normalized_percentile“：{”value“：0.835409、”is_in_top_1_percent“：false，”is_intop_10_percennt“：false}，”cit ed_by_percentile_year“：{”最小“：91，”最大“：92}，”书目“：{”volume“：”42“，”issue“：”3“，”first_page“：”167“，”last_page“：“171”}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11700“，”“display_name”：“围手术期液体治疗的优化”，“score”：0.8856，“subfield”：{“id”：“https://openalex.org/subfields/2746“，”display_name“：”手术“}，”字段“：{”id“：”https://openalex.org/fields/27“，”display_name“：”Medicine“}，”domain“：{”id“：”https://openalex.org/domains/4“，”display_name“：”Health Sciences“}}，”topics“：[{”id“：”https://openalex.org/T11700“，”“display_name”：“围手术期液体治疗的优化”，“score”：0.8856，“subfield”：{“id”：“https://openalex.org/subfields/2746“，”display_name“：”手术“}，”字段“：{”id“：”https://openalex.org/fields/27“，”display_name“：”Medicine“}，”domain“：{”id“：”https://openalex.org/domains/4“，”“display_name”：“健康科学”}}，{”id“：”https://openalex.org/T11217“，”“display_name”：“心律失常导管消融”，“score”：0.8713，“subfield”：{“id”：“https://openalex.org/subfields/2705“，”display_name“：”心脏病学和心血管医学“}，”字段“：{”id“：”https://openalex.org/fields/27“，”display_name“：”Medicine“}，”domain“：{”id“：”https://openalex.org/domains/4“，”“display_name”：“健康科学”}}，{”id“：”https://openalex.org/T10217“，”“display_name”：“心律失常的分子机制”，“score”：0.8682，“subfield”：{“id”：“https://openalex.org/subfields/2705“，”display_name“：”心脏病学和心血管医学“}，”字段“：{”id“：”https://openalex.org/fields/27“，”display_name“：”Medicine“}，”domain“：{”id“：”https://openalex.org/domains/4“，”display_name“：”Health Sciences“}}]，”keywords“：[{”id“：”https://openalex.org/keywords/bisimulation网站“，”display_name“：”双向模拟“，”score“：0.9139471}]，”concepts“：[{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.9139471}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.89065534}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.4785336}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4262045}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4203707}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.34792215}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/020-0190（92）90142-i“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S147953040“，”display_name“：”Information Processing Letters“，”issn_l“：”0020-0190“，”isn“：[”0020-0110“，”1872-6119“]，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://ir.cwi.nl/pub/207，“pdf_url”：https://ir.cwi.nl/pub/207/0207D.pdf，“源”：{“id”：https://openalex.org/S4306401843“，”“display_name”“：”“数据存档和网络服务（DANS）”“，”https://openalex.org/I1322597698“，”“host_organization_name”：“荷兰皇家艺术科学院”，“host_ordanization_lineage”：[“https://openalex.org/I1322597698“]，”“host_organization_lineage_names”：[“荷兰皇家艺术与科学院”]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://ir.cwi.nl/pub/207，“pdf_url”：https://ir.cwi.nl/pub/207/0207D.pdf，“源”：{“id”：https://openalex.org/S4306401843“，”“display_name”“：”“数据存档和网络服务（DANS）”“，”https://openalex.org/I1322597698“，”host_organization_name“：”荷兰皇家艺术与科学学院“，”host_organization_lineage“：[”https://openalex.org/I1322597698“]，”host_organization_lineage_names“：[”Royal Netherlands Academy of Arts and Sciences“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，”“versions”：【】、“referenced_works_count”：4，“reference d_works”：【”https://openalex.org/W1499210811","https://openalex.org/W1547562281","https://openalex.org/W1996761984","https://openalex.org/W2123842443“]，”related_works“：[”https://openalex.org/W3096633875","https://openalex.org/W2136485937","https://openalex.org/W2125768798","https://openalex.org/W2107608134","https://openalex.org/W1965551437网址","https://openalex.org/W1601172863","https://openalex.org/W1598641851","https://openalex.org/W1554045856","https://openalex.org/W1550244413","https://openalex.org/W1514211561“]，”abstract_inverted_index“：{”The“：[0]，”decidability“：[1]，”of“：[2]，”bisimulation“：[3]，”for“：[4]，”normed“：[5]，”process“：[6]，”was“：%7]，”first“：[8]，”converted“：[9]，”by“：[10,22]，”J.C.M.“：[11]，”Baeten“：[12]，”et“：[13]，”al.“：[14]，“（1987）”：[15]，“和”：[16,26,29,37]，“随后”，：[17]，“使用”：[18]，“其他”：[19]，“证明”：[20]，“技术”：[21]，“D”：[23]，“Caucal“：[24]，”（1990）“：[25]，”H.“：[27]，”H\u00fcttel“：[28]，”C.“：[30]，”Stirling“：[31]，”（1991）。“：[32]，”我们“：[33]，”提供“：[34]，”a“：[35]，”短“：[36]，”直接“：[38]，”证明。“：[39]}，”引用_ by_api_url“：”https://api.openalex.org/works？filter=cites:W2008587618“，”counts_by_year“：[{”年“：2018，”cited_by_count“：1}]，”更新日期“：”2024-09-09T05:12:26.560605“，”创建日期“：“2016-06-24”}