{“id”：“https://openalex.org/W2168854883“，”doi“：”https://doi.org/10.1109/lics.19991.151633“，”title“：”构式演算中的部分对象“，”display_name“：”建构式演算的部分对象”，“publication_year”：2002，“publiation_date”：“2002-12-10”，“ids”：{“openalex”：“https://openalex.org/W2168854883“，”doi“：”https://doi.org/10.109/lics.1991.151633“，”mag“：”2168854883“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151633“，”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“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：“第一个”，“作者“：{”id“：”https://openalex.org/A5043473564“，”display_name“：”P.Audebaud“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210142254“，”display_name“：”Laboratoire Bordelais de Recherche en Informatique“，”ror“：”https://ror.org/03adqg323“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”P.Audebaud“，”raw _affiliation_strings“：[“LaBRI-UFR Math\u00e9kmatiques and Informatique，Talence，France”]，”affiliations“：[{”raw_affiliation_string“：”LaBRI-UPR Math\u 00e9KMatiques andInformatiques，Talense，France“，”，“institution_ids”：[“https://openalex.org/I4210142254“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5043473564“]，”对应的机构ID“：[”https://openalex.org/I4210142254“]，”apc_list“：null，”apc _payed“：nul，”fwci“：0.346，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：16，”citation_normalized_percentile“：{”value“：0.58606，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：false}，”cited_by_percentile_year“问题“：null，”first_page“：nul，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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.9967，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9927，”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/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.54472}，{”id“：”https://openalex.org/关键字/可计算性“，”display_name“：”Computability“，”score“：0.518005}，{”id“：”https://openalex.org/keywords/temporal-logic（https://openalex.org/keywords/temporal-logic）“，”display_name“：”时态逻辑“，”score“：0.511202}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.502112}]，”concepts“：[{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.6595274}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.54308385}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.44760108}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段代数“，”level“：2，”score“：0.3671369}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.3195302}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.27756113}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.17503291}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”Dentry“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151633“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：11，”referenced_works“：[”https://openalex.org/W142297547","https://openalex.org/W1501402401","https://openalex.org/W1585676614","https://openalex.org/W1627185756","https://openalex.org/W1986402635","https://openalex.org/W2086054252","https://openalex.org/W2138384354","https://openalex.org/W2154273644","https://openalex.org/W2165371624","https://openalex.org/W4214503682","https://openalex.org/W600819829“]，”related_works“：[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3194539205","https://openalex.org/W2950279424","https://openalex.org/W2748952813","https://openalex.org/W2469137997","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1603543958","https://openalex.org/W1574493518“]，”abstract_inverted_index“：{”A“：[0,71]，”typed“：[1]，”framework“：[2]，”for“：[3,58,88]，”working“：[4]，”with“：[5,90]，”nonteminating“：[6]，”calculations“：[7]，”is“：[8,13,19,69,77102]，”provided.“：[9]，”The“：[10]，”basic“：[11]，”system“：[12]，”The“：[14,47,55,63,97]，”微积分“：[15]，”of“：[16,50,54,74,99]，”constructions.“：[17]，”It“：[18]，”extended“：[20]，”使用“：[21]，“an”：[22，52，66]，“original”：[23]，“idea”：[24]，“proposed”：[25]，“by”：[26]，“R.”：[27]，“Constable”：[28]，“and”：[29，42，92]，“S.F.”：[30]，“Smith”：[31]，“（2nd”：[32]，“Ann.”：[33]，“IEEE”：[34]，“Conf.”：[35]，“on”：[36]，“Logic”：[37]，“in”：[38，44]，“计算”：[39]，“科学”：[40]，“1987）”：[41]，“实施”：[43]，“Nuprl。“：[45]，”From“：[46]，”computative“：[48]，”point“：[49]，”view“，：[51]，”equivalent“：[53]，”Kleene“：[56]，”定理“：[57]，”partial“：[59,91]，”recursive“：60]，”functions“：[61]，”over“：[62]，”integers“：[64]，”within“：[65]，”index free“：[67]，”setting“：68]，”govered。“：[70]，”较大“：[72]，”类“：[73]，”代数“：[75]，”类型“：[76]，”已定义。“：[78]，”逻辑“：[79]，”方面“：[80]，”需要“：[81]，”更多“：[82]，”检查“：[83]，”但是“：[84]，”a“：[85]，”句法“：[86]，”方法“：[87]，”处理“：[89]，”总计“：[93]，”对象“：[94]，”前导“：[95]，”to“：[96]，”概念“：[98]，”通用“：[100]，”证明“：[101]，”提供<":[103],">“：[106]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2168854883“，”counts_by_year“：[{”年“：2014，”cited_by_count“：1}]，”更新日期“：”2024-09-01T11:07:42.859422“，”创建日期“：“2016-06-24”}