{“id”：“https://openalex.org/W2051720582“，”doi“：”https://doi.org/10.1007/978-3-540-25984-8_19“，”title“：”G\u00f6del Dummett Logics中的计数器模型搜索“，”display_name“：”G\u00f6del Dummett Logics中的计数器模型搜索“，”publication_year“：2004，”publication_date“：”2004-01-01“，”ids“：｛”openalex“：”https://openalex.org/W2051720582“，”doi“：”https://doi.org/10.1007/978-3-540-25984-8_19“，”mag“：”2051720582“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-25984-8_19“，”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“：”丛书“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”预印本“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”oa_url“：”http://www.loria.fr网站/~larchey/paperss/IJCAR2004.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5069943669“，”display_name“：”Dominique Larchey-Wendling“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210121838“，”display_name“：”洛林计算机科学研究实验室及其应用“，”ror“：”https://ror.org/02vnf0c38“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I4387156389","https://openalex.org/I90183372“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Dominique Larchey-Wendling“，”raw _ afiliation_strings“：[“LORIA\u2013 CNRS，Campus Scientifique，Vand\u0153uvre-l\u00e8s-Nancy，France”]，“afliations”：[{“raw_affiliation_string”：“LORIA \u2013 CNRS，Campous Scientifique，Vand\u53uvre-l\u001e8s-南希，France“，”institutions宪法ID“：[”https://openalex.org/I4210121838","https://openalex.org/I1294671590“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5069943669“]，”对应的机构ID“：[”https://openalex.org/I4210121838","https://openalex.org/I1294671590“]，”apc_list“：null，”apc _ paid“：null，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：4，”citecd_by_percentile_year“：{”min“：77，”max“：79}，”biblio“：{“volume”：null、“issue”：null、“first_page”：“274”、“last_page”：“288”}、“is_retracted”：false、“is_paratext”：false、“primary”_主题“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“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.9995，“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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.999，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9987，”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/model-checking“，”display_name“：”模型检查“，”score“：0.5403}，{”id“：”https://openalex.org/keywords/modal-logics（https://openalex.org/keywords/modal-logics）“，”display_name“：”模态逻辑“，”score“：0.509098}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.502289}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.500852}]，”concepts“：[{”id“：”https://openalex.org/C2778003309，“wikidata”：https://www.wikidata.org/wiki/Q5450381“，”display_name“：”Finitary“，”level“：2，”score“：0.9602216}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.66925085｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.4059896}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3943128}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35613912}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.2692059}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-25984-8_19“，”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”：false，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-00008806“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-00008806“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.98.7088，“pdf_url”：http://www.loria.fr网站/~larchey/papers/IJCAR2004.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}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.98.7088，“pdf_url”：http://www.loria.fr网站/~larchey/papers/IJCAR2004.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“：[”宾夕法尼亚州立大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：12，”referenced_works“：[”https://openalex.org/W1479710971","https://openalex.org/W1507920653","https://openalex.org/W1541524853","https://openalex.org/W2030232034","https://openalex.org/W2080267935","https://openalex.org/W2106490090","https://openalex.org/W2110182592","https://openalex.org/W2114979222","https://openalex.org/W2124047678","https://openalex.org/W2131739376","https://openalex.org/W4210866997","https://openalex.org/W934952615“]，”related_works“：[”https://openalex.org/W4388260081","https://openalex.org/W4288102793","https://openalex.org/W4287587103","https://openalex.org/W4206837156","https://openalex.org/W3110583286","https://openalex.org/W2976590292","https://openalex.org/W2975654559","https://openalex.org/W2748952813","https://openalex.org/W2085314983","https://openalex.org/W2017288906“]，”ngrams_url“：”https://api.openalex.org/works/W2051720582/ngrams“，”“abstract_inverted_index”：{“We”：[0,10,56]，“present”：[1]，“a”：[2,31,59]，“new”：[3]，“method”：[4,61]，“for”：[5,72]，“deciming”：[6]，“G\u00f6del-Dummett”：[7]，“logic”：[8]，“LC.”：[9]，“first”：[11]，“characterize”：[12,42]，“the”：[13,21,43,48,73]，“validity”：[14,4]4]，“of”：[15,18,23,45,50]，“不可约”：[16]，“sequents”：[17]，“LC”：[19,76]，“by”：[20,47]，“存在“：[22,49]，“r-cycles”：[24,36,51,64]，“in”：[25,52]，“bi-colored”：[26]，“graph”：[27]，“and”：[28,37]，“we”：[29,41]，“propose”：[30]，“linear”：[32]，“algorithm”：[33]，“to”：[34,62]，“detect”：[35,63]，“build”：[38]，“计数器模型。“：[39]，”Then“：[40]，”formulas“：[46]，”boolean“：[P3,66]，”constrained“：[54]，”graphs“。“：[55]，”also“：[57]，”give“：[58]，”parallel“：[60]，”under“：[65]，”constraints。“：[67]，”相似“：[68]，”结果“：[69]，”are“：[70]，”给定“：[71]，”有限“：[74]，”版本“：[75]，”n“：[77]，”。“：[78]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2051720582“，”counts_by_year“：[{”年份“：2015，”cited_by_count“：1}]，”updated_date“：”2024-06-24T07:53:20.041445“，”created_dates“：”2016-06-24“}