{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,3,29]]，“日期-时间”：“2022-03-29T09:57:01Z”，“时间戳”：1648547821235}，“引用-计数”：0，“发布者”：“IOS出版社”，“问题”：“1”，“许可证”：[{“开始”：{-“日期-零件”：[2016,1,1]]，”“日期-时刻”：“2016-01-01 T00:00:00Z“，”时间戳“：1451606400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[“SAT”]，“DOI”：“10.3233\/sat190108”，“type”：“journal-article”，“created”：{“date-parts”：[2019,11,29]]，“date-time”：“”2019-11-29T15:17:55Z“，”时间戳“：1575040675000}，“页面”：“187-206”，“来源”：“Crossref”，“is-referenced-by-count”：1，“标题”：[“QBF画廊2014：2014年FLoC奥运会QBF比赛”]，“前缀”：“10.3233”，“卷”：“9”，“作者”：[{“given”：“Mikol\u00e1\u0161”，“family”：“Janota”，“sequence”：“first”，“affiliation”：[}“name”：“SAT Group，INESC-ID Lisboa，葡萄牙。电子邮件：\u00a0mikolas.janota@gmail.com“}]}，{”given“：”Charles“，”family“：”Jordan“，”sequence“：”additional“，”affiliation“：[{”name“：”日本北海道大学信息科学与技术研究生院。电子邮件：\u00a0skip@ist.hokudai.ac.jp“}]}，{”given“：”Will“，”family“：”Klieber“，”sequence“：”additional“，”affiliation“：[{”name“：”美国卡内基梅隆大学软件工程学院。电子邮件：\u00a0wklieber@cs.cmu.edu“}]}，{”given“：”Florian“，”family“：”Lonsing“，”sequence“：”additional“，”affiliation“：[{”name“：”奥地利维也纳大学信息系统研究所。电子邮件：\u00a0florian.lonsing@tuwien.ac.at网址“}]}，{”given“：”Martina“，”family“：”Seidl“，”sequence“：”additional“，”affiliation“：[{”name“：”奥地利JKU Linz正式模型和验证研究所。电子邮件：\u00a0martina.seidl@jku.at“}]}，{”given“：”Allen“，”family“：”Van Gelder“，”sequence“：”additional“，”affiliation“：[{”name“：”Jack Baskin School of Engineering，University of California at Santa Cruz，United States.URL:\u00a0“}]]，”member“：”7437“，”published-on-line“：original-title“：[]，”link“：[{”URL“：”https:\/\/content.iospress.com/download？id=10.3233\/SAT190108“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2019,12,3]]，”date-time“：“2019-12-03T18:53:58Z”，“timestamp”：1575399238000}，“score”：1，“resource”：{“主要”：{“URL”：“https:\/\/www.medra.org\/servlet\/aliasResolver？alias=iospress&doi=10.3233\/SAT190108“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2016,1,1]]}，“references-count”：0，”journal-issue“：{“issue”：“1”，”published-on-line“：{”date-parts“：[2016,1]}”，“URL”：“http://\/dx.doi.org\/10.3233\/SAT190108”，“relation”：{}，“ISSN”：[“1574-0617”]，“ISSN-type”：[{“value”：“1574-0417”，“type”:“electronic”}]，“主题“：[]，”已发布“：{“日期部分”：[[2016,1,1]]}}