{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,2,19]]，“日期-时间”：“2024-02-19T21:20:31Z”，“时间戳”：1708377631209}，“引用-计数”：0，“出版商”：“AGHU科技大学出版社”，“问题”：“1”，“内容-域”:{“域”：[]，“交叉标记限制”：false}，“short-container-title”：[“csci”]，“published-print”：{“date-parts”：[[2012]]}，“DOI”：“10.7494\/csci.2012.13.25”，“type”：“journal-article”，“created”：{“date-parts”：[2012,9,22]]，“date-time”：“2012-09-22T16:03:43Z”，“timestamp”：1348329823000}，”page“：”25“，”source“Crossref”，“is-referenced-by-count”：10，“标题”：[“使用BOINC桌面网格解决大规模SAT问题”]，“前缀”：“10.7494”，“卷”：“13”，“作者”：[{“给定”：“米哈伊尔”，“家族”：“Posypkin”，“序列”：“第一”，“从属”：[]}，{“给出”：“亚历山大”，”家族“：“塞梅诺夫”，“顺序”：“附加”，“附属”：[]}，[]}]，“成员”：“4398”，“container-title”：[“Computer Science”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“http://\journals.bg.agh.edu.pl\/Computer\/2012-01\/cs2012_13_01_025.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2020,2,27]]，“日期时间“：”2020-02-27T16:00:54Z“，“timestamp”：1582819254000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\journals.agh.edu.pl\/csci\/article\/view\/37”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2012]]}，‘references-count’：0，‘journal-issue’：{‘issue’：“1”，‘published-print’：{'date-part“：[2012]}”}，“URL”：“http://\/dx.doi.org\/10.7494\/csci.2012.13.1.25”，“关系”：{}，“ISSN”：[“1508-2806”]，“ISSN-type”：[{“value”：“1508-2086”，“type”:“print”}]，“subject”：【】，“published”：{“date-parts”：【2012】】}}