{“id”：“https://openalex.org/W3030336994“，”doi“：”https://doi.org/10.1007/s10817-020-09556-x“，”title“：”前言：“2018年国际癌症研究大会论文集特刊”，“display_name”：“前言：2018年国际肿瘤研究大会论文集中特刊”、“publication_year”：2020，“publication_date”：“2020-05-26”，“ids”：{“openalex”：“https://openalex.org/W3030336994“，”doi“：”https://doi.org/10.1007/s10817-020-09556-x“，”mag“：”3030336994“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/s10817-020-09556-x，“pdf_url”：https://link.springer.com/content/pdf/10.1007/s10817-020-09556-x.pdf“，”源“：｛”id“：”https://openalex.org/S99781599“，”display_name“：”Journal of Automated Reasoning“，”issn_l“：”0168-7433“，”isn“：[“0168-7443”，”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/P4310318900","https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”施普林格科学+商业媒体“，”施普林格自然“]，”type“：”期刊“}，”license“：”抄送人“，”license_id“：”https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007/s10817-020-09556-x.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5031692169“，”display_name“：”Didier Galmiche“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I90183372“，”display_name“：”洛林大学\u00e9“，”ror“：”https://ror.org/04vfs2w97“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I90183372“]}，{”id“：”https://openalex.org/I4210121838“，”display_name“：”Laboratoire Lorrain de Recherche en Informatique et ses Applications“，”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/I90183372“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Didier Galmiche“，”raw _affiliation_strings“：[“LORIA，CNRS，University \u00e9 de Lorraine，Nancy，France”]，”affiliations“：[{”raw _affiliation_string“：”LORIAhttps://openalex.org/I90183372","https://openalex.org/I4210121838","https://openalex.org/I1294671590“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5030305055“，”display_name“：”Stephan Schulz“，”orcid“：”https://orcid.org/0000-0001-6262-8555}，“机构”：[{“id”：https://openalex.org/I108806672“，”display_name“：”Baden-Wuertemberg合作州立大学“，”ror“：”https://ror.org/02xdzy536“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I108806672“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”Stephan Schulz“，”raw _affiliation_strings“：[“Duale Hochschule Baden-W\u00fcrttemberg Stuttgart，Stuttgard，Germany”]，”afliations“：[{”raw_affiliation_string“：”Duale Holschule巴登-W\u 00fcrtemberg Stuttgert，德国斯图加特“，”，“institution_ids”：[”https://openalex.org/I108806672“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5088301538“，”display_name“：”Roberto Sebastiani“，”orcid“：”https://orcid.org/0000-0002-0989-6101}，“机构”：[{“id”：https://openalex.org/I193223587“，”display_name“：”特伦托大学“，”ror“：”https://ror.org/05trd4x28“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I193223587“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Roberto Sebastiani“，”raw _ affiliation_strings“：[“意大利特伦托大学信息工程与计算机科学系”]，”affiliation“：[{”raw _affiliation_string“：”意大利特伦托特伦托大学信息工程与计算机科学系“，“institution_ids”：[“https://openalex.org/I193223587“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：3，”institutions_disticent_count”：5，”corresponding_author_ids“：[”https://openalex.org/A5030305055“]，”对应的机构ID“：[”https://openalex.org/I108806672“]，”apc_list“：{”value“：2290，”currency“：”EUR“，”value_usd“：2890，”provenance“：”doaj“}，”apc _payed“：”{“value”：2290、”currentary“：”欧元“，”value_usd”：2890、“provenance”：“doaj”}、“fwci”：null、“has_fulltext_origin”：“pdf”、“cited_by_count”：0、“citation_normalized_percentile”：nul、“citted_b”y_percentile_year“：{”min“：0，”max“：62}，”biblio”：{“volume”：“64”，“问题“：”7“，”first_page“：”1165“，”last_page“：”1157“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：null，”topics“：[]，”keywords“：[[]，”conceptions“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”“display_name”“：”“计算机科学”“，”级别“：0，”分数“：0.5065986}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.32497892}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/s10817-020-09556-x，“pdf_url”：https://link.springer.com/content/pdf/10.1007/s10817-020-09556-x.pdf“，”源“：｛”id“：”https://openalex.org/S99781599“，”display_name“：”Journal of Automated Reasoning“，”issn_l“：”0168-7433“，”isn“：[“0168-7443”，”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/P4310318900","https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Science+Business Media“，”Springr Nature“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hdl.handle.net/11572/287785，“pdf_url”：https://iris.unitn.it/bitstream/11572/287785/1/Galmiche2020_Article_PrefaceSpecialIssueOfSelectedE.pdf“，”源“：｛”id“：”https://openalex.org/S4306401913“，”display_name“：”Institutional Research Information System（University\u00e0 degli Studi di Trento）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I193223587“，”“host_organization_name”：“特伦托大学”，“host_organization_lineage”：[“https://openalex.org/I193223587“]，”host_organization_lineage_names“：[”特伦托大学“]，”type“：”repository“｝，”license“：”抄送人“，”license_id“：”https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/s10817-020-09556-x，“pdf_url”：https://link.springer.com/content/pdf/10.1007/s10817-020-09556-x.pdf“，”源“：｛”id“：”https://openalex.org/S99781599“，”display_name“：”Journal of Automated Reasoning“，”issn_l“：”0168-7433“，”isn“：[“0168-7443”，”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/P4310318900","https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Science+Business Media“，”Springr Nature“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890","https://openalex.org/W1596801655“]，”abstract_inverted_index“：{”in“：[0,21,29,93141151230291]，”Oxford“：[1]，”UK“：[2]，”as“：[3,79,96]，”part“：[4,80]，”of“：[5,41,81,8910712612916417419119520221721255273281297304308]，”the“：[6,13,64,67,82,94,99114117123127182200218220021825279295]，”Federated“：[7]，”Logic“：[8284]，“会议”：[9]，“（FLOC）”：[10]，“2018.IJCAR“：[11]，“is”：[12289]，“prime”：[14]，“international”：[15]，“joint”：[16]，“conference”：[17]，“on”：[18,34,439,47226239]，“all”：[19]，“topics”：[20150]，“automatic”：[22,30179]，“reasoning”：[23180]，“and”：[24,4,50,72104157162176209223248307]，“merges”：[25]，“three”：[26,77]，“leading”：[27]，“事件”：[28]，“推理：”：[31]，“CADE”：[32]，“（会议编号：[33,46]，“自动”：[35130152]，“扣除”），“：[36]，“FroCoS”：[37]，“（专题讨论会”：[38]，“前沿”：[40]，“组合”：[42]，“系统”，“：%43]，“TABLEAUX”：[45]，“分析”：[48]，“表格”：[49]，“相关”：[51]，“方法”）。The“：[52]，”papers“：[53,68,92109120140]，”selected“：[54139]，”for“：[55258]，”this“：[P611142]，”special“：[57112143]，”issue“：[58144]，”hanced“：[59]，”a“：[60146215233270301]，”two-round“：[61]，”reviewing“：[62,85124]，”process。在“：[63]，”first“：[65219]，”round“：[66116]，”had“：[69]，”been“：[70]，”reviewed“：[71134]，”accepted“：[73]，”by“：[74,98135300]，”at“：[75]，”least“：%76]，”evieverss“：[78100]，”IJCAR“：[83]，”2018“：[84]，”process中。我们“：[86]，“邀请”：[87]，“作者”：[88]，“排名靠前”：[90]，“评级”：[91]，“诉讼”：[95]，“评估”：[97]，“至”：[101110160172181199277]，“提交”：[102]，“修订”：[103]，“扩展”：[105119]，“版本”：[106]，“他们的”：[108]，“发行”。在“：[113]，”第二“：[115]，”提交“：[118]，”去“：[121]，”通过“：[122]，”过程“：[125]，”日志“：[128]，”推理。每个“：[131]，”论文“：[132206263]，”是“：[133]，”两个“：[136]，”审稿人。The“：[137]，“seven”：[138]，“cover”：[145]，“wide”：[147]，“spectrum”：[148]，“Reasoning”：[153]，“from”：[154169178193]，“proof”：[155170]，“theory”：%156]，“therevision”：[158228306]，“certaining”：[159229]，“formalization”：[161216]，“mechanization”：[163]，“complete”：[165256]，“or”：[166]，“decitability”：[167280]，“results”：[168]，“系统”：[171]，“分析”：[173]，“复杂性“：[175]，”可判定性“：[177]，”生产“：[183]，”有状态“：[185]，”ML“：[186]，”程序“：[187]，”一起“：[188]，”与“：[189242294]，”证明“：[190257]，”正确性“：%192]，”扩展“：[194]，“模型”：[196]，“检查”：[197]，“技术”：[198]，“验证”：[201]，“一些”：[203]，“参数化”：[204]，“系统。“：[205]，”\“形式化”：[207]，“Bachmair”：[208222]，“Ganzinger’s”：[210224]，“有序”：[211]，“决议”：[212]，“箴言”：[213]，“呈现”：[214269]，“一半”：[220]，“章节”：[225]，“决议”：[2227241]，“Isabelle/HOL”：[231]，“提供”：[232]，“反驳”：[234]，“完整”：[235]，“一阶”：[236]，“证明者”：[237]，“基于”：[238]，“有序”：[240]，“文字“：[243]，”选择。It“：[244]，”proposes“：[245]，”general“：[246]，”infrastructure“：[247]，”methodology“：[249]，”that“：[250]，”can“：[251]，”form“：[252303]，”basis“：[254]，”related“：[259]，”calculi“：[260]，”inducing“：[261]，”suplication“。“：[262]，”“建设性”：[264]，“决策”：[265]，“通过”：[266]，“无冗余”：[267]，“证据搜索”：[268]，“建设性的”：[271302]，“账户”：[272]，“克里普克库里的”：[2074]，“方法”：[275288]，“使用”：[276]，“建立”：[278]，“隐含”：[282]，“相关性”：[283]，“（R”：[285]，“\u2192”：[286]，“）。“：[287]，”机械化“：[290]，”无公理“：[292]，”Coq，“：[293]，”替换“：[296]，”Kripke/Dickson’s“：[298]，”引理“：[2]，”拉姆齐“：[305]，”K\u00f6nig's“：[309]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3030336994“，”counts_by_year“：[]，”updated_date“：”2024-09-17T21:14:42.155624“，”创建日期“：”2020年6月5日“}