｛“id”：“https://openalex.org/W1483069873“，”doi“：”https://doi.org/10.1007/3-540-57887-0_89“，”title“：“结合经典集合论和函数编程语言的操作方法”，”display_name“：”结合经典集合理论和函数编程编程语言的一种操作方法“，”publication_year“：1994，”publitation_date“：”1994-01-01“，”ids“：{”openalex“：”https://openalex.org/W1483069873“，”doi“：”https://doi.org/10.1007/3-540-57887-0_89“，”mag“：”1483069873“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-57887-0_89“，”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”：“Springer Science+Business Media”，“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”：true，“oa_status”：“green”，“oa_url”：http://www.cs.sunysb.edu/~stoller/papers/TACS94.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5073189486“，”display_name“：”Douglas J.Howe“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1283103587“，”display_name“：”AT&T（美国）“，”ror“：”网址：https://ror.org/02bbd5539“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1283103587“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Douglas J.Howe“，”raw _affiliation_strings“：[“AT&T-Bell实验室”]，”affiliations“：[{”raw _affiliation_string“：”AT&T-贝尔实验室“，”institution_ids“：[https://openalex.org/I1283103587“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5021474885“，”display_name“：”Scott D.Stoller“，”orcid“：”https://orcid.org/0000-0002-8824-6835}，“机构”：[{“id”：https://openalex.org/I205783295“，”display_name“：”康奈尔大学“，”ror“：”https://ror.org/05bnh6r87“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I205783295“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Scott D.Stoller“，”raw_affiliation_strings“：[“康奈尔大学”]，”affiliations“：[{”raw_affiliation_string“：”康奈尔学院“，”institution_ids“：[https://openalex.org/I205783295“]}]}]，”countries_distinct_count“：1，”institutions_distinact_counts“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“has_fulltext”：false，“cited_by_count”：4，“cited_by_percenty_year”：{“min”：71，“max”：73}，“biblio”：{“volume”：null，“问题“：null，”first_page“：”36“，”last_page“：”55“}，”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/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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9971，“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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.574735}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.524435}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”Constraint Logic Programming“，”score“：0.517286｝，｛”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.511104}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.510124}]，”concepts“：[{”id“：”https://openalex.org/C89497691，“wikidata”：https://www.wikidata.org/wiki/Q7981058“，”display_name“：”良好的语义“，”level“：5，”score“：0.71541816}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.65810597}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.65740377}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.54042155}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5358855}，{”id“：”https://openalex.org/C32241873，“wikidata”：https://www.wikidata.org/wiki/Q236975“，”display_name“：”经典逻辑“，”level“：2，”score“：0.5335482}，{”id“：”https://openalex.org/C70846408，“wikidata”：https://www.wikidata.org/wiki/Q220433“，”display_name“：”逻辑等价“，”level“：3，”score“：0.4963985}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.48167953}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.44079718}，{”id“：”https://openalex.org/C73301696，“wikidata”：https://www.wikidata.org/wiki/Q5469984“，”display_name“：”形式主义（音乐）“，”level“：3，”score“：0.43767422｝，｛”id“：”https://openalex.org/C182620335，“wikidata”：https://www.wikidata.org/wiki/Q2852531“，”display_name“：”应答集编程“，”level“：3，”score“：0.4307943}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4284417}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.36815676}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.33902577}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.32657844}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.21637705}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.091130525}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C558565934，“wikidata”：https://www.wikidata.org/wiki/Q2743“，”display_name“：”Musical“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C153349607，“wikidata”：https://www.wikidata.org/wiki/Q36649“，”display_name“：”视觉艺术“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-57887-0_89“，”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”：“Springer Science+Business Media”，“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}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.131.6326，“pdf_url”：http://www.cs.sunysb.edu/~stoller/papers/TACS94.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“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://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.131.6326，“pdf_url”：http://www.cs.sunysb.edu/~stoller/papers/TACS94.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”score“：0.54，”id“：”https://metadata.un.org/sdg/4“，”display_name“：”素质教育“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：13，”referrenced_works“：【”https://openalex.org/W1520355364","https://openalex.org/W1549406551","https://openalex.org/W1565996669","https://openalex.org/W1763978647","https://openalex.org/W1968724907","https://openalex.org/W1978895269","https://openalex.org/W1986402635","https://openalex.org/W2038820249","https://openalex.org/W2067914884","https://openalex.org/W2124798629","https://openalex.org/W2128057448","https://openalex.org/W2167949883","https://openalex.org/W2912844405“]，”related_works“：[”https://openalex.org/W91938043","https://openalex.org/W3129725704","https://openalex.org/W2576462083","https://openalex.org/W2109790275","https://openalex.org/W2104606980","https://openalex.org/W2098738693","https://openalex.org/W2077853828","https://openalex.org/W2070801544","https://openalex.org/W2066556632","https://openalex.org/W2017152877“]，”ngrams_url“：”https://api.openalex.org/works/W1483069873/ngrams“，”“abstract_inverted_index”：{“We”：[0,93]，“have”：[1]，“designed”：[2]，“a”：[3,21,27,47,54,90,95]，“programming”：[4,12,48]，“logic”：[5,19,55]，“based”：[6]，“on”：[7]，“an”：[8]，“integration”：[9]，“of”：[10,24,43,65125132135]，“functional”：[11]，“languages”：[13109]，“with”：[14,26],41,62,76106]，“经典”：[15,22,69]，“集合”：[16,66]，“理论”：[17]，“The”：[18]，“合并“：[20]，”view“：[23]，”equality“：[25]，”constructive“：[28]，”one“：[29]，”by“：[30，58]，”using“：[31]，”equivalence“：[32，44]，”classes“：[33]，”while“：[34]，”at“：[35]，”the“：[36,60，63,73126130133]，”same“：[37]，”time“：[38]，”allow“：[39]，”computation“：[40]，”representative“：[42]，”类。“：[45]，”给定“：[46]，”语言“：[49,61]，”和“：[50,68,71102120]，”其“：[51]，”操作“：[52,74,84]，”语义“：[53101]，”是“：[56]，”获得“：[57]，”扩展“：[59,72]，”运算符“：[64]，”理论“：[67]，”逻辑“：[70]，”语义学“：[75127]，”u201cevaluation\u201d“：[77]，”规则“：[78]，“for”：[79,98121]，“these”：[80]，“new”：[81]，“operators”。“：[82]，”This“：[83114]，”approach“：[85]，”permits“：[86]，”us“：[87116]，”to“：[88108117]，”give“：[89,94]，”generic“：[91]，”design。“：[92]，”通用“：[96]，”形式主义“：[97]，”指定“：[99]，”评估“：[100]，”参数化“：[103]，”我们的“：[104]，”设计“：[105]，”尊重“：[107]，”可指定“：[110]，”in“：[111]，”this“：[112]，”格式主义。“：[113]，”允许“：[115]，”证明“：[118]，”一次“：[119]，”全部“，：[122]，”重要“：[123]，”属性“：[124]，”例如“：[128]，”如“：[129]，”一致性“：[131]，”待遇“：[134]，”平等。“：[136]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1483069873“，”counts_by_year“：[]，”updated_date“：”2024-06-16T15:14:42.724955“，”created_dates“：”2016-06-24“}“