{“id”：“https://openalex.org/W1991670662“，”doi“：”https://doi.org/10.1016/0304-3975（79）90006-9”，“title”：“直觉命题逻辑是多项式空间完备的”，“display_name”：“直觉命题逻辑是多项式空间完备的”，“publication_year”：1979，“publication_date”：“1979-07-01”，“ids”：{“openalex”：“https://openalex.org/W1991670662“，”doi“：”https://doi.org/10.1016/0304-3975（79）90006-9“，”mag“：”1991670662“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（79）90006-9“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”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”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”http://deepblue.lib.umich.edu/bitstream/2027.42/23534/1/0000493.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5051071400“，”display_name“：”Richard Statman“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”countries“：[”US“]，”is_corresponding“：true，”raw_author_name“：”Richard Statman“，”raw _affiliation_strings“：【”密歇根大学哲学系，密歇根州安阿伯，MI 48109“】}]，“countries_disticont_count”：1，“institutions_disticent_count“：1，”corresponding_author_ids“：[“https://openalex.org/A5051071400“]，”对应机构_ids“：[”https://openalex.org/I27837315“]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2680，”provenance“：”doaj“}，”apc _payed“：{”value”：2690、”currentary“：”美元“，”value_USD”：2670，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：228，“citecd_by_percentile_year”：{“min”：98，“max”：99}，“biblio”：{“volume”：“9”，“issue”：“1”，“first_page”：“67”，“last_page”：”72“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.998，”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.998，”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.9965，“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/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9946，”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/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.524312}，{”id“：”https://openalex.org/keywords/epsitemic-logic（https://openalex.org/关键词/认知逻辑）“，”display_name“：”认识逻辑“，”score“：0.523415}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.514547}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.501153}]，”concepts“：[{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.81547165}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.6950723｝，｛”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.6203108｝，｛”id“：”https://openalex.org/C14523651，“wikidata”：https://www.wikidata.org/wiki/Q3492863“，”display_name“：”命题变量“，”level“：4，”score“：0.5699822}，{”id“：”https://openalex.org/C110039528，“wikidata”：https://www.wikidata.org/wiki/Q8069651“，”display_name“：”零阶逻辑“，”level“：4，”score“：0.5215271}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.5066853}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.48444274}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.47156805}，{”id“：”https://openalex.org/C74640108，“wikidata”：https://www.wikidata.org/wiki/Q1372900“，”display_name“：”命题公式“，”level“：5，”score“：0.45410264}，{”id“：”https://openalex.org/C85343465，“wikidata”：https://www.wikidata.org/wiki/Q975734“，”display_name“：”Curry\u2013Howard通信“，”level“：3，”score“：0.45270416}，{”id“：”https://openalex.org/C191222856，“wikidata”：https://www.wikidata.org/wiki/Q655328“，”display_name“：”格式正确的公式“，”level“：5，”score“：0.43950513｝，｛”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.43603262}，{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728“，”display_name“：”线性逻辑“，”level“：2，”score“：0.43443647}，{”id“：”https://openalex.org/C2778572836，“wikidata”：https://www.wikidata.org/wiki/Q380933“，”display_name“：”空格（标点符号）“，”level“：2，”score“：0.41699278}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.3271005}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.1721498}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.14675772｝，｛”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.06695238}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”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/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（79）90006-9“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”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”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hdl.handle.net/2027.42/23534，“pdf_url”：http://deepblue.lib.umich.edu/bitstream/2027.42/23534/1/0000493.pdf，“源”：{“id”：https://openalex.org/S4306400393“，”display_name“：”深蓝（密歇根大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I27837315“，”“host_organization_name”：“密歇根大学\u2013Ann Arbor”，“host_ordanization_lineage”：[“https://openalex.org/I27837315“]，”host_organization_lineage_names“：[”密歇根大学\u2013Ann Arbor“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hdl.handle.net/2027.42/23534，“pdf_url”：http://deepblue.lib.umich.edu/bitstream/2027.42/23534/1/0000493.pdf，“源”：{“id”：https://openalex.org/S4306400393“，”display_name“：”深蓝（密歇根大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I27837315“，”“host_organization_name”：“密歇根大学\u2013Ann Arbor”，“host_ordanization_lineage”：[“https://openalex.org/I27837315“]，”host_organization_lineage_names“：[”密歇根大学\u2013Ann Arbor“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]https://openalex.org/W1988983596","https://openalex.org/W2027756991","https://openalex.org/W2065251436","https://openalex.org/W2073491323“]，”related_works“：[”https://openalex.org/W91153459","https://openalex.org/W4253001830","https://openalex.org/W4251854500","https://openalex.org/W3137333128","https://openalex.org/W2504237466","https://openalex.org/W2441642482","https://openalex.org/W2364305935","https://openalex.org/W2081976468","https://openalex.org/W2008132476","https://openalex.org/W1987118140“]，”ngrams_url“：”https://api.openalex.org/works/W1991670662/ngrams“，”“abstract_inverted_index”：{“It”：[0]，“is”：[1,18,36,49,82,89,98119153160170]，“the”：[2,10,45,79,83150154]，“purpose”：[3]，“of”：[4,12,56,73,78,85126144149156]，“this”：[5]，“note”：[6]，“to”：[7]，“show”：[8]，“that”：[9]，“question”：[11]，“where”：[13]，“a”：[14]50,76,86,99120147157171]，“给定”：[15]，“命题”：[16,58,62128132]，“公式”：[17]，“直觉上“：[19]，“有效”：[20]，“（in“：[21]，”Brouwer's“：[22]，”sense“，“：[23,26]，”in“：/24]，”Kripke“：[25]，”or“：[27]，”just“：[28]，”provable“：[29]，”by“：[30]，”Heyting's“：[31]，”rules，“：[32]，”see“：[33]，”Kreisel“：[34]，”[7]）“：[35]，“p-space”：[37,9011161183]，“complete”：[38,91162]，“（请参见“：[39112184]，”Stockmeyer“：[40]，”[14]）。“：[41]，“我们的”：[42]，“结果”：[43]，“有”：[44]，“遵循”：[46]，“后果：1.（a）”：[47]，“那里”：[48,97118169]，“简单”：[51121]，“（即”：[52122]，“多项式”：[53100123172]，“时间”）：[54124]，“翻译”：[55125]，“直觉主义”：[57102127174]，“逻辑”：[59,63129133]，“转化”：[60130]，“经典”“：[61131]，”如果“：[64,67,75105108134146177180]，”和“：[65106114135178186]，”仅“：[66107136179]，”NP“：[68109138181]，”=“：[69110139182]，”p-space.2.（b）“：[70]，”The“：[71142]，”问题“：[72143]，”确定“：[74145]，”类型“：[77,84148155]，”键入“：[80151]，”\u03bb-calculus“：[81152]，”关闭“：[87158]，“\u03bb-term”：[88159]，“（this”：[92163]，”will“：[93164]，”be“：[94165]，”discussed“：[95166]，”below）.3.（c）“：[96]，”bounded“：[101173]，”proof“：[103175]，”system“：[104176]，”Cook“：[113185]，”Reckhow“：[115187]，”[2]）。“：[116188]，”（a）“：[117]，”p-space。“：[140]，”（b）“：[141]，”下文）。“：[167]，”（c）“：[168]}，”引用_ by_api_url“：”https://api.openalex.org/works？filter=cites:W1991670662“，”counts_by_year“：[{”year“:2024，”cited_by_count“：1}，{”year“：2023，”cited_by_count”：1}，{“year”：2022，”citecd_by_count“：2}，”{“年份”：2021，”citesd_by_count“:7}，“年份”:2020，”citted_by-count“:15}，‘年份’：2019，”ciped_by_cunt“:11}“年份”：2017，“引用_ by_count”：7}，{“年份”:2016，“引用_by_counts”：6}，}“年份“：2015，”cited_by_count“：11}，{“年份”：2014，“cited_by_count”：13}，}“年份“：2013，“cited_by_count）：12}，｛“年份：2012，”cited_by _count？：8}]，“更新日期”：“2024-05-18T02:59:30.824558”，“创建日期”：”2016-06-24“}