｛“id”：“https://openalex.org/W1542457053“，”doi“：”https://doi.org/10.1007/bfb0028799“，”title“：”Logic programming and substitutions“，”display_name“：”逻辑编程和替换“，”publication_year“：2006，”publiation_date“：”2006-01-25“，”ids“：{”openalex“：”https://openalex.org/W1542457053“，”doi“：”https://doi.org/10.1007/bfb0028799“，”mag“：”1542457053“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/bfb0028799“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031965“，”host_organization_name“：”施普林格自然“，”host_organization_lineage“：[”https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，“indexed_in”：[”crossref“]，空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5016748313“，”display_name“：”Gudmund Skovbjerg Frandsen“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I204337017“，”display_name“：”奥胡斯大学“，”ror“：”https://ror.org/01aj84f44“，”country_code“：”DK“，”type“：“教育”，”世系“：[”https://openalex.org/I204337017“]｝]，”国家“：[”丹麦“]，”is_correresponsing“：true，”raw_author_name“：”古德蒙德·弗兰森“，”raw_affiation_strings“：[”奥胡斯大学“]，”附属机构“：[｛”raw_affiation_string“：”奥胡斯大学“，”institution_ids“：[”https://openalex.org/I204337017“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5016748313“]，”对应的机构ID“：[”https://openalex.org/I204337017“]，”apc_list“：null，”apc _ paid“：null，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：3，”citecd_by_percentile_year“：{”min“：75，”max“：77}，”biblio“：{“volume”：null、“issue”：null、“first_page”：“146”、“last_page”：“158”}、“is_retracted”：false、“is_paratext”：false、“primary_topic”：{“id”：https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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.9997，”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.9992，”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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9987，”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/constraint-logic-programming（https://openalex.org/keywords/constraint-logic-programming）“，”display_name“：”约束逻辑编程“，”score“：0.741011}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.701386}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.684029}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.664761}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.646657}]，”concepts“：[{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6088555}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.59169513}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/bfb0028799“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031965“，”host_organization_name“：”施普林格自然“，”host_organization_lineage“：[”https://openalex.org/P431031965“]，”“host_organization_lineage_names”：[“Springer Nature”]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：【】，“dataset”：【]，“versions”：【版本】，“referenced_works_count”：【”https://openalex.org/W1541434994","https://openalex.org/W1544564247","https://openalex.org/W1857063282","https://openalex.org/W2143382644“]，”related_works“：[”https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W1596801655“]，”ngrams_url“：”https://api.openalex.org/works/W1542457053/ngrams“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1542457053“，”counts_by_year“：[]，”updated_date“：”2024-06-19T20:21:11.239875“，”创建日期“：”2016-06-24“}