｛“id”：“https://openalex.org/W4253630760“，”doi“：”https://doi.org/10.109/lics.1991.151628“，”title“：”直觉主义线性逻辑片断中的逻辑编程“，”display_name“：”直观主义线性逻辑片中的逻辑程序设计“，”publication_year“：2002，”publitation_date“：”2002-12-10“，”ids“：{”openalex“：”https://openalex.org/W4253630760“，”doi“：”https://doi.org/10.109/lics.1991.151628“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151628“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”green“，”oa_url“：”https://repository.upenn.edu/cgi/viewcontent.cgi？article=1540&context=cis_reports“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5002873677“，”display_name“：”Joshua S.Hodas“，”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“：false，”raw_author_name“：”J.S.Hodas“，”raw _ affiliation_strings“：[“宾夕法尼亚大学计算机科学系，宾夕法尼亚州费城”]，”affiliation“：[{”raw _affiliation_string“：”宾夕法尼亚州费市，美国宾夕法尼亚大学计算机系，“institution_ids”：[”https://openalex.org/I79576946“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5018394339“，”display_name“：”Dale Miller“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”D.Miller“，”raw _affiliation_strings“：[“LFCS，英国爱丁堡大学计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”LFCS，计算机科学系，英国爱丁堡大学”，“institution_ids”：[“https://openalex.org/I98677209“]｝]｝]，”countries_destict_count“：2，”institutions_disict_count“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”fwci“：3.005，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：24，”cited_by_percentle_year“：｛”min“：88，”max“：89｝，”biblio“：｛”volume“：null，”issue““：null，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”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.9988，”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.9967，“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/constraint-logic-programming（https://openalex.org/keywords/constraint-logic-programming）“，”display_name“：”约束逻辑编程“，”score“：0.568103}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.562911}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.561973}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.557281}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”Separation Logic“，”score“：0.551512}]，”concepts“：[{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728“，”display_name“：”线性逻辑“，”level“：2，”score“：0.84916914}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.814018｝，｛”id“：”https://openalex.org/C42747912，“wikidata”：https://www.wikidata.org/wiki/Q1048447“，”display_name“：”乘法函数“，”level“：2，”score“：0.7203725}，{”id“：”https://openalex.org/C59656382，“wikidata”：https://www.wikidata.org/wiki/Q191536“，”display_name“：”Conjunction（天文学）“，”level“：2，”score“：0.70744634}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.63014317}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.54973835}，{”id“：”https://openalex.org/C186644900，“wikidata”：https://www.wikidata.org/wiki/Q194152“，”display_name“：”Parsing“，”level“：2，”score“：0.4943974}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.47315773}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.46107554}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”“display_name”“：”解释（哲学）“，”级别“：2，”分数“：0.43193212}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3880533}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.38749793}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.35653725}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.35098773}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.33155838｝，｛”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.15435386}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C1276947，“wikidata”：https://www.wikidata.org/wiki/Q333“，”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“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151628“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://repository.upenn.edu/cis_reports/525，“pdf_url”：https://repository.upenn.edu/cgi/viewcontent.cgi？article=1540&context=cis_reports，“源”：{“id”：https://openalex.org/S4306402083“，”display_name“：”ScholarlyCommons（宾夕法尼亚大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I79576946“，”“host_organization_name”：“宾夕法尼亚大学”，“host_ordanization_lineage”：[“https://openalex.org/I79576946“]，”host_organization_lineage_names“：[”宾夕法尼亚大学“]，“type”：“repository”}，“license”：null，“liccense_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.28.2136，“pdf_url”：http://www.cs.cmu.edu/~fp/curses/98 linear/atchards/ic94.pdf“，”来源“：｛”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://repository.upenn.edu/cis_reports/525，“pdf_url”：https://repository.upenn.edu/cgi/viewcontent.cgi？article=1540&context=cis_reports，“源”：{“id”：https://openalex.org/S4306402083“，”display_name“：”ScholarlyCommons（宾夕法尼亚大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I79576946“，”“host_organization_name”：“宾夕法尼亚大学”，“host_ordanization_lineage”：[“https://openalex.org/I79576946“]，”host_organization_lineage_names“：[”宾夕法尼亚大学“]，“type”：“repository”}，“license”：null，“liccense_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/4“，”score“：0.4，”display_name“：”Quality education“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：26，”referrenced_works“：[”https://openalex.org/W1491642900","https://openalex.org/W1523013478","https://openalex.org/W1572526673","https://openalex.org/W1594532517","https://openalex.org/W1829806208","https://openalex.org/W1884591654网址","https://openalex.org/W1936084083","https://openalex.org/W1973180461","https://openalex.org/W1974190112","https://openalex.org/W1986404405","https://openalex.org/W1988347771","https://openalex.org/W2037809739","https://openalex.org/W2052436826","https://openalex.org/W2083147990","https://openalex.org/W2084749326","https://openalex.org/W2093111544","https://openalex.org/W2112308928","https://openalex.org/W2131739376","https://openalex.org/W2156950788","https://openalex.org/W2161160885","https://openalex.org/W2911865844","https://openalex.org/W4230069580","https://openalex.org/W4238692953","https://openalex.org/W4242125186","https://openalex.org/W600819829","https://openalex.org/W73648953“]，”related_works“：[”https://openalex.org/W4298032921","https://openalex.org/W4280043137","https://openalex.org/W3014416361","https://openalex.org/W2995605757","https://openalex.org/W2949568827","https://openalex.org/W2183401507","https://openalex.org/W2116032385","https://openalex.org/W2112970627","https://openalex.org/W206198705","https://openalex.org/W1761411969“]，”ngrams_url“：”https://api.openalex.org/works/W4253630760/ngrams“，”“abstract_inverted_index”：{“The”：[0]，“直觉主义”：[1]，“concept”：[2127]，“of”：[3,11,33,96128]，“context”：[4,42129]，“is”：[5,49,59]，“refined”：[6]，“by”：[7,83]，“using”：[8]，“a”：[9,55,77,88,92122]，“fragment”：[10]，“J.-Y.”：[12]，“Girard’s”：[13]，“（Theor.”：[14]，“计算”：[15]，“科学”：[16]，“第50卷”：[17]，“p.1-102，”：[18]，“1987）”：[19]，“线性”：[20,28]，“逻辑“：[21,53]，”that“：[22,51,62,65,90]，”includes“：[23]，”additional“：[24]，”and“：[25,36,43,98114]，”multipative“：[26,78]，”conjunction“：[27]，”implication“：[29]，”universal“：[30]，”quantitation“：[31]，”the“：[32,37,40,45,52,63,68100]，”course“：[34]，”index“：[35]，”常量“：[38]，”for“：[39]44]，“空”：[41]，“擦除”：[46]，“上下文”。“：[47]，“It”：[48,58]，“show”：[50,61]，“has”：[54]，“goal-directed”：[56]，“interpretation”。“：[57]，”也“：[60]，”不确定性“：[64]，”结果“：[66]，”从“：[67108]，”需要“：[69]，”到“：[70,75130]，”拆分“：[71]，”上下文“：[72]，”in“：[73]，”顺序“：[74]，”证明“：[76]，”连词“：[79]，”可以“：[80]，”是“：[81103131]，”已处理“：[82]，”查看“：[84]，”证据“：[85]，“搜索”：[86]，“as”：[87]，“进程”：[89]，“takes”：[91]，“context，”：[93]，“consumes”：[94]，“part“：[95]，”it“：[97]，”returns“：[99]，”rest“：[101]，”（to“：[102]，”consumped“：[104]，”others）。“：[105]，”示例“：[106]，”采取“：[107]，”定理“：[109]，”证明“：[110]，”自然“：[111]，”语言“：[112]，”解析“：[113]，”数据库“：[115]，”编程“：[116]，”are“：[117]，”presented:“：[118]，”each“：[119]，”example“：[120]，”requires“：121]，”linear“：[123]，”not“：%124]，”than“：[125]，”直觉主义者ic，“：[126]，”建模“：[132]，”充分<":[133],">“：[136]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4253630760“，”counts_by_year“：[{”year“:2023，”cited_by_count“：1}，{”年“：2022，”cited_by_count”：1}，{“year”：2021，”citecd_by_count“：1}，”{“year”：2018，”citted_by_count“:1}]，”updated_date“：”2024-06-22T16:38:55.600418“，”created_date:“2022-05-12”}