{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:57:32Z","timestamp":1725465452068},"reference-count":0,"publisher":"WORLD SCIENTIFIC","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1142\/9789814401531_0008","type":"proceedings-article","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T08:01:32Z","timestamp":1339142492000},"page":"37-44","source":"Crossref","is-referenced-by-count":0,"title":["SEMANTIC RESOLUTION PRINCIPLE IN PROPOSITIONAL VALUATION ALGEBRA"],"prefix":"10.1142","author":[{"given":"BANGHE","family":"HAN","sequence":"first","affiliation":[{"name":"Department of mathematics, Xidian University, Xi'an, Shaan'xi Province, China"}]},{"given":"XIAONAN","family":"LI","sequence":"additional","affiliation":[{"name":"Department of mathematics, Xidian University, Xi'an, Shaan'xi Province, China"}]}],"member":"219","published-online":{"date-parts":[[2012,6,12]]},"event":{"name":"Proceedings of the QL&SC 2012","location":"Xi'an, China"},"container-title":["Quantitative Logic and Soft Computing"],"original-title":[],"deposited":{"date-parts":[[2017,7,12]],"date-time":"2017-07-12T08:26:55Z","timestamp":1499848015000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/9789814401531_0008"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":0,"alternative-id":["10.1142\/9789814401531_0008","10.1142\/8450"],"URL":"https:\/\/doi.org\/10.1142\/9789814401531_0008","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}