{“id”:“https://openalex.org/W2013248798“,”doi“:”https://doi.org/10.1016/s0020-0190(03)00344-2“,”title“:“关于身份的eta-expansions的结构属性”,”display_name“:”关于身份的meta-expansion的结构属性“,”publication_year“:2003,”publiation_date“:”2003-09-01“,”ids“:{”openalex“:”https://openalex.org/W2013248798“,”doi“:”https://doi.org/10.1016/s0020-0190(03)00344-2“,”mag“:”2013248798“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1016/s0020-0190(03)00344-2“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S147953040“,”display_name“:”信息处理字母“,”issn_l“:”0020-0190“,”isn“:[”0020-0110“,”1872-6119“],”is_oa“:false,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/P4310320990“,”“host_organization_name”:“Elsevier BV”,“host_organization_lineage”:[“https://openalex.org/P4310320990“],”host_organization_lineage_names“:[”Elsevier BV“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”article“,”type_crossref“:“jornal-article”,“indexed_in”:[”crossref“],pository_has_fulltext“:false},”authorships“:[{”author_position“:”first“,”author“:{”id“:”https://openalex.org/A5038380237“,”display_name“:”Benedetto Intrigila“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I26415053“,”display_name“:”拉奎拉大学“,”ror“:”https://ror.org/01j9p1r26“,”country_code“:”IT“,”type“:“教育”,”世系“:[”https://openalex.org/I26415053“]}],”国家“:[”IT“],”is_corresponding“:false,”raw_author_name“:”B Intrigila“,”raw _affiliation_strings“:[“意大利拉奎拉大学信息研究生院,via Vetoio,67010 L'Aquila”],”从属关系“:[{”raw _affiliation_string“:”信息学院,拉奎拉大学,通过Vetoio,67010拉奎拉,意大利”,“机构ID”:[https://openalex.org/I26415053“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5005271744“,”display_name“:”Monica Nesi“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I26415053“,”display_name“:”拉奎拉大学“,”ror“:”https://ror.org/01j9p1r26“,”country_code“:”IT“,”type“:“教育”,”世系“:[”https://openalex.org/I26415053“]}],”国家“:[”IT“],”is_corresponding“:true,”raw_author_name“:”M Nesi“,”raw _affiliation_strings“:[“意大利拉奎拉大学信息科学研究院\u00e0 degli Studi di L'Aquila,via Vetoio,67010 L'Agula”],”从属关系“:[{”raw_affiliation_string“:”意大利拉奎拉大学信息学院(University\u00e0 degli Studi di L'Aquila),via Vetoio,67010 L'Acquila”,“institution_ids”:[“https://openalex.org/I26415053“]}]}],”countries_disticont_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[“https://openalex.org/A5005271744“],”对应的机构ID“:[”https://openalex.org/I26415053“],”apc_list“:{”value“:2200,”currency“:”USD“,”value_USD“:2200',”provenance“:”doaj“},”apc _payed“:null,”fwci“:null',”has_fulltext“:true,”fulltext_origin“:”ngrams“,”cited_by_count“:0,”cited_by_percentile_year“:{”min“:0”,“max”:64},“biblio”:{“volume”:“87”,“issue”:“6”,“first_page”“:”327“,”last_page“:”333“},”is_retracted“:false,”is_paratext“:false,”主主题“:{”id“:”https://openalex.org/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9996,“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.9996,”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.9995,”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/T11010“,”display_name“:”逻辑编程与知识表示“,”score“:0.9989,”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/description-logics网站“,”display_name“:”Description Logics“,”score“:0.481587}],”concepts“:[{”id“:”https://openalex.org/C2777212361,“wikidata”:https://www.wikidata.org/wiki/Q5127848“,”display_name“:”类(哲学)“,”级别“:2,”分数“:0.7810873},{”id“:”https://openalex.org/C2778355321,“wikidata”:https://www.wikidata.org/wiki/Q17079427“,”display_name“:”Identity(music)“,”level“:2,”score“:0.69654244},{”id“:”https://openalex.org/C2780841128,“wikidata”:https://www.wikidata.org/wiki/Q5073781“,”display_name“:”表征(材料科学)“,”level“:2,”score“:0.6779194},{”id“:”https://openalex.org/C40231798,“wikidata”:https://www.wikidata.org/wiki/Q1333743“,”display_name“:”合成(语言)“,”level“:2,”score“:0.65547705},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.577181},{”id“:”https://openalex.org/C17825722,“wikidata”:https://www.wikidata.org/wiki/Q17285“,”display_name“:”Plane(geometry)“,”level“:2,”score“:0.5685475},{”id“:”https://openalex.org/C116834253,“wikidata”:https://www.wikidata.org/wiki/Q2039217“,”display_name“:”Identification(biology)“,”level“:2,”score“:0.49172905},{”id“:”https://openalex.org/C113174947,“wikidata”:https://www.wikidata.org/wiki/Q2859736“,”display_name“:”树(集合论)“,”level“:2,”score“:0.4653412},{”id“:”https://openalex.org/C184264201,“wikidata”:https://www.wikidata.org/wiki/Q21199“,”display_name“:”自然数“,”level“:2,”score“:0.4147722},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯数学“,”level“:1,”score“:0.38859922},{”id“:”https://openalex.org/C114614502,“wikidata”:https://www.wikidata.org/wiki/Q76592“,”display_name“:”组合数学“,”level“:1,”score“:0.3405199},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.3350225},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198(网址:https://www.wikidata.org/wiki/Q21198)“,”display_name“:”计算机科学“,”level“:0,”score“:0.27435157},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.11776465},{”id“:”https://openalex.org/C2524010,“wikidata”:https://www.wikidata.org/wiki/Q8087“,”display_name“:”Geometry“,”level“:1,”score“:0.10896382},{”id“:”https://openalex.org/C121332964,“wikidata”:https://www.wikidata.org/wiki/Q413“,”display_name“:”物理“,”等级“:0,”分数“:0.068989605},{”id“:”https://openalex.org/C59822182,“wikidata”:https://www.wikidata.org/wiki/Q441“,”display_name“:”Botany“,”level“:1,”score“:0.05621344},{”id“:”https://openalex.org/C41895202,“wikidata”:https://www.wikidata.org/wiki/Q8162“,”display_name“:”语言学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C138885662,“wikidata”:https://www.wikidata.org/wiki/Q5891“,”display_name“:”哲学“,”等级“:0,”分数“:0.0},{”id“:”https://openalex.org/C24890656,“wikidata”:https://www.wikidata.org/wiki/Q82811“,”display_name“:”Acoustics“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C120665830,“wikidata”:https://www.wikidata.org/wiki/Q14620“,”display_name“:”Optics“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C86803240,“wikidata”:https://www.wikidata.org/wiki/Q420“,”display_name“:”Biology“,”level“:0,”score“:0.0}],”mesh“:[],”locations_count“:1,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1016/s0020-0190(03)00344-2“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S147953040“,”display_name“:”信息处理字母“,”issn_l“:”0020-0190“,”isn“:[”0020-0110“,”1872-6119“],”is_oa“:false,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/P4310320990“,”“host_organization_name”:“Elsevier BV”,“host_organization_lineage”:[“https://openalex.org/P4310320990“],”host_organization_lineage_names“:[”Elsevier BV“],“type”:“journal”},“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”:5,“referrenced_works”:https://openalex.org/W2004553747","https://openalex.org/W2135098752","https://openalex.org/W2154273644","https://openalex.org/W2989713547","https://openalex.org/W4206252072网址“],”related_works“:[”https://openalex.org/W651098627","https://openalex.org/W4247143848","https://openalex.org/W4206825956","https://openalex.org/W330727063","https://openalex.org/W3107994849","https://openalex.org/W29442446","https://openalex.org/W2896904446","https://openalex.org/W2735573198","https://openalex.org/W2009883749","https://openalex.org/W1483407203“],”ngrams_url“:”https://api.openalex.org/works/W2013248798/ngrams网站“,”“abstract_inverted_index”:{“We”:[0,70],“investive”:[1],“some”:[2],“structural”:[3],“properties”:[4],“of”:[5,9,14,23,32,48,53,88,94100105114117],“a”:[6,30,67,76,91103],“special”:[7],“class”:[8,22,31,52116],“\u03bb-terms”:[10],“the”:[11,19,42,51112],“所谓的”:[12,43],“\u03b7-expansions”:[13],“identity”:[15],“I,”:[16],“考虑了“:[17],”内部“:[18],”\u03b2-calculus。“:[20],”This“:[21],”terms“:[24,87],”can“:[25,56,83107],”be“:[26,57,84108],”directly“:[27],”identified“:[28],”with“:[29,59,66],”(unlabeled)“:[33],”trees“:[34,38,80],”plane“:[35,54],”“:[41,75],”括号“:[44],”系统。“:[45],”By“:[46,98],”意指“:[47,99],”this“:[49101115],”identification“,:[50],”trees“:[55],”assembled“:[58],”an“:[60],”application“:[61,82],”operation“:[62,78,93],”as“:[63,65],”well“:[64],”composition“:68,73,89],”operation“。“:[69],”show“:[71],”that“:[72],”responsives“:[74],”union“:[77],”on“:/79],”while“:[81],”characterized“:[85],”in“:[86],”and“:[90],”natural“:[92],”shift“:[95],”over“:[96],”trees。“:[97],”特征“:[102],”数字“:[104],”结果“:[106],”容易“:[109],”证明“:[110],”关于“:[111],”结构“:[113],”术语。“:[118]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2013248798“,”counts_by_year“:[],”updated_date“:”2024-06-21T00:53:38.135854“,”创建日期“:”2016-06-24“}