{“id”：“https://openalex.org/W2006228911“，”doi“：”https://doi.org/10.1007/s10009-005-0188-7“，”title“：”The saturation algorithm for symbolic state-space exploration“，”display_name“：”The saturation算法for symbilic state-space exploreration“，”publication_year“：2005，”publiation_date“：”2005-11-09“，”ids“：{”openalex“：”https://openalex.org/W2006228911“，”doi“：”https://doi.org/10.1007/s10009-005-0188-7“，”mag“：”2006228911“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-005-0188-7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”display_name“：”技术转让软件工具国际期刊“，”issn_l“：”1433-2779“，”isn“：[”1433-277“，”1433-2787“]，”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，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“：null，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5071970957“，”display_name“：”Gianfranco Ciardo“，”orcid“：”https://orcid.org/0000-0002-4906-6145}，“机构”：[{“id”：https://openalex.org/I103635307“，”display_name“：”加州大学河滨分校“，”ror“：”https://ror.org/03nawhv43“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I103635307“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Gianfranco Ciardo“，”raw _ afiliation_strings“：[“加利福尼亚大学河滨分校计算机科学与工程系，92521，加利福尼亚州河滨，美国#TAB#”]，”afiliations“：[{”raw_ afiliation _string“：”美国加州大学河滨分校计算机科学与工程系，92521，加州河滨#TAB#“，”institution_ids“：[”https://openalex.org/I103635307“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5056917342“，”display_name“：”Robert Marmorstein“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I16285277“，”display_name“：”William&Mary“，”ror“：”https://ror.org/03hsf0573“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I16285277“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Robert Marmorstein“，”raw_affiliation_strings“：[“威廉与玛丽学院计算机科学系，8795，23187-8795，弗吉尼亚州威廉斯堡”]，”从属关系“：[{”raw_affiliation_string“：”威廉与玛丽学院计算机科学系，8795，23187-8795，弗吉尼亚州威廉斯堡”，“institution_ids”：[“https://openalex.org/I16285277“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5051613263“，”display_name“：”Radu I.Siminiceanu“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1329048335“，”display_name“：”国家航空航天研究所“，”ror“：”https://ror.org/00fadxs59“，”country_code“：”美国“，”type“：”非营利“，”血统“：[”https://openalex.org/I1329048335“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Radu Siminiceanu“，”raw _ afiliation_strings“：[“美国国家航空航天研究所，8795，144 Research Drive，23666，Hampton，VA，USA#TAB#”]，”从属关系“：[{”raw_ afiliation _string“：”美国国家航空研究所，8695，144-Research Drive机构ID“：[”https://openalex.org/I1329048335“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：3，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：2390，“currency”：“EUR”，“value_usd”：2990，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：3.097，“has_fulltext”：false，“cited”_by_count“：64，”引用规范化百分比“：{”value“：0.979293，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：94，”max“：95}，“biblio”：{“volume”：“8”，“issue”：“1”，“first_page”：null，“last_page”：null}，《is_retracted》：false、“is_paratext”：false；“primary_topic”：“{”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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9972，”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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9967，“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/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.507911}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.500507}，{”id“：”https://openalex.org/keywords/theory-of-computation网站“，”display_name“：”计算理论“，”score“：0.4748231}，{”id“：”https://openalex.org/keywords/encode“，”display_name“：”ENCODE“，”score“：0.43502563}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7798367}，{”id“：”https://openalex.org/C2779808786，“wikidata”：https://www.wikidata.org/wiki/Q6664603“，”display_name“：”Locality“，”level“：2，”score“：0.6920825}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.55018944}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.5275352｝，｛”id“：”https://openalex.org/C165696696，“wikidata”：https://www.wikidata.org/wiki/Q11287“，”display_name“：”Exploit“，”level“：2，”score“：0.52064127}，{”id“：”https://openalex.org/C24858836，“wikidata”：https://www.wikidata.org/wiki/Q844718“，”display_name“：”计算理论“，”level“：2，”score“：0.4748231}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.47371835}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.46087343}，{”id“：”https://openalex.org/C66746571，“wikidata”：https://www.wikidata.org/wiki/Q1134833“，”display_name“：”ENCODE“，”level“：3，”score“：0.43502563}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.4232287}，{”id“：”https://openalex.org/C125411270，“wikidata”：https://www.wikidata.org/wiki/Q18653“，”display_name“：”编码（内存）“，”级别“：2，”分数“：0.41633195}，{”id“：”https://openalex.org/C75553542，“wikidata”：https://www.wikidata.org/wiki/Q178161“，”display_name“：”先验和后验“，”level“：2，”score“：0.4121565｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.19179702}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.1265539}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-005-0188-7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”display_name“：”技术转让软件工具国际期刊“，”issn_l“：”1433-2779“，”isn“：[”1433-277“，”1433-2787“]，”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｝]，”best_oa_location“：null，”可持续发展目标“：[｛”display_name“：”和平、正义和强大的机构“，”score“：0.79，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：52，”referrenced_works“：【”https://openalex.org/W1491214620","https://openalex.org/W1492259997","https://openalex.org/W1496552468","https://openalex.org/W1498760855","https://openalex.org/W1511470875","https://openalex.org/W1521615649","https://openalex.org/W1557545083","https://openalex.org/W1562663103","https://openalex.org/W1564947547","https://openalex.org/W1568729458","https://openalex.org/W1571497250","https://openalex.org/W1574030932","https://openalex.org/W1578881602","https://openalex.org/W1581080010","https://openalex.org/W1582292473","https://openalex.org/W1595213177","https://openalex.org/W1600140696","https://openalex.org/W1718783241","https://openalex.org/W1728798265","https://openalex.org/W1861590051","https://openalex.org/W1973377835","https://openalex.org/W1979520342","https://openalex.org/W1986755980","https://openalex.org/W1987298286网址","https://openalex.org/W1996109622","https://openalex.org/W2017023300","https://openalex.org/W2061438988","https://openalex.org/W2080267935","https://openalex.org/W2093709900网址","https://openalex.org/W2107561541","https://openalex.org/W2123249903","https://openalex.org/W2144690539","https://openalex.org/W2150309803","https://openalex.org/W2157925880","https://openalex.org/W2161584651","https://openalex.org/W2164202841","https://openalex.org/W2171775336","https://openalex.org/W2173952623","https://openalex.org/W2340735175","https://openalex.org/W2503150106","https://openalex.org/W2652867808","https://openalex.org/W2681991495","https://openalex.org/W2762210817","https://openalex.org/W2911430074","https://openalex.org/W2913459036","https://openalex.org/W3144368627","https://openalex.org/W3158864670","https://openalex.org/W398579329","https://openalex.org/W4243290645","https://openalex.org/W4246017475","https://openalex.org/W4249235879","https://openalex.org/W4250225510网址“]，”related_works“：[”https://openalex.org/W4378714697","https://openalex.org/W3214340375","https://openalex.org/W2940472653","https://openalex.org/W2804553224","https://openalex.org/W2372020181","https://openalex.org/W2294330161","https://openalex.org/W2253069048","https://openalex.org/W2156531654","https://openalex.org/W1581723585","https://openalex.org/W140709781“]，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2006228911“，”counts_by_year“：[{”年“：2024，”cited_by_count“：2}，{”年份“：2023，”ciped_by_cunt“：1}，”{“年份”：2022，“cited_by_count”：5}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_by_count”：2}，{“年份”:2016，“引用_ by_counts”：5}，}“年份“：2015，“引用的by_count:2}，{“年份”：2013，“引用_ by_count”：2}，{”年份“：2012，”引用_ by-count“：5}]，”更新日期“：“2024-09-20T00:58:53.318665”，“创建日期”：“2016-06-24”}