{“id”：“https://openalex.org/W2150792682“，”doi“：”https://doi.org/10.109/lics.1991.151663“，”title“：”动态过程创建的组合证明系统“，”display_name“：”用于动态过程创建组合证明系统”，“publication_year”：2002，“publiation_date”：“2002-12-10”，“ids”：{“openalex”：“https://openalex.org/W2150792682“，”doi“：”https://doi.org/10.109/lics.1991.151663“，”mag“：”2150792682“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151663“，”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/A5001393395“，”display_name“：”FS de Boer“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”F.de Boer“，”raw _affiliation_strings“：[“荷兰埃因霍温技术大学”]，“附属机构”：[{”raw _affiliation_string“：”荷兰埃因多芬技术大学”，“institution_ids”：[”https://openalex.org/I83019370“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5001393395“]，”对应的机构ID“：[”https://openalex.org/I83019370“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：7，”citation_normalized_percentile“：{”value“：0.292143，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：false}，”cited_by_percentile_year“：{”min“：77，”max“：78}，“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.9939，“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.9939，“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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9935，“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.993，“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/soundness网站“，”display_name“：”声音“，”分数“：0.7888608}，{”id“：”https://openalex.org/keywords/assertion网站“，”display_name“：”断言“，”分数“：0.72110784}，{”id“：”https://openalex.org/keywords/abstraction网站“，”display_name“：”抽象“，”分数“：0.6713925}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.544641}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.544323}，{”id“：”https://openalex.org/keywords/formal-methods网站“，”display_name“：”形式方法“，”score“：0.536169}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.515078}，{”id“：”https://openalex.org/关键字/完整性“，”display_name“：”完备性（序理论）“，”score“：0.48138288}，{”id“：”https://openalex.org/keywords/interface网站“，”display_name“：”接口（物质）“，”score“：0.44764635}，{”id“：”https://openalex.org/keywords/proof-of-concept“，”display_name“：”概念证明“，”score“：0.42256212}]，”concepts“：[{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”Soundness“，”level“：2，”score“：0.7888608｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.73398066}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.72754806}，{”id“：”https://openalex.org/C40422974，“wikidata”：https://www.wikidata.org/wiki/Q741248“，”display_name“：”断言“，”级别“：2，”分数“：0.72110784}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.6713925}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.5311951}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.48138288}，{”id“：”https://openalex.org/C113843644，“wikidata”：https://www.wikidata.org/wiki/Q901882“，”display_name“：”Interface（matter）“，”level“：4，”score“：0.44764635｝，｛”id“：”https://openalex.org/C2318724，“wikidata”：https://www.wikidata.org/wiki/Q852732网址“，”display_name“：”证明理论“，”level“：3，”score“：0.4237002}，{”id“：”https://openalex.org/C124978682，“wikidata”：https://www.wikidata.org/wiki/Q1201019“，”display_name“：”概念证明“，”level“：2，”score“：0.42256212}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.27367318}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.13686967}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.070563585}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C157915830，“wikidata”：https://www.wikidata.org/wiki/Q2928001“，”display_name“：”气泡“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C129307140，“wikidata”：https://www.wikidata.org/wiki/Q6795880“，”display_name“：”最大气泡压力法“，”level“：3，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151663“，”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”：6，“referrenced_works”：[”https://openalex.org/W1534571087","https://openalex.org/W1573218854","https://openalex.org/W1984831616","https://openalex.org/W2032265482","https://openalex.org/W2161825580","https://openalex.org/W221670187“]，”related_works“：[”https://openalex.org/W958050847","https://openalex.org/W56937029","https://openalex.org/W4250462479","https://openalex.org/W3163509751","https://openalex.org/W2396405675","https://openalex.org/W1994524667","https://openalex.org/W175051304","https://openalex.org/W1549730417","https://openalex.org/W1548499332","https://openalex.org/W13634261“]，”abstract_inverted_index“：{”A“：[0]，”compositional“：[1]，”proof“：[2,46,89]，”systems“：[3]，”for“：[4]，”A“：[5,19,37]，”parallel“：[6]，”language“：[7]，”P“：[8]，”with“：[9,42]，”dynamic“：[10,20]，”process“：[11]，”creation“：[12]，”is“：[13,16,58,73,91]，”presented.“：[14]，“It”：[15]，“shown”：[17]，“how”：[18]，“system”：[21,47,90]，“of”：[22,29,31,39,65]，“进程“：[23,34]，”can“：[24]，”be“：[25]，”descripted“：[26,92]，”in“：[27]，”terms“：[28]，”specifications“：[30]，”the“：[32,43,66,79,83]，”local“：[33,80]，”which“：[35]，”inverage“：[36]，”characterization“：[38]，”their“：[40]，”interface“：[41]，”environment。“：[44]，”The“：[45，69，88]，”形式化“：[48]，”推理“：[49]，”关于“：[50]，”这些“：[51]，”接口“：[52]，”on“：[53]，”an“：[54]，”抽象“：[55]，”level“：[56]，”that“：[57，64]，”at“：[59]，”least“：[60]，”as“：[61，63]，”high“：[62]，”programming“：[67，70]，”language。“：[68]，”language“：[71]，”P“：[72]，”descripted，“：[74]，”and“：[75,82,93,96]，”two“：[76]，”assertion“：[77]，“languages，”：[78]，”one“：[81]，”global“：[84]，”one“：[85]，”are“：+86,98]，”defined。“：[87]，”its“：[94]，”稳健性“：[95]，”完整性“：/97]，”讨论<":[99],">“：[102]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2150792682“，”counts_by_year“：[{”年“：2019，”cited_by_count“：2}]，”更新日期“：”2024-09-17T13:58:24.078383“，”创建日期“：“2016-06-24”}