{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:02:57Z","timestamp":1725516177043},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1109\/grc.2012.6468604","type":"proceedings-article","created":{"date-parts":[[2013,3,2]],"date-time":"2013-03-02T07:39:39Z","timestamp":1362209979000},"page":"471-474","source":"Crossref","is-referenced-by-count":0,"title":["First-order axiomatization of rough mereology"],"prefix":"10.1109","author":[{"given":"Hsing-chien","family":"Tsai","sequence":"first","affiliation":[]}],"member":"263","reference":[{"year":"2001","author":"enderton","journal-title":"Mathematical Introduction to Logic","key":"3"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.2307\/2272847"},{"key":"10","article-title":"On the foundations of boolean algebra","author":"tarski","year":"1956","journal-title":"Logic Semantics Metamathematics"},{"year":"1999","author":"casati","journal-title":"Varzi Parts Places","key":"1"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1016\/S0888-613X(96)00072-2"},{"year":"1992","author":"lesniewski","journal-title":"Foundations of the General Theory of Sets","key":"6"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1023\/A:1004900200790"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1007\/BF02067248"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1016\/S0020-0255(97)00078-9"},{"year":"1987","author":"simons","journal-title":"Parts A Study in Ontology","key":"8"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1007\/s11225-012-9400-4"},{"key":"12","article-title":"Mereology","author":"achille","year":"2009","journal-title":"Stanford Encyclopedia of Philosophy"}],"event":{"name":"2012 IEEE International Conference on Granular Computing (GrC-2012)","start":{"date-parts":[[2012,8,11]]},"location":"Hangzhou, China","end":{"date-parts":[[2012,8,13]]}},"container-title":["2012 IEEE International Conference on Granular Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6459622\/6468554\/06468604.pdf?arnumber=6468604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T21:40:22Z","timestamp":1490218822000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6468604\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/grc.2012.6468604","relation":{},"subject":[],"published":{"date-parts":[[2012,8]]}}}