{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,2,19]]，“日期时间”：“2024-02-19T01:40:11Z”，“时间戳”：1708306811196}，“出版商位置”：“柏林，海德堡”，“参考计数”：6，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540671022”，“类型”：“打印”}，{“值”：“9783540465621”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2000]]}，”DOI“：”10.1007\/3-540-46562-6_20“，”type“：”book-capter“，”created“：”{“date-part”：[2007,14]]，“date-time”：“2007-11-14T00:12:56 Z“，”时间戳“：1194999176000}，”页面“：”228-234“，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“应用时间逻辑分析合作逻辑程序的行为”]，“prefix”：“10.1007”，”author“：[{”given“：”Michael I.“，”family“：”Dekhtyar“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Alexander Ja.“，”家族“：”Dikovsky“，”序列“：”additional“，”filiance“：[]}，“given”：”Mars K“，“family”：“Valiev”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2000,1,28]]}，“reference”：[{“key”：“20_CR1”，“doi-asserted-by”：”crossref“，“unstructured”：“Dekhtyar M.I.，Dikovsky A.Ja.具有稳定行为的动态演绎数据库.In \u201cProc.of the 12 Intern.Conf.on Logic Programming \u201d，Ed。L.Sterling，The MIT Press，1995，183\u2013197.“，“DOI”：“10.7551\/mitpress\/4298.003.0026”}，{“key”：“20_CR2”，“unstructured”：“Dekhtyar M.I.，Dikovsky A.Ja.论动态演绎数据库的稳态行为。In:D.Bjorner，M.Broy，I.Pottosin（eds.）Proc.2nd Int.A.P。Ershov纪念会议\u201cPerspectives of Systems Informatics \u201d，Lect。计算中的注释。科学。，第1181卷，1996年，420\u2013432。“}，{“key”：“20_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Emerson E.A.时间和模态逻辑。In\u201cHandbook of Theor.Comput.Sci.\u201d，Ed.J.van Leeuwen，Elsewier Sci.Publishers，1990。”，“doi”：“10.1016\/B978-0-444-88074-1.50021-4”}，“{”key“：”20_CR4“，”doi-assert-by“：”crossref“，”非结构化“：”Pinter S.S.，Wolper P.关于偏序计算推理的时序逻辑。程序。第三届ACM研讨会。《分布式计算原理》，1984，28\u201337。“，“DOI”：“10.1145\/800222.806733”}，{“key”：“20_CR5”，“unstructured”：“Valiev M.K.论离散分支时间逻辑的公理化。In\u201cModal and Intensional Logics.Proc.VIII Confer.on logic and Method of Science，Palanga，1982（俄语）。”}doi-asserted-by“：”crossref“，”unstructured“：”Valiev M.K.命题动态逻辑变体的决策复杂性。莱克特。计算中的注释。科学。，第88卷，1980，656\u2013664.”，“DOI”：“10.1007\/BFB022540”}]，“容器标题”：[“计算机科学讲义”，“系统信息学展望”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/3-540-446562-6-20”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查“}”，“存放”：{“日期-部分”：[[2024,2,19]]，“日期-时间”：“2024-02-19T01:22:15Z”，“时间戳”：170830573500}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/link.springer.com\/10.1007\/3-540-46562-6_20”}，BN“：[”9783540671022“，”9783540465621“]，”引用计数“：6，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-46562-6_20“，”关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”value“：”0302-7743“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[[2000]]}}}}