{“id”：“https://openalex.org/W1795215404“，”doi“：”https://doi.org/10.3233/fi-2011-560“，”title“：”组合逻辑范围问题的解决方案“，”display_name“：”合成逻辑范围问题解决方案“、”publication_year“：2011，”publication_date“：”2011-01-01“，”ids“：{”openalex“：”https://openalex.org/W1795215404“，”doi“：”https://doi.org/10.3233/fi-2011-560“，”mag“：”1795215404“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.3233/fi-2011-560“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S39012697“，”display_name“：”基础信息“，”issn_l“：”0169-2968“，”issn“：[”0169-2968“，”1875-8681“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318577“，”“host_organization_name”：“IOS新闻”，“host_organization_lineage”：[“https://openalex.org/P4310318577“]，”host_organization_lineage_names“：[”IOS Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：nul，“any_repository”_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5038380237“，”display_name“：”Benedetto Intrigila“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I116067653“，”display_name“：”Tor Vergata罗马大学“，”ror“：”https://ror.org/02p77k626“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I116067653“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Benedetto Intrigila“，”raw _affiliation_strings“：[“意大利罗马大学马特马提卡分校\u00e0 di Roma\u201cTor Vergata\u201d”。intrigil@mat.uniroma2.it“]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5051071400“，”display_name“：”Richard Statman“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Richard Statman“，”raw _affiliation_strings“：[“美国宾夕法尼亚州匹兹堡卡内基梅隆大学数学科学系”。rs31@andrew.cmu.edu“]}]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：2“，”cited_by_percentile_year“：{”min“：76，”max“：79}，”biblio“：{“volume”：“111”，“问题”：“2”，“first_page”：“203”，“last_page”：“222”}，“is_retracted”：false，“is_paratext”：false，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9993，”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.9971，“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/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.484544}]，”concepts“：[{”id“：”https://openalex.org/C204323151，“wikidata”：https://www.wikidata.org/wiki/Q905424“，”“display_name”“：”范围（航空）“，”级别“：2，”分数“：0.62268966}，{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.5537959}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5168224}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.38012707}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.18874869}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”等级“：0，”分数“：0.12500745}，{”id“：”https://openalex.org/C159985019，“wikidata”：https://www.wikidata.org/wiki/Q181790“，”display_name“：”复合材质“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.3233/fi-2011-560“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S39012697“，”display_name“：”基础信息“，”issn_l“：”0169-2968“，”issn“：[”0169-2968“，”1875-8681“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318577“，”“host_organization_name”：“IOS新闻”，“host_organization_lineage”：[“https://openalex.org/P4310318577“]，”host_organization_lineage_names“：[”IOS Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]https://openalex.org/W1492311822","https://openalex.org/W172004165","https://openalex.org/W2009056279","https://openalex.org/W2128990281","https://openalex.org/W2154273644","https://openalex.org/W2530006810“]，”related_works“：[”https://openalex.org/W4307413753","https://openalex.org/W4242826518","https://openalex.org/W2988498873","https://openalex.org/W2748952813","https://openalex.org/W2313450777","https://openalex.org/W2162268423","https://openalex.org/W2026765907","https://openalex.org/W1975604118","https://openalex.org/W1553178672","https://openalex.org/W119766800“]，”ngrams_url“：”https://api.openalex.org/works/W1795215404/ngrams“，”“abstract_inverted_index”：{“The”：[0,20,78]，“\u03bb-theory”：[1]，“H”：[2,26,73]，“is”：[3,50]，“getated”：[4]，“from”：[5]，“\ u03b2-conversion”：[6]，“by”：[7]，“identifying”：[8]，“all”：[9]，“closed”：[10,30]，“unsolvable”：[11]，“terms”：[12,15]，“or”：[13]，“等价”：[14]，“无”：[16]，“头”：[17]，“正常”：[18]，“形式）。”：[19]，“范围”：[21,42,46]，“问题”：[22]，“for”：[23,70]，“the”：[24,71,85]，“theory”：[25,72]，“ask”：[27]，“ift”：[28]，“a”：[29,44,51,57,60,67]，“term”：[31]，“has”：[32]，“always”：[3]，“（up”：[34]，“to”：[35,59,75,84]，“equality”：[36]，“in”：[37]，“H）”：[38]，“either”：[39]，“an”：[40]，“无限”：[41]，“or”：[43]，“singleton”：[45]，“（that”：[47]，“is”，“：[48]，“it”：[49]，“constant”：[52]，“function）。”：[53]，“Here”：[54]，“我们”：[55]，“给出”：[56]，“解决方案”：[58]，“自然”：[61]，“版本”：[62]，“of”：[63,80]，“this”：[64]，“问题”：[65]，“给定”：[66]，“肯定”：[68]，“答案”：[69]，“限制”：[74]，“组合”：[76]，“逻辑”：[77]，“方法”：[79]，“证明”：[81]，“应用”：[82]，“也”：[83]，“懒惰”：[86]，“\u03bb-Calculus.”：[87]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W1795215404“，”counts_by_year“：[{”年“：2012，”cited_by_count“：2}]，”更新日期“：”2024-05-20T12:21:58.345693“，”创建日期“：“2016-06-24”}