{“id”:“https://openalex.org/W431176211“,”doi“:”https://doi.org/10.1007/978-3-319-08918-8_28“,”title“:”Near Semi-rings and Lambda Calculus“,”display_name“:”Near Semi-rings and Lambda Calcusus“,”publication_year“:2014,”publiction_date“:”2014-01-01“,”ids“:{”openalex“:”https://openalex.org/W431176211“,”doi“:”https://doi.org/10.1007/978-3-319-08918-8_28“,”mag“:”431176211“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-319-08918-8_28“,”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/P4310319965","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/A5051071400“,”display_name“:”Richard Statman“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I74973139“,”display_name“:”卡内基梅隆大学“,”ror“:”https://ror.org/05x2bcf33“,”country_code“:”US“,”type“:“教育”,”世系“:[”https://openalex.org/I74973139“]}],”国家“:[”美国“],”is_corresponding“:true,”raw_author_name“:”Rick Statman“,”raw _affiliation_strings“:[“卡内基梅隆大学数学科学系,匹兹堡,宾夕法尼亚州,美国,15213”],”affiliations“:[{”raw_affiliation_string“:”卡内基梅隆大学数学系,匹兹堡,宾夕法尼亚,美国,15113”,“机构ID“:[”https://openalex.org/I74973139“]}]}],”countries_disticont_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[“https://openalex.org/A5051071400“],”对应的机构ID“:[”https://openalex.org/I74973139“],”apc_list“:{”value“:5000,”currency“:”EUR“,”value_usd“:5392,”provenance“:”doaj“},”apc _payd“:null,”has_fulltext“:false,”cited_by_count“:2,”cited_by_percentile_year“:{”min“:76,”max“:79},“biblio”:假,“is_paratext”:假,“primary_topic”:{“id”:“https://openalex.org/T11727“,”display_name“:”模糊逻辑和剩余格“,”score“:0.9993,”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/T11727“,”display_name“:”模糊逻辑和剩余格“,”score“:0.9993,”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/T11703“,”“display_name”:“交换环的性质和结构研究”,“score”:0.9988,“subfield”:{“id”:“https://openalex.org/subfields/2602“,”display_name“:”代数与数论“},”字段“:{”id“:”https://openalex.org/fields/26“,”display_name“:”Mathematics“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11673“,”display_name“:”Hom-Lie代数的变形和结构“,”score“:0.9986,”subfield“:{”id“:”https://openalex.org/subfields/2602“,”display_name“:”代数与数论“},”字段“:{”id“:”https://openalex.org/fields/26“,”display_name“:”Mathematics“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”Physical Sciences“}}],”keywords“:[{”id“:”https://openalex.org/keywords/拟线性代数“,”display_name“:”拟李代数“,”score“:0.519203}],”concepts“:[{”id“:”https://openalex.org/C2778113609,“wikidata”:https://www.wikidata.org/wiki/Q10897“,”display_name“:”Lambda“,”level“:2,”score“:0.7074797},{”id“:”https://openalex.org/C2777686260,“wikidata”:https://www.wikidata.org/wiki/Q144037网址“,”display_name“:”微积分(牙科)“,”level“:2,”score“:0.6643955},{”id“:”https://openalex.org/C77736955,“wikidata”:https://www.wikidata.org/wiki/Q1089708“,”display_name“:”Church encoding“,”level“:5,”score“:0.51736444},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.43771788},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯数学“,”level“:1,”score“:0.37750685},{”id“:”https://openalex.org/C142156749,“wikidata”:https://www.wikidata.org/wiki/Q2607208“,”display_name“:”类型lambda演算“,”level“:3,”score“:0.3189221},{”id“:”https://openalex.org/C135790938,“wikidata”:https://www.wikidata.org/wiki/Q242028“,”display_name“:”Lambda微积分“,”level“:2,”score“:0.28386647},{”id“:”https://openalex.org/C61237538,“wikidata”:https://www.wikidata.org/wiki/Q855192“,”display_name“:”简单类型lambda演算“,”level“:4,”score“:0.20285201},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.19833806},{”id“:”https://openalex.org/C121332964,“wikidata”:https://www.wikidata.org/wiki/Q413“,”display_name“:”物理“,”等级“:0,”分数“:0.17937371},{”id“:”https://openalex.org/C71924100,“wikidata”:https://www.wikidata.org/wiki/Q11190“,”display_name“:”Medicine“,”level“:0,”score“:0.059121102},{”id“:”https://openalex.org/C199343813,“wikidata”:https://www.wikidata.org/wiki/Q12128“,”display_name“:”牙科“,”level“:1,”score“:0.04381162},{”id“:”https://openalex.org/C120665830,“wikidata”:https://www.wikidata.org/wiki/Q14620“,”display_name“:”Optics“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:1.”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-319-08918-8_28“,”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/P4310319965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer-Science+Business Media“],“type”:“book series”},“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”:5,“referenced_works“:[”https://openalex.org/W1834284857","https://openalex.org/W1914200655","https://openalex.org/W1981303668","https://openalex.org/W1988616326","https://openalex.org/W2024840566“],”related_works“:[”https://openalex.org/W811489916","https://openalex.org/W2761902706","https://openalex.org/W236003875","https://openalex.org/W2189323991","https://openalex.org/W2146437601","https://openalex.org/W2114701904","https://openalex.org/W2114151019","https://openalex.org/W2099723572","https://openalex.org/W2088376608","https://openalex.org/W1583714326“],”ngrams_url“:”https://api.openalex.org/works/W431176211/ngrams网站“,”“abstract_inverted_index”:{“A”:[0,21,57],“connection”:[1],“between”:[2],“lambda”:[3,50],“calculation”:[4],“and”:[5,39],“the”:[6,14,17,25,42,45],“algebration”:[7],“of”:[8,27,44],“near”:[9],“semial ring”:[10],“is”:[11,16,32],“discussevered”。“:[12],”“:[15],”遵循“:[18],”完整性“:[19],”定理“:[20],”一阶“:[22],”方程“:[23],“in”:[24,34],“language”:[26],“binary”:[28],“association”:[29],“distributive”:[30],“algebras”:[31,37],“true”:[3],“all”:[35],“such”:[36],“if”:[38,41],“only”:[40],“interprelations”:[43],“first”:[46],“order”:[47],“terms”:[48,51],“as”:[49],“beta-eta”:[52],“转换”:[53],“到”:[54],“一个”:[55],“另一个”。:[56],“类似”:[58],“结果”:[59],“保持”:[60],“for”:[61],“equations”:[62],“containing”:[63],“free”:[64],“variables.”:[65]},“cited_by_api_url”:https://api.openalex.org/works?filter=cites:W431176211“,”counts_by_year“:[{”年份“:2017,”cited_by_count“:1},{”年“:2015,”cited_by_count”:1}],”更新日期“:”2024-06-16T12:55:41.097535“,”创建日期“:“2016-06-24”}