{“id”：“https://openalex.org/W2035306406“，”doi“：”https://doi.org/10.1016/0304-3975（86）90172-6“，”title“：”确定性和非确定性程序的关系代数语义“，”display_name“：”确定性和非确定性程序的关系数学语义“，“publication_year”：1986，“publitation_date”：“1986-01-01”，“ids”：{“openalex”：“https://openalex.org/W2035306406“，”doi“：”https://doi.org/10.1016/0304-3975（86）90172-6“，”mag“：”2035306406“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90172-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，pository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5042138172“，”display_name“：”Rudolf Berghammer“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I62916508“，”display_name“：”慕尼黑工业大学“，”ror“：”https://ror.org/02kkvpp62“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I62916508“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”R.Berghammer“，”raw _affiliation_strings“：[“Institute f \u00fcr Informatik，Technische University \u00e4t M\u00fc nchen，D-8000 M\u00 fcnchen 2，Fed.Rep.Germany”]}，{“author_position”：“last”，“author”：{“id”：”https://openalex.org/A5089478833“，”display_name“：”Hans Zierer“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I62916508“，”display_name“：”慕尼黑工业大学“，”ror“：”https://ror.org/02kkvpp62“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I62916508“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”H.Zierer“，”raw _affiliation_strings“：[“Institute f\u00fcr Informatik，Technische University \u00e4t M\u00fc nchen，D-8000 M\u00 fcnchen 2，Fed.Rep.Germany”]}]、“countries_distiction_count”：1、“institutions_distriction_counts”：1，“corresponding_author_ids”：[]，“correcondition”ng机构ID“：[]，“apc_list”：{“value”：2690，“currency”：“USD”，“value_USD”：2680，“provenance”：“doaj”}，“apc _ paid”：{“value“：2690”，“curency”：“US”，“value_USD“：2690,provenance“：”doaj“}，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：94，”citected_by_percentile_year“：{”min“：97，“max”：98}，“biblio”：{“volume”：“43”，“issue”：null，“first_page”：“123”，“last_page”：”147“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9994，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9971，“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（https://openalex.org/keywords/programming-language-semantics）“，”display_name“：”编程语言语义“，”score“：0.578877}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.541454}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.520449}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.511953}]，”concepts“：[{”id“：”https://openalex.org/C176181172，“wikidata”：https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.9049102}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.70276856}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.59545326}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.58498675}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5746647}，{”id“：”https://openalex.org/C2779729104，“wikidata”：https://www.wikidata.org/wiki/Q472013“，”display_name“：”代数语义“，”level“：3，”score“：0.5612707}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”level“：2，”score“：0.53669256｝，｛”id“：”https://openalex.org/C2778361913，“wikidata”：https://www.wikidata.org/wiki/Q7248437“，”display_name“：”程序转换“，”level“：2，”score“：0.48349717}，{”id“：”https://openalex.org/C2777691520，“wikidata”：https://www.wikidata.org/wiki/Q4724019“，”display_name“：”代数规范“，”level“：3，”score“：0.46233863}，{”id“：”https://openalex.org/C29585364，“wikidata”：https://www.wikidata.org/wiki/Q1079166“，”display_name“：”领域理论“，”level“：2，”score“：0.4577417}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.44727072}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.4394652}，{”id“：”https://openalex.org/C87365073，“wikidata”：https://www.wikidata.org/wiki/Q7051843“，”display_name“：”评估归一化“，”level“：5，”score“：0.41795805}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36503237}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.3567751}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3519281}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.33211917}，{”id“：”https://openalex.org/C201677973，“wikidata”：https://www.wikidata.org/wiki/Q1209840“，”“display_name”“：”规范语言“，”级别“：2，”分数“：0.17831737}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.10937998}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90172-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：13，“referrenced_works”：https://openalex.org/W109993195","https://openalex.org/W1996648065","https://openalex.org/W2006006495","https://openalex.org/W2015477722","https://openalex.org/W2046213250","https://openalex.org/W2071945201","https://openalex.org/W2081706307","https://openalex.org/W2172307690","https://openalex.org/W2498187449","https://openalex.org/W4214608294","https://openalex.org/W4255229918","https://openalex.org/W4296415990","https://openalex.org/W4299674238“]，”related_works“：[”https://openalex.org/W50657916","https://openalex.org/W4234105222","https://openalex.org/W3036972880","https://openalex.org/W2604377475","https://openalex.org/W2119042663","https://openalex.org/W2110748634","https://openalex.org/W2032453924","https://openalex.org/W1628367963","https://openalex.org/W1584038246","https://openalex.org/W1575848714“]，”ngrams_url“：”https://api.openalex.org/works/W2035306406/ngrams“，”“abstract_inverted_index”：{“abstract”：[0]，“relational”：[1,82137]，“algebration”：[2]，“is”：[3,57128]，“proposed”：[4]，“as”：[5]，“a”：[6,25,45,60,81]，“practical”：[7]，“means”：“：[8]，“to”：[9,24,59,67150]，“describe”：[10]，“the”：[11,30,42,5312133152]，“dentational”：[12]，“semantical”84,93]，“的”：[14,21,32,44,71,88119143154]，“编程”：[15]，“语言。“：[16]，“We”：[17,79]，“apply”：[18]，“this”：[19,33]，“method”：[20]，“description”：[23142]，“functional”：[26,62]，“language”：[27,55,63]，“and”：[28,76124145157]，“demonstrave”：[29]，“usibility”：[31]，“proach”：[34]，“by”：[35,97106160]，“some”：[36]，“examples”。“：[37]，”In“：[38]，”specific“：[39]，”we“：[0131]，”prove“：[41151]，”correctivity“：[43]，”program“：[46]，”transformation“：[47]，”rule“：[48]，”within“：[49]，”ours“：[50]，”calculation“。“：[51]，”Then，“Then，”：[52]，“deterministic”：[54156]，“DFP”：[56]，“extended”：[58]，“nondeterministic”：[61158]，“NFP”：【64】，“in”：【65】，“order”：【66】，“investive”：【68】，“three”：【69，91，99108】，“种类”：【70118】，“nonderministic，”：【72】，“即”：【73】，“erratic”，“：【74】，“angelic”：【75】，“恶魔”：[77]，“不确定性”。“：[78,89]，”提供“：[80]，”代数“：[83138]，”对于“：[85]，”每个“：[86]，”种类“：[87]，”这些“：[90]，”不同“：[92100109]，”是“：[94121]，”不是“：[95]，”获得“：[96]，”使用“：[98107]，”排序“：[101]，”on“：[102111]，”特定“：[103]，”域“：[104]，”但是“：[105]，”解释“：[110]，“相同”：[113]，“有序”：[114]，“域”。“：[115]，”The“：[116140]，”alternative“：[117]，”nondetermism“：[120]，”then“：[122]，”compared“：[123]，”an“：[125]，”illustrative“:[126]，”example“：[127]，”given。“：[129]，“Finally，”：[130]，“characterize”：[132]，“natural”：[134]，“numbers”：[135]，“with”：[136]，“意思是。“：[139]，“统一”：[141]，“域”：[144]，“程序”：[146159]，“制造”：[147]，“它”：[148]，“可能”：[149]，“终止”：[153]，“\u2018concrete\u2019”：[155]，“归纳。“：[161]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2035306406“，”“counts_by_year”：[{“年份”：2021，”“cited_by_count”：5}，{“年”：2020，”“引用的_by_cunt”：3}，}“年度”：2019，”“引的_by_count”“：1}，”“年份”“：2016，”“引述的_by-count”“:1}，：2012，“cited_by_count”：3}]，“updated_date”：“2024-05-12T05:03:16.626527”，“创建日期”：“2016-06-24"}