{“id”：“https://openalex.org/W2145584099“，”doi“：”https://doi.org/10.2168/lmcs-2（1:6）2006”，“标题”：“用进步逻辑扩展奥维基和格里斯的理论”，“显示名称”：“以进步逻辑扩展欧维基和格莱斯的理论“，“出版年份”：2006，“出版日期”：“2006-03-10”，“id”：{“openalex”：“https://openalex.org/W2145584099“，”doi“：”https://doi.org/10.2168/lmcs-2（1:6）2006“，”mag“：”2145584099“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-2（1:6）2006“，”pdf_url“：”https://lmcs.episciences.org/2260/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“，”doaj“]，”open_access“：{”is_oa“：true，”oa_status“：”diamond“，”oa_url“：”https://lmcs.episciences.org/2260/pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5012214843“，”display_name“：”Brijesh Dongol“，”orcid“：”https://orcid.org/0000-0003-0446-3507}，“机构”：[{“id”：https://openalex.org/I165143802“，”display_name“：”昆士兰大学“，”ror“：”https://ror.org/00rqy9422“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I165143802“]}]，”countries“：[”AU“]，”is_corresponding“：true，”raw_author_name“：”Brijesh Dongol“，”raw _ afiliation_strings“：【”昆士兰大学ITEE学院“】，”affiliations“：[{”raw_ afiliation _string“：”昆士兰州大学ITEE学校“，”institution_ids“：[“https://openalex.org/I165143802“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5011232663“，”display_name“：”Doug Goldson“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I165143802“，”display_name“：”昆士兰大学“，”ror“：”https://ror.org/00rqy9422“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I165143802“]}]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”Doug Goldson“，”raw _ afiliation_strings“：[“昆士兰大学ITEE学院”]，”affiliations“：[{”raw_ afiliation _string“：”昆士兰学院ITEE“，”institution_ids“：[https://openalex.org/I165143802“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5012214843“]，”对应的机构ID“：[”https://openalex.org/I165143802“]，”apc_list“：{“value”：0，”currency“：”USD“，”value_USD“：0，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：4.211，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：13，“citation_normalized_percentile”：{”value“：0.849138，“is_in_top_1_percent”：false，“is_in_top_10_percennt”：false}，”cited_by_percent ile_year“：{“最小”：84，“最大”：85}，“书目”：{”卷“：”第2卷，第1期“，”问题“：null，”first_page“：nul，”last_page“：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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.9994，“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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9973，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/equational-logic网站“，”display_name“：”等式逻辑“，”score“：0.5887836}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.504237}，{”id“：”https://openalex.org/keywords/temporal-logic（https://openalex.org/keywords/temporal-logic）“，”display_name“：”时态逻辑“，”score“：0.503676}]，”concepts“：[{”id“：”https://openalex.org/C154564781，“wikidata”：https://www.wikidata.org/wiki/Q5384236“，”display_name“：”等式逻辑“，”level“：3，”score“：0.5887836}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4692134}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.44185928}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.41426072}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.38929552}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.26398522}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.15945092｝，｛”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.0}，{”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}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-2（1:6）2006“，”pdf_url“：”https://lmcs.episciences.org/2260/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”版本“：”已发布版本“，”is_accepted“：true，”is_published“：true｝，｛”is_oa“：false，”landing_page_url“：”https://doaj.org/article/0e8be823b6114c249ddd9c13c8fab24e“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306401280“，”display_name“：”DOAJ（DOAJ：开放存取期刊目录）“，”issn_l“：null，”issn“：null:”is_oa“：true，”is_in_DOAJ“：false，”is_core“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[[]，”type“：”repository“}”，“license”：nullis_accepted“：false，”is_published“：false}，{“is_oa”：true，”landing_page_url“：”https://arxiv.org/abs/cs/0512012，“pdf_url”：https://arxiv.org/pdf/cs/0512012，“源”：{“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”：nul，“pdf_url“：”https://arxiv.org/pdf/cs/0512012v2.pdf，“源”：{“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.cs/0512012“，”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://doi.org/10.2168/lmcs-2（1:6）2006“，”pdf_url“：”https://lmcs.episciences.org/2260/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[”https://openalex.org/W2145584099","https://openalex.org/W3099698576“]，”referenced_works_count“：29，”referenced_works“：[”https://openalex.org/W101802158","https://openalex.org/W1481018260","https://openalex.org/W1498342204","https://openalex.org/W1506588809","https://openalex.org/W1526582584","https://openalex.org/W1578523300","https://openalex.org/W1666576026","https://openalex.org/W1759083992","https://openalex.org/W1857327297","https://openalex.org/W1965662337","https://openalex.org/W1986033227","https://openalex.org/W2015688007","https://openalex.org/W2038478160","https://openalex.org/W2045364115","https://openalex.org/W2051025480","https://openalex.org/W2060361043","https://openalex.org/W2103953153","https://openalex.org/W2144738461","https://openalex.org/W2157118812","https://openalex.org/W2161342612","https://openalex.org/W2166656159","https://openalex.org/W2169333969","https://openalex.org/W2295221511","https://openalex.org/W2328819335","https://openalex.org/W2513953385","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4213369217","https://openalex.org/W4229788305“]，”related_works“：[”https://openalex.org/W4391375266","https://openalex.org/W3002753104","https://openalex.org/W2748952813","https://openalex.org/W2600246793","https://openalex.org/W2142036596","https://openalex.org/W2077600819","https://openalex.org/W2072657027","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421“]，”abstract_inverted_index“：{”This“：[0,61]，”paper“：[1]，”describes“：[2]，”a“：[3,21,36]，”logic“：[4,11]，”of“：[5,16,26,71]，”progress“：[6,50]，”for“：[7,49]，”concurrent“：[8]，”programs.“：[9]，”The“：[10,47]，”is“：[12,29,63]，”based“：[13]，”on“：[14]，”on[15,39]，“UNITY，”：[17]，“模制”：[18]，“to”：[19,56,67,75]，“fit”：[20]，“sequential”：[22]，“programming”：[23]，“模型。“：[24]，”集成“：[25]，”该“：[27,44,69]，”两个“：[28]，”实现“：[30]，”通过“：[31]，”使用“：[32]，”辅助“：[33]，”变量“：[34]，”in“：[35,51]，”系统“：[37]，”方式“：[38]，”合并“：[40]，”程序“：[41,45]，”计数器“：[42]，”into“：[43]，”文本。“：[46]，”规则“：[48]，”统一“：[52]，”are“：[53]，”then“：[54]，”modified“：[55]，”suit“：[57]，”this“：[58]，”new“：[59]，”system。“：[60]，“修改”：[62]，“然而”：[64]，“微妙”：[65]，“足够”：[66]，“允许”：[68]，“理论”：[70]，“Owicki”：[72]，“and”：[73]，“Gries”：[74]，“be”：[76]，“used”：[77]，“without”：[78]，“change”。“：[79]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2145584099“，”counts_by_year“：[{”年“：2021，”引用_by_count“：2}]，”更新日期“：”2024-09-17T04:35:16.037948“，”创建日期“：“2016-06-24”}