{“id”：“https://openalex.org/W1710237860“，”doi“：”https://doi.org/10.1007/bfb0026834“，”title“：“约束逻辑程序的数据流语义”，”display_name“：”约束逻辑程序数据流语义“，”publication_year“：1995，”publiation_date“：”1995-01-01“，”ids“：{”openalex“：”https://openalex.org/W1710237860“，”doi“：”https://doi.org/10.1007/bfb0026834“，”mag“：”1710237860“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/bfb0026834“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/84493/1/84493_aut.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5081720287“，”display_name“：”Livio Colussi“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210157811“，”display_name“：”Matematica Pura ed Applicata的Ricerca中心“，”ror“：”https://ror.org/04fv5g904“，”country_code“：“IT”，”type“：”非营利性“，”世袭“：[”https://openalex.org/I4210157811“]｝]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Livio Colussi“，”raw_affiation_strings“：[”纯粹与应用数学系，Via Belzoni 7，35131，Padova，意大利“]，”附属机构“：[{”raw_affiation_string“：”纯粹与应用数学系，Via Belzoni 7，35131，Padova，意大利“，”机构“：[”https://openalex.org/I4210157811“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A50899998437“，”display_name“：”Elena Marchiori“，”orcid“：”https://orcid.org/0000-0002-5006-4112}，“机构”：[{“id”：https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]｝]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Elena Marchiori“，”raw_affiation_strings“：[”CWI，邮政信箱940791090，GB Amsterdam，The Netherlands“]，”附属机构“：[{”raw_affiation_string“：”CWI，邮政信箱940791090，GB Amsterdam，The Netherlands“，”institution_ids“：[”https://openalex.org/I1341640284“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5048136336“，”display_name“：”Massimo Marchiori“，”orcid“：”https://orcid.org/0000-0002-4107-4132}，“机构”：[{“id”：https://openalex.org/I4210157811“，”display_name“：”Matematica Pura ed Applicata的Ricerca中心“，”ror“：”https://ror.org/04fv5g904“，”country_code“：“IT”，”type“：”非营利性“，”世袭“：[”https://openalex.org/I4210157811“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Massimo Marchiori“，”raw _affiliation_strings“：[“意大利帕多瓦，Via Belzoni 7，35131，Pure and Applied Mathematics，”]，“affiliations”：[{“raw_affiliation _string”：“意大利帕多瓦，Via Belzoni 7，3531，Pure和应用数学系”，“institution_ids”：[”https://openalex.org/I4210157811“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.574，“has_fulltext”：true，“fulltext_o”rigin“：”ngrams“，”cited_by_count“：5，”引用_规范化_percentile“：{”value“：0.510576，”is_in_top_1_percent“：false，”is_in_top_10_percents“：false}，”cited_by_percentile_year“：{“min”：71，“max”：72}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“431”，“last_page”：“448”}，‘is_retracted’：false、“is_paratext”：false；“primary_topic”：{“id”：“https://openalex.org/T10126“，”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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10126“，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9993，“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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9938，”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/keywords/datalog“，”display_name“：”Datalog“，”score“：0.54550916}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.51465}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.501602}，{”id“：”https://openalex.org/keywords/dataflow-architecture网站“，”display_name“：”数据流体系结构“，”score“：0.4868683}]，”concepts“：[{”id“：”https://openalex.org/C96324660，“wikidata”：https://www.wikidata.org/wiki/Q205446“，”display_name“：”Dataflow“，”level“：2，”score“：0.8881897}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.77362263}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6015636}，{”id“：”https://openalex.org/C176783269，“wikidata”：https://www.wikidata.org/wiki/Q5164378“，”display_name“：”约束逻辑编程“，”level“：4，”score“：0.5534256}，{”id“：”https://openalex.org/C148230440，“wikidata”：https://www.wikidata.org/wiki/Q1172264“，”display_name“：”Datalog“，”level“：2，”score“：0.54550916}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.50991786}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5051623}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.49552882}，{”id“：”https://openalex.org/C176727019，“wikidata”：https://www.wikidata.org/wiki/Q1172415“，”display_name“：”数据流体系结构“，”level“：3，”score“：0.4868683}，{”id“：”https://openalex.org/C132525143，“wikidata”：https://www.wikidata.org/wiki/Q141488“，”display_name“：”Graph“，”level“：2，”score“：0.47407952}，{”id“：”https://openalex.org/C118930307，“wikidata”：https://www.wikidata.org/wiki/Q600590“，”display_name“：”Tuple“，”level“：2，”score“：0.45868185}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.44219965}，{”id“：”https://openalex.org/C81721847，“wikidata”：https://www.wikidata.org/wiki/Q163468“，”display_name“：”Prolog“，”level“：2，”score“：0.42432627}，{”id“：”https://openalex.org/C44616089，“wikidata”：https://www.wikidata.org/wiki/Q30158686“，”display_name“：”约束满足“，”level“：3，”score“：0.40561035}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.24465525}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.17057705}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/bfb0026834“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/2066/84493，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/84493/1/84493_aut.pdf，“源”：{“id”：https://openalex.org/S4306401067“，”display_name“：”Radboud Repository（Radboud-University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I145872427“，”“host_organization_name”：“奈梅亨Radboud大学”，“host_organization_lineage”：[“https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://repository.ubn.ru.nl/bitstream/handle/2066/84493/84493_aut.pdf，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/84493/84493_aut.pdf，“源”：{“id”：https://openalex.org/S4306401067“，”display_name“：”Radboud Repository（Radboud-University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I145872427“，”“host_organization_name”：“奈梅亨Radboud大学”，“host_organization_lineage”：[“https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/2066/84493，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/84493/1/884493_aut.pdf，“源”：{“id”：https://openalex.org/S4306401067“，”display_name“：”Radboud Repository（Radboud-University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I145872427“，”“host_organization_name”：“奈梅亨Radboud大学”，“host_organization_lineage”：[“https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]https://openalex.org/W1486991840","https://openalex.org/W1506931111","https://openalex.org/W1535051828","https://openalex.org/W1980296126","https://openalex.org/W2041937391","https://openalex.org/W2055807110","https://openalex.org/W2060498389","https://openalex.org/W2063727779","https://openalex.org/W2073689993","https://openalex.org/W2118483018","https://openalex.org/W2123396057","https://openalex.org/W2123596219","https://openalex.org/W2176705267","https://openalex.org/W2250859116","https://openalex.org/W2404971999","https://openalex.org/W3023595663“]，”related_works“：[”https://openalex.org/W4236419692","https://openalex.org/W2783505431","https://openalex.org/W2584408851","https://openalex.org/W2564598376","https://openalex.org/W2521947294","https://openalex.org/W2115158825","https://openalex.org/W2101960124","https://openalex.org/W2096011821","https://openalex.org/W2070353846","https://openalex.org/W1484403103“]，”abstract_inverted_index“：{”This“：[0]，”paper“：[1]，”introduces“：[2]，”an“：[3,27,77]，”alternative“：[4]，”operational“：[5]，”model“：[6116]，”for“：[7,62117144]，”constraint“：[8145]，”logic“：[9146]，”programs“：[10147]，”First，“：[11]，”a“：[12,34,40,43,85113]，”transition“：[13]，”system“：[14]，“是”：[15,18,32,37,52,81109133]，“引入”，“：[16]，”which“：[17,83]，”used“：[19110134]，”to“：[20,39111124135]，”define“：[21112]，”trace“：[23]，”semantics“：[24,30,79]，”T.“：[25]，”Next“：[26]，”equivalent“：[28]，”fixpoint“：[29,56]，”F“：[31,72100]，”dimended：“：[33]，”dataflow“：[35,67,95]，”graph“：[36]，”assigned“：[38123]，”program，“：[41]，”和“：[42,73]，”结果“：[44]，”运算符“：[45]，”on“：[46120]，”元组“：[47]，”of“：[48,50,60,65,88,93,99127141]，”set“：[49]，”constraints“：[51,61,89]，”givend“：[53,86]，”which“：[54]，”least“：[55]，”determines“：[57]，”one“：[58]，”set“：[59,87]，”each“：[63]，”node“：[64]，”the“：[66,91,94125128137]，”graph。“：[68,96130]，”To“：[69]，”prove“：[70]，”that“：[71]，”T“：[74]，”are“：%75103]，”equivalent“，”：[76]，”intermediate“：[78]，”O“：[80132]，”used“，”:[82]，”populations“：[84]，”thorough“：[90]，”paths“：/92]，”Possible“：[97]，”applications“：[98]，”（and“：[101]，”O）“：[102]，”discusseed:“：”[104]，“in”：[105]，“specific”：[106]，“its”：[107]，“incrementality”：[108]，“parallel”：[114]，“执行“：[115]，”clp's“：[118]，”based“：[119]，”异步“：[121]，”处理器“：[122]，”节点“：[126]，”程序“：[129]，”此外，“：[131]，”形式化“：[136]，”间歇“：[138]，”断言“：[139]，”方法“：[140]，”布尔斯托尔“：[142]，”[Bur74]“：[143]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W1710237860“，”counts_by_year“：[]，”updated_date“：”2024-09-17T14:36:28.908458“，”创建日期“：”2016-06-24“}