{“状态”:“正常”,“消息类型”:“工作”,“消息版本”:“1.0.0”,“消息”:{“索引”:{“日期部分”:[[2022,4,2]],“日期时间”:“2022-04-02T08:35:34Z”,“时间戳”:1648888534431},“引用计数”:18,“发布者”:“IEEE Comput.Soc.Press”,“内容域”:{“域”:[],“交叉标记限制”:false},“短容器标题”:[],“DOI”:“10.1109\/vl.1996.545290”,“type”:“proceedings-article”,“created”:{“date-parts”:[2002,12,23]],“date-time”:“2002-12-23T20:16:22Z”,“timestamp”:1040674582000},“source”:”Crossref“,“is-referenced-by-count”:5,“title”:[“可视化逻辑编程语言”],“prefix”:“10.1108”,“author”:[{“给定”:“J.”,”family“:”Puigsegur“,“sequence”:“first”,“affiliation”:[]},{“given”:“J.”,“family”:“Agusti”,“sequence”:“additional”,“affiliation”:[]neneneep,{”given“:”D.“,”family“:”Robertson“,”sequence“:”additional“,”affiliation:[]}],“member”:“263”,“reference”:[{“key”:”ref10“,”author“:”hammer“,”year“1993”,“journal-title”:“Diagrams and Logic工作论文”},“doi-asserted-by”:“publisher”,“doi”:“10.1145\/4241.142414”},{“key”:“ref12”,“doi-asserted-by”:“publisher”,“doi”:“10.1016\/0004-3702(92)90063-4”}、{“密钥”:“ref13”,“doi-assertd-by”:“publisher”,“DI:”10.1145\/151261.151264“},“key“:”ref14“,”doi-assert-by“:”publisher“,”doi“:”10.1145\\203241.203251“}”,{”key“:”ref15“,”doi-asserted-by“:”publisher“,”doi“:”10.1007\/3-540-56804-2_23“},{“key”:“ref16”,“doi-asserted-by”:“publisher”,“doi”:“10.1109\/VL.1995.520811”},{“key”:“ref17”,“year”:“1993”,“journal-title”:“复杂推理系统的形式规范”}新闻标题“:“图表逻辑中的异构逻辑认知和计算视角”},{“key”:“ref3”,“author”:“barwise”,“year”:“1993”,“journal-title”:“Hyperproof”}、{“key”:”ref6“,”doi-asserted-by“:”publisher“,”doi“:”10.1109\/2.366157“},”{“key”:“ref5”,“doi-assert-by”:“publisher”,“doi”:“10.1109\/VL.1995.520786”}“key”:“ref8”,“doi-asserted-by”:“publisher”,“DOI”:“10.1109\/VL.1995.520822”},{“key”:“ref7”,“year”:“1995”,“journal-title”:“Visual Object-oriented Programming Concepts and Environments”}标题“:“GRASP逻辑程序初步规范的语法指定语言”},{“key”:“ref9”,“doi断言者”:“publisher”,“doi”:“10.1109\/VL.1995.520825”}],“event”:{“name”:“1996 IEEE视觉语言研讨会”,“location”:“Boulder,CO,USA”,“缩写词”:“VL-96”},“容器标题”:[“Proceedings 1996 IEEE Symposium on Visual Languages”],“original-title”:[],“link”:[{“URL”:“http://\/xplorestaging.IEEE.org\/ielx3\/11360\/00545290.pdf?arnumber=545290”,“content-type”:“unspecified”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposed”:{“date-parts”:[2017,3,9]],“date-time”:”2017-03-09T15:04:38Z“,“timestamp”:1489071878000},“score”:1,“resource”:{“primary”:{“URL”:“http://\/ieeexplore.iee.org\/document\/545290\/”}},”subtitle“:[],”shorttitle“:[],”issued“:{”date-parts“:[[null]]},'references-count“:18,”URL“:”http://\/dx.doi.org\/10.109\/vl.1996.545290“,”relation:{},“主题”:[]}}