{“id”：“https://openalex.org/W2139410224“，”doi“：”https://doi.org/10.115/981175.981188“，”title“：”函数语法的逻辑版本“，”display_name“：”功能语法的逻辑版“，”publication_year“：1987，”publitation_date“：”1987-01-01“，”ids“：{”openalex“：”https://openalex.org/W2139410224“，”doi“：”https://doi.org/10.115/981175.981188“，”mag“：”2139410224“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.115/981175.981188，“pdf_url”：https://dl.acm.org/doi/pdf/10.115/981175.981188“，”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.115/981175.981188“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5019204872“，”display_name“：”William C.Rounds“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I173498003“，”display_name“：”Palo Alto研究中心“，”ror“：”https://ror.org/0529fxt39“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I173498003","https://openalex.org/I4210132870“]｝，｛”id“：”https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”William C.Rounds“，”raw _ afiliation_strings“：[“密歇根大学，施乐PARC”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5081447095“，”display_name“：”Alexis Manaster-Ramer“，”orcid“：”https://orcid.org/0009-0009-4174-1335}，“机构”：[{“id”：https://openalex.org/I185443292“，”display_name“：”韦恩州立大学“，”ror“：”https://ror.org/01070mq45“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I185443292“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Alexis Manaster-Ramer“，”raw _ afiliation_strings“：[“Wayne State University”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：3，”corresponding_author_ids“：[]，”coresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“has_fulltext”：false“引用_by_count“：18，”cited_by_percentile_year“：{“min”：86，“max”：87}，“biblio”：{卷：null，“问题”：nullhttps://openalex.org/T10126“，”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/T10126“，”“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/T10181“，”display_name“：”统计机器翻译与自然语言处理“，”score“：0.996，”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/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9913，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/syntax-based-translation-models网站“，”display_name“：”基于句法的翻译模型“，”score“：0.484502}]，”concepts“：[{”id“：”https://openalex.org/C96146094，“wikidata”：https://www.wikidata.org/wiki/Q609057“，”display_name“：”Unification“，”level“：2，”score“：0.8716264}，{”id“：”https://openalex.org/C45357846，“wikidata”：https://www.wikidata.org/wiki/Q2001982“，”display_name“：”Notation“，”level“：2，”score“：0.7260854}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.72081834}，{”id“：”https://openalex.org/C26022165，“wikidata”：https://www.wikidata.org/wiki/Q8091“，”display_name“：”Grammar“，”level“：2，”score“：0.6804856}，{”id“：”https://openalex.org/C172265290，“wikidata”：https://www.wikidata.org/wiki/Q6134957“，”“display_name”“：”轻度上下文敏感语法形式主义“，”级别“：4，”分数“：0.5663404}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.49063793｝，｛”id“：”https://openalex.org/C2776401178，“wikidata”：https://www.wikidata.org/wiki/Q12050496“，”display_name“：”功能（语言学）“，”级别“：2，”分数“：0.4588353}，{”id“：”https://openalex.org/C164041254，“wikidata”：https://www.wikidata.org/wiki/Q597455“，”display_name“：”属性语法“，”level“：3，”score“：0.45292485}，{”id“：”https://openalex.org/C132525143，“wikidata”：https://www.wikidata.org/wiki/Q141488“，”display_name“：”Graph“，”level“：2，”score“：0.4490446}，{”id“：”https://openalex.org/C538938114，“wikidata”：https://www.wikidata.org/wiki/Q7378909“，”display_name“：”基于规则的机器翻译“，”level“：2，”score“：0.44686738}，{”id“：”https://openalex.org/C204321447，“wikidata”：https://www.wikidata.org/wiki/Q30642“，”display_name“：”自然语言处理“，”level“：1，”score“：0.43430197}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.41390973}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.31801236}，{”id“：”https://openalex.org/C69298649，“wikidata”：https://www.wikidata.org/wiki/Q6045214“，”display_name“：”紧急语法“，”level“：3，”score“：0.29272878}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.25674918}，{”id“：”https://openalex.org/C39890363，“wikidata”：https://www.wikidata.org/wiki/Q36108“，”display_name“：”生成语法“，”level“：2，”score“：0.21922389}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.17870796}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.08515504}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.115/981175.981188，“pdf_url”：https://dl.acm.org/doi/pdf/10.115/981175.981188“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”http://www.aclweb.org/antology/P87-1013，“pdf_url”：https://aclantology.org/P87-1013.pdf，“源”：{“id”：https://openalex.org/S4306402137“，”display_name“：”The COCOON platform（University of Paris）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I102197404“，”“host_organization_name”：“巴黎大学-南方大学”，“host_ordanization_lineage”：[“https://openalex.org/I102197404“]，”host_organization_lineage_names“：[”University of Paris-Sud“]，“type”：“repository”}，“license”：“cc-by-nc-sa”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-sa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.115/981175.981188，“pdf_url”：https://dl.acm.org/doi/pdf/10.3115/9811175.981188“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.66，”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：5，”referrenced_works“：【”https://openalex.org/W144946664","https://openalex.org/W1806862383","https://openalex.org/W2153287996","https://openalex.org/W2156720842","https://openalex.org/W2161160885“]，”related_works“：[”https://openalex.org/W643335983","https://openalex.org/W315391788","https://openalex.org/W2913286805","https://openalex.org/W2365279721","https://openalex.org/W2348602288","https://openalex.org/W2130127427","https://openalex.org/W2083725103","https://openalex.org/W2012908912","https://openalex.org/W1985375925","https://openalex.org/W1543466370“]，”ngrams_url“：”https://api.openalex.org/works/W2139410224/ngrams“，”“abstract_inverted_index”：{“Kay’s”：[0]，“functional uniformation”：[1]，“grammar”：[2,75]，“notation”：[3]，“[5]”：[4]，“is”：[5,22,47]，“a”：[6,31,40,54,63]，“way”：[7]，“of”：[8,39,57,66]，“expressing”：[9]，“gragrammars”：[10]，“which”：[11,26]，“depends”：[12]，“on”：[13]，“非常“：[14]，“很少”：[15]，“原始”：[16]，“概念”：[17]，“The”：[18]，“primary”：[19,44]，“语法”：[20]，“结构”：[21]，“the”：[23,43,67,70]，“feature”：[24]，“structure”，“：[25]，“can”：[27]，“be”：[28]，“visualized”：[29]，“as”：[30]，“directed”：[32]，“graph”：[33]，“with”：[3]，“arcs”：[35]，“labeled”：[36]，“by”：[37,73]，“attributes”：[38]，“component”：[41]，“and”：[42,69]，“结构构建”：[45]，“操作”：[46]，“统一”：[48]，“In”：[49]，“this”：[50,78]，“paper”：[51]，“我们”：[52]，“提议”：[53]，“数学”：[55]，“公式”：[56]，“FUG”：[58]，“使用”：[59]，“逻辑”：[60]，“to”：[61]，“给定”：[62]，“精确”：[64]，“帐户”：[65]，“字符串”：[68]，“结构”：[71]，“定义”：[72]，“任意”：[74]，“写入”：[76]，“in”：[77]，“表示法”：[79]}，“引用_ by_api_url”：“https://api.openalex.org/works？filter=cites:W2139410224“，”counts_by_year“：[]，”updated_date“：”2024-05-23T17:44:31.290919“，”创建日期“：”2016-06-24“}