{“id”：“https://openalex.org/W2023808162“，”doi“：”https://doi.org/10.1109/fcs.1977.32“，”title“：“程序的时态逻辑”，”display_name“：”程序的时相逻辑“，”publication_year“：1977，”publitation_date“：”1977-09-01“，”ids“：{”openalex“：”https://openalex.org/W2023808162“，”doi“：”https://doi.org/10.1109/fcs.1977.32“，”mag“：”2023808162“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/fcs.1977.32“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5078214635“，”display_name“：”Amir Pnueli“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I79576946“，”display_name“：”宾夕法尼亚大学“，”ror“：”https://ror.org/00b30xv10“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I79576946“]}，{”id“：”https://openalex.org/I16391192“，”display_name“：”特拉维夫大学“，”ror“：”https://ror.org/04mhzgx49“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I16391192“]}]，”国家“：[”IL“，”US“]，”is_corresponding“：true，”raw_author_name“：”Amir Pnueli“，”raw _ afiliation_strings“：[“以色列Tel-Aviv大学，”“宾夕法尼亚大学，美国宾夕法尼亚州”]，”affiliations“：[{”raw _affiliation_string“：”宾夕法尼亚州大学，美国“institution_ids”：[“https://openalex.org/I79576946“]}，{”raw_affiliation_string“：”以色列Tel-Avi大学Tel-Aviv“，”institution_ids“：[”https://openalex.org/I16391192“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5078214635“]，”对应的机构ID“：[”https://openalex.org/I79576946","https://openalex.org/I16391192“]，”apc_list“：null，”apc_payed“：null，”fwci“：6.948，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：5456，”citation_normalized_perminute“：｛”value“：0.990099，”is_in_top_1_perminute“：true，”is_in_top_1_percent“：true｝，”cited_by_percentle_year“：｛”min“：99，”max“：100｝，”biblio“：｛”volume“：null，”issue“：null，”first _page“：null，”last_page“：null｝，”is_retracted“：false，”is_paratext“：fase，”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.9989，“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/temporal-logic（https://openalex.org/keywords/temporal-logic）“，”display_name“：”时态逻辑“，”score“：0.596066}，{”id“：”https://openalex.org/keywords/computation-tree-logic网站“，”display_name“：”计算树逻辑“，”score“：0.53909767}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.503777｝，｛”id“：”https://openalex.org/keywords/base网站“，”display_name“：”基础（线性代数）“，”分数“：0.41577956}]，”概念“：[{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.7989305}，{”id“：”https://openalex.org/C11648818，“wikidata”：https://www.wikidata.org/wiki/Q2403081“，”display_name“：”动作的时序逻辑“，”level“：4，”score“：0.7905016}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.75028074}，{”id“：”https://openalex.org/C4777664，“wikidata”：https://www.wikidata.org/wiki/Q1536492“，”display_name“：”线性时序逻辑“，”level“：2，”score“：0.5861676}，{”id“：”https://openalex.org/C139807058，“wikidata”：https://www.wikidata.org/wiki/Q352374“，”display_name“：”适应（眼睛）“，”级别“：2，”分数“：0.55068475}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5499109}，{”id“：”https://openalex.org/C198008173，“wikidata”：https://www.wikidata.org/wiki/Q1040040“，”display_name“：”计算树逻辑“，”level“：3，”score“：0.53909767}，{”id“：”https://openalex.org/C162670838，“wikidata”：https://www.wikidata.org/wiki/Q6057295“，”display_name“：”时间间隔逻辑“，”level“：3，”score“：0.50823635}，{”id“：”https://openalex.org/C12426560，“wikidata”：https://www.wikidata.org/wiki/Q189569“，”display_name“：”基础（线性代数）“，”级别“：2，”分数“：0.41577956}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3548345}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.32191095}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.14312512｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”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.1109/fcs.1977.32“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：23，“referrenced_works”：[”https://openalex.org/W109993195","https://openalex.org/W127892656","https://openalex.org/W1595036120","https://openalex.org/W1964727056","https://openalex.org/W1965662337","https://openalex.org/W1965790939网址","https://openalex.org/W1980738498网址","https://openalex.org/W1994350081","https://openalex.org/W2012220159","https://openalex.org/W2031506341","https://openalex.org/W2067882404","https://openalex.org/W2075277371","https://openalex.org/W2094912919","https://openalex.org/W2123596219","https://openalex.org/W2132389270","https://openalex.org/W2144738461","https://openalex.org/W2316776931","https://openalex.org/W2378259225","https://openalex.org/W2987907651","https://openalex.org/W3023595663","https://openalex.org/W4251912342","https://openalex.org/W4252025696","https://openalex.org/W78754889“]，”related_works“：[”https://openalex.org/W946220898","https://openalex.org/W858755136","https://openalex.org/W31328628网址","https://openalex.org/W3005864166","https://openalex.org/W2561906579","https://openalex.org/W2352091395","https://openalex.org/W2124110813","https://openalex.org/W2092656858","https://openalex.org/W1981889059","https://openalex.org/W1526924704“]，”abstract_inverted_index“：{”A“：[0]，”unified“：[1]，”applicated“：[2]，”to“：[3,10]，”program“：[4]，”verification“：[5]，”is“：[6,21,33,62,72]，”suggested“：[7]，”which“：[8,27]，”applied“：[9]，”both“：[11]，”sequential“：[12]，”and“：[13,71]，”parallel“：[14]，“programs.”：[15,79]，”“：[16]，”main“：[17]，”proof“：[18]，”method“：[19,55]，”suggested“：[20]，”that“：[22]，”“：[23,31,53,56,65]，“时间”：[24,47]，“推理”：[25,76]，“in”：[26]，“the”：[28,34,54,60,66]，“time”：[29]，“dependence”：[30]，“events”：[32]，“basic”：[35]，“concept”。“：[36]，”两个“：[37]，”正式“：[38]，”系统“：[39]，”are“：[40]，”presentated“：[41]，”for“：[42，46，75]，”provisioning“：[43]，”a“：[44，51]，”based“：[45]，”推理。“：[48]，“One”：[49]，“forms”：[50]，“Formatization”：[52]，“international”：[57]，“assertions”：[58]，“while”：[59]，“other”：/61]，“an”：[63]，“adaptation”：[64]，“tense”：[67]，“logic”：[68]，“system”：69]，“Kb”：[70]，“special”：[73]，“suitable”：[74]，“about”：[77]，“concurrent”：[78]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2023808162“，”counts_by_year“：[{年：2024，”cited_by_count“：112}，{年“：2023，”ciped_by_cunt“：221}，”{“年”：2022，“cited_by_count”：199}，“年份”：2021，“ciped_by_cunt”：279}，，{“年份”：2017，“引用_ by_count”：200}，{”年份“：2016，”引用_ by-count“：234}，”{“年度”：2015，“引用_by_count“：259}，{“年份”：2014，“引用_by-count”：269}