{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T16:42:56Z","timestamp":1648917776584},"reference-count":0,"publisher":"Science China Press., Co. Ltd.","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci China Ser F"],"published-print":{"date-parts":[[2003]]},"DOI":"10.1360\/03yf9004","type":"journal-article","created":{"date-parts":[[2003,4,14]],"date-time":"2003-04-14T07:27:14Z","timestamp":1050305234000},"page":"45","source":"Crossref","is-referenced-by-count":0,"title":["On decidability and model checking for a first order model logic for value-passing processes"],"prefix":"10.1360","volume":"46","author":[{"given":"Rui","family":"XUE","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"294","container-title":["Science in China Series F"],"original-title":[],"language":"en","deposited":{"date-parts":[[2018,8,15]],"date-time":"2018-08-15T15:41:08Z","timestamp":1534347668000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scichina.com\/yk\/yf\/0301\/yf0045.stm"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003]]}},"URL":"https:\/\/doi.org\/10.1360\/03yf9004","relation":{},"ISSN":["1009-2757"],"issn-type":[{"value":"1009-2757","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}