{“id”：“https://openalex.org/W1793317562“，”doi“：”https://doi.org/10.1007/978-3-540-73228-0_26“，”title“：”析取与二阶存在量子化的简单饱和集“，”display_name“：”离散与二阶现存量子化中的简单饱和集合“，”publication_year“：2007，”publiation_date“：”2007-01-01“，”ids“：{”openalex“：”https://openalex.org/W1793317562“，”doi“：”https://doi.org/10.1007/978-3-540-73228-0_26“，”mag“：”1793317562“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73228-0_26“，”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/A5024163301“，”display_name“：”Makoto Tatsuta“，”orcid“：null}，”institutions“：[{”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“]}]，”国家“：[”JP“]，”is_corresponding“：true，”raw_author_name“：”Makoto Tatsuta“，”raw _ afiliation_strings“：[“（日本东京国家信息学院）”]，”affiliations“：[{”raw _affiliation_string“：”（日本东京国立信息学院）“，”institution_ids“：[https://openalex.org/I184597095“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5024163301“]，”对应的机构ID“：[”https://openalex.org/I184597095“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：2.917，”has_fulltext“：false，”cited_by_count“：16，”citation_normalized_percentile“：{“value”：0.675344，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：fales}，“cited_by_percentile_year”：{“min”：86，“max”：87}，“biblio”：{“volume”：空，“issue”：空first_page“：”366“，”last_page“：”380“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9994，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9994，“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.9992，”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.9954，”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/normalization网站“，”display_name“：”规范化（社会学）“，”score“：0.77334476}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.503872}]，”concepts“：[{”id“：”https://openalex.org/C136886441，“wikidata”：https://www.wikidata.org/wiki/Q926129“，”display_name“：”规范化（社会学）“，”level“：2，”score“：0.77334476}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.57612747}，{”id“：”https://openalex.org/C127882523，“wikidata”：https://www.wikidata.org/wiki/Q38066“，”display_name“：”存在主义“，”level“：2，”score“：0.5755267}，{”id“：”https://openalex.org/C511192102，“wikidata”：https://www.wikidata.org/wiki/Q5156948“，”display_name“：”理解“，”等级“：2，”分数“：0.5080447}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.48111978}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.40327308}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.115641594｝，｛”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.08714503}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C144024400，“wikidata”：https://www.wikidata.org/wiki/Q21201“，”display_name“：”社会学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C19165224，“wikidata”：https://www.wikidata.org/wiki/Q23404“，”display_name“：”人类学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73228-0_26“，”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”：[{“display_name”：“减少不平等”，“score”：0.51，“id”：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：11，”referrenced_works“：【”https://openalex.org/W1557413548","https://openalex.org/W1971181861","https://openalex.org/W1990370351","https://openalex.org/W1991947308","https://openalex.org/W1995083622","https://openalex.org/W2002953392","https://openalex.org/W2034989554","https://openalex.org/W2044565783","https://openalex.org/W2077107862","https://openalex.org/W2104204098","https://openalex.org/W2170553272“]，”related_works“：[”https://openalex.org/W4210465737","https://openalex.org/W3041624257","https://openalex.org/W2974802953","https://openalex.org/W2625646796","https://openalex.org/W2474767644","https://openalex.org/W2385364491","https://openalex.org/W2356175078","https://openalex.org/W219899776","https://openalex.org/W2158722153","https://openalex.org/W141267447“]，”abstract_inverted_index“：{”This“：[0,64,82]，”paper“：[1,65]，”gives“：[2,75]，”simple“：[3,46]，”saturated“：[4,72,77]，”sets“：[5,23,78]，”for“：[6,24,33,89]，”disjunction“：[7,25]，”and“：[8,31,44,60,98102]，”secondary“：[9,34,57,95]，”existative“：[10,35,58,96]，”quantitation“：[11,36]，”通过“：[12,28,39]，“使用”：[13]，“the”：[14,53,68,90]，“idea”：[15]，“of”：[16]，“段”：[17]，“in”：[18]，“Prawitz’s”：[19]，“强”：[20,47105]，“有效性。”：[21]，“饱和”：[22]，“是”：[26,37,50]，“定义的”：[27,38]，“Pi-0-1”：[29]，”理解“：[30]，“那些”：[32]，“Sigma-1-1”：[40]，“理解。”：[41]，“饱和度”：[42]，“语义”：[43,88]，“a”：[45]，“规范化”：[48]，“证明”：[49]，“给定”：[51]，“到”：[52,71,85]，“系统”：[54,91]，“with”：[55,92]，“disjunction”：[56]，“quantitation”，：[59]，“their”：[61,99]，“permutative”：[C2100]，“conversions.”：/63]，“also”：66]，“introduces”：[67]，“contraction”：[69]，“property”：[70]，“sets”：[73]，“which”：[74]，“us”：[76,84]，“closed”：[79]，“under”：[80]，“union”：[81]，“enabled”：[83]，“have”：[86]，“saturated-set”：[87]，“union”：[93]，“types”，“类型”：[94,97]，“转换，”：[101]，“证明”：[103]，“其”：[104]，“规范化。”：[106]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1793317562“，”counts_by_year“：[{“年份”：2024，”cited_by_count“：1}，{“年度”：2019，”cited_by_count”：1}，{”年份“：2013，”citecd_by_count“：1}]，”updated_date“：”2024-08-13T04:13:48.705460“，”created_date:“2016-06-24”}