{“id”：“https://openalex.org/W2142972886“，”doi“：”https://doi.org/10.1145/2213977.2214030“，”title“：“多类型分支过程和随机上下文无关文法的多项式时间算法”，”display_name“：”多类型分支进程和随机上下文无文法的多边形时间算法“，”publication_year“：2012，”publiation_date“：”2012-05-19“，”ids“：{”openalex“：”https://openalex.org/W2142972886“，”doi“：”https://doi.org/10.1145/2213977.2214030“，”mag“：”2142972886“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2213977.2214030“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://arxiv.org/pdf/2012.374.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5003946901“，”display_name“：”Kousha Etessami“，”orcid“：”https://orcid.org/0000-0001-5700-3462}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Kousha Etessami“，”raw _ afiliation_strings“：[“英国爱丁堡大学”]，”affiliations“：[{”raw _affiliation_strong“：”英国爱丁伯格大学”，“institution_ids”：[“https://openalex.org/I98677209“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5106184727“，”display_name“：”Alistair Stewart“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Alistair Stewart“，”raw _ afiliation_strings“：[“英国爱丁堡大学信息学院”]，”affiliations“：[{”raw_ afiliation _string“：”英国爱丁伯格大学信息学院“，”institution_ids“：[https://openalex.org/I98677209“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5043084405“，”display_name“：”Mihalis Yannakakis“，”orcid“：”https://orcid.org/0000-0003-2857-1860}，“机构”：[{“id”：https://openalex.org/I78577930“，”display_name“：”哥伦比亚大学“，”ror“：”https://ror.org/00hj8s172“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I78577930“]}]，”国家“：[“美国”]，”is_corresponding“：false，”raw_author_name“：”Mihalis Yannakakis“，”raw _ afiliation_strings“：[”哥伦比亚大学，纽约州纽约市，美国“]，”affiliations“：[{”raw _affiliation_strong“：”哥伦比亚大学（纽约州纽约），“institution_ids”：[”https://openalex.org/I78577930“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：3.817，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：28，”citation_normalized_percentile“：{”value“：0.820134，”is_in_top_1_percent“：false，“is_in_top_10_percent”：false}，“cited_by_percentile_year”：{“min”：92，“max”：93}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11269“，”display_name“：”文本压缩和索引算法“，”score“：0.9999，”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/T11269“，”display_name“：”文本压缩和索引算法“，”score“：0.9999，”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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9991，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9961，“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/approxise-matching“，”display_name“：”近似匹配“，”score“：0.576591}，{”id“：”https://openalex.org/keywords/temporal-logic（https://openalex.org/keywords/temporal-logic）“，”display_name“：”时态逻辑“，”score“：0.558989}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.547685}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.519976}，{”id“：”https://openalex.org/keywords/string匹配“，”display_name“：”字符串匹配“，”score“：0.500815}，{”id“：”https://openalex.org/keywords/branking“，”display_name“：”分支（聚合物化学）“，”score“：0.470998872｝，｛”id“：”https://openalex.org/keywords/monic-多项式“，”display_name“：”一元多项式“，”score“：0.4208074}]，”concepts“：[{”id“：”https://openalex.org/C90119067，“wikidata”：https://www.wikidata.org/wiki/Q43260“，”display_name“：”多项式“，”level“：2，”score“：0.5525649}，{”id“：”https://openalex.org/C101044782，“wikidata”：https://www.wikidata.org/wiki/Q6787887“，”display_name“：”矩阵多项式“，”level“：3，”score“：0.53812695}，{”id“：”https://openalex.org/C53893814，“wikidata”：https://www.wikidata.org/wiki/Q7378909（网址：https://www.wikidata.org/wiki/Q7378909）“，”display_name“：”基于规则的机器翻译“，”level“：2，”score“：0.4996271｝，｛”id“：”https://openalex.org/C2834757，“wikidata”：https://www.wikidata.org/wiki/Q4925424“，”display_name“：”单调多边形“，”level“：2，”score“：0.4892137}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.48902878}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.48609257}，{”id“：”https://openalex.org/C206175624，“wikidata”：https://www.wikidata.org/wiki/Q595731“，”display_name“：”分支（聚合物化学）“，”level“：2，”score“：0.47098872}，{”id“：”https://openalex.org/C29248071，“wikidata”：https://www.wikidata.org/wiki/Q163310“，”display_name“：”Turing machine“，”level“：3，”score“：0.46068695}，{”id“：”https://openalex.org/C101525915，“wikidata”：https://www.wikidata.org/wiki/Q7581979“，”display_name“：”无平方多项式“，”level“：4，”score“：0.4527611}，{”id“：”https://openalex.org/C311688，“wikidata”：https://www.wikidata.org/wiki/Q2393193“，”display_name“：”时间复杂性“，”level“：2，”score“：0.45245868}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.43446153}，{”id“：”https://openalex.org/C163635466，“wikidata”：https://www.wikidata.org/wiki/Q30996“，”display_name“：”一元多项式“，”level“：3，”score“：0.4208074}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4136606}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”计算“，”级别“：2，”分数“：0.40223205}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3779805}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.09875819}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.09614098}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.072978795}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C159985019，“wikidata”：https://www.wikidata.org/wiki/Q181790网址“，”display_name“：”复合材质“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2213977.2214030“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_urlhttps://arxiv.org/pdf/2012.374.pdf，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/201.2374，“pdf_url”：https://arxiv.org/pdf/201.2374，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/20.500.11820/98230091-3b83-4909-8657-8be1b7ba50a2，“pdf_url”：https://www.research.ed.ac.uk/files/14000711/nI_ob.pdf，“源”：{“id”：https://openalex.org/S4306400320“，”display_name“：”爱丁堡研究总管（爱丁堡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I98677209“，”“host_organization_name”：“爱丁堡大学”，“host_organization_lineage”：[“https://openalex.org/I98677209“]，”host_organization_lineage_names“：[”爱丁堡大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://www.pure.ed.ac.uk/ws/files/14000711/nI_ob.pdf，“pdf_url”：https://www.pure.ed.ac.uk/ws/files/14000711/nI_ob.pdf，“源”：{“id”：https://openalex.org/S4306400321“，”“display_name”“：”“爱丁堡研究总管（爱丁堡大学）”“，”https://openalex.org/I98677209“，”“host_organization_name”：“爱丁堡大学”，“host_organization_lineage”：[“https://openalex.org/I98677209“]，”host_organization_lineage_names“：[”爱丁堡大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：nul，“pdf_url“：”https://arxiv.org/pdf/2012.374.pdf，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：40，“referrenced_works”：https://openalex.org/W1256121109","https://openalex.org/W1496738390","https://openalex.org/W1500921805","https://openalex.org/W1523572153","https://openalex.org/W1549240140","https://openalex.org/W1559984321","https://openalex.org/W1574901103","https://openalex.org/W1966861855","https://openalex.org/W1978470410","https://openalex.org/W1991624978","https://openalex.org/W2002089154","https://openalex.org/W2005059149","https://openalex.org/W2009570821","https://openalex.org/W2010994761","https://openalex.org/W2023206235","https://openalex.org/W2040721698","https://openalex.org/W2073720951","https://openalex.org/W2107771181","https://openalex.org/W2117685302","https://openalex.org/W2117805292","https://openalex.org/W2133667894","https://openalex.org/W2142921329","https://openalex.org/W2142972886","https://openalex.org/W2148701797","https://openalex.org/W2167246417","https://openalex.org/W2293835388","https://openalex.org/W2568511220","https://openalex.org/W2610857016","https://openalex.org/W2798735774","https://openalex.org/W2951306656","https://openalex.org/W2964097106","https://openalex.org/W3099666054","https://openalex.org/W32262330","https://openalex.org/W4231137976","https://openalex.org/W4232474943","https://openalex.org/W4235035462","https://openalex.org/W4235614310","https://openalex.org/W4256135625","https://openalex.org/W4285719527","https://openalex.org/W4297962570“]，”related_works“：[”https://openalex.org/W4320339927","https://openalex.org/W4319599684","https://openalex.org/W4299962674","https://openalex.org/W2952764322","https://openalex.org/W2902965052","https://openalex.org/W2751514289","https://openalex.org/W2165697811","https://openalex.org/W2049824936","https://openalex.org/W2010641749","https://openalex.org/W1976750632“]，”abstract_inverted_index“：{”We“：[0]，”show“：[1]，”that“：[2]，”one“：[3]，”can“：[4]，”approximative“：[5]，”the“：[6,25,29,39,45,52]，”least“：[7]，”fixed“：[8]，”point“：[9]，”solution“：[10]，”for“：[11]，”a“：[12]，”multiverial“：[13]，”system“：%14,30]，”of“：[15,20]8,31,44,49]，“单调”：[16]，“概率”：[17]，“多项式”：[18,22]，“方程”：[19,32]，“in”：[20,23,34]时间“：[21]，”两者“：[24]，”编码“：[26]，”大小“：[27]，”和“：[33]，”日志（1/\u03b5），“：[35]，”其中“：[36]，”\u03b5>0“：[37]，”是“：[38,51]，”所需“：[40]，”加法“：[41]，”错误“：[42]，”绑定“：[43]，”解决方案。“：[46]，”（The“：[47]，”model“：[48]，”computation“：[50]，”standard“：[53]，”Turing“：[54]，”machine“：[55]，”model.）“：[56]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2142972886“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年”：2020，”“cited_by_cunt”：1\n，{”“年度”：2019，”“cited_by-count”“:1}，”“年份”“：2016，”“icted_by/count”：2012，“cited_by_count”：4}]，“updated_date”：“2024-09-01T00:14:30.883722”，“创建日期”：“2016-06-24"}