｛“id”：“https://openalex.org/W2103490167“，”doi“：”https://doi.org/10.1145/2603088.2603091“，”title“：“带归纳谓词的分离逻辑中可满足性的决策过程”，”display_name“：”带归纳谓语的分离逻辑的可满足性决策过程“，”publication_year“：2014，”publiation_date“：”2014-07-14“，”ids“：{”openalex“：”https://openalex.org/W2103490167“，”doi“：”https://doi.org/10.1145/2603088.2603091“，”mag“：”2103490167“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/2603088.2603091，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/2603088.2603091“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/2603088.2603091“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5025368137“，”display_name“：”J G.Brotherston“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I45129253“，”display_name“：”伦敦大学学院“，”ror“：”https://ror.org/02jx3x895“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I124357947","https://openalex.org/I45129253“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”James Brotherston“，”raw _affiliation_strings“：[“伦敦大学学院”]，”affiliations“：[{”raw _affiliation_string“：”伦敦大学学院“，”institution_ids“：]”https://openalex.org/I45129253“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5045363254“，”display_name“：”Carsten Fuhs“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I45129253“，”display_name“：”伦敦大学学院“，”ror“：”https://ror.org/02jx3x895“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I124357947","https://openalex.org/I45129253“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Carsten Fuhs“，”raw _affiliation_strings“：[“伦敦大学学院”]，”affiliations“：[{”raw _affiliation_string“：”伦敦大学学院“，”institution_ids“：]”https://openalex.org/I45129253“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5040977366“，”display_name“：”Juan Antonio P\u00e9rez“，”orcid“：”https://orcid.org/0000-0002-7081-5200}，“机构”：[{“id”：https://openalex.org/I45129253“，”display_name“：”伦敦大学学院“，”ror“：”https://ror.org/02jx3x895“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I124357947","https://openalex.org/I45129253“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Juan A.Navarro P\u00e9rez“，”raw _ afiliation_strings“：[“伦敦大学学院”]，”affiliations“：[{”raw _affiliation_string“：”伦敦大学学院“，”institution_ids“：[https://openalex.org/I45129253“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5007779952“，”display_name“：”Nikos Gorogannis“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Nikos GOROgannis”，“raw_affiliation_strings”：[“Middlesex University London”]，“afliations”：[{“raw_affiliation_string”：“Middressex University-Longon”，“institution_ids”：[]}]，“countries_distinct_count”：1，“institutions_distinct_count“：1，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：null，“fwci”：5.678，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：52，“citected_by_percentile_year”：{“min”：96，“max”：97}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，“is_retracted”：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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/T11010“，”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/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/selection-logic“，”display_name“：”分离逻辑“，”score“：0.533103}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.519912}，{“id”：“https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.51281}]，”concepts“：[{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.82249117}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.6991495}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.6717173}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.58200365}，{”id“：”https://openalex.org/C140146324，“wikidata”：https://www.wikidata.org/wiki/Q1144319“，”display_name“：”谓词（数学逻辑）“，”level“：2，”score“：0.53565115}，{”id“：”https://openalex.org/C3309909，“wikidata”：https://www.wikidata.org/wiki/Q864155“，”display_name“：”二进制决策图“，”level“：2，”score“：0.5330424}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.4596616}，{”id“：”https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.44108352}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4276089}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.37190175｝]，”mesh“：[]，”locations_count“：5，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/2603088.2603091，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/2603088.2603091“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.708.9412，“pdf_url”：http://www0.cs.ucl.ac.uk/staf/J.Brotherston/CSL-LICS14/sat_ind_defns_SL.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://eprints.bbk.ac.uk/id/eprint/13548/1/CSLLICS14-slsat.pdf，“pdf_url”：https://eprints.bbk.ac.uk/id/eprint/13548/1/CSLLICS14-slsat.pdf，“源”：{“id”：https://openalex.org/S43064066“，”display_name“：”BIROn（伦敦大学伯克贝克分校）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I98259816“，”“host_organization_name”：“伦敦大学伯克贝克分校”，“host_ordanization_lineage”：[“https://openalex.org/I98259816“]，”host_organization_lineage_names“：[”Birkbeck，University of London“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://discovery.ucl.ac.uk/id/eprint/1455002/，“pdf_url”：https://discovery.ucl.ac.uk/1455002/2/a25-brotherston.pdf，“源”：{“id”：https://openalex.org/S4306400024“，”display_name“：”UCL Discovery（伦敦大学学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I45129253“，”“host_organization_name”：“伦敦大学学院”，“host_ordanization_lineage”：[“https://openalex.org/I45129253“]，”host_organization_lineage_names“：[”伦敦大学学院“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://discovery.ucl.ac.uk/id/eprint/1455002/2/a25-brotherston.pdf，“pdf_url”：https://discovery.ucl.ac.uk/id/eprint/1455002/2/a25-brotherston.pdf，“源”：{“id”：https://openalex.org/S4306400024“，”display_name“：”UCL Discovery（伦敦大学学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I45129253“，”“host_organization_name”：“伦敦大学学院”，“host_ordanization_lineage”：[“https://openalex.org/I45129253“]，”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://doi.org/10.1145/2603088.2603091，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/2603088.2603091“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”sustainable_development_goals“：[｛”id“：”https://metadata.un.org/sdg/16“，”score“：0.84，”display_name“：”和平、正义和强大的机构“}]，”grants“：[{”funder“：”https://openalex.org/F4320334627“，”“funder_display_name”：“工程与物理科学研究委员会”，“award_id”：“EP/K040863/1，EP/H008373/2，EP/K032542/1”}]，“数据集”：[]，“版本”：[[]，“referenced_works_count”：12，“referrenced_works”：[“https://openalex.org/W1508482211","https://openalex.org/W1910824881网址","https://openalex.org/W1969965298","https://openalex.org/W1992012690","https://openalex.org/W2003383232","https://openalex.org/W2045388381","https://openalex.org/W2061341742","https://openalex.org/W2065939997","https://openalex.org/W2108611287","https://openalex.org/W2110463644","https://openalex.org/W2125505801","https://openalex.org/W2158493209“]，”related_works“：[”https://openalex.org/W4384918562","https://openalex.org/W3176904788","https://openalex.org/W2789140669","https://openalex.org/W2585890227","https://openalex.org/W2348129335","https://openalex.org/W2294297515","https://openalex.org/W2166108892","https://openalex.org/W21597398","https://openalex.org/W2072122432","https://openalex.org/W1543051890“]，”ngrams_url“：”https://api.openalex.org/works/W2103490167/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“show”：[1]，“that”：[2,54]，“the”：[3,7,37,45]，“satisfiability”：[4]，“problem”：[5]，“for”：[6]，“\”符号“：[8]，“heap\”：[9]，“fragment”：[10]，“of”：[11,39,47]，“separation”：[12]，“logic”：[13]，“with”：[14]，归纳地“：[16]，”定义的“：[17]，”谓词“：[18]，”---“：[19,28]，”其中“：[20]，”包括“：[21]，”most“：[22]，”fragments“：[23]，”employed“：[24]，”in“：[25]，”program“：[26]，”verification“：[27]，”is“：[29,34]，”decitable。“：[30]，“我们的”：[31]，“决定”：[32]，“程序”：[33]，“基于”：[35]，“关于”：[36]，“计算”：[38]，“a”：[40]，“确定”：[41]，“固定”：[42]，“点”：[43]，“来自”：[44]，“定义”：[46]，“an”：[48]，“归纳”：[49]，“谓词，”：[50]，“调用”：[51]，“其”：[52,57]，“基”“，”：[53]，“精确”：[55]，“特征”：[56]，“可满足性”。“：[58]}，”引用_ by_api_url“：”https://api.openalex.org/works？filter=cites:W2103490167“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：1'，{”“年份”“：2021，”“cited_by-count”“：3}，}”“年度”“：2020，”“gited_by/count”年份“：2016，”引用by_count“：8}，{“年份”：2015，”引用by_count]，“updated_date”：“2024-06-21T03:39:26.882775”，“创建日期”：“2016-06-24”}