{“id”：“https://openalex.org/W4386776668“，”doi“：”https://doi.org/10.1007/s10817-023-09682-2“，”title“：“关于向量的推理：序列理论的可满足模”，”display_name“：”关于向量的推断：序列理论中的可满足模数“，”publication_year“：2023，”publitation_date“：”2023-09-01“，”ids“：{”openalex“：”https://openalex.org/W4386776668“，”doi“：”https://doi.org/10.1007/s10817-023-09682-2“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10817-023-09682-2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S99781599“，”display_name“：”自动推理杂志“，”issn_l“：”0168-7433“，”isn“：[”0168-8433“、”1573-0670“]，”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/A5083402013“，”display_name“：”应声“，”兽人“：”https://orcid.org/0000-0002-1883-2126}，“机构”：[{“id”：https://openalex.org/I97018004“，”display_name“：”斯坦福大学“，”ror“：”https://ror.org/00f54p054“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I97018004“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Ying Sheng“，”raw _affiliation_strings“：[“斯坦福大学，斯坦福，美国”]，”affiliations“：[{”raw _affiliation_string“：”斯坦福大学，美国“，”institution_ids“:[”https://openalex.org/I97018004“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5055297050“，”display_name“：”Andres N\u00f6tzli“，”orcid“：”https://orcid.org/0000-0001-8669-0011}，“机构”：[{“id”：https://openalex.org/I97018004“，”display_name“：”斯坦福大学“，”ror“：”https://ror.org/00f54p054“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I97018004“]}]，”国家“：[“美国”]，”is_corresponding“：false，”raw_author_name“：”Andres N\u00f6tzli“，”raw _ afiliation_strings“：[”斯坦福大学，斯坦福，美国“]，”affiliations“：[{”raw_ afiliation _string“：”斯坦福大学https://openalex.org/I97018004“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5023239786“，”display_name“：”Andrew G.Reynolds“，”orcid“：”https://orcid.org/0000-0001-6762-270X}，“机构”：[{“id”：https://openalex.org/I126307644“，”display_name“：”衣阿华大学“，”ror“：”https://ror.org/036jqmy94“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I126307644“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Andrew Reynolds“，”raw _affiliation_strings“：[“美国爱荷华州爱荷华市爱荷华大学”]，”affiliations“：[{”raw _affiliation_string“：”美国爱荷华州爱荷华州大学”，“institution_ids”：[“https://openalex.org/I126307644“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5052302712“，”display_name“：”Yoni Zohar“，”orcid“：”https://orcid.org/0000-0002-2972-6695}，“机构”：[{“id”：https://openalex.org/I13955877“，”display_name“：”巴宜兰大学“，”ror“：”https://ror.org/03kgsv495“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I13955877“]}]，”国家“：[”IL“]，”is_corresponding“：true，”raw_author_name“：”Yoni Zohar“，”raw _ afiliation_strings“：[“Bar-Ilan University，Ramat Gan，Israel”]，“affiliations”：[{“raw _ ffiliation_string”：“Bar-Ilan Universition，Ramat-Gan，Isral”，“institution_ids”：[”https://openalex.org/I13955877“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5009458897“，”display_name“：”David L.Dill“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210099336“，”display_name“：”Menlo学校“，”ror“：”https://ror.org/01240pn49“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I4210099336“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”David Dill“，”raw _affiliation_strings“：[“Meta Novi，Menlo Park，USA”]，“affiliations”：[{“raw_affiliation _string”：“Meta Novi，Menol Park，US”，“institution_ids”：[”https://openalex.org/I4210099336“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5057904664“，”display_name“：”Wolfgang Grieskamp“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210099336“，”display_name“：”Menlo学校“，”ror“：”https://ror.org/01240pn49“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I4210099336“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Wolfgang Grieskamp“，”raw _ afiliation_strings“：[“Meta Novi，Menlo Park，USA”]，“affiliations”：[{“raw _ ffiliation_strong”：“Meta Novi，Menol Park，US”，“institution_ids”：[”https://openalex.org/I4210099336“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5005726642“，”display_name“：”Junkil Park“，”orcid“：”https://orcid.org/0000-0003-1770-7291}，“机构”：[{“id”：https://openalex.org/I4210099336“，”display_name“：”Menlo学校“，”ror“：”https://ror.org/01240pn49“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I4210099336“]｝]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Junkil Park“，”raw_affiation_strings“：[”Meta Novi，Menlo Park，USA“]，”affiliations“：[｛”raw_affiation_string“：”Meta Novi，Menlo Park，USA“，”机构_ids“：[”https://openalex.org/I4210099336“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5072464909“，”display_name“：”Shaz Qadeer“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210099336“，”display_name“：”Menlo学校“，”ror“：”https://ror.org/01240pn49“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I4210099336“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Shaz Qadeer“，”raw _ afiliation_strings“：[“Meta Novi，Menlo Park，USA”]，”affiliations“：[{”raw _affiliation_strong“：”Meta Noni，Menlo Park，USA.“，”institution_ids“：[https://openalex.org/I4210099336“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5026961968“，”display_name“：”Clark Barrett“，”orcid“：”https://orcid.org/0000-0002-9522-3084}，“机构”：[{“id”：https://openalex.org/I97018004“，”display_name“：”斯坦福大学“，”ror“：”https://ror.org/00f54p054“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I97018004“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Clark Barrett“，”raw _affiliation_strings“：[“斯坦福大学，斯坦福，美国”]，”affiliations“：[{”raw _affiliation_string“：”斯坦福大学，美国“，”institution_ids“：[https://openalex.org/I97018004“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5046830049“，”display_name“：”Cesare Tinelli“，”orcid“：”https://orcid.org/0000-0002-6726-775X}，“机构”：[{“id”：https://openalex.org/I126307644“，”display_name“：”衣阿华大学“，”ror“：”https://ror.org/036jqmy94“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I126307644“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Cesare Tinelli“，”raw _ afiliation_strings“：[“美国爱荷华州爱荷华市爱荷华大学”]，”affiliations“：[{”raw _affiliation_string“：”美国爱荷华州爱荷瓦大学“，”institution_ids“：[https://openalex.org/I126307644“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：4，”corresponding_author_ids“：[”https://openalex.org/A5052302712“]，”对应的机构ID“：[”https://openalex.org/I13955877“]，”apc_list“：{”value“：2290，”currency“：”EUR“，”value_usd“：2890，”provenance“：”doaj“}，”apc _pay“：null，”fwci“：1.025，”has_fulltext“：false，”cited_by_count“：1，”cited_by_percentile_year“：{“min”：77，“max”：86}，“biblio”：{“volume”：“67”，“issue”：“3”，“first_page”：null、“last_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9988，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9988，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9988，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9986，“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/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.574255}，{“id”：“https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.524742}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.501826}]，”concepts“：[{”id“：”https://openalex.org/C164155591，“wikidata”：https://www.wikidata.org/wiki/Q2067766“，”display_name“：”可满足性模理论“，”level“：2，”score“：0.7204065}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.6083112}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”level“：2，”score“：0.6027281｝，｛”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.5859239}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5642042}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.52262074}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.51699793}，{”id“：”https://openalex.org/C2776639384，“wikidata”：https://www.wikidata.org/wiki/Q840396“，”display_name“：”理想（道德）“，”level“：2，”score“：0.42917305}，{”id“：”https://openalex.org/C88548561，“wikidata”：https://www.wikidata.org/wiki/Q347599网址“，”display_name“：”sort“，”level“：2，”score“：0.42699838｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.4103005}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.36317742}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.2726503}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2173469}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C23123220，“wikidata”：https://www.wikidata.org/wiki/Q816826“，”display_name“：”信息检索“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10817-023-09682-2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S99781599“，”display_name“：”自动推理杂志“，”issn_l“：”0168-7433“，”isn“：[”0168-8433“、”1573-0670“]，”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”：null'，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：[/]，“versions”：[]]，“referenced_works_count”：20，“referrenced_works”：[“https://openalex.org/W1480909796","https://openalex.org/W1481397690","https://openalex.org/W1531082700","https://openalex.org/W1555798330网址","https://openalex.org/W2014030742","https://openalex.org/W2022846948","https://openalex.org/W2105505307网址","https://openalex.org/W2106750307","https://openalex.org/W2159786179","https://openalex.org/W2164778826","https://openalex.org/W2199071416","https://openalex.org/W2606648105","https://openalex.org/W2736027423","https://openalex.org/W2767683523","https://openalex.org/W3043102507","https://openalex.org/W3136627104","https://openalex.org/W3185879565","https://openalex.org/W4225922019","https://openalex.org/W4230861591","https://openalex.org/W4280549737“]，”related_works“：[”https://openalex.org/W583460537","https://openalex.org/W4386723279","https://openalex.org/W4379142300","https://openalex.org/W2810367355","https://openalex.org/W2578463151","https://openalex.org/W2433853642","https://openalex.org/W2275420537","https://openalex.org/W2131919998","https://openalex.org/W2048447692","https://openalex.org/W148378534“]，”ngrams_url“：”https://api.openalex.org/works/W4386776668/ngrams“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4386776668“，”counts_by_year“：[{”年“：2024，”引用_by_count“：1}]，”更新日期“：”2024-06-28T03:53:50.806247“，”创建日期“：“2023-09-16”}