{“id”：“https://openalex.org/W2162883550“，”doi“：”https://doi.org/10.1007/978-3-642-60085-2_4“，”title“：“公式作为程序”，”display_name“：”公式作为程序“，”publication_year“：1999，”publiation_date“：”1999-01-01“，”ids“：{”openalex“：”https://openalex.org/W2162883550“，”doi“：”https://doi.org/10.1007/978-3-642-60085-2_4“，”mag“：”2162883550“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-60085-2_4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210212235“，”display_name“：”人工智能“，”issn_l“：”1431-0066“，”isn“：[”1431-066“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431031965“，”host_organization_name“：”施普林格自然“，”host_organization_lineage“：[”https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“book-series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，“indexed_in”：[”crossref“]，，“any_repository_has_fulltext”：假}，“authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5042418599“，”display_name“：”Krzysztof R.Apt“，”orcid“：”https://orcid.org/0000-0002-1332-4229}，“机构”：[{“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“：”Krzysztof R.Apt“，”raw _ afiliation_strings“：[“CWI，阿姆斯特丹，荷兰”]，”affiliations“：[{”raw _affiliation_string“：”CWI，Amsterdam，荷兰”，“institution_ids”：[“https://openalex.org/I1341640284“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5008923958“，”display_name“：”Marc Bezem“，”orcid“：”https://orcid.org/0000-0002-7320-1976}，“机构”：[{“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“：”Marc Bezem“，”raw _ affiliation_strings“：[“CWI，阿姆斯特丹，荷兰”]，”affiliation“：[{”raw _affiliation_string“：”CWI，Amsterdam，荷兰”，“institution_ids”：[“https://openalex.org/I1341640284“]}]}]，”institution_assertions“：[]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]、”correspounding_institution_ids“：[]，”apc_list“：null，”apc _payed“：nul，”fwci“：1.325，”has_fulltext“：false，”cited_by_count：4，”citation_normalized_percentile“：{”value“：0.60086，”is_in_top_1_percent“：false，“is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：70，”max“：72}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“75”，“last_page”：“107”}，《is_retracted》：false，“is_paratext”：false、“primary_topic”：{“id”：“https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9999，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9999，”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.9991，“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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9957，”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/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.534945}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.519396｝，｛”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.505054}，{”id“：”https://openalex.org/keywords/constructional网站“，”display_name“：”Constructive“，”score“：0.4229268}，{”id“：”https://openalex.org/keywords/satisfiability网站“，”display_name“：”可满足性“，”score“：0.41333678}]，”concepts“：[{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.7239543}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.68105304}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6426204}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.6098067}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”解释（哲学）“，”级别“：2，”分数“：0.5973384}，{”id“：”https://openalex.org/C2780654840，“wikidata”：https://www.wikidata.org/wiki/Q333341“，”display_name“：”抽象解释“，”level“：2，”score“：0.5174763}，{”id“：”https://openalex.org/C173404611，“wikidata”：https://www.wikidata.org/wiki/Q528588“，”display_name“：”约束编程“，”level“：3，”score“：0.5156635}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.5055077}，{”id“：”https://openalex.org/C50033165，“wikidata”：https://www.wikidata.org/wiki/Q15712089“，”display_name“：”归纳编程“，”level“：3，”score“：0.44882283}，{”id“：”https://openalex.org/C176783269，“wikidata”：https://www.wikidata.org/wiki/Q5164378“，”display_name“：”约束逻辑编程“，”level“：4，”score“：0.44791424}，{”id“：”https://openalex.org/C204306468，“wikidata”：https://www.wikidata.org/wiki/Q5159106“，”display_name“：”并发约束逻辑编程“，”level“：5，”score“：0.43091124}，{”id“：”https://openalex.org/C2778701210，“wikidata”：https://www.wikidata.org/wiki/Q28130034“，”display_name“：”Constructive“，”level“：3，”score“：0.4229268}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.41333678}，{”id“：”https://openalex.org/C96315309，“wikidata”：https://www.wikidata.org/wiki/Q5508829“，”display_name“：”函数逻辑编程“，”level“：4，”score“：0.3839681}，{”id“：”https://openalex.org/C44616089，“wikidata”：https://www.wikidata.org/wiki/Q30158686“，”display_name“：”约束满意度“，”level“：3，”score“：0.38293707｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3728702}，{”id“：”https://openalex.org/C34165917，“wikidata”：https://www.wikidata.org/wiki/Q188267网址“，”display_name“：”编程范例“，”level“：2，”score“：0.36764646}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.33139926}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.12430036}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.11945656}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.11237621}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C137631369，“wikidata”：https://www.wikidata.org/wiki/Q7617831“，”display_name“：”随机编程“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-60085-2_4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210212235“，”display_name“：”人工智能“，”issn_l“：”1431-0066“，”isn“：[”1431-066“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431031965“，”host_organization_name“：”施普林格自然“，”host_organization_lineage“：[”https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“book series”}，“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”：24，“referrenced_works”：https://openalex.org/W1505787149","https://openalex.org/W1541434994","https://openalex.org/W1565768794","https://openalex.org/W1578088218","https://openalex.org/W1582159526","https://openalex.org/W1766332311","https://openalex.org/W1814221162","https://openalex.org/W1968265180","https://openalex.org/W1985819576","https://openalex.org/W2009286786","https://openalex.org/W2024253113","https://openalex.org/W2060498389","https://openalex.org/W2071089353","https://openalex.org/W2097366413","https://openalex.org/W2123396057","https://openalex.org/W2140857706","https://openalex.org/W2159475271","https://openalex.org/W2180424213","https://openalex.org/W2501430986","https://openalex.org/W2977904728","https://openalex.org/W4206370914","https://openalex.org/W4233424316","https://openalex.org/W4299402061","https://openalex.org/W626531241“]，”related_works“：[”https://openalex.org/W9461901","https://openalex.org/W316728381","https://openalex.org/W2611103758","https://openalex.org/W2545526816","https://openalex.org/W1840715060","https://openalex.org/W1589232796","https://openalex.org/W1584569710","https://openalex.org/W1517880980","https://openalex.org/W1508237628","https://openalex.org/W1482866585“]，”abstract_inverted_index“：{”SummaryWe“：[0]，”provide“：[1]，”here“：[2111]，”a“：[3,11,17,73,84]，”计算“：[4]，”解释“：[5,13]，”of“：[6,14,43,57,75104122]，”一阶“：[7]，”逻辑“：[8,62,66107]，”基于“：[9]，”on“：[10]，”构造“：[12]，”可满足性“：[15]，”w.r.t.：[16]，“固定”：[18]，“但是”：[19,68]，“任意”：[20]，“解释。“：[21]，”In“：[22]，”this“：[23]，”approach“：/24,38,86]，”the“：[25,33,41,44,94102120]，”formulas“：/26,35,45]，”self“：[27]，”axe“：[28]，”programs“。“：[29,54]，”This“：[30,55]，”contrasts“：[31]，”with“：[32]，”所谓的“：[34]，”as“：[36,53,78]，”types“：[37]，”in“：[39,72,93]，”which“：[40]，”proof“：[42]，”are“：%46]，”键入“：[47]，”terms“：[48]，”that“：[49,89100126]，”can“：[50113]，”be“：[51115]，”take“：[52]，“视图”：[56]，“计算”：[58]，“是”：[59,80]，“灵感”：[60]，“由”：[61]，“编程”：[63,67,88,96]，“和“：[64106]，”约束“：[65]，”不同“：[69]，”来自“：[70]，”他们“：[71]，”数字“：[74]，”关键“：[76]，”方面。公式“：[77]，”程序“：[79125]，”争论“：[81]，”to“：[82,87117]，”yield“：[83]，”realitical“：[85]，”has“：[90]，”been“：[91]，”alized“：[92]，”implemented“：[95]，”language“：[97]，”Alma-0“：98124]，”[ABPS98]“：[99]，”combines“：[101]，”advantages“：[103]，”commerve“：[105]，”programming。“：[108]，”The“：[109]，”work“：[110]，”reported“：[112]，”alsor“：[114]，”used“：116]，”reason“：[118]，”about“：[119]，”correction“：[121]，”non-recursive“：[123]，”do“：/127]，”not“：%128]，”include“：[129]，”destructivery“：[130]，”assignment“。“：[131]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2162883550“，”counts_by_year“：[]，”updated_date“：”2024-09-14T18:00:45.308474“，”创建日期“：”2016-06-24“}