{“id”：“https://openalex.org/W1991123457“，”doi“：”https://doi.org/10.1016/0304-3975（89）90156-4“，”title“：“各种程序验证系统的弱二阶特征”，”display_name“：”各种程序验证体系的弱二级特征“，”publication_year“：1989，”publiation_date“：”1989-08-01“，”ids“：{”openalex“：”https://openalex.org/W1991123457“，”doi“：”https://doi.org/10.1016/0304-3975（89）90156-4“，”mag“：”1991123457“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（89）90156-4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”article“，”type_crossref“：”期刊文章“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/0304-3975（89）90156-4“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”auther“：{”id“：”https://openalex.org/A5090746300“，”display_name“：”Johann A.Makowsky“，”orcid“：”https://orcid.org/0000-0002-3550-4271“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：J.A Makowsky”，“raw_affiliation_strings”：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5049340770“，”display_name“：”Ildik\u00f3 Sain“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“，”I-Sain“，”raw _affiliation_strings“：[/]}]，”countries_distict_count“：0，”instistictions_distic“：0“：2690，”货币“：”美元“，”value_usd“：2690，”provenance“：”doaj“}，”apc_payed“：{”value“：2680，”currency“：”usd“，”value_usd:2690，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：6，“cited_by_percentile_year”：{“min”：76，“max”：77}，《图书》：{卷：“66”，“问题”：“3”，“first_page“：”299“，”last_page“：”321“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9984，“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.9984，“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.9984，”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.9916，“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/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.526545}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.519876}]，”concepts“：[{”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.53422266}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.47862712}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.44933695｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.42144603}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.34838402}，{”id“：”https://openalex.org/C162324750网址，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（89）90156-4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（89）90156-4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”id“：”https://metadata.un.org/sdg/16“，”score“：0.42}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：23，”referrenced_works“：【”https://openalex.org/W109993195","https://openalex.org/W112719272","https://openalex.org/W1759699633","https://openalex.org/W1770668315","https://openalex.org/W1970603830","https://openalex.org/W2001982768","https://openalex.org/W2006220572","https://openalex.org/W2007789697","https://openalex.org/W2010249294","https://openalex.org/W2015731361","https://openalex.org/W2063809508","https://openalex.org/W2066786426","https://openalex.org/W2078643445","https://openalex.org/W2087488578网址","https://openalex.org/W2089545158","https://openalex.org/W2092469168","https://openalex.org/W2111619838","https://openalex.org/W2123596219","https://openalex.org/W2155605013","https://openalex.org/W2275990101","https://openalex.org/W2969873114","https://openalex.org/W4256371891","https://openalex.org/W97625792“]，”related_works“：[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694“]，”ngrams_url“：”https://api.openalex.org/works/W1991123457/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,52]，“show”：[1]，“the”：[2,40,44,70]，“equivalence”：[3]，“of”：[4,7,25,31,43]，“Leivant's”：[5]，“characterized”：[6]，“Floyd-Hoare”：[8,26]，“Logic”：[9]，“in”：[10,28,47]，“weak”：[11,48]，“second”：[12,49]，“order”：[13,50]，“Logic”：[14,27]，“（Leivant“：[15]，”（1985））”：[16]，“with”：[17]，“both”：[18]，“Csirmaz”：[19]，“[1980）”：[20]，“和“：[21,65,67]，“塞恩的”：[22]，“（1985）”：[23]，“特征化”：[24]，“非标准”：[29]，“逻辑”：[30]，“程序”。“：[32]，”Our“：[33]，”method“：[34]，”allows“：[35]，”us“：[36]，”to“：[37,74]，”spell“：[38]，”out“：[39]，”precise“：[41]，”role“：[42]，”comprehension“：[45,71]，”axiom“：[46]，”logic“。“：[51]，”然后“：[53]，”证明“：[54]，”类似“：[55]，”结果“：[56]，”对于“：[57]，”其他“：[58]，”程序“：[59]，”验证“：[60]，”系统“：[61]，”（建议“：[62]，”by“：[63]，”Burstall“：[64]，”Pnueli）“：[66]，”标识“：[68]，”精确“：[69]，”公理“：[72]，”对应“：[73]，”那些“：[75]”系统。“：[76]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1991123457“，”counts_by_year“：[]，”updated_date“：”2024-06-09T17:40:56.042297“，”创建日期“：”2016-06-24“}