{“id”：“https://openalex.org/W2086020319“，”doi“：”https://doi.org/10.1145/41625.41647“，”title“：”相对完整性的细微和肉质失败“，”display_name“：”相对于完整性的微小和肉质错误“，”publication_year“：1987，”publiation_date“：”1987-01-01“，”ids“：{”openalex“：”https://openalex.org/W2086020319“，”doi“：”https://doi.org/10.1145/41625.41647“，”mag“：”2086020319“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41647，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41647“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/41625.41647“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5018841823“，”display_name“：”Dani\u00ebl Leivant“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”D.Leivant“，”raw _ afiliation_strings“：[“卡内基梅隆大学”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5066945416“，”display_name“：”Tim Fernando“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210137306“，”display_name“：”斯坦福医学“，”ror“：”https://ror.org/03mtd9a03“，”country_code“：“美国”，”type“：”healthcare“，”seriance“：[”https://openalex.org/I4210137306","https://openalex.org/I97018004“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”T.Fernando“，”raw _ afiliation_strings“：[“Stanford”]}]，”countries _ distinct_count“：1，”institutions _ disting_count”：2，”corresponding_author_ids“：[]，”correlesponding_institution_ids pdf“，”cited_by_count“：2，”cited_by_percentile_year“：{“min”：65，“max”：69}，“biblio”：{”volume“：null，”issue“：nul，”first_page“：null，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9986，”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.9899，“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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.505786}]，”concepts“：[{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.82628006}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5148941}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.50737613}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.48653713}，{”id“：”https://openalex.org/C168031717，“wikidata”：https://www.wikidata.org/wiki/Q1530280“，”display_name“：”Balance（能力）“，”level“：2，”score“：0.41615653}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.29519245｝，｛”id“：”https://openalex.org/C15744967，“wikidata”：https://www.wikidata.org/wiki/Q9418“，”display_name“：”心理学“，”等级“：0，”分数“：0.14519438}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C169760540，“wikidata”：https://www.wikidata.org/wiki/Q207011“，”display_name“：”Neuroscience“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41647，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41647“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41647，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41647“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.65，”id“：”https://metadata.un.org/sdg/4“，”display_name“：”素质教育“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：9，”referrenced_works“：【”https://openalex.org/W1008748165","https://openalex.org/W1565408354","https://openalex.org/W1965790939","https://openalex.org/W1994586366","https://openalex.org/W2075350371","https://openalex.org/W2111619838","https://openalex.org/W2140295918","https://openalex.org/W2154273644","https://openalex.org/W2164256202“]，”related_works“：[”https://openalex.org/W4301250310","https://openalex.org/W4237277701","https://openalex.org/W2788308474","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2121424666","https://openalex.org/W2055420561","https://openalex.org/W1587028174“]，”ngrams_url“：”https://api.openalex.org/works/W2086020319/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“concept”：[1,30]，“of”：[2,5,7,39]，“relative”：[3,55]，“complete”：[4]，“logics”：[6]，“programs”：[8]，“was”：/9]，“described”：[10]，“almost”：[11]，“ten”：[12]，“years”：[13]，“ago，”：[14]，，“Wand”，“：[18]，“Cook”：[19]，“and”，“:[20,43]，“Clarke.”：[21]，“More”：[22]，“recently”，“:23]，“it”：[24]，“has“：[25]，”been“：[26]，”felt“：[27]，”that“：[28]，”Cook's“：[29]，”铰链“：[31]，”on“：[32]，”a“：[33,40]，”fragible“：[34]，”balance“：[35]，”botween“：[36]，”the“：[37,51]，”semantics“：[38]，”programming“：[41]，”language“：[42]，”first order“：[44]，”expressiveity“：[45]，”structures。“：[47]，”此“：[48]，”脆弱性“：[49]，”基础“：[50]，”否定“：[52]，”结果“：[53]，”关于“：[54]，”完整性。“：[56]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2086020319“，”counts_by_year“：[]，”updated_date“：”2024-05-23T15:00:35.970757“，”创建日期“：”2016-06-24“}