{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:14:02Z","timestamp":1742969642718,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319608365"},{"type":"electronic","value":"9783319608372"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60837-2_7","type":"book-chapter","created":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:13:51Z","timestamp":1497993231000},"page":"83-94","source":"Crossref","is-referenced-by-count":2,"title":["Computer Certification of Generalized Rough Sets Based on Relations"],"prefix":"10.1007","author":[{"given":"Adam","family":"Grabowski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,22]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-319-20615-8_17","volume-title":"Intelligent Computer Mathematics","author":"G Bancerek","year":"2015","unstructured":"Bancerek, G., Byli\u0144ski, C., Grabowski, A., Korni\u0142owicz, A., Matuszewski, R., Naumowicz, A., Pa\u0327k, K., Urban, J.: Mizar: state-of-the-art and beyond. In: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V. (eds.) CICM 2015. LNCS, vol. 9150, pp. 261\u2013279. Springer, Cham (2015). doi:\n10.1007\/978-3-319-20615-8_17"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-20615-8_1","volume-title":"Intelligent Computer Mathematics","author":"JC Blanchette","year":"2015","unstructured":"Blanchette, J.C., Haslbeck, M., Matichuk, D., Nipkow, T.: Mining the archive of formal proofs. In: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V. (eds.) CICM 2015. LNCS, vol. 9150, pp. 3\u201317. Springer, Cham (2015). doi:\n10.1007\/978-3-319-20615-8_1"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-13529-3_36","volume-title":"Rough Sets and Current Trends in Computing","author":"Z Bonikowski","year":"2010","unstructured":"Bonikowski, Z.: Unit operations in approximation spaces. In: Szczuka, M., Kryszkiewicz, M., Ramanna, S., Jensen, R., Hu, Q. (eds.) RSCTC 2010. LNCS, vol. 6086, pp. 337\u2013346. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-13529-3_36"},{"issue":"2\/3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.3233\/FI-1996-272302","volume":"27","author":"E Bryniarski","year":"1996","unstructured":"Bryniarski, E.: Formal conception of rough sets. Fundam. Informaticae 27(2\/3), 109\u2013136 (1996). doi:\n10.3233\/FI-1996-272302","journal-title":"Fundam. Informaticae"},{"issue":"2\u20133","key":"7_CR5","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1080\/03081079008935107","volume":"17","author":"D Dubois","year":"1990","unstructured":"Dubois, D., Prade, H.: Rough fuzzy sets and fuzzy rough sets. Int. J. Gen Syst 17(2\u20133), 191\u2013209 (1990). doi:\n10.1080\/03081079008935107","journal-title":"Int. J. Gen Syst"},{"issue":"3","key":"7_CR6","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s10817-015-9333-5","volume":"55","author":"A Grabowski","year":"2015","unstructured":"Grabowski, A.: Mechanizing complemented lattices within Mizar type system. J. Autom. Reason. 55(3), 211\u2013221 (2015). doi:\n10.1007\/s10817-015-9333-5","journal-title":"J. Autom. Reason."},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1515\/forma-2016-0011","volume":"24","author":"A Grabowski","year":"2016","unstructured":"Grabowski, A.: Binary relations-based rough sets - an automated approach. Formaliz. Math. 24(2), 143\u2013155 (2016). doi:\n10.1515\/forma-2016-0011","journal-title":"Formaliz. Math."},{"key":"7_CR8","unstructured":"Grabowski, A.: On the computer certification of fuzzy numbers, In: Ganzha, M., Maciaszek, L., Paprzycki, M. (eds.) Proceedings of Federated Conference on Computer Science and Information Systems, FedCSIS 2013, pp. 51\u201354 (2013)"},{"issue":"1\u20132","key":"7_CR9","doi-asserted-by":"publisher","first-page":"65","DOI":"10.3233\/FI-2013-933","volume":"128","author":"A Grabowski","year":"2013","unstructured":"Grabowski, A.: Automated discovery of properties of rough sets. Fundam. Informaticae 128(1\u20132), 65\u201379 (2013). doi:\n10.3233\/FI-2013-933","journal-title":"Fundam. Informaticae"},{"issue":"4","key":"7_CR10","doi-asserted-by":"publisher","first-page":"371","DOI":"10.3233\/FI-2014-1129","volume":"135","author":"A Grabowski","year":"2014","unstructured":"Grabowski, A.: Efficient rough set theory merging. Fundam. Informaticae 135(4), 371\u2013385 (2014). doi:\n10.3233\/FI-2014-1129","journal-title":"Fundam. Informaticae"},{"issue":"2\u20133","key":"7_CR11","doi-asserted-by":"publisher","first-page":"223","DOI":"10.3233\/FI-2016-1406","volume":"147","author":"A Grabowski","year":"2016","unstructured":"Grabowski, A.: Lattice theory for rough sets - a case study with Mizar. Fundam. Informaticae 147(2\u20133), 223\u2013240 (2016). doi:\n10.3233\/FI-2016-1406","journal-title":"Fundam. Informaticae"},{"key":"7_CR12","series-title":"Advances in Soft Computing","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/3-540-32370-8_15","volume-title":"Monitoring, Security and Rescue Techniques in Multiagent Systems","author":"A Grabowski","year":"2005","unstructured":"Grabowski, A.: On the computer-assisted reasoning about rough sets. In: Dunin-K\u0229plicz, B., Jankowski, A., Szczuka, M. (eds.) Monitoring, Security and Rescue Techniques in Multiagent Systems. Advances in Soft Computing, vol. 28, pp. 215\u2013226. Springer, Heidelberg (2005). doi:\n10.1007\/3-540-32370-8_15"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-73451-2_17","volume-title":"Rough Sets and Intelligent Systems Paradigms","author":"A Grabowski","year":"2007","unstructured":"Grabowski, A., Jastrz\u0229bska, M.: Rough set theory from a math-assistant perspective. In: Kryszkiewicz, M., Peters, J.F., Rybinski, H., Skowron, A. (eds.) RSEISP 2007. LNCS, vol. 4585, pp. 152\u2013161. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-73451-2_17"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-540-71200-8_22","volume-title":"Transactions on Rough Sets VI","author":"J J\u00e4rvinen","year":"2007","unstructured":"J\u00e4rvinen, J.: Lattice theory for rough sets. In: Peters, J.F., Skowron, A., D\u00fcntsch, I., Grzyma\u0142a-Busse, J., Or\u0142owska, E., Polkowski, L. (eds.) Transactions on Rough Sets VI. LNCS, vol. 4374, pp. 400\u2013498. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-71200-8_22"},{"issue":"Part C","key":"7_CR15","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.cl.2015.07.002","volume":"44","author":"A Korni\u0142owicz","year":"2015","unstructured":"Korni\u0142owicz, A.: Flexary connectives in Mizar. Comput. Lang. Syst. Struct. 44(Part C), 238\u2013250 (2015). doi:\n10.1016\/j.cl.2015.07.002","journal-title":"Comput. Lang. Syst. Struct."},{"issue":"3","key":"7_CR16","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s10817-015-9332-6","volume":"55","author":"A Naumowicz","year":"2015","unstructured":"Naumowicz, A.: Automating boolean set operations in Mizar proof checking with the aid of an external SAT solver. J. Autom. Reason. 55(3), 285\u2013294 (2015). doi:\n10.1007\/s10817-015-9332-6","journal-title":"J. Autom. Reason."},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/S0020-7373(84)80062-0","volume":"21","author":"Z Pawlak","year":"1984","unstructured":"Pawlak, Z.: On conflicts. Int. J. Man-Mach. Stud. 21, 127\u2013134 (1984). doi:\n10.1016\/S0020-7373(84)80062-0","journal-title":"Int. J. Man-Mach. Stud."},{"key":"7_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3534-4","volume-title":"Rough Sets: Theoretical Aspects of Reasoning about Data","author":"Z Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer, Dordrecht (1991). doi:\n10.1007\/978-94-011-3534-4"},{"issue":"3","key":"7_CR19","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s10817-015-9337-1","volume":"55","author":"K Pa\u0327k","year":"2015","unstructured":"Pa\u0327k, K.: Improving legibility of formal proofs based on the close reference principle is NP-hard. J. Autom. Reason. 55(3), 295\u2013306 (2015). doi:\n10.1007\/s10817-015-9337-1","journal-title":"J. Autom. Reason."},{"issue":"4","key":"7_CR20","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/BF00247436","volume":"3","author":"P Rudnicki","year":"1987","unstructured":"Rudnicki, P.: Obvious inferences. J. Autom. Reason. 3(4), 383\u2013393 (1987). doi:\n10.1007\/BF00247436","journal-title":"J. Autom. Reason."},{"issue":"2\u20133","key":"7_CR21","doi-asserted-by":"publisher","first-page":"245","DOI":"10.3233\/FI-1996-272311","volume":"27","author":"A Skowron","year":"1996","unstructured":"Skowron, A., Stepaniuk, J.: Tolerance approximation spaces. Fundam. Informaticae 27(2\u20133), 245\u2013253 (1996). doi:\n10.3233\/FI-1996-272311","journal-title":"Fundam. Informaticae"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-14128-7_12","volume-title":"Intelligent Computer Mathematics","author":"J Urban","year":"2010","unstructured":"Urban, J., Sutcliffe, G.: Automated reasoning and presentation support for formalizing mathematics in Mizar. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.) CICM 2010. LNCS, vol. 6167, pp. 132\u2013146. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-14128-7_12"},{"issue":"11","key":"7_CR23","first-page":"1408","volume":"55","author":"F Wiedijk","year":"2008","unstructured":"Wiedijk, F.: Formal proof - getting started. Not. AMS 55(11), 1408\u20131414 (2008)","journal-title":"Not. AMS"},{"issue":"4","key":"7_CR24","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0888-613X(96)00071-0","volume":"15","author":"YY Yao","year":"1996","unstructured":"Yao, Y.Y.: Two views of the rough set theory in finite universes. Int. J. Approx. Reason. 15(4), 291\u2013317 (1996). doi:\n10.1016\/S0888-613X(96)00071-0","journal-title":"Int. J. Approx. Reason."},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.ins.2012.02.065","volume":"200","author":"Y Yao","year":"2012","unstructured":"Yao, Y., Yao, B.: Covering based rough set approximations. Inf. Sci. 200, 91\u2013107 (2012). doi:\n10.1016\/j.ins.2012.02.065","journal-title":"Inf. Sci."},{"issue":"3","key":"7_CR26","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L Zadeh","year":"1965","unstructured":"Zadeh, L.: Fuzzy sets. Inf. Control 8(3), 338\u2013353 (1965). doi:\n10.1016\/S0019-9958(65)90241-X","journal-title":"Inf. Control"},{"issue":"22","key":"7_CR27","doi-asserted-by":"publisher","first-page":"4997","DOI":"10.1016\/j.ins.2007.05.037","volume":"177","author":"W Zhu","year":"2007","unstructured":"Zhu, W.: Generalized rough sets based on relations. Inf. Sci. 177(22), 4997\u20135011 (2007). doi:\n10.1016\/j.ins.2007.05.037","journal-title":"Inf. Sci."},{"issue":"6","key":"7_CR28","doi-asserted-by":"publisher","first-page":"1499","DOI":"10.1016\/j.ins.2006.06.009","volume":"177","author":"W Zhu","year":"2007","unstructured":"Zhu, W.: Topological approaches to covering rough sets. Inf. Sci. 177(6), 1499\u20131508 (2007). doi:\n10.1016\/j.ins.2006.06.009","journal-title":"Inf. Sci."},{"key":"7_CR29","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0022-0000(93)90048-2","volume":"11","author":"W Ziarko","year":"1993","unstructured":"Ziarko, W.: Variable precision rough set model. J. Comput. Syst. Sci. 11, 39\u201359 (1993). doi:\n10.1016\/0022-0000(93)90048-2","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Lecture Notes in Computer Science","Rough Sets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60837-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,11,30]],"date-time":"2018-11-30T00:40:42Z","timestamp":1543538442000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60837-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319608365","9783319608372"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60837-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}