{“id”：“https://openalex.org/W2092503114“，”doi“：”https://doi.org/10.1145/224164.224181“，”title“：”逻辑编程的功能端“，”display_name“：”逻辑学编程的功能侧“，”publication_year“：1995，”publiation_date“：”1995-01-01“，”ids“：{”openalex“：”https://openalex.org/W2092503114“，”doi“：”https://doi.org/10.1145/224164.224181“，”mag“：”2092503114“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/224164.224181，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/224164.224181“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/224164.224181“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5048136336“，”display_name“：”Massimo Marchiori“，”orcid“：”https://orcid.org/0000-0002-4107-4132}，“机构”：[{“id”：https://openalex.org/I138689650“，”display_name“：”帕多瓦大学“，”ror“：”https://ror.org/00240q980“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I138689650“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Massimo Marchiori“，”raw _affiliation_strings“：[“帕多瓦大学纯粹与应用数学系，意大利帕多瓦Via Belzoni 7，35131”]，”affiliations“：”帕多瓦大学纯粹与应用数学系，意大利帕多瓦Via Belzoni 7，35131“，“institution_ids”：[“https://openalex.org/I138689650“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5048136336“]，”对应的机构ID“：[”https://openalex.org/I138689650“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：1.009，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：5，”citation_normalized_percentile“：{”value“：0.614282，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：false}，”cited_by_percentile_year“:{”min“：70，”max“：72}，“biblio”：{“volume”：null问题“：null，”first_page“：nul，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”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/T11010“，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9965，”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/description-logics网站“，”display_name“：”Description Logics“，”score“：0.506341}]，”concepts“：[{”id“：”https://openalex.org/C2778805511，“wikidata”：https://www.wikidata.org/wiki/Q1713“，”display_name“：”引文“，”level“：2，”score“：0.79684126}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.69528913}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.43705162}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.39698374}，{”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”level“：1，”score“：0.2815931}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/224164.224181，“pdf_url”：https://dl.acm.org/doi/pdf/101145/24164.224181“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/224164.224181，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/224164.224181“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/4“，”display_name“：”素质教育“，”score“：0.58}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：24，”referrenced_works“：[”https://openalex.org/W1492803714","https://openalex.org/W1506491404","https://openalex.org/W1513292772","https://openalex.org/W1515444786","https://openalex.org/W1516362967","https://openalex.org/W1520096901","https://openalex.org/W1541434994","https://openalex.org/W1543641760","https://openalex.org/W1577606795","https://openalex.org/W1580664042","https://openalex.org/W158542309","https://openalex.org/W1960 833838","https://openalex.org/W2005502744","https://openalex.org/W2009286786","https://openalex.org/W201148214","https://openalex.org/W2023578426","https://openalex.org/W2049714341","https://openalex.org/W2059799630","https://openalex.org/W2097366413","https://openalex.org/W2121757274","https://openalex.org/W2122875791","https://openalex.org/W22089940","https://openalex.org/W2914702690","https://openalex.org/W31561947“]，”related_works“：[”https://openalex.org/W593478746","https://openalex.org/W4312309273","https://openalex.org/W3136890312","https://openalex.org/W3016342375","https://openalex.org/W2259894237","https://openalex.org/W2138291249","https://openalex.org/W2132325017","https://openalex.org/W2100079361","https://openalex.org/W1923258046","https://openalex.org/W1671914757“]，”abstract_inverted_index“：｛”文章“：[0]，”自由“：[1]，”访问“：[2]，”共享“：[3]，”on“：[4，57111]，”The“：[5]，”functional“：[6]，”side“：[7]，”of“：[8，15，21，30，36，52]，”logic“：[9]，”编程“：[10，59]，”作者：“：[11]，”Massimo“：[12]，”Marchiori“：[13]，”Department“：[14，29]，“纯粹”：[16,31]，“和”：[17,32,61,8]，“应用”：[18,33]，“数学”：[19,34]，“大学：[20,35]，“帕多瓦”：[22,27,37,42]，“经”：[23,38]，“贝尔佐尼”：[24,39]，“7，”：[25,40]，“35131”：[26,41]，“意大利”：[28]，“ItalyView”：[43]，“个人资料”：[44]，“作者”：[45]，“信息”：[46]，“&”：[47]，“声明”：[48]，“FPCA”：[49]，“'95:”：[50]，“论文集”“：[51]，”the“：[53112]，”seventh“：[54]，”international“：[55]，”conference“：[56]，”Functional“：[58]，”languages“：[60]，”computer“：[62]，”architectureOctober“：[63]，”1995“：[64]，”Pages“：[65]，”55\u201365https://doi.org/10.1145/224164.224181在线：01“：[66]，”10月“：[67]，”1995年出版“：[68]，”历史“：[69]，”3citation283DownloadsMetricsTotal“：[70]，”引文总数“：[71]，”下载283Last“：[72]，”12“：[73]，”最后月份“：[74]，”6“：[75]，”周0“：[76]，”获取“：[77]，”引用“：[78,80117]，”AlertsNew“：[79116]，”警报“：[81]，”新增！此“：[82]，”警报“：[83108]，”已“：[84103]，”曾“：[85104]，”成功“：[86]，”添加了“：[87]，”将“：[89,93]，”是“：[90,94]，”发送“：[91]，”致：您“：[92]，”通知“：[95]，”每当“：[96]，”a“：[97129]，”记录“：[98]，”该“：[99]，”您“：[100]，”已经“：[101]，”选择“：[102]，”引用。要“：[105]，”管理“：[106]，”您的“：[107122]，”首选项“：[109]，”单击下面的“：+110]，”按钮“：[113]，”。管理“：[114]，”我的“：[115]，”警报！请“：[118]，“日志”：[119]，“in”：[120]，“to”：[12125127]，“帐户”：[123]，“保存”：[124]，“活页夹保存”：%126]，“文件夹创建”：[128]，“新建”：[130]，“BinderNameCancelCreateExport”：[131]，“引文发布者”：[132]，“SiteeReaderPDF”：[133]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2092503114“，”counts_by_year“：[]，”updated_date“：”2024-09-10T21:24:5227675“，”created_date“：”2016-06-24“｝