{“id”：“https://openalex.org/W2473121264“，”doi“：”https://doi.org/10.1007/3-540-55460-2_13“，”title“：”Prolog semantics for measurement space consumption“，”display_name“：”测量空间消耗的Prolog语义“，”publication_year“：1992，”publiation_date“：”1992-01-01“，”ids“：{”openalex“：”https://openalex.org/W2473121264“，”doi“：”https://doi.org/10.1007/3-540-5456-02-13“，”mag“：”247312164“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-55460-2_13“，”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，”host_organization“：”https://openalex.org/P4310318900“，”host_organization_name“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P431031965","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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5017931042“，”display_name“：”Alexander Dikovsky“，”orcid“：”https://orcid.org/0000-0003-0990-5095“}，”机构“：[]，”国家“：[”RU“]，”is_corresponding“：true，”raw_author_name“：”A.Ja。Dikovsky“，”raw_affiliation_strings“：[”应用数学研究所，Miusskaja sq.，4，SU 125047，Moscow，USSR“]}]，”countries_distiction_count“：1，”institutions_disticent_count”：0，“corresponding_author_ids”：[“https://openalex.org/A5017931042“]，”corresponding_institution_ids“：[]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{”value”：5000，“currency:”EUR}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“177”，“last_page“：”192“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9989，“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.9989，“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/T10715“，”display_name“：”分布式网格计算系统“，”score“：0.9915，”subfield“：{”id“：”https://openalex.org/subfields/1705“，”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.9913，”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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.554181}]，”concepts“：[{”id“：”https://openalex.org/C81721847，“wikidata”：https://www.wikidata.org/wiki/Q163468“，”display_name“：”Prolog“，”level“：2，”score“：0.9446442}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.71893615}，{”id“：”https://openalex.org/C74193536，“wikidata”：https://www.wikidata.org/wiki/Q574844（网址：https://www.wikidata.org/wiki/Q574844）“，”display_name“：”内核（代数）“，”level“：2，”score“：0.6357217}，{”id“：”https://openalex.org/C168773036，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.6255498}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.58377767}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.522236}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.4947583}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4416107}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.20687184}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.11856225}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-5456-02-13“，”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，”host_organization“：”https://openalex.org/P4310318900“，”host_organization_name“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P431031965","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}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“id”：”https://metadata.un.org/sdg/7“，”display_name“：”负担得起的清洁能源“，”score“：0.61}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：6，”referrenced_works“：[”https://openalex.org/W1535051828","https://openalex.org/W1975681120","https://openalex.org/W1975813326","https://openalex.org/W1983305931","https://openalex.org/W2126271377","https://openalex.org/W4206370914“]，”related_works“：[”https://openalex.org/W3042312155","https://openalex.org/W3021003119","https://openalex.org/W3007870257","https://openalex.org/W2910115471","https://openalex.org/W2610513781","https://openalex.org/W2503735611","https://openalex.org/W2245685274","https://openalex.org/W2112801462","https://openalex.org/W1582159526","https://openalex.org/W1558467648“]，”ngrams_url“：”https://api.openalex.org/works/W2473121264/ngrams“，”“abstract_inverted_index”：{“A”：[0]，“new”：[1]，“operational”：[2]，“semantics”：[3]，“of”：[4,13,24,44,57]，“Prolog”：[5,14,27,34,41,46,53,77,99]，“is”：[6]，“invested”：%7,20]，“which”：[8]，“allows”：[9]，“measuring”：[10]，“space”：[11]，“consumption”：[12]，“programs.”：[15]，“space”：[16]，“复杂性”：[17]，“类”：[18]，“are”：[19]，“in”：[21,75,96]，“four”：[22]，“子集“：[23]，”Prolog:“：[25]，”kernel“：[26,32,45,58,76,98]，”（no“：[28]，”structures，“：[29]，”no“：[30,48]，”builtins），“：[31]，”dynamic“：[33,52,59,97]，”，“子集”：[43,56]，“with”：[47,84]，“lists）”：[49]，“and”：[50,91,93]，“corresponding”：[55]，“Prolog。“：[60]，“Main”：[61]，“results”：[62]，“show”：[63]，“that”：[64]，“functional”：[65]，“programs”：[66]，“can”：[67,78100]，“be”：[68,79101]，“reduced”：[69]，“to”：[70]，“deterministicial”：[71]，“ones”，“：[72]，“any”：[73,94]，“program”：[74,83,95]，“transformed”：[080102]，“into”：[81103]，“等价”：[82105]，“优化”：[85]，“递归”：[86]，“保证”：[87]，“常量“：[88]，”局部“：[89]，”堆栈“：[90]，”轨迹“：[92]，”an“：[104]，”纯粹“：[106]，”迭代“：[107]，”程序。“：[108]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2473121264“，”counts_by_year“：[{”年“：2017，”cited_by_count“：1}]，”更新日期“：”2024-05-16T12:52:28.754944“，”创建日期“：“2016-07-22”}