{“id”：“https://openalex.org/W2023660966“，”doi“：”https://doi.org/10.109/sfcs.197.25“，”title“：”Program invariants as fixed points“，”display_name“：”Program invariantes as fixed-point“，”publication_year“：1977，”publiation_date“：”1977-09-01“，”ids“：{”openalex“：”https://openalex.org/W2023660966“，”doi“：”https://doi.org/10.109/sfcs.197.25“，”mag“：”2023660966“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/sfcs.197.25“，”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/A5090974026“，”display_name“：”Edmund Clarke“，”orcid“：”https://orcid.org/0000-0002-8287-0282}，“机构”：[{“id”：https://openalex.org/I2801851002“，”display_name“：”哈佛大学出版社“，”ror“：”网址：https://ror.org/006v7bf86“，”country_code“：”US“，”type“：“other”，”seriance“：[”https://openalex.org/I136199984","https://openalex.org/I2801851002“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Edmund Melson Clarke“，”raw _ afiliation_strings“：[“美国剑桥哈佛大学阿尔金计算实验室”]，”affiliations“：[{”raw_ afiliation _string“：”美国剑桥哈佛州哈佛大学阿尔肯计算实验室”，“institution_ids”：[“https://openalex.org/I2801851002“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5090974026“]，”对应的机构ID“：[”https://openalex.org/I2801851002“]，”apc_list“：null，”apc _ paid“：null，”fwci“：3.218，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：18，”cited_by_percentile_year“：{”min“：88，”max“：89}，”biblio“：{volume”：null、“issue”：null、“first_page”：null}、“last_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：1.0，”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”：1.0，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9991，”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.9978，“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/非单调推理“，”display_name“：”非单调推理“，”score“：0.486742}]，”concepts“：[{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.9270053}，{”id“：”https://openalex.org/C61445026，“wikidata”：https://www.wikidata.org/wiki/Q217608“，”display_name“：”固定点“，”level“：2，”score“：0.6428131}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.63473105}，{”id“：”https://openalex.org/C140146324，“wikidata”：https://www.wikidata.org/wiki/Q1144319“，”display_name“：”谓词（数学逻辑）“，”level“：2，”score“：0.6301525}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.6013686｝，｛”id“：”https://openalex.org/C30128091，“wikidata”：https://www.wikidata.org/wiki/Q291929“，”display_name“：”谓词转换语义“，”level“：4，”score“：0.5917891}，{”id“：”https://openalex.org/C2780654840，“wikidata”：https://www.wikidata.org/wiki/Q333341“，”display_name“：”抽象解释“，”level“：2，”score“：0.46362308}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.45808497}，{”id“：”https://openalex.org/C27333817，“wikidata”：https://www.wikidata.org/wiki/Q6134913“，”display_name“：”最小固定点“，”level“：5，”score“：0.45490324}，{”id“：”https://openalex.org/C104949639，“wikidata”：https://www.wikidata.org/wiki/Q1375924“，”display_name“：”Hoare logic“，”level“：3，”score“：0.4146815}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.41038886}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.32613814}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.3017031}，{”id“：”https://openalex.org/C45962547，“wikidata”：https://www.wikidata.org/wiki/Q1422068“，”display_name“：”定点定理“，”level“：2，”score“：0.29637396}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.2804243｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.19919524}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.1695359}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.07033682}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.06654823}，{”id“：”https://openalex.org/C206929604，“wikidata”：https://www.wikidata.org/wiki/Q530152“，”display_name“：”Picard\u2013Lindel\u00f6f定理“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”Semantics（计算机科学）“，”level“：2，”score“：0.0｝，｛”id“：”https://openalex.org/C28642324，“wikidata”：https://www.wikidata.org/wiki/Q656176“，”display_name“：”Schauder不动点定理“，”level“：4，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/sfcs.197.25“，”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”：18，“referrenced_works”：[”https://openalex.org/W1512502927","https://openalex.org/W1542251422","https://openalex.org/W1553074388","https://openalex.org/W1967267655","https://openalex.org/W1987321061","https://openalex.org/W19877585903","https://openalex.org/W1988514872","https://openalex.org/W2037677880","https://openalex.org/W2038053930","https://openalex.org/W2039586513","https://openalex.org/W2043100293","https://openalex.org/W2077766002","https://openalex.org/W2108250964","https://openalex.org/W2113074643","https://openalex.org/W2977566881","https://openalex.org/W2987907651","https://openalex.org/W4251912342","https://openalex.org/W52272913“]，”related_works“：[”https://openalex.org/W4297852701","https://openalex.org/W2977431667","https://openalex.org/W2799247498","https://openalex.org/W2505760654","https://openalex.org/W2229304983","https://openalex.org/W2163830226","https://openalex.org/W2080575293","https://openalex.org/W2018603276","https://openalex.org/W2015096460","https://openalex.org/W2011277486“]，”ngrams_url“：”https://api.openalex.org/works/W2023660966/ngrams“，”“abstract_inverted_index”：{“We”：[0,20,46]，“argume”：[1]，“that”：[2,48]，“relative”：[3,57]，“稳健性”：[4,58,87]，“and”：[5,59,86]，“完整性”：[6,60]，“定理”：[7]，“for”：[8,82110]，“Floyd-Hoare”：[9,70]，“Axiom”：[10,71]，“Systems”：[11]，“（[6]，”：[12]，“[5]，“：[13]，”[18]）“：[14]，”are“：[15103]，“really”：[16]，“fixed”：[17,28,54,80,94]，“point”：[18,55,81]，“定理。“：[19]，”给定“：[21]，”a“：[22,37,44,63,69,79118128]，”特征描述“：[23]，”of“：[24,30,43,52,68,78,92108120]，”程序“：[25]，”不变量“：[26]，”as“：[27]，”points“：[29]，“函数”：[31,97]，”which“：[32125]，”may“：[33]，”be“：[34]，”get“：[35]，”in“：[36]，”natural“：[38]，“方式”：[39]，“来源”：[40,89]，“内容”：[41,50,76,90121]，“文本”：[42]，“程序”。“：[45]，”show“：[47]，”within“：[49]，”framework“：[51]，”this“：[53,93]，”theory“，”：[56]，“results”：[61]，“have”：[62]，“special”：[64]，“simple”：[65]，“interpretation”。“：[66]，”完整性“：[67]，”系统“：[72]，”is“：[73114]，”等价物“：[74]，”to“：[775105116]，”存在“：[77]，”an“：[83]，”适当“：[84]，”函数“：[85]，”following“：[88]，”maximity“：[91]，”point“：[95]，”The“：[96]，”associated“：[98]，”with“：[99]，”regular“：[100]，”procedure“：[101]，“声明”：[102]，“类似”：[104]，“谓词”：[106122]，“变压器”：[107]，“Dijkstra；“：[109]，”非正则“：[111]，”递归“：[112]，”it“：[113]，”必需“：[115]，”use“：[117]，”泛化“：[119]，”transformer“：[123]，”concept“：[124]，”we“：[126]，”call“：[127]，”relational“：[129]，”变压器。“：[130]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2023660966“，”counts_by_year“：[{“年份”：2016，”cited_by_count“：1}，{“年度”：2015，”cited_by_count”：1{“年”：2014，”citecd_by_count“：1}]，”updated_date“：”2024-06-21T01:16:49.909779“，”created_dates“：”2016-06-24“}