{“id”：“https://openalex.org/W2115656500“，”doi“：”https://doi.org/10.109/lics.1991.151654“，”title“：”逻辑程序作为逻辑程序的类型“，”display_name“：”作为逻辑程序类型的逻辑程序“，”publication_year“：2002，”publiation_date“：”2002-12-10“，”ids“：{”openalex“：”https://openalex.org/W2115656500“，”doi“：”https://doi.org/10.1109/lics.19991.151654“，”mag“：”2115656500“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151654“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5032517478“，”display_name“：”Thom Fr\u00fchwirth“，”orcid“：null}，”institutions“：[]，”countries“：[”DE“]，”is_corresponding“：false，”raw_author_name“:”T.Fruhwirth“，”raw _affiliation_strings“：【”ECRC，Munich，Germany“】，“afliations”：[{“raw_affiliation _string”：“ECRC，慕尼黑，German”，”instistation_ids“：[]}，{“author_position”：“middle”，“作者”：{“id”：https://openalex.org/A5053718371“，”display_name“：”Ehud Shapiro“，”orcid“：”https://orcid.org/0009-0002-8266-3125}，“机构”：[{“id”：https://openalex.org/I53964585“，”display_name“：”魏茨曼科学研究所“，”ror“：”https://ror.org/0316ej306“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I53964585“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”E.Shapiro“，”raw _affiliation_strings“：[“以色列雷霍沃特魏茨曼科学研究院应用数学系”]，”affiliations“：[{”raw _affiliation_string“：”以色列雷霍沃特魏茨曼理工学院应用数学系https://openalex.org/I53964585“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5000059818“，”display_name“：”Moshe Y.Vardi“，”orcid“：”https://orcid.org/0000-0002-0661-5773}，“机构”：[{“id”：https://openalex.org/I1341412227“，”display_name“：”IBM（美国）“，”ror“：”https://ror.org/05hh8d621“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1341412227“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”M.Y.Vardi“，”raw _ afiliation_strings“：[“IBM Almaden Research Center，San Jose，CA USA”]，”affiliations“：[{”raw_ afiliation _string“：”IBM Alma登Research Center，San Jose，CA US“，”institution_ids“：[https://openalex.org/I1341412227“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5045630135“，”display_name“：”Eyal Yardeni“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I53964585“，”display_name“：”魏茨曼科学研究所“，”ror“：”https://ror.org/0316ej306“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I53964585“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”E.Yardeni“，”raw _ afiliation_strings“：[“以色列雷霍沃特魏兹曼科学研究院应用数学系”]，”affiliations“：[{”raw _affiliation_string“：”以色列雷霍沃特魏兹曼理工学院应用数学系https://openalex.org/I53964585“]}]}]，”countries_distinct_count“：3，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：7.609，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count）：145，”citation_normalized_percentile“：{”value“：0.953787，”is_in_top_1_perce nt“：false，”is_in_top_10_percent“：true}，”cited_by_percentile_year“：{”min“：97，”max“：98}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null'，“last_page”：null}，‘is_retracted’：false，“is_paratext”：falsehttps://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“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.9995，“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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9988，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.998，“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/unary-operation（https://openalex.org/keywords/unary-operation）“，”display_name“：”一元运算“，”score“：0.7129406}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.556095}，{”id“：”https://openalex.org/keywords/temporal-logic（https://openalex.org/keywords/temporal-logic）“，”display_name“：”时态逻辑“，”score“：0.532583}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.524803}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合“，”score“：0.520724｝，｛”id“：”https://openalex.org/keywords/谓词逻辑“，”display_name“：”谓词逻辑“，”score“：0.48736912｝，｛”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.46729496}，{”id“：”https://openalex.org/keywords/谓词“，”display_name“：”谓词（数学逻辑）“，”score“：0.4285531}，{”id“：”https://openalex.org/keywords/type-detheory（https://openalex.org/keywords/type-detheory）“，”display_name“：”类型理论“，”score“：0.41954297}，{”id“：”https://openalex.org/keywords/dependent-type“，”display_name“：”从属类型“，”score“：0.41083685}]，”concepts“：[{”id“：”https://openalex.org/C78023250，“wikidata”：https://www.wikidata.org/wiki/Q657596“，”display_name“：”一元运算“，”level“：2，”score“：0.7129406}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.61711746}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5505132}，{”id“：”https://openalex.org/C19689857，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”谓词逻辑“，”level“：3，”score“：0.48736912｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.48572594}，{”id“：”https://openalex.org/C198370458，“wikidata”：https://www.wikidata.org/wiki/Q586459“，”display_name“：”类型推断“，”level“：3，”score“：0.46729496}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.43876547}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858网址“，”display_name“：”Type（biology）“，”level“：2，”score“：0.43729967}，{”id“：”https://openalex.org/C140146324，“wikidata”：https://www.wikidata.org/wiki/Q1144319“，”display_name“：”谓词（数学逻辑）“，”level“：2，”score“：0.4285531}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.41954297}，{”id“：”https://openalex.org/C20528804，“wikidata”：https://www.wikidata.org/wiki/Q997433“，”display_name“：”从属类型“，”level“：3，”score“：0.41083685}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推断“，”级别“：2，”分数“：0.30530298}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.29955885}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.29525214}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2697789}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.26556882}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.18334132}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”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.109/lics.1991.151654“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：22，“referrenced_works”：[”https://openalex.org/W1493841763","https://openalex.org/W1522278016","https://openalex.org/W16194962","https://openalex.org/W163005890","https://openalex.org/W171682210","https://openalex.org/W1978405212","https://openalex.org/W2019789808","https://openalex.org/W2038037493","https://openalex.org/W2053733035","https://openalex.org/W2054801208","https://openalex.org/W2058419440","https://openalex.org/W2076696436","https://openalex.org/W2109342177","https://openalex.org/W2115587183","https://openalex.org/W2162583406","https://openalex.org/W2172633566","https://openalex.org/W4206370914","https://openalex.org/W4240244556","https://openalex.org/W4241108585","https://openalex.org/W611290337网址","https://openalex.org/W65123984","https://openalex.org/W99535058“]，”related_works“：[”https://openalex.org/W3130884665","https://openalex.org/W3091937109","https://openalex.org/W3084769501","https://openalex.org/W2963262080","https://openalex.org/W2949482260","https://openalex.org/W2296691843","https://openalex.org/W2264209468","https://openalex.org/W2114705282","https://openalex.org/W1917382139","https://openalex.org/W1559167525“]，”abstract_inverted_index“：{”乐观“：[0]，”type“：[1,47113116]，”systems“：[2,10,48]，”for“：[3]，”logic“：[4,26126]，”programs“：[5,27,66,76127]，”are“：[6,12105]，”considered“：[7]，”In“：+8]，”such“：[9]，”类型“：[11,30]，”保守“：[13]，”approximations“：[14]，”to“：[15,28,45,677，88107128]，“该”：[16,20,40,62,69123]，“成功”：[17]，“集合”：[18]，““：[19,25,64,74,92112125]，”程序“：[21]，”谓词。“：[22]，”The“：[23,58]，”use“：[24,63124]，”describe“：[29,68]，”is“：[31,34,50,60,77,81,85120]，”proposed。“：[32]，“它”：[33]，“争论”：[35]，“那”：[36,83]，“这个”：[37]，“方法”：[38]，“统一”：[39]，“指称”：[41]，“和”：[42,49,52,79,99115]，“操作”：[43]，“途径”：[44]，“描述性”：[46]，“简单”：[51]，“更多”：[53]，“自然”：[54]，“比”：[55]，“以前的”：[56]，“手段”●●●●。“：[57]，”焦点“：[59]，”on“：[61]，”一元谓词“：[65,75]，”类型。“：[70,93]，”A“：[71]，”适当“：[72]，”类“：[73]，”已识别“：[78]，”it“：[80,84]，”显示“：[82]，”昂贵“：[86]，”足够“：[87]，”明示“：[89]，”多个“：[90]，”概念“：[91]，”安“：[94]，”类比“：[95]，”with“：[96102]，”双向“：[97]，”自动机“：[98]，”A“：[100109]，“通信”：[101]，“交替”：[103]，“算法”：[104]，“使用”：[106]，“获取”：[108]，“复杂性”：[110]，“表征”：[111119]，“推断”：[114]，“检查”。“：[117]，”此“：[118]，”便利“：[121]，”由“：[122]，”表示“：[129]，”类型<":[130],">“：[133]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2115656500“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：2}“：2012，”cited_by_count“：2}]，“updated_date”：“2024-09-10T01:09:00.479306”，“创建日期”：“2016-06-24"}