｛“id”：“https://openalex.org/W2127986575“，”doi“：”https://doi.org/10.1007/3-540-36078-6_23“，”title“：“交互式证明计划应用的证明计划语义”，“display_name”：“交互式验证计划应用的验证计划语义”、“publication_year”：2002，“publication_date”：“2002-01-01”，“ids”：{“openalex”：“https://openalex.org/W2127986575“，”doi“：”https://doi.org/10.1007/3-540-36078-6_23“，”mag“：”2127986575“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-36078-6_23“，”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/A5021844660“，”display_name“：”Julian Richardson“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I32062511“，”display_name“：”Heriot-Watt大学“，”ror“：”https://ror.org/04mghma93“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I32062511“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Julian Richardson“，”raw _ afiliation_strings“：[“爱丁堡里卡顿赫里奥特大学数学与计算机科学学院”]，”affiliations“：[{”raw _affiliation_strong“：”爱丁堡里卡顿赫里奥特大学数理与计算机科学院”，“机构ID“：[”https://openalex.org/I32062511“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5021844660“]，”对应的机构ID“：[”https://openalex.org/I32062511“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：null，”has_fulltext“：false，”cited_by_count“：4，”cited_by_percentile_year“：{“min”：74，“max”：76}，“biblio”：{“volume”：null、“issue”：null、“first_page”：“337”、“last_page”：“351”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9988，”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.9988，“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.9882，”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.9626，“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.552975}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.504494}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.76057565}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.6743023}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.6318208}，{”id“：”https://openalex.org/C156884757，“wikidata”：https://www.wikidata.org/wiki/Q798554“，”display_name“：”回溯“，”level“：2，”score“：0.56802529｝，｛”id“：”https://openalex.org/C105605280，“wikidata”：https://www.wikidata.org/wiki/Q7249999“，”display_name“：”证明复杂性“，”level“：3，”score“：0.56709}，{”id“：”https://openalex.org/C124978682，“wikidata”：https://www.wikidata.org/wiki/Q1201019“，”display_name“：”概念证明“，”level“：2，”score“：0.5449906}，{”id“：”https://openalex.org/C203265346，“wikidata”：https://www.wikidata.org/wiki/Q11387554“，”display_name“：”校对助理“，”level“：3，”score“：0.5321312}，{”id“：”https://openalex.org/C206880738，“wikidata”：https://www.wikidata.org/wiki/Q431667“，”display_name“：”自动定理证明“，”level“：2，”score“：0.51662046}，{”id“：”https://openalex.org/C173613240，“wikidata”：https://www.wikidata.org/wiki/Q1150675“，”display_name“：”计算机辅助证明“，”level“：3，”score“：0.5124536}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5081239}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.47142857}，{”id“：”https://openalex.org/C195653647，“wikidata”：https://www.wikidata.org/wiki/Q7625047“，”display_name“：”结构证明理论“，”level“：4，”score“：0.45637476}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.41417557}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3897813}，{”id“：”https://openalex.org/C2318724，“wikidata”：https://www.wikidata.org/wiki/Q852732“，”display_name“：”证明理论“，”level“：3，”score“：0.32687378}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.15172684｝，｛”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”Operating system“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-36078-6_23“，”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}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“id”：”https://metadata.un.org/sdg/11“，”score“：0.68，”display_name“：”可持续城市和社区“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：12，”referrenced_works“：[”https://openalex.org/W1491353074","https://openalex.org/W1532087281","https://openalex.org/W1589439023","https://openalex.org/W1768718906","https://openalex.org/W2009412952","https://openalex.org/W2034500240","https://openalex.org/W2042236049","https://openalex.org/W2065210232","https://openalex.org/W2067540169","https://openalex.org/W2107634101","https://openalex.org/W2565157351","https://openalex.org/W4256124958“]，”related_works“：[”https://openalex.org/W840808322","https://openalex.org/W3187382182","https://openalex.org/W3163122332","https://openalex.org/W2795365301","https://openalex.org/W2491370528","https://openalex.org/W2463991046","https://openalex.org/W2105747912","https://openalex.org/W1561664087","https://openalex.org/W1558859407","https://openalex.org/W1528233644“]，”ngrams_url“：”https://api.openalex.org/works/W2127986575/ngrams网站“，”“abstract_inverted_index”：{“Proof”：[0]，“planning”：[1,15,52126]，“is”：[2111]，“an”：[3,87]，“automated”：[4]，“the理”：[5,58,80]，“proving”：[6]，“technique”：[7]，“which”：[8,92]，“encodes”：[9]，“有意义的”：[10]，“blocks”：[11]，“of”：[12,28,78116]，“证明”：[13,51,96]，“as”：[14]，“operators”：[16]，“called”：[17]，“methods.”：[18]，“methods”：[19]，“commery”：[20]，“编码“：[21]，”复杂“：[22,70]，”控制“：[23,71]，”策略“：[24]，”和“：[25105122129]，”a“：[26,43114]，”语言“：[27]，”方法论“：[29]，“类似”：[30]，”to“：[31,36,39,67]，”战术“：[32]，”has“：[33,48,62]，”been“：[34,64]，”developed“：[35]，”allow“：[37]，”methods“：[38]，”be“：[40,54]，”expressed“：[41]，”in“：[42,98124]，”modular“：[44]，”way。“：[45]，”上一个“：[46]，”工作“：[47]，”演示“：[49]，”that“：[50]，”can“：[53]，”effective“：[55]，”for“：[56,90]，”interactive“：[57,79107]，”proving“：[59]，”but“：60]，”it“：[61]，”not“：63]，”clear“：[65]，”how“：[66]，”reconcile“：[68]，”the“：[69,76,99125131]，”encoded“”：[72]，“by”：[73113]，“methodicals”：[74,91]，“with”：[75]，“needs”：77]，“proving。“：[81]，”In“：[82]，”this“：[83]，”paper“：[84]，”we“：[85]，”develop“：+86]，”operational“：[88]，”semantics“：+89110]，”allows“：/93]，”reasoning“：[94]，”about“：[95]，”plans“：/97]，”抽象“：[100]，”without“：[101]，”generating“：[102]，”objectlevel“：[103]，”proof“：[104]，”facilites“：[106]，”规划●●●●。“：[108]，”The“：[109]，”defined“：[112]，”how“：[115]，”determinative“：[117]，”transition“：[118]，”rules，“：[119]，”represents“：[120]，”disjunction“：[121]，”backtracking“：[123]，”process“：/127]，”显式地，“：%128]，”handles“：%130]，”cut“：[132]，”methodical“：[133]，”correctly“。“：[134]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2127986575“，”counts_by_year“：[{”年“：2014，”cited_by_count“：1}]，”更新日期“：”2024-06-27T02:40:04.473196“，”创建日期“：“2016-06-24”}