{“id”：“https://openalex.org/W3098668213“，”doi“：”https://doi.org/10.2178/jsl/1174668394“，”title“：“交互式图灵化简的逻辑”，“display_name”：“交互式图灵化简逻辑”，”publication_year“：2007，”publitation_date“：”2007-03-01“，”ids“：{”openalex“：”https://openalex.org/W3098668213“，”doi“：”https://doi.org/10.2178/jsl/1174668394“，”mag“：”3098668213“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1174668394“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，”type“：”journal“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”oaurl“：”https://arxiv.org/pdf/cs/0512100“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5021239614“，”display_name“：”Giorgi Japaridze“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：true，”raw_author_name“:”Giorgi-Japaridse“，”raw _affiliation_string“：[”japaridz/“]，”afliations“：{”raw _affiliation_string“:”japaridaridz/“，”instITION_ids“：[]}]，”countries _distiction_count“：0，”instistitutions s_distinct_count“：0，”对应的author_ids“：[”https://openalex.org/A5021239614“]，”“corresponding_institution_ids”：[]，“apc_list”：null，“apc _ paid”：null，“has _ fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：12，“citted_by_percentile_year”：{“min”：86，“max”：87}，“biblio”：{“volume”：”72“，“issue”：“1”，“first_page”：“243”，“last_page”：：“276”}，”“is_retracted”：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9994，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9994，”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/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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9966，“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/computability网站“，”display_name“：”Computability“，”score“：0.573242}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.542508}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.541487}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.507366}，{”id“：”https://openalex.org/keywords/epsitemic-logic（https://openalex.org/关键词/认知逻辑）“，”display_name“：”认知逻辑“，”score“：0.507356｝]，”concepts“：[｛”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.86757565}，{”id“：”https://openalex.org/C152062344，“wikidata”：https://www.wikidata.org/wiki/Q818888“，”display_name“：”Computability“，”level“：2，”score“：0.60468596}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5898684}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.5706821｝，｛”id“：”https://openalex.org/C9870796，“wikidata”：https://www.wikidata.org/wiki/Q490481“，”display_name“：”Turing“，”level“：2，”score“：0.5297621}，{”id“：”https://openalex.org/C177148314，“wikidata”：https://www.wikidata.org/wiki/Q170084“，”display_name“：”Generalization“，”level“：2，”score“：0.5213848}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.50485116}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.49211377}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.45199704}，{”id“：”https://openalex.org/C9672783，“wikidata”：https://www.wikidata.org/wiki/Q65122115“，”display_name“：”游戏语义“，”level“：5，”score“：0.43584338}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.40461314}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.3504366}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.33258894}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.2953151}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.101309925}，{”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}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1174668394“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/cs/0512100，“pdf_url”：https://arxiv.org/pdf/cs/0512100，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”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/0512100v1.pdf，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”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/0512100“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：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://arxiv.org/abs/cs/0512100，“pdf_url”：https://arxiv.org/pdf/cs/0512100，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”减少不平等“，”score“：0.42，”id“：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[”https://openalex.org/W2126691354","https://openalex.org/W3098668213“]，”referenced_works_count“：14，”referrenced_works“：[”https://openalex.org/W1483568252","https://openalex.org/W1490922036","https://openalex.org/W1525064220","https://openalex.org/W1545407410","https://openalex.org/W1906710615","https://openalex.org/W1985872645","https://openalex.org/W1996605832","https://openalex.org/W2002823922","https://openalex.org/W2015274054","https://openalex.org/W2051685387网址","https://openalex.org/W2121000477","https://openalex.org/W2313825123","https://openalex.org/W2600130231","https://openalex.org/W4253236060“]，”related_works“：[”https://openalex.org/W958050847","https://openalex.org/W4250462479","https://openalex.org/W4233421640","https://openalex.org/W3163509751","https://openalex.org/W2396405675","https://openalex.org/W1994524667","https://openalex.org/W175051304","https://openalex.org/W1549730417","https://openalex.org/W1548499332","https://openalex.org/W13634261“]，”ngrams_url“：”https://api.openalex.org/works/W3098668213/ngrams网站“，”“abstract_inverted_index”：{“abstract”：[0]，“The”：[1]，“paper”：[2]，“gives”：[3]，“a”：[4,44]，“soundness”：[5]，“and”：[6]，“complete”：[7]，“proof”：[8]，“for”：[9]，“The”：[10,19,37,50]，“implicative”：[11]，“fragment”：[12]，“of”：[13,21,40,46,54,59,62]，“直觉主义”：[14,26]，“微积分”：[15]，“with”：[16]，“尊重”：[17]，“to”：[18,56]，“语义”：[20]，“可计算性“：[22]，”逻辑“：[23]，”其中“：[24]，”理解“：[25]，”隐含“：[27]，”作为“：[28]，”交互“：[29]，”算法“：[30]，”约简。“：[31]，“This”：[32]，“concept”：[33,39]，“\u2014”：[34,42]，“more”：[35]，“precise”，“：[36]，“associated”：[38]，“reducibility”：[41,48]，“is”：[43]，“generalization”：[45]，“Turing”：[47]，“from”：[49]，“traditional”：[51]，“input/output”：[52]，“sorts”：[53]，“problems”：[55]，“computicalative”：[57]，”任务”：[58]，“任意”：[60]，“度”：[61]，“交互性”。“：[63]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3098668213“，”counts_by_year“：[{”年份“：2013，”cited_by_count“：2}，{”年“：2012，”cited_by_count”：3}]，”更新日期“：”2024-06-15T15:42:59.034760“，”创建日期“：“2020-11-23”}