{“id”：“https://openalex.org/W3103956213“，”doi“：”https://doi.org/10.2168/lmcs-2（5:3）2006”，“title”：“命题解决的完备性：一个简单而有建设性的证明”，“display_name”：“提案解决的完好性：一种简单而有构造性的证明“，“publication_year”：2006，“publiciation_date”：“2006-11-07”，“ids”：{“openalex”：“https://openalex.org/W3103956213“，”doi“：”https://doi.org/10.2168/lmcs-2（5:3）2006“，”mag“：”3103956213“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-2（5:3）2006“，”pdf_url“：”https://lmcs.episciences.org/2234/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“，”doaj“]，”open_access“：{”is_oa“：true，”oa_status“：”diamond“，”oa_url“：”https://lmcs.episciences.org/2234/pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5016407219“，”display_name“：”Jean Gallier“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I79576946“，”display_name“：”宾夕法尼亚大学“，”ror“：”https://ror.org/00b30xv10“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I79576946“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Jean Gallier“，”raw _ afiliation_strings“：[“宾夕法尼亚大学CIS系，费城，PA 19104，美国”]，”affiliations“：[{”raw_ afiliation _string“：”CIS系https://openalex.org/I79576946","https://openalex.org/I79576946“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5016407219“]，”对应的机构ID“：[”https://openalex.org/I79576946“]，”apc_list“：{“value”：0，”currency“：”USD“，”value_USD“：0，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：1.053，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：零，“citation_normalized_percentile”：{”value“：0.767794，“is_in_top_1_percent”：false，“is_in_top_10_percennt”：false}，”cited_by_count百分位年份：{“最小”：0，“最大”：61}，“图书”：{体积：“第2卷，第5期“，”问题“：null，”first_page“：nul，”last_page“：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9957，”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.9957，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9804，”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.9774，“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/complementation网站“，”display_name“：”完整性（有序理论）“，”score“：0.6788｝，｛”id“：”https://openalex.org/keywords/well-formula格式良好“，”display_name“：”井型公式“，”score“：0.6021153}，{”id“：”https://openalex.org/keywords/proof-complexity网站“，”display_name“：”证明复杂性“，”score“：0.5943646}，{”id“：”https://openalex.org/keywords/constructional网站“，”display_name“：”建设性“，”score“：0.5168003｝，｛”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.493863}，{”id“：”https://openalex.org/keywords/positional-formula“，”display_name“：”命题公式“，”score“：0.4667179}，{”id“：”https://openalex.org/关键字/矛盾“，”display_name“：”矛盾“，”score“：0.4629143}，{”id“：”https://openalex.org/keywords/instentionistic-logic“，”display_name“：”直觉主义逻辑“，”score“：0.4558247}，{”id“：”https://openalex.org/keywords/constructive-proof“，”display_name“：”建设性证明“，”score“：0.4472745｝]，”concepts“：[｛”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.734166}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.6788}，{”id“：”https://openalex.org/C14523651，“wikidata”：https://www.wikidata.org/wiki/Q3492863“，”display_name“：”命题变量“，”level“：4，”score“：0.6716952}，{”id“：”https://openalex.org/C138268822，“wikidata”：https://www.wikidata.org/wiki/Q1051925“，”display_name“：”分辨率（逻辑）“，”级别“：2，”分数“：0.64014804}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.6064461}，{”id“：”https://openalex.org/C191222856，“wikidata”：https://www.wikidata.org/wiki/Q655328“，”display_name“：”井型公式“，”level“：5，”score“：0.6021153}，{”id“：”https://openalex.org/C105605280，“wikidata”：https://www.wikidata.org/wiki/Q7249999“，”display_name“：”证明复杂性“，”level“：3，”score“：0.5943646}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.543356}，{”id“：”https://openalex.org/C2778701210，“wikidata”：https://www.wikidata.org/wiki/Q28130034“，”display_name“：”Constructive“，”level“：3，”score“：0.5168003}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.48203075}，{”id“：”https://openalex.org/C74640108，“wikidata”：https://www.wikidata.org/wiki/Q1372900“，”display_name“：”命题公式“，”level“：5，”score“：0.4667179}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.46549806}，{”id“：”https://openalex.org/C2776728590，“wikidata”：https://www.wikidata.org/wiki/Q363948“，”display_name“：”矛盾“，”level“：2，”score“：0.4629143}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.4558247}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.44809133｝，｛”id“：”https://openalex.org/C02854965，“wikidata”：https://www.wikidata.org/wiki/Q3044470“，”display_name“：”构造性证明“，”level“：2，”score“：0.4472745}，{”id“：”https://openalex.org/C2318724，“wikidata”：https://www.wikidata.org/wiki/Q852732“，”display_name“：”证明理论“，”level“：3，”score“：0.431165}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.41037363}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.38349745}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.31958634}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.1793316}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.17784154}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.07489723}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.06544125}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.06305918}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-2（5:3）2006“，”pdf_url“：”https://lmcs.episciences.org/2234/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”版本“：”已发布版本“，”is_accepted“：true，”is_published“：true｝，｛”is_oa“：false，”landing_page_url“：”https://doaj.org/article/f76a0e3a40b84581b9ab0ec47270f050“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306401280“，”display_name“：”DOAJ（DOAJ：开放存取期刊目录）“，”issn_l“：null，”issn“：null:”is_oa“：true，”is_in_DOAJ“：false，”is_core“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[[]，”type“：”repository“}”，“license”：nullis_accepted“：false，”is_published“：false}，{“is_oa”：true，”landing_page_url“：”https://arxiv.org/abs/cs/0606084，“pdf_url”：https://arxiv.org/pdf/cs/0606084，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：nul，“pdf_url“：”https://arxiv.org/pdf/cs/0606084v3.pdf，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.cs/0606084“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.2168/lmcs-2（5:3）2006“，”pdf_url“：”https://lmcs.episciences.org/2234/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的制度“，”score“：0.48，”id“：”https://metadata.un.org/sdg/16“｝]，”授予“：[]，”数据集“：[]，”版本“：[”https://openalex.org/W2006770300","https://openalex.org/W3103956213“]，”referenced_works_count“：8，”referrenced_works“：[”https://openalex.org/W10154040","https://openalex.org/W1530765221","https://openalex.org/W2100738443","https://openalex.org/W2331953749","https://openalex.org/W2612071325","https://openalex.org/W3021872309","https://openalex.org/W4229697989","https://openalex.org/W4255921169“]，”related_works“：[”https://openalex.org/W62016554","https://openalex.org/W4295125459","https://openalex.org/W3200682096","https://openalex.org/W2965503064","https://openalex.org/W2494688069","https://openalex.org/W2081976468","https://openalex.org/W2019363955","https://openalex.org/W2008132476","https://openalex.org/W1986625420","https://openalex.org/W1892325353“]，”abstract_inverted_index“：{”It“：[0]，”is“：[1,11,32]，”well“：[2]，”known“：[3]，”that“：[4,26]，”the“：[5,18,74]，”resolution“：[6,39,55,78]，”method“：[7]，”（for“：[8]，”propostial“：[9,77]，”logic）“：[10]，”complete“。”：[12]，“然而，”：[13]，“complete”：[14,75]，“proof”：[15,47]，“发现”：[16]，“在”：[17]，“文献”：[19]，“使用”：[20]，“an”：[21,50,58,82]，“论点“：[22]，”by“：[23]，”矛盾“：[24]，”显示“：[25]，”if“：[27]，”a“：[28，38，42，54，68，86]，”集合“：[29，60]，”of“：[30，45，61，73，76，81，88]，”子句“：[31]，”不可满足“：[33]，”then“：[34]，”it“：[35]，”must“：[36]，”have“：[37]，”反驳。“：[40]，”As“：[41]，”success“：[43]，”none“：[44]，”these“：[46]，”actually“：[48]，”gives“：%49]，”algorithm“：[1,83]，”for“：[52]，”producing“：[53]，”reversation“：[56]，”from“：[57]，”unsativable“：[59]，”子句。“：[62]，”In“：[63]，”this“：[64]，”note“：[65]，”we“：66]，”give“：[67]，”simple“：[69]，”and“：[70]，”constructional“：[71]，”proof“：[72,87]，”which“：[79]，”composes“：[80]，”together“：84]，”with“：+85]，”its“：+89]，”correctivity“。“：[90]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3103956213“，”counts_by_year“：[]，”updated_date“：”2024-09-19T21:07:38.975293“，”创建日期“：”2020年11月23日“}