{“id”：“https://openalex.org/W1552914076“，”doi“：”https://doi.org/10.1007/978-3-540-30227-8_17“，”title“：”更新中逻辑程序的等效“，”display_name“：”升级中逻辑程序等效“，“publication_year”：2004，”publication_date“：”2004-01-01“，”ids“：{”openalex“：”https://openalex.org/W1552914076“，”doi“：”https://doi.org/10.1007/978-3-540-30227-8_17“，”mag“：”1552914076“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-30227-8_17“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5080458729“，”display_name“：”井上胜美“，”兽人“：”https://orcid.org/0000-0002-2717-9122}，“机构”：[{“id”：https://openalex.org/I184597095“，”display_name“：”国家信息学院“，”ror“：”https://ror.org/04ksd4g47“，”“country_code”“：”JP“，”type“：”facility“，”lineage“：[”https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934“]}]，”countries“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Katsumi Inoue“，”raw_affiliation_strings“：【”国家信息学研究所“，】，”affiliations“：[{”raw_affiliation_string“：”国家信息学院“，”institution_ids“：[“https://openalex.org/I184597095“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5072948790“，”display_name“：”Chiaki Sakama“，”orcid“：”https://orcid.org/0000-0002-9966-3722}，“机构”：[{“id”：https://openalex.org/I75198481“，”display_name“：”和歌山大学“，”ror“：”网址：https://ror.org/05wr49d48“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I75198481“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Chiaki Sakama“，”raw_affiliation_strings“：[“和歌山大学”]，”affiliations“：[{”raw_affiliation_string“：”和歌山学院“，”institution_ids“：[https://openalex.org/I75198481“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：3.398，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited”_by_count“：44，”引用的_by_percentile_year“：{”最小值“：92，”max“：93}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”174“，”last_page“：”186“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11010“，”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.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.9955，“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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9879，”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/description-logics网站“，”display_name“：”Description Logics“，”score“：0.501575}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.501315}]，”concepts“：[{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.8121364}，{”id“：”https://openalex.org/C70846408，“wikidata”：https://www.wikidata.org/wiki/Q220433“，”display_name“：”逻辑等价“，”level“：3，”score“：0.7321443}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.473919}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.47308713}，{”id“：”https://openalex.org/C2776863286，“wikidata”：https://www.wikidata.org/wiki/Q17104639“，”display_name“：”弱等价“，”level“：3，”score“：0.44717196}，{”id“：”https://openalex.org/C2987117450，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑程序“，”level“：3，”score“：0.41346145}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4056968}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.34408522}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.28119335}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.22114989}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.20672679}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.07210097}，{”id“：”https://openalex.org/C74650414，“wikidata”：https://www.wikidata.org/wiki/Q11397“，”display_name“：”经典力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C124017977，“wikidata”：https://www.wikidata.org/wiki/Q11412“，”display_name“：”Gravition“，”level“：2，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-30227-8_17“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”系列丛书“}，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[]，”授予“：[]，”数据集“：[]，”版本“：[]，”referenced_works_count“：17，”referenced_works“：[”https://openalex.org/W1516418648","https://openalex.org/W1579369115","https://openalex.org/W1590615920","https://openalex.org/W1602726442","https://openalex.org/W1637139942","https://openalex.org/W1694306392","https://openalex.org/W1985274317","https://openalex.org/W1995876561","https://openalex.org/W2022482529","https://openalex.org/W2066287719","https://openalex.org/W2076698873","https://openalex.org/W2123740011","https://openalex.org/W26772505","https://openalex.org/W2914201324","https://openalex.org/W3023767094","https://openalex.org/W4210897223","https://openalex.org/W4388282956“]，”related_works“：[”https://openalex.org/W4248117800","https://openalex.org/W3015514945","https://openalex.org/W239121265","https://openalex.org/W2382586048","https://openalex.org/W2362689974","https://openalex.org/W2362240646","https://openalex.org/W2349728712","https://openalex.org/W2347992748","https://openalex.org/W2039452850","https://openalex.org/W1552914076“]，”ngrams_url“：”https://api.openalex.org/works/W1552914076/ngrams网站“，”“abstract_inverted_index”：{“This”：[0]，“paper”：[1]，“defines”：[2]，“a”：[3128]，“general”：[4]，“framework”：[5]，“for”：[6,63116]，“testing”：%7]，“equivalence”：[0,78126133157171]，“of”：[9,20,76,97102124131145155184]，“logic”：[10,29,66,89]，“programs”：[11,30,67,90]，“with”：[12,42]，“尊重”：[13,43]，“至”：[14,38,44,81113161]，“两个“：[15,18,28,65,88105]”参数。“：[16]，”给定“：[17]，”集合“：[19,62]，”规则“：[21147]，“${\\cal”：[22,25107110135140]，”Q}$“：[23,69108136]，”和“：[24,33,53,70104109118139175182]，”R}$“:[26,72111141]，“，”：[27]，37]，“be”：[39]，“update”：[40,77132156170185]，“equivalent”：[41]，“$（{\\cal“：[45]，”Q}，{\\cals“：[46]，”R}）$“：[47]，”如果“：[48]，”（P“：[49,54]，”1\u2216“：[50]，”Q）\u222a“：[51,56]，”R“：[52,57]，”2\u22十六“：[55]，”have“：[58]，”the“：[59,95100114122143149153]，”same“：[60]，”answer“：[61]，”any“：[64]，”$Q\\subsetq{\\cal“：68]，”$R\\substeq{\\cal“：[71]，“.”：[73]，“the”：[74]，“concept”：[75,96123154]，“is”：[79127137142158]，“suitable”：[80]，“take”：[82]，“program”：[83]，“updates”：[84]，“into”：[85]，“account”：[86]，“when”：[87]，“compared.”：[92]，“That”：[93]，“is”，“：[94]，“relativity”：[98]，“specifications”：[99]，“languages”：[10115]，“updates，”：[103]，“parameters”：%106]，“corresponse”：[112]，“delete”：[117]，“addition，”：%119]，“contractived.”：[120]，“Clear，”：121]，“strong”：[125159]，“special”：[129]，“case”：[130]，“where”：[134]，“empty”：[138]，“set”：[144]，“全部”：[146]，“in”：[148]，“语言”：[150]，“in”：[151]，“事实”：[152]，“足够”：[160]，“捕获”：[162]，“许多”：[163]，“其他”：[164]，“概念”：[165]，“这样”：[166]，“as”：[167]，“弱”：[168]，“等价”：[169]，“on”：[172]，“通用”：[173]，“规则”：[174]，“统一”：[176]，“等价。”：[177186]，“我们”：[178]，“也”：[179]，“讨论”：[180]，“计算”：[181]，“复杂性”：[183]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=引用：W1552914076“，”counts_by_year“：[{”year“:2022，”cited_by_count“：1}，{”year“：2020，”cited_by_count”：1}，{“year”：2019，”citecd_by_count“：3}，”{“year”：2017，”citted_by_count“:2}，“year“:2016，”citesd_by-count“:1}，d_date“：”2024-06-25T12:52:32.917049“，”创建日期“：”2016-06-24“}