{“id”:“https://openalex.org/W2083220767“,”doi“:”https://doi.org/10.1016/0304-3975(89)90157-6“,”title“:”On pseudo-c\u03b2normal form in combination logic“,”display_name“:https://openalex.org/W2083220767“,”doi“:”https://doi.org/10.1016/0304-3975(89)90157-6“,”mag“:”2083220767“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1016/0304-3975(89)90157-6“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S90727058“,”display_name“:”理论计算机科学“,”issn_l“:”0304-3975“,”issn“:[”0304-3975“,”1879-2294“],”is_oa“:false,”is_in_doaj“:false,”is_core“:true,”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,”license_id“:null,”version“:null,”is_accepted“:false,”is_published“:false},”type“:”article“,”type_crossref“:”journal article“,”indexed_in“:[”crossref“],”open_access“:{”is_oa“:false,”oa_status“:”closed“,”oa_url“:null,”any_repository_has_fulltext“:false},”authorships“:[{”author_position“:”first“,”author“:{”id“:”https://openalex.org/A5101075431“,”display_name“:”Mohamed Mezghiche“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I4210149016“,”display_name“:”\u00c9cole Nationale Sup\u00e9rieure d'Informatique“,”ror“:”https://ror.org/04dj1dn66“,”country_code“:”DZ“,”type“:“教育”,”世系“:[”https://openalex.org/I4210149016“]}],”国家“:[”DZ“],”is_correresponsing“:true,”raw_author_name“:”Mohamed Mezghiche“,”raw_affiation_strings“:[”国家信息研究所,阿尔及利亚蒂齐奥祖#TAB#“],”附属机构“:[{”raw_affiation_string“:”国家信息研究所,阿尔及利亚蒂齐奥祖#TAB#“,”institution_ids“:[”https://openalex.org/I4210149016“]}]}],”countries_disticont_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[“https://openalex.org/A5101075431“],”对应的机构ID“:[”https://openalex.org/I4210149016“],”apc_list“:{”value“:2690,”currency“:”USD“,”value_USD“:2680,”provenance“:”doaj“},”apc _pay“:null,”fwci“:0.0,”has_fulltext“:false,”cited_by_count“:5,”citation_normalized_percentile“:{”value,“max”:73},“biblio”:{“volume”:“66”,“issue”:“3”,“first_page“:”323“,”last_page“:”331“},”is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”id“:”https://openalex.org/T11567“,”display_name“:”自动机理论和形式语言“,”score“:0.9505,”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“:”Physical Sciences“}},”topics“:[{”id“:”https://openalex.org/T11567“,”display_name“:”自动机理论和形式语言“,”score“:0.9505,”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.946,”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/new-normal网站“,”display_name“:”New normal“,”score“:0.587241},{”id“:”https://openalex.org/keywords/combinary-logic(https://openalex.org/keywords/combinary-logic)“,”display_name“:”组合逻辑“,”score“:0.5052243},{”id“:”https://openalex.org/keywords/conclye-normal-form“,”display_name“:”连接范式“,”score“:0.48528334},{”id“:”https://openalex.org/keywords/combinatics-on-words网站“,”display_name“:”单词组合学“,”score“:0.469566}],”concepts“:[{”id“:”https://openalex.org/C2993273291,“wikidata”:https://www.wikidata.org/wiki/Q16956210“,”display_name“:”New normal“,”level“:5,”score“:0.587241},{”id“:”https://openalex.org/C79678938,“wikidata”:https://www.wikidata.org/wiki/Q1481571“,”display_name“:”组合逻辑“,”level“:2,”score“:0.5052243},{”id“:”https://openalex.org/C16221470,“wikidata”:https://www.wikidata.org/wiki/Q846564“,”display_name“:”连接范式“,”level“:2,”score“:0.48528334},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.46574745},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198(网址:https://www.wikidata.org/wiki/Q21198)“,”display_name“:”计算机科学“,”level“:0,”score“:0.41597024},{”id“:”https://openalex.org/C94375191,“wikidata”:https://www.wikidata.org/wiki/Q11205“,”display_name“:”算术“,”level“:1,”score“:0.39946157},{”id“:”https://openalex.org/C2777686260,“wikidata”:https://www.wikidata.org/wiki/Q144037“,”display_name“:”微积分(牙科)“,”level“:2,”score“:0.3734292},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.3375327},{”id“:”https://openalex.org/C11413529,“wikidata”:https://www.wikidata.org/wiki/Q8366“,”display_name“:”Algorithm“,”level“:1,”score“:0.33501956},{”id“:”https://openalex.org/C199343813,“wikidata”:https://www.wikidata.org/wiki/Q12128“,”display_name“:”牙科“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C2779134260,“wikidata”:https://www.wikidata.org/wiki/Q12136“,”display_name“:”Disease“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C142724271,“wikidata”:https://www.wikidata.org/wiki/Q7208“,”display_name“:”病理“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C3008058167,“wikidata”:https://www.wikidata.org/wiki/Q84263196“,”display_name“:”2019年冠状病毒病(COVID-19)“,”level“:4,”score“:0.0},{”id“:”https://openalex.org/C524204448,“wikidata”:https://www.wikidata.org/wiki/Q788926“,”display_name“:”传染病(医学专业)“,”level“:3,”score“:0.0},{”id“:”https://openalex.org/C71924100,“wikidata”:https://www.wikidata.org/wiki/Q11190“,”display_name“:”Medicine“,”level“:0,”score“:0.0}],”mesh“:[],”locations_count“:1,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1016/0304-3975(89)90157-6“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S90727058“,”display_name“:”理论计算机科学“,”issn_l“:”0304-3975“,”isn“:[”0304-975“,”1879-2294“],”is_oa“:false,”is_in_doaj“:false,”is_core“:true,”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”:1,“referrenced_works”:https://openalex.org/W2020478268“],”related_works“:[”https://openalex.org/W4307413753","https://openalex.org/W4242826518","https://openalex.org/W4236097997","https://openalex.org/W2988498873","https://openalex.org/W2313450777","https://openalex.org/W2162268423","https://openalex.org/W2026765907","https://openalex.org/W1975604118","https://openalex.org/W1553178672","https://openalex.org/W119766800“],”abstract_inverted_index“:{”A“:[0],”c\u03b2-reduction“:[1],”in“:[2,8,15,34,41],”组合“:[3],”逻辑“:[4],”类比“:[5],”to“:[6],”\u03bb\u03b2-reducture“:[7],”\ u03bb-calculus“:[9],”was“:[10],”defined“:[11],”by“:[12],”the“:[13],”author“:[14],”1984.“:[16],”in“:[17],”this“:[18],”paper“:[19],”we“:[20],”define“:[21],”A“:[22,31,39],”concept“:[23],“of”:[24],“pseudo-c\u03b2normal”:[25,35],“form”:[26,36,43],“and”:[27],“prove”:[28],“that”:[29,45],“for”:[30],“CL-term”:[32],“X”:[33,46],“there”:[37],“exists”:[38]\u2261“:[47],”MH\u03b2.“:[48]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2083220767“,”counts_by_year“:[{”年“:2017,”cited_by_count“:1}],”更新日期“:”2024-08-13T14:54:29.627315“,”创建日期“:“2016-06-24”}