｛“id”：“https://openalex.org/W4255675760“，”doi“：”https://doi.org/10.1007/978-3-030-51825-7“，”title“：”可满足性测试的理论与应用\u2013 SAT 2020“，”display_name“：”可用性测试的原理与应用\u 2013 SAT 2020“，”publication_year“：2020，”publiciation_date“：”2020-01-01“，”ids“：{”openalex“：”https://openalex.org/W4255675760“，”doi“：”https://doi.org/10.1007/978-3-030-51825-7“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-51825-7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book“，”type_crossref“：“book”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：true，”oa_status“green”，“oa_url”“：”https://kar.kent.ac.uk/81001/1/main.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5004587018“，”display_name“：”Luca Pulina“，”orcid“：”https://orcid.org/0000-0003-0258-3222}，“机构”：[{“id”：https://openalex.org/I159650629“，”display_name“：”萨萨里大学“，”ror“：”https://ror.org/01bnjbv91“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I159650629“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Luca Pulina“，”raw _affiliation_strings“：[“意大利萨萨里萨萨里大学”]，”affiliations“：[{”raw _affiliation_string“：”意大利萨萨利萨萨萨萨里学院“，”institution_ids“：[https://openalex.org/I159650629“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5042183912“，”display_name“：”Martina Seidl“，”orcid“：”https://orcid.org/0000-0002-3267-4494}，“机构”：[{“id”：https://openalex.org/I121883995“，”display_name“：”约翰内斯·开普勒林茨大学“，”ror“：”https://ror.org/052r2xn60“，”country_code“：”AT“，”type“：“教育”，”世系“：[”https://openalex.org/I121883995“]}]，”国家“：[”AT“]，”is_corresponding“：false，”raw_author_name“：”Martina Seidl“，”raw_affiliation_strings“：[“奥地利林茨约翰内斯·开普勒大学”]，”affiliations“：[{”raw_affiliation_string“：”奥地利林茨约翰·开普勒学院”，“institution_ids”：[”https://openalex.org/I121883995“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：3.982，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：20，”cited_by_percentile_year“：{”min“：93，”max“：94}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11357“，”display_name“：”风险分析与管理“，”score“：0.633，”subfield“：{”id“：”https://openalex.org/subfields/1804“，”display_name“：”统计、概率和不确定性“}，”字段“：{”id“：”https://openalex.org/fields/18“，”display_name“：”Decision Sciences“}，”domain“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}，”主题“：[{”id“：”https://openalex.org/T11357“，”display_name“：”风险分析与管理“，”score“：0.633，”subfield“：{”id“：”https://openalex.org/subfields/1804“，”display_name“：”统计、概率和不确定性“}，”字段“：{”id“：”https://openalex.org/fields/18“，”display_name“：”Decision Sciences“}，”domain“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/uncertainty-handling“，”display_name“：”不确定性处理“，”score“：0.442443}]，”concepts“：[{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.74298596}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.49842286}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.33789855}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.33062443}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-51825-7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://kar.kent.ac.uk/81001/1/main.pdf，“pdf_url”：https://kar.kent.ac.uk/81001/1/main.pdf，“源”：{“id”：https://openalex.org/S4377196264“，”display_name“：”Kent Academic Repository（University of Kent）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I20581793“，”“host_organization_name”：“肯特大学”，“host_ordanization_lineage”：[“https://openalex.org/I20581793“]，”host_organization_lineage_names“：[”肯特大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://kar.kent.ac.uk/81001/1/main.pdf，“pdf_url”：https://kar.kent.ac.uk/81001/1/main.pdf，“源”：{“id”：https://openalex.org/S4377196264“，”display_name“：”Kent Academic Repository（University of Kent）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I20581793“，”“host_organization_name”：“肯特大学”，“host_ordanization_lineage”：[“https://openalex.org/I20581793“]，”host_organization_lineage_names“：[”肯特大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false｝，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：0，”referenced_works“：[]，”related_works“：[”https://openalex.org/W4220913713","https://openalex.org/W3042708252","https://openalex.org/W27822467","https://openalex.org/W2749582297","https://openalex.org/W2404668260","https://openalex.org/W2396641696","https://openalex.org/W2268954500","https://openalex.org/W1648439814","https://openalex.org/W1567492448","https://openalex.org/W1412518142“]，”ngrams_url“：”https://api.openalex.org/works/W4255675760/ngrams“，”abstract_inverted_index“：｛”The“：[0]，”SAT“：[1，24]，”2020“：[2]，”诉讼“：[3]，”deal“：[4]，”with“：[5]，”理论“：[6]，”advances“：[7]，”in“：[8]，”可满足性“：[9]，”测试“：[10]，”（例如：[11]，”精确“：[12]，”算法“：[13,18]，”证明“：[14]，”复杂性“：[15]，”实用”：[16]，“搜索”：[17]，“知识”：[19]，“汇编”：[20]，“实现级别“：[21]，”细节“：[22]，”的“：[23]，”解算器“：[25]，”和“：[26,31,33]，”基于SAT“：[27]，”系统“：[28]，”问题“：[29]，”编码“：[30]，”重新格式化“：[32]，”应用程序。“：[34]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4255675760“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：3}，{”年“：2022，”ciped_by_cunt“：3G}，”{“年份”：2021，“cited_by_count”：3}.，{“年”：2020，”cited_by_count