{“id”：“https://openalex.org/W1533261871网址“，”doi“：”https://doi.org/10.1016/s1571-0661（04）80509-7“，”title“：”LF中基于备忘录的证据搜索“，”display_name“：”LF中基于记忆的证据搜索”，“publication_year”：2002，“publiation_date”：“2002-12-01”，“ids”：{“openalex”：“https://openalex.org/W1533261871“，”doi“：”https://doi.org/10.1016/s1571-0661（04）80509-7“，”mag“：”1533261871“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（04）80509-7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“gold”，“oa_url”：“”https://doi.org/10.1016/s1571-0661（04）80509-7“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5044908798“，”display_name“：”Brigitte Pientka“，”orcid“：”https://orcid.org/0000-0002-2549-4276“｝，”机构“：[｛”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”countries“：[”US“]，”is_corresponding“：true，”raw_author_name“：”Brigitte Pientka“，”raw _ afiliation_strings“：【”卡内基梅隆大学计算机科学系，匹兹堡，宾夕法尼亚州15213，美国“】，”affiliations“：[{”raw _affiliation_strong“：”卡内基梅隆大学计算科学系，宾夕法尼亚州匹兹堡，美国“，”机构ID“：[”https://openalex.org/I74973139“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5044908798“]，”对应的机构ID“：[”https://openalex.org/I74973139“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：0.996，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：2，”citation_normalized_percentile“：{”value“：0.553914，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：false}，”citected_by_percentile_year“：{”min“：64，”max“：68}，“biblio”：{“volume”：“70“，”问题“：”2“，”first_page“：”110“，”last_page“：”123“}，”is_retracted“：false，”is_paratext“：fase，”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/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9994，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9979，”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/keywords/memoization网站“，”display_name“：”Memorization“，”score“：0.9521488}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.523734}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.509991}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.507688}，{”id“：”https://openalex.org/keywords/memory-management网站“，”display_name“：”内存管理“，”score“：0.502835}]，”concepts“：[{”id“：”https://openalex.org/C79516417，“wikidata”：https://www.wikidata.org/wiki/Q1376168“，”display_name“：”Memorization“，”level“：4，”score“：0.9521488}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.77919406}，{”id“：”https://openalex.org/C186644900，“wikidata”：https://www.wikidata.org/wiki/Q194152“，”display_name“：”Parsing“，”level“：2，”score“：0.58281434}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.57910943}，{”id“：”https://openalex.org/C60048249，“wikidata”：https://www.wikidata.org/wiki/Q37437“，”display_name“：”Syntax“，”level“：2，”score“：0.5701525}，{”id“：”https://openalex.org/C64543145，“wikidata”：https://www.wikidata.org/wiki/Q162942“，”display_name“：”十字路口（航空）“，”level“：2，”score“：0.45968103}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42334953}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.14774373}，{”id“：”https://openalex.org/C42560504，“wikidata”：https://www.wikidata.org/wiki/Q15419395“，”display_name“：”自上而下分析“，”level“：3，”score“：0.090441704｝，｛”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（04）80509-7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/s1571-0661（04）80509-7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1520685476","https://openalex.org/W1522225310","https://openalex.org/W1569569047","https://openalex.org/W1859992415","https://openalex.org/W1974190112","https://openalex.org/W1997210046","https://openalex.org/W2009464583","https://openalex.org/W2070577487","https://openalex.org/W2070598037","https://openalex.org/W2076819871","https://openalex.org/W2104412665","https://openalex.org/W2114925693","https://openalex.org/W2128529251","https://openalex.org/W2135228714","https://openalex.org/W2153297607","https://openalex.org/W2161555915","https://openalex.org/W2163693197","https://openalex.org/W4285719527“]，”related_works“：[”https://openalex.org/W2970260326","https://openalex.org/W2389755172","https://openalex.org/W2383537280","https://openalex.org/W2296353217","https://openalex.org/W2127534143","https://openalex.org/W2077104824","https://openalex.org/W2034992613","https://openalex.org/W2009707187","https://openalex.org/W1929722976","https://openalex.org/W1535762594“]，”abstract_inverted_index“：{”Elf“：[0,49]，”is“：[1,26,91]，”a“：[2,42,92]，”general“：[3]，”元语言“：[4]，”for“：[5,44,48]，”the“：[6,14,17,29,53]，”specification“：[7]，”and“：[8,61,73,94101]，”implementation“：[9]，”of“：[10,16,32,55,78]，”logical“：[11,18]，”systems“：[12]，“in”：[13,23]，“style”：[15]，“framework”：%19,25]，“LF.”：[20]，“Proof”：[21]，“搜索“：[22,47,60,64,90]，“this”：[24,36]，“based”：[27]，“on”：[28]，“operational”：[30]，“semantics”：[31]，“logic”：[33]，“programming”。“：[34]，”In“：[35]，”paper“：[37]，”we“：[3]，”discussion“：[39]，”experimentals“：[40,85]，”with“：%41,71]，”prototype“：【43】，”memoization based“：【45，56，88】，”proof“：【46，57，89】，”programs。“：[50]，“我们”：[51]，“比较”：[52]，“性能”：[54]，“搜索”：[58]，“深度优先”：[59100]，“迭代”：[62102]，“深化”：[63103]，“使用”：[65]，“两个”：[66]，“应用程序：”：[67]，“1）”：[68]，“双向”：[69]，“类型切克”：[70]，“子类型”：[72]，“交集”：[74]，“类别”：[75]，“2）”：[76]，“Parsing”：[77]，“formulas”：[79]，“into”：[80]，“high-order”：[81]，“抽象”：[82]，“语法。”：[83]，“这些”：[84]，“表示”：[86]，“那”：[87]，“实用”：[93]，“总体”：[95]，“更多”：[96]，“高效”：[97]，“替代”：[98]，“to”：[99]，“搜索。”：[104]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1533261871“，”counts_by_year“：[]，”updated_date“：”2024-09-26T17:18:37.791357“，”创建日期“：”2016-06-24“}