{“id”：“https://openalex.org/W2094939885“，”doi“：”https://doi.org/10.1007/s10703-008-0057-6“，”title“：”Don\u2019t care words with an application to the automata-based approach for real addition“，”display_name“：”Don\u2019 t care vods with a application of the automato-based application for the real address“，”publication_year“：2008，”publiction_date“：”2008-10-03“，”ids“：{”openalex“：”https://openalex.org/W2094939885“，”doi“：”https://doi.org/10.1007/s10703-008-0057-6“，”mag“：”2094939885“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10703-008-0057-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S3845260“，”display_name“：”系统设计中的形式化方法“，”issn_l“：”0925-9856“，”isn“：[”09259856“，”1572-8102“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”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“：true，”oa_status“：”green“，”oa_url“：”https://www.research-collection.ethz.ch/bitstream/25.00.11850/1030/2/10703_2008_Article_57.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5013349754“，”display_name“：”Jochen Eisinger“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I161046081“，”display_name“：”弗赖堡大学“，”ror“：”https://ror.org/0245cg223“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I161046081“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Jochen Eisinger“，”raw _ afiliation_strings“：[“德国弗莱堡阿尔伯特·卢德维格斯大学计算机科学系\u00e4t Freiburg”]，”从属关系“：[{”raw _affiliation_string“：”德国弗莱伯格阿尔伯特·鲁德维格斯学院计算机科学系机构ID“：[”https://openalex.org/I161046081“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5016636619“，”display_name“：”Felix Klaedtke“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I35440088“，”display_name“：”苏黎世ETH“，”ror“：”https://ror.org/05a28rw58“，”country_code“：”CH“，”type“：”教育“，”血统“：[”https://openalex.org/I2799323385","https://openalex.org/I35440088“]}]，”国家“：[”CH“]，”is_corresponding“：true，”raw_author_name“：”Felix Klaedtke“，”raw _ afiliation_strings“：[“瑞士苏黎世苏黎世联邦理工大学计算机科学系”]，”affiliations“：[{”raw_ afiliation _string“：”瑞士苏黎士联邦理工学院计算机科学系https://openalex.org/I35440088“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5016636619“]，”对应的机构ID“：[”https://openalex.org/I35440088“]，”apc_list“：{”value“：2690，”currency“：”EUR“，”value_usd“：3490，”provenance“：”doaj“}，”apc _payd“：null，”fwci“：0.683，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：4，”cited_by_percentile_year“：”{“min”：79，”max“：81}，“biblio”：{“volume”：“33”，“issue”：“1-3”，“first_page”“：”85“，”last_page“：”115“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9963，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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.9909，“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/model-checking“，”display_name“：”模型检查“，”score“：0.4758}]，”concepts“：[{”id“：”https://openalex.org/C3309909，“wikidata”：https://www.wikidata.org/wiki/Q864155“，”display_name“：”二进制决策图“，”level“：2，”score“：0.75331163}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.6537189}，{”id“：”https://openalex.org/C165753454，“wikidata”：https://www.wikidata.org/wiki/Q1020380“，”display_name“：”B\u00fcchi automaton“，”level“：4，”score“：0.54187405}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.5393761}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.48469093}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.47281185}，{”id“：”https://openalex.org/C92710233，“wikidata”：https://www.wikidata.org/wiki/Q291256“，”display_name“：”\u03c9-automaton“，”level“：5，”score“：0.46603316}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.44799417}，{”id“：”https://openalex.org/C194525867，“wikidata”：https://www.wikidata.org/wiki/Q5265707“，”display_name“：”确定性自动机“，”level“：3，”score“：0.4462277}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.43508002}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.4252064}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.42248556}，{”id“：”https://openalex.org/C174327141，“wikidata”：https://www.wikidata.org/wiki/Q176837“，”display_name“：”量子有限自动机“，”level“：4，”score“：0.42184442}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.38361064}，{”id“：”https://openalex.org/C116248031，“wikidata”：https://www.wikidata.org/wiki/Q214526“，”display_name“：”自动机理论“，”level“：3，”score“：0.33393094}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.1378972}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10703-008-0057-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S3845260“，”display_name“：”系统设计中的形式化方法“，”issn_l“：”0925-9856“，”isn“：[”09259856“，”1572-8102“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”journal“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/20.500.11850/1030，“pdf_url”：https://www.research-collection.ethz.ch/bitstream/25.00.11850/1030/2/10703_2008_Article_57.pdf，“源”：{“id”：https://openalex.org/S4306402302“，”display_name“：”出版物和研究数据存储库（苏黎世联邦理工大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I35440088“，”“host_organization_name”：“苏黎世以太币”，“host_ordanization_lineage”：[“https://openalex.org/I35440088“]，”host_organization_lineage_names“：[”ETH Zurich“]，“type”：“repository”}，“license”：null，“liccense_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/20.500.11850/1030，“pdf_url”：https://www.research-collection.ethz.ch/bitstream/25.00.11850/1030/2/10703_2008_Article_57.pdf，“源”：{“id”：https://openalex.org/S4306402302“，”display_name“：”出版物和研究数据存储库（苏黎世联邦理工大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I35440088“，”“host_organization_name”：“苏黎世以太币”，“host_ordanization_lineage”：[“https://openalex.org/I35440088“]，”host_organization_lineage_names“：[”ETH Zurich“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”score“：0.74，”display_name“：”和平、正义和强大的制度“，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：45，”referrenced_works“：【”https://openalex.org/W116323116","https://openalex.org/W1483379332","https://openalex.org/W1498256026","https://openalex.org/W1504438699","https://openalex.org/W1517606395","https://openalex.org/W1520624628","https://openalex.org/W1522694098","https://openalex.org/W152678677网址","https://openalex.org/W155339612","https://openalex.org/W1553663883","https://openalex.org/W1560050980","https://openalex.org/W1787536085","https://openalex.org/W1860772589","https://openalex.org/W1881102326","https://openalex.org/W1966217515","https://openalex.org/W1966686249","https://openalex.org/W1968448471","https://openalex.org/W1980102547","https://openalex.org/W1987469449","https://openalex.org/W1997268799","https://openalex.org/W2013702670","https://openalex.org/W2021592352","https://openalex.org/W2031409637","https://openalex.org/W2050073538","https://openalex.org/W2052987729","https://openalex.org/W2055477538","https://openalex.org/W2059045337","https://openalex.org/W2060095702","https://openalex.org/W2082488535","https://openalex.org/W2116820075","https://openalex.org/W2121909093","https://openalex.org/W2122493035","https://openalex.org/W2142504844","https://openalex.org/W2147269402","https://openalex.org/W2147340401","https://openalex.org/W2161485500","https://openalex.org/W2277116248","https://openalex.org/W4205178514","https://openalex.org/W4206172270","https://openalex.org/W4233225156","https://openalex.org/W4250846042","https://openalex.org/W4253178675","https://openalex.org/W4255968055","https://openalex.org/W4300021588","https://openalex.org/W4302339081“]，”related_works“：[”网址：https://openalex.org/W9554130","https://openalex.org/W4378498717","https://openalex.org/W4231063068","https://openalex.org/W2368684504","https://openalex.org/W2134923509","https://openalex.org/W2090058024","https://openalex.org/W2037872771","https://openalex.org/W2002662108","https://openalex.org/W185868636","https://openalex.org/W1825821945“]，”ngrams_url“：”https://api.openalex.org/works/W2094939885/ngrams网站“，”“abstract_inverted_index”：{“Automata”：[0]，“have”：[1]，“proved”：[2]，“to”：[3,24,32,61,67,84105]，“be”：[4,98]，“a”：[5,65,85110]，“usive”：[6]，“tool”：[7]，“in”：[8,44]，“infinder-state”：[9]，“model”：[10]，“checking”：[11]，“since”：[12]，“their”：[13]，“can”：[14]，97]，“表示”：[15,33]，“无限”：[16]，“集合”：[17]，“的”：[18,27,38,56109]，“整数”：[19124]，“和“：[20,96125]”，reals。“：[21]，”“然而，”：[22]，“类似”：[23]，“the”：[25,36,39,45,54,69,75107114118123126]，“use”：[26]，“binary”：[28]，“decision”：[29111]，“diagrams”：[30]，“（bdds）”：[31]，“finited”：[34]，“set”：[35]，“sizes”：[37]，“automata”：[40,70]，“are”：[41]，“an”：[42]，“barrier”：[43]，“基于自动机”：[46]，“集合”：[47]，“表示”。“：[48]，”In“：[49]，”this“：[50]，”article“：[51]，”we“：[22]，”generalize“：[53]，”concept“：[55]，”\u201cdon\u2019t“：[57]，”cares\u201d“：[58]，”for“：[59113]，”bdds“：60]，”word“：/62]，“languages”：[63]，”as“：[64]，”表示“：[66]，”reduce“：[68]，”sizes。“：[71]，”We“：[72101]，”show“：[73]，”that“：[74]，”minimal“：[76]，”weak“：77]，”determinative“：[78]，”B\u00fcchi“：%79]，”automaton“：[80]，”（wdba）“：[81]，”with“：+82]，”respect“：[83]，”given“：86]，”don\u2019t“：[87103]，”care“：[88]，”set，“：[89]，”under“：[90]，“确定”：[91]，“限制”，：[92]，“是”：[93]，“唯一”：[94]，“决定”：[95]，“有效”：[99]，“构建。“：[100]，”应用“：[102]，”关心“：[104]，”改进“：[106]，”效率“：[108]，”过程“：[112]，”一阶“：[115]，”逻辑“：[116]，”过度“：[117122]，”混合“：[119]，”线性“：[120]，”算术“：[121]，”实数“：[127]，”基于“：[128]，”基于“：[129]，”wdbas。“：[130]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2094939885“，”counts_by_year“：[{“年份”：2017，”cited_by_count“：1}，{“年度”：2015，”cited_by_count”：1}]，”updated_date“：”2024-06-27T00:35:07.197475“，”created_dates“：”2016-06-24“}