{“id”：“https://openalex.org/W1526350529“，”doi“：”https://doi.org/10.1007/3-540-45653-8_6“，”title“：”Guarded Formula的计算空间效率和最小模型生成“，”display_name“：”Computational Space Efficiency and Minimal Model Generation for GuardedFormula“，”publication_year“：2001，”publiciation_date“：”2001-01-01“，“ids”：{“openalex”：“https://openalex.org/W1526350529“，”doi“：”https://doi.org/10.1007/3-540-45653-8_6“，”mag“：”1526350529“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-5440-45653-8_6“，”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/A5066927350“，”display_name“：”Lilia Georgieva“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I28407311“，”display_name“：”曼彻斯特大学“，”ror“：”https://ror.org/027m9bs27“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I28407311“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Lilia Georgieva“，”raw _affiliation_strings“：【”英国曼彻斯特大学计算机科学系“】，”affiliations“：[{”raw _affiliation_string“：”英国曼切斯特大学计算机系“，”institution_ids“：[“https://openalex.org/I28407311“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5076121047“，”display_name“：”Ullrich Hustadt“，”orcid“：”https://orcid.org/0000-0002-0455-0267}，“机构”：[{“id”：https://openalex.org/I146655781“，”display_name“：”利物浦大学“，”ror“：”https://ror.org/04xs57h96“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I146655781“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Ullrich Hustadt“，”raw_affiliation_strings“：[“英国利物浦大学计算机科学系”]，”affiliations“：[{”raw_affiliation_string“：”英国利物浦大学计算科学系”，“institution_ids”：[“https://openalex.org/I146655781“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5037583341“，”display_name“：”Renate A.Schmidt“，”orcid“：”https://orcid.org/0000-0002-6673-3333}，“机构”：[{“id”：https://openalex.org/I28407311“，”display_name“：”曼彻斯特大学“，”ror“：”https://ror.org/027m9bs27“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I28407311“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Renate A.Schmidt“，”raw _affiliation_strings“：[“英国曼彻斯特大学计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”英国曼彻斯特曼大学计算机科学学院“，”institution_ids“：[https://openalex.org/I28407311“]}]}]，”countries_distinct_count“：1，”institutions_distinact_counts“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：1.309，“has_fulltext”：false，“cited_by_count”：11，“cited_by_by_percent”ile_year“：{“最小”：82，“最大”：83}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”85“，”last_page“：”99“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9938，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9938，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10028“，”display_name“：”自然语言处理“，”score“：0.9877，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9836，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.532642}]，”concepts“：[{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.7772541}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7175677}，{”id“：”https://openalex.org/C112313634，“wikidata”：https://www.wikidata.org/wiki/Q7886648“，”display_name“：”补音（音乐）“，”level“：5，”score“：0.70165575}，{”id“：”https://openalex.org/C197685441，“wikidata”：https://www.wikidata.org/wiki/Q500716“，”display_name“：”PSPACE“，”level“：3，”score“：0.630347}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.52486277}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5153312}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.51081085}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”Constraint（计算机辅助设计）“，”level“：2，”score“：0.49278095｝，｛”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.44597745}，{”id“：”https://openalex.org/C2778572836，“wikidata”：https://www.wikidata.org/wiki/Q380933网址“，”display_name“：”空格（标点符号）“，”level“：2，”score“：0.44077674}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.43511727}，{”id“：”https://openalex.org/C179799912，“wikidata”：https://www.wikidata.org/wiki/Q205084“，”display_name“：”计算复杂性理论“，”level“：2，”score“：0.41855532}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.3646587}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2739631}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.23396093}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.070996076｝，｛”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C188082640，“wikidata”：https://www.wikidata.org/wiki/Q1780899“，”display_name“：”互补“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0｝，｛”id“：”https://openalex.org/C127716648，“wikidata”：https://www.wikidata.org/wiki/Q104053“，”display_name“：”Phenotype“，”level“：3，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-45653-8_6“，”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“：null”，“sustainable_development_goals”：[{“score”：0.76，“display_name”：“和平、正义和强大的机构”，“id”：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：14，”referrenced_works“：【”https://openalex.org/W1483892218","https://openalex.org/W1572633878","https://openalex.org/W1985214226","https://openalex.org/W1991981864","https://openalex.org/W201469749","https://openalex.org/W2085858758","https://openalex.org/W2123433341","https://openalex.org/W2126257062","https://openalex.org/W2127363472","https://openalex.org/W2145465694","https://openalex.org/W2146427628","https://openalex.org/W2149516981","https://openalex.org/W2150903551","https://openalex.org/W2167440926“]，”related_works“：[”https://openalex.org/W45978246","https://openalex.org/W4300411006","https://openalex.org/W3139033683","https://openalex.org/W3034722188","https://openalex.org/W2951143878","https://openalex.org/W2896652110","https://openalex.org/W2497725717","https://openalex.org/W2327776271","https://openalex.org/W1636976386","https://openalex.org/W1599423189“]，”ngrams_url“：”https://api.openalex.org/works/W1526350529/ngrams“，”“abstract_inverted_index”：{“This”：[0]，“paper”：[1]，“descriptions”：[2]，“a”：[3,10,19]，“number”：[4]，“of”：[5,12,24]，“hyperresolution-based”：[6]，“decision”：[7,22]，“procedures”：[8,42,55,73]，“for”：[9,31,51,81]，“subfragment”：[11]，“the”：[13,32,72,91]，“guard”：[14,52]，“fragment。“：[15,93]，”We“：[16,36]，”first“：[17]，”present“：[18]，”多项式“：[20]，”空格“：[21,27]，”过程“：[23]，”最佳“：[25]，”最坏情况“：[26]，”和“：[28,46,62,78,83]，”时间“：[29]，”复杂性“：[30]，”片段“：[33]，”under“：[34]，”考虑因素。“：[35]，”然后“：[37]，”考虑“：[38]，”最小“：[39,48]，”模型“：[40,64]，”生成“：[41]，”其中“：[43]，”构造“：[44]，”全部“：[45]，”仅“：[47]，”赫伯兰德“：[49]，”模式“：[50]，”公式。“：[53]，”这些“：[54]，”是“：[56,79]，”基于“：[57]，”在“：[58]，”超分辨率，“：[59]，”（补码）“：[60]，”分裂“：[61]，”要么“：[63]，”约束“：[65]，”传播“：[66]，”或“：[67]，”局部“：[68]，”极小“：[69]，”测试。“：[70]，”全部“：[71]，”有“：[74]，”具体“：[75]，”应用程序“：[76]，”域“：[77]，”相关“：[80]，”多模“：[82]，”描述“：[84]，”逻辑“：[85]，”that“：[86]，”can“：[87]，”be“：[88]，”embedded“：[89]，”into“：[90]，”consident“：[92]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1526350529“，”counts_by_year“：[{”年份“：2017，”cited_by_count“：1}，{”年“：2013，”cited_by_count”：1}]，”更新日期“：”2024-06-28T20:28:02.249524“，”created_date“：”2016-06-24“}