{“id”：“https://openalex.org/W2118519493“，”doi“：”https://doi.org/10.109/lics.1991.151650“，”title“：”拉宾测度及其在公平和自动机理论中的应用“，”display_name“：”拉宾测度及其在公平和自动机理论中的应用“，”publication_year“：2002，”publication_date“：”2002-12-10“，”ids“：｛”openalex“：”https://openalex.org/W2118519493“，”doi“：”https://doi.org/10.109/lics.1991.151650“，”mag“：”2118519493“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151650“，”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://ecommons.cornell.edu/bitstream/1813/7041/1/91-1201.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5083488023“，”display_name“：”Nils Klarlund“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210114115“，”display_name“：”IBM Research-Thomas J.Watson Research Center“，”ror“：”https://ror.org/0265w5591“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I1341412227","https://openalex.org/I4210114115“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”N.Klarlund“，”raw _ afiliation_strings“：[“[IBM Thomas J.Watson Res.Center，Yorktown Heights，NY，USA]”]，“affiliations”：[{“raw_affiliation_string”：“[IBM托马斯J.沃森Res.Center，Yorctown Height，NYhttps://openalex.org/I4210114115“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5053923311“，”display_name“：”Dexter Kozen“，”orcid“：”https://orcid.org/0000-0002-8007-4725}，“机构”：[{“id”：https://openalex.org/I205783295“，”display_name“：”康奈尔大学“，”ror“：”https://ror.org/05bnh6r87“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I205783295“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”D.Kozen“，”raw _affiliation_strings“：[“美国纽约州伊萨卡市康奈尔大学计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”美国纽约州伊萨卡市科奈尔大学计算科学系”，“institution_ids”：[“https://openalex.org/I205783295“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payd“：null、”has_fulltext“：true、”fulltext_origin“：”ngrams“，”cited_by_count？：22，“cited_by_percentile_year”：{“min”：87，”max“：88}，”biblio“：{”volume“：nul”，“issue”：空，“first_page”：空last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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.9996，“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/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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9903，”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/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.502796}]，”concepts“：[{”id“：”https://openalex.org/C165753454“，”wikidata“：”https://www.wikidata.org/wiki/Q1020380“，”display_name“：”B\u00fcchi automaton“，”level“：4，”score“：0.7448046}，{”id“：”https://openalex.org/C176181172“，”wikidata“：”https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.74316216}，{”id“：”https://openalex.org/C41008148“，”wikidata“：”https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6535319}，{”id“：”https://openalex.org/C112505250“，”wikidata“：”https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.6160253}，{”id“：”https://openalex.org/C80444323“，”wikidata“：”https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.57272744｝，｛”id“：”https://openalex.org/C2777212361“，”wikidata“：”https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.48576692}，{”id“：”https://openalex.org/C118615104“，”wikidata“：”https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.43899587}，{”id“：”https://openalex.org/C60048249“，”wikidata“：”https://www.wikidata.org/wiki/Q37437“，”display_name“：”Syntax“，”level“：2，”score“：0.4239906}，{”id“：”https://openalex.org/C116248031“，”wikidata“：”https://www.wikidata.org/wiki/Q214526“，”display_name“：”自动机理论“，”level“：3，”score“：0.41821027}，{”id“：”https://openalex.org/C194525867“，”wikidata“：”https://www.wikidata.org/wiki/Q5265707“，”display_name“：”确定性自动机“，”level“：3，”score“：0.28690603}，{”id“：”https://openalex.org/C33923547“，”wikidata“：”https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.25584865}，{”id“：”https://openalex.org/C154945302“，”wikidata“：”https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.19769818}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151650“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://hdl.handle.net/1813/7041，“pdf_url”：https://ecommons.cornell.edu/bitstream/1813/7041/1/91-1201.pdf，“源”：{“id”：https://openalex.org/S4306400757“，”display_name“：”eCommons（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”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}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hdl.handle.net/1813/7041，“pdf_url”：https://ecommons.cornell.edu/bitstream/1813/7041/1/91-1201.pdf，“源”：{“id”：https://openalex.org/S4306400757“，”display_name“：”eCommons（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”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“：[{”id“：”https://metadata.un.org/sdg/16“，”score“：0.6，”display_name“：”Peace，justice，and strong institutions“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：21，”referrenced_works“：[”https://openalex.org/W1503889025","https://openalex.org/W1537299619","https://openalex.org/W1798280647","https://openalex.org/W1964616955","https://openalex.org/W1965611063","https://openalex.org/W1974312771","https://openalex.org/W1982457550网址","https://openalex.org/W1984478483","https://openalex.org/W1986033227","https://openalex.org/W2022228153","https://openalex.org/W2034494860","https://openalex.org/W2039025680","https://openalex.org/W2045165287","https://openalex.org/W2058630223","https://openalex.org/W2082867148","https://openalex.org/W2143417417","https://openalex.org/W2149325295","https://openalex.org/W2166656159","https://openalex.org/W2905135108","https://openalex.org/W3162358650","https://openalex.org/W4240126131“]，”related_works“：[”https://openalex.org/W3109852822","https://openalex.org/W2980590076","https://openalex.org/W2583818399","https://openalex.org/W2153551293","https://openalex.org/W2150447589","https://openalex.org/W2067004369","https://openalex.org/W2060032524","https://openalex.org/W2004056131","https://openalex.org/W1513971594","https://openalex.org/W13140863“]，”ngrams_url“：”https://api.openalex.org/works/W2118519493/ngrams网站“，”“abstract_inverted_index”：{“Rabin”：[0,33,47,63,75100]，“conditions”：[1,17]，“are”：[2,87]，“a”：[3,29,32,46,51,78110119124127]，“general”：[4]，“class”：[5]，“of”：[6,8,20,41,61,93]，“properties”：[7]，“：[14]，”自动机理论“：[15105]，”接受“：[16]，”和“：[18,89]，“概念”：[19]，“公平”：[21]，“它”：[22]，“是”：[23,65]，“显示”：[24]，“如何”：[25]，“到”：[26,69,96]，“确定”：[27]，“是否”：[28]，“程序”：[30125]，“满足”：[31126]，“条件”：[34]，“通过”：[35112]，“推理”：[36]，“关于”：[37]，“单一”：[38]，“转换”：[39]，“代替“：[40]，”计算“：[43]，”A“：[44]，”概念“：[45]，”度量“：[48]，”其中“：[49,85]，“in”：[50]，“precise”：[52]，“sense”：[P3]，“expresses”：[54]，“progress”：[55]，“for”：[56121]，“each”：[57]，“transition”：[58]，“towards”：[59]，“satisfaction”：[60]，“the”：[62116]，“condition，”：[64]，“introduced。”：[66]，“When”：[67]，“applied”：[68]，“termination”：[70]，“问题”：[71]，“under“：[72]，”公平“：[73]，”约束“：[74]，”措施“：[76101]，“composite”：[77]，“simpler”：[79]，“verification”：[80106]，“method”：[81120]，“than”：[82]，“previous”：[83]，“approachs”，“：[84]，“commery”：[86]，“syntax-dependenden”：[88]，“require”：[90]，“recursive”：[91]，“应用程序”：[92]，“proof”：[94]，“rules”：[95]，“语法上的”：[97]，“transformed”：[98]，“程序”。“：[102]，”泛化“：[103]，”早期“：[104]，“方法。”：[107]，“组合”：[108]，“与”：[109]，“结果”：[11111 7]，“S.”：[113]，“Safra”：[114]，“（1988），”：[115]，“给定”：[118]，“证明”：[122]，“不确定性”：[128]，“布其”：[129]，“自动机”：[130]，“规范。<”：[131]，“>“：[134]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2118519493“，”counts_by_year“：[｛”year“：2024，”cited_by_count“：1｝，”year“：2023，”cited_by_count“：2｝，”year“：2018，”cited_by_count“：1｝，”year“：2017，”cited_by_count“：1｝，”year“：2016，”cited_by_count“：2｝，”year“：2014，”cited_by_count“：1｝]，”updated_date“：”2024-06-19T04:44:4.444034“，”created_date“：”2016-06-24英寸