{“id”：“https://openalex.org/W1979109585“，”doi“：”https://doi.org/10.1145/41625.41644“，”title“：”没有powerdomains的并发语义“，”display_name“：”没有powerdomains的并发语义“，”publication_year“：1987，”publication_date“：”1987-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1979109585“，”doi“：”https://doi.org/10.1145/41625.41644“，”mag“：”1979109585“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/41625.41644“，”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/A5037459136“，”display_name“：”Frank J.Oles“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210114115“，”display_name“：”IBM Research-Thomas J.Watson Research Center“，”ror“：”https://ror.org/0265w5591“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I1341412227","https://openalex.org/I4210114115“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”F.J.Oles“，”raw _affiliation_strings“：[“IBM托马斯·沃森研究中心数学科学部，纽约约克敦高地”]，”affiliations“：[{”raw _affiliation_string“：”IBM托马斯·J。沃森研究中心，纽约约克敦高地”，“institution_ids”：[“https://openalex.org/I4210114115“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5037459136“]，”对应的机构ID“：[”https://openalex.org/I4210114115“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：0.0，”has_fulltext“：false，”cited_by_count“：5，”引用规范化百分比“：{”value“：0.538961，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：false}，”cited_by_percentile_year“：{”min“：72，”max“：73}，“biblio”：{“volume”：null、“issue”：nul、“first_page”：null，“last_page”：null}，“is_retracted”：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“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/T10126“，”“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9933，”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.9922，“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/ibm“，”display_name“：”IBM“，”score“：0.85890496}，{”id“：”https://openalex.org/keywords/watson网站“，”display_name“：”Watson“，”score“：0.75611377}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.61712}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.53832}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.523868}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.52188}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.520971}]，”concepts“：[{”id“：”https://openalex.org/C70388272，“wikidata”：https://www.wikidata.org/wiki/Q5968558“，”display_name“：”IBM“，”level“：2，”score“：0.85890496}，{”id“：”https://openalex.org/C2776608531，“wikidata”：https://www.wikidata.org/wiki/Q12253“，”display_name“：”Watson“，”level“：2，”score“：0.75611377}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.7186771}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7113831}，{”id“：”https://openalex.org/C2778805511，“wikidata”：https://www.wikidata.org/wiki/Q1713“，”display_name“：”Citation“，”level“：2，”score“：0.70251155｝，｛”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.4734321}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.42664957}，{”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”级别“：1，”分数“：0.37574005}，{”id“：”https://openalex.org/C161191863，“wikidata”：https://www.wikidata.org/wiki/Q199655“，”display_name“：”图书馆学“，”level“：1，”score“：0.32617503}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.07104349}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C171250308，“wikidata”：https://www.wikidata.org/wiki/Q11468“，”display_name“：”Nanotechnology“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/41625.41644“，”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”：3，“referrenced_works”：[”https://openalex.org/W1539804543","https://openalex.org/W1594841668","https://openalex.org/W2129965117“]，”related_works“：[”https://openalex.org/W4281622825","https://openalex.org/W4239406214","https://openalex.org/W3174693904","https://openalex.org/W2967949125","https://openalex.org/W2902037120","https://openalex.org/W2788308474","https://openalex.org/W2244083478","https://openalex.org/W2151363515","https://openalex.org/W1986704677","https://openalex.org/W1965724121“]，”abstract_inverted_index“：{”Article“：[0]，”Free“：[1]，”Access“：[2]，”Share“：[3]，”on“：[4,54106]，”语义“：[5]，”for“：[6]，”concurrency“：[7]，”without“：[8]，”powerdomains“：[9]，”Author:“：[10]，”F.“：[11]，”J.“：%12,32]，”Oles“：[13]，”数学“：[14,27]，”科学“：[15,28]，“部门”：[16,29]，“IBM”：[17,30]，“托马斯”：[18,31]，“沃森”：[20,33]，“研究“：[21,34]，”中心“：[22,35]，”约克镇“：[23,36]，”高度“：[24,37]，”新“：[25,38125]，”纽约“：[26]，”YorkView“：[39]，”档案“：[40]，”作者“：[41]，”信息“：[42]，”&“：[43]，”声明“：[44]，”POPL“：[45]，”87:“：[46]，”诉讼“：[47]，”共“：[48,56]，“：[49107]，“14th”：[50]，“ACM”：[51]，“SIGACT-SIGPLAN”：[52]，“研讨会”：[53]，“原则”：[55]，”编程“：[57]，”languagesOctober“：[58]，”1987“：[59]，”Pages“：[60]，”211\u2013222https://doi.org/10.1145/41625.41644发布时间：01“：[61]，“十月”：[62]，“1987年出版”：[63]，“历史”：[64]，“4citation169DownloadsMetricsTotal”：[65]，“引文总数”：[66]，“下载169Last”：[67]，“12”：[68]，“最后9个月”：[69]，“6”：[70]，“周1”：[71]，“获取”：[72]，“引用”：[73,75112]，“警报新建”：[74111]，“预警”：[76]，”新增！此“：[77]，”警报“：[78103]，”已“：[79,98]，”已经“：[80,99]，”成功“：[81]，”添加了“：[82]，”和“：[83]，”将“：[84,88]，”是“：[85,89]，”发送“：[86]，”致：您“：[87]，”通知“：[90]，”无论何时“：[91]，”a“：[92124]，”记录“：[93]，”该“：[94]，”您“：/95]，”“：[96]，”选中“：[97]，”引用。到下面的“：[100]”、“管理”：[101]、“您的”：[102117]、“首选项”：[104]、“单击”：[105]、“按钮”：[108]。管理“：[109]，”我的“：[110]，”警报！请“：[113]，“日志”：[114]，“in”：[115]，“to”：[11612122]，“帐户”：[118]，“保存”：[119]，“活页夹保存”：121]，“装订创建”：[123]，“BinderNameCancelCreateExport”：[126]，“引文发布者”：[127]，“SiteeReaderPDF”：[128]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=引用：W1979109585“，”counts_by_year“：[]，”updated_date“：”2024-09-10T17:25:28.675871“，”创建日期“：”2016-06-24“}