{“id”：“https://openalex.org/W2076248384“，”doi“：”https://doi.org/10.1145/41625.41630“，”title“：”并发逻辑编程语言CP:定义和操作语义“，”display_name“：”并行逻辑编程语言CP：定义和操作语义学“，”publication_year“：1987，”publiation_date“：”1987-01-01“，”ids“：{”openalex“：”https://openalex.org/W2076248384“，”doi“：”https://doi.org/10.1145/41625.41630“，”mag“：”2076248384“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/41625.41630“，”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/A5014251923“，”display_name“：”Vijay Saraswat“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210156583“，”display_name“：”巴黎诺德信息实验室“，”ror“：”https://ror.org/05g1zjw44“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245“]}，{”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”countries“：[”FR“，”US“]，”is_corresponding“：true，”raw_author_name“：”V.A.Saraswat“，”raw _ afiliation_strings“：【”卡内基梅隆大学计算机科学系“】，”affiliations“：[{”raw_ afiliation _string“：”卡内基梅隆大学计算科学系“，”institution_ids“：[“https://openalex.org/I4210156583","https://openalex.org/I74973139“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5014251923“]，”对应的机构ID“：[”https://openalex.org/I4210156583","https://openalex.org/I74973139“]，”apc_list“：null，”apc_payd“：null，”has_fulltext“：false，”cited_by_count“：26，”cited_by_percentle_year“：｛”min“：89，”max“：90｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：null，”last_page“：null｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T11010“，”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.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.9997，”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.9986，“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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.574631}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.508866}]，”concepts“：[{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.7918515}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.7715587}，{”id“：”https://openalex.org/C189790780，“wikidata”：https://www.wikidata.org/wiki/Q933932“，”display_name“：”Horn子句“，”level“：3，”score“：0.7519293}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.6553108}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.65398306}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.605178}，{”id“：”https://openalex.org/C58041814，“wikidata”：https://www.wikidata.org/wiki/Q792533“，”display_name“：”公理语义“，”level“：5，”score“：0.55714303}，{”id“：”https://openalex.org/C150607116，“wikidata”：https://www.wikidata.org/wiki/Q4677421“，”display_name“：”动作语义“，”level“：5，”score“：0.475861}，{”id“：”https://openalex.org/C146499014，“wikidata”：https://www.wikidata.org/wiki/Q5469969“，”display_name“：”形式语义（语言学）“，”level“：2，”score“：0.47107047}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.45519647}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”“display_name”“：”解释（哲学）“，”级别“：2，”分数“：0.44869283}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.43343267｝，｛”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.31147456}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.14157972}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/41625.41630“，”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”：19，“referrenced_works”：[”https://openalex.org/W108763789","https://openalex.org/W147549601","https://openalex.org/W1530974209","https://openalex.org/W1541434994","https://openalex.org/W1585399580","https://openalex.org/W158887749","https://openalex.org/W1620813057","https://openalex.org/W1811602476","https://openalex.org/W1965622519","https://openalex.org/W2003990235","https://openalex.org/W2008593634","https://openalex.org/W2038945974","https://openalex.org/W2110093720网址","https://openalex.org/W2111646587","https://openalex.org/W2143326699","https://openalex.org/W2143382644","https://openalex.org/W2147096558","https://openalex.org/W2163058466","https://openalex.org/W2912033870“]，”related_works“：[”https://openalex.org/W783270985","https://openalex.org/W2738461706","https://openalex.org/W2348616540","https://openalex.org/W2073736684","https://openalex.org/W1975908952","https://openalex.org/W1822117798","https://openalex.org/W1530733469","https://openalex.org/W1520973258","https://openalex.org/W1487472891","https://openalex.org/W1426476981“]，”ngrams_url“：”https://api.openalex.org/works/W2076248384/ngrams网站“，”abstract_inverted_index“：｛”In“：[0]，”this“：[1,39]，”paper“：[2]，”we“：[3]，”present“：[4，26]，”some“：[5]，”of“：[6，10，21，36]，”the“：[7，11，34，42]，”control“：[8]，”constructs“：[9]，”language“：[12,40]，”CP“：[13]，”which“：[14]，”is“：[15]，”based“：[16]，”on“：[17]，“a”：[18，27]，“并发”：[19]，“解释”：[20]，“喇叭”：[22，45]，“逻辑”：[23]，“编程”：[24]，“We“：[25]，“形式”：[28]，“结构”：[29]，“操作”：[30]，“语义”：[31]，“和”：[32]，“关联”：[33]，“含义”：[35]，“程序”：[37]，“in”：[38]，“to”：[41]，“底层”：[43]，“（纯）”：[44]，“子句”：[46]，“公理。“：[47]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2076248384“，”counts_by_year“：[{”年“：2016，”cited_by_count“：1}]，”更新日期“：”2024-06-17T00:35:22.794547“，”创建日期“：“2016-06-24”}