{“id”：“https://openalex.org/W2009780046“，”doi“：”https://doi.org/10.1093/log.com/exp074“，”title“：“命题论证中保证公式问题的复杂性”，”display_name“：”命题论证中证明公式问题的复杂度“，”publication_year“：2009，”publitation_date“：”2009-11-10“，”ids“：{”openalex“：”https://openalex.org/W2009780046“，”doi“：”https://doi.org/10.1093/log/exp074“，”mag“：”2009780046“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1093/log.com/exp074“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S47057106“，”display_name“：”逻辑与计算杂志“，”issn_l“：”0955-792X“，”isn“：[”0955~792X“，“1465-363X”“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311648“，”“host_organization_name”：“牛津大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311647","https://openalex.org/P4310311648“]，”host_organization_lineage_names“：[”牛津大学“，”牛津大学出版社“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5079410261“，”display_name“：”Rebecca E.Hirsch“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”R.Hirschhttps://openalex.org/A5007779952“，”display_name“：”Nikos Gorogannis“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”N.Goroganis“，”raw _affiliation_strings“：]，”affiliations“：[/]}]，“countries_distiction_count”：0，“institutions_distect_count“：0，”corresponding_author_ids“：[[]，“correspounding_institution_ids”：[]列表“：{”值“：4151，”货币“：”USD“，”value_USD“：4151，”出处“：”doaj“}，”apc_payed“：null，”fwci“：2.924，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：12，”cited_by_percentile_year“：{”min“：86，”max“：87}，“biblio”：{“volume”：“20”，“issue”：“2”，“first_page”：“481”，“lastage”：“499”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10456“，”display_name“：”基于代理建模的方法和技术“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”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/T10456“，”display_name“：”基于代理建模的方法和技术“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”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.999，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”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.986，”subfield“：｛”id“：”https://openalex.org/subfields/s702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/desolution-frameworks（https://openalex.org/关键词/论证框架）“，”display_name“：”Argumentation Frameworks“，”score“：0.561437}，{”id“：”https://openalex.org/keywords/discalial-desolution网站“，”display_name“：”辩证论证“，”score“：0.533071}]，”概念“：[{”id“：”https://openalex.org/C65059942，“wikidata”：https://www.wikidata.org/wiki/Q270105“，”display_name“：”论证理论“，”level“：2，”score“：0.929463}，{”id“：”https://openalex.org/C2776916960，“wikidata”：https://www.wikidata.org/wiki/Q637156“，”display_name“：”Warrant“，”level“：2，”score“：0.9106638}，{”id“：”https://openalex.org/C98184364，“wikidata”：https://www.wikidata.org/wiki/Q1780131“，”display_name“：”Argument（complex analysis）“，”level“：2，”score“：0.8400762}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.5744078}，{”id“：”https://openalex.org/C13184196，“wikidata”：https://www.wikidata.org/wiki/Q9453“，”display_name“：”Dialectic“，”level“：2，”score“：0.52456236}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.42608136}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.4234818}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.41881552}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.32191783}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.21886545}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.1916979}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.06558967}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”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/C106159729，“wikidata”：https://www.wikidata.org/wiki/Q2294553“，”display_name“：”金融经济学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1093/log.com/exp074“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S47057106“，”display_name“：”逻辑与计算杂志“，”issn_l“：”0955-792X“，”isn“：[”0955~792X“，“1465-363X”“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311648“，”“host_organization_name”：“牛津大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311647","https://openalex.org/P4310311648“]，”host_organization_lineage_names“：[”牛津大学“，”牛津大学出版社“]，“type”：“journal”}，“license”：null，“liccense_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[{“score”：0.63，“display_name”：“和平、正义和强大的制度”，“id”：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：12，”referrenced_works“：【”https://openalex.org/W1825730661","https://openalex.org/W1979394595","https://openalex.org/W2006784674","https://openalex.org/W2039020269","https://openalex.org/W2046295942","https://openalex.org/W2065251436","https://openalex.org/W2100875224","https://openalex.org/W2104126268","https://openalex.org/W2149567024","https://openalex.org/W2156092566","https://openalex.org/W2159569510","https://openalex.org/W4256682192“]，”related_works“：[”https://openalex.org/W4366827512","https://openalex.org/W3125673773","https://openalex.org/W3123591583","https://openalex.org/W30882000332","https://openalex.org/W3036391810","https://openalex.org/W2511305084","https://openalex.org/W2162270815","https://openalex.org/W2077815492","https://openalex.org/W2046435924网址","https://openalex.org/W1964566697“]，”ngrams_url“：”https://api.openalex.org/works/W2009780046/ngrams“，”“abstract_inverted_index”：{“The”：[0,17]，“concept”：[1]，“of”：[2,8,15,20,26,35,60,63,73,79,89103]，“arrance”：[3,21104]，“or”：[4]，“justify”：[5]，“is”：[6,22,31,38,55,70,94109]，“one”：[7]，形式”：[13]，“模型”：[14,62,66]，“论证”：[16]，“辩证”：[18]，“定义”：[19]，“表示”：[23]，“术语”：[25]，“递归”：[27]，“失败：”：[28]，“an”：[29,53,68]，“参数”：[30,54,69]，“保证”：[32,43,56,95]，“if”：[33]，“each”：[34]，“its”：[36]，“计数器参数”：[3]，“自身”：[39]，“被击败”：[40]，“by”：[41]，“a”：[42,71,74,77,92]，“counter-arg ument.“：[44]，”然而，“：[45]，”少数“：[46]，”复杂性“：[47,88]，”结果“：[48]，”存在“：[49]，“on”：[50]，“checking”：[51,90]，“if”：[52,91]，“context”：[59]，“deductive”：[61]，“considention”：[64]，“即：[65]，”where“：[67]，”deduction“：[72]，”claim“：%75,93]，“from”：[76]，“set”：[78]，“premission”：[80]，“using”：+81]，“some”：[82]，“logic.”：[83]，“We”：+84]，“investment”：[85]，“计算”：[87]，“命题”：[97]，“论证”：[98]，“under”：[99]，“two”：[100]，“自然”：[101]，“定义”：[102]，“和”：[105]，“显示”：[106]，“那个”：[107]，“它”：[108]，“PSPACE-完成”：[110]，“两者”：[112]，“案例”：[113]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2009780046“，”counts_by_year“：[{“年份”：2021，”cited_by_count“：1}，{“年度”：2014，”cited_by_count”：2}，}“年份“：2013，”citecd_by_count“：2}]，”updated_date“：”2024-06-30T05:13:59.848929“，”created_date:“2016-06-24”}