{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:18:01Z","timestamp":1742912281302,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540230298"},{"type":"electronic","value":"9783540278184"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-27818-4_10","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T19:26:47Z","timestamp":1267126007000},"page":"130-144","source":"Crossref","is-referenced-by-count":6,"title":["Rough Concept Analysis \u2013 Theory Development in the Mizar System"],"prefix":"10.1007","author":[{"given":"Adam","family":"Grabowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Schwarzweller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Bancerek, G.: Development of the theory of continuous lattices in Mizar. In: Kerber, M., Kohlhase, M. (eds.) Proceedings of the Symposium on Calculemus 2000, pp. 65\u201380 (2001)","key":"10_CR1"},{"doi-asserted-by":"crossref","unstructured":"Bancerek, G.: On the structure of Mizar types. In: Geuvers, H., Kamareddine, F. (eds.) Proc. of MLC 2003. ENTCS, vol.\u00a085(7) (2003)","key":"10_CR2","DOI":"10.1016\/S1571-0661(04)80758-8"},{"unstructured":"Buchberger, B.: Mathematical Knowledge Management in Theorema. In: Buchberger, B., Caprotti, O. (eds.) Proc. of MKM 2001, Linz, Austria (2001)","key":"10_CR3"},{"unstructured":"Cruz-Filipe, L., Geuvers, H., Wiedijk, F.: C-CoRN, the Constructive Coq Repository at Nijmegen, http:\/\/www.cs.kun.nl\/~freek\/notes\/","key":"10_CR4"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1007\/3-540-55602-8_192","volume-title":"Automated Deduction - CADE-11","author":"W. Farmer","year":"1992","unstructured":"Farmer, W., Guttman, J., Thayer, F.: Little theories. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 567\u2013581. Springer, Heidelberg (1992)"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BF00881906","volume":"11","author":"W. Farmer","year":"1993","unstructured":"Farmer, W., Guttman, J., Thayer, F.: IMPS \u2013 an Interactive Mathematical Proof System. Journal of Automated Reasoning\u00a011, 213\u2013248 (1993)","journal-title":"Journal of Automated Reasoning"},{"key":"10_CR7","volume-title":"Formal concept analysis \u2013 mathematical foundations","author":"B. Ganter","year":"1998","unstructured":"Ganter, B., Wille, R.: Formal concept analysis \u2013 mathematical foundations. Springer, Heidelberg (1998)"},{"unstructured":"Grabowski, A.: Basic properties of rough sets and rough membership function. Formalized Mathematics (to appear, 2004), Available from: [13]","key":"10_CR8"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S1567-8326(02)00065-6","volume":"56","author":"J. Hurd","year":"2003","unstructured":"Hurd, J.: Verification of the Miller-Rabin probabilistic primality test. Journal of Logic and Algebraic Programming\u00a056, 3\u201321 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"10_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-45554-X_21","volume-title":"Rough Sets and Current Trends in Computing","author":"J. J\u00e4rvinen","year":"2001","unstructured":"J\u00e4rvinen, J.: Approximations and rough sets based on tolerances. In: Ziarko, W., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol.\u00a02005, pp. 182\u2013189. Springer, Heidelberg (2001)"},{"issue":"2\u20133","key":"10_CR11","doi-asserted-by":"crossref","first-page":"169","DOI":"10.3233\/FI-1996-272305","volume":"27","author":"R.E. Kent","year":"1996","unstructured":"Kent, R.E.: Rough Concept Analysis: a synthesis of rough sets and formal concept analysis. Fundamenta Informaticae\u00a027(2\u20133), 169\u2013181 (1996)","journal-title":"Fundamenta Informaticae"},{"unstructured":"Loos, R., Musser, D., Schupp, S., Schwarzweller, C.: The Tecton concept library, Technical Report WSI 99-2, Wilhelm-Schickard-Institute for Computer Science, University of T\u00fcbingen (1999)","key":"10_CR12"},{"unstructured":"The Mizar Home Page, http:\/\/mizar.org","key":"10_CR13"},{"unstructured":"Musser, D., Shao, Z.: The Tecton concept description language (revised version), Technical Report 02-2, Rensselaer Polytechnic Institute (2002)","key":"10_CR14"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"unstructured":"Owre, S., Shankar, N.: Theory interpretations in PVS, Technical Report, NASA\/CR-2001-211024 (2001)","key":"10_CR16"},{"issue":"5","key":"10_CR17","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. International Journal of Information and Computer Science\u00a011(5), 341\u2013356 (1982)","journal-title":"International Journal of Information and Computer Science"},{"issue":"3","key":"10_CR18","first-page":"441","volume":"1","author":"K. Raczkowski","year":"1990","unstructured":"Raczkowski, K., Sadowski, P.: Equivalence relations and classes of abstraction. Formalized Mathematics\u00a01(3), 441\u2013444 (1990), Available in JFM from: [13]","journal-title":"Formalized Mathematics"},{"unstructured":"Rudnicki, P., Trybulec, A.: Mathematical Knowledge Management in Mizar. In: Buchberger, B., Caprotti, O. (eds.) Proc. of MKM 2001, Linz, Austria (2001)","key":"10_CR19"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-36469-2_13","volume-title":"Mathematical Knowledge Management","author":"P. Rudnicki","year":"2003","unstructured":"Rudnicki, P., Trybulec, A.: On the integrity of a repository of formalized mathematics. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol.\u00a02594, pp. 162\u2013174. Springer, Heidelberg (2003)"},{"issue":"3","key":"10_CR21","first-page":"655","volume":"11","author":"J. Saquer","year":"2001","unstructured":"Saquer, J., Deogun, J.S.: Concept approximations based on rough sets and similarity measures. International Journal on Applications of Mathematics in Computer Science\u00a011(3), 655\u2013674 (2001)","journal-title":"International Journal on Applications of Mathematics in Computer Science"},{"issue":"2","key":"10_CR22","first-page":"233","volume":"7","author":"C. Schwarzweller","year":"1998","unstructured":"Schwarzweller, C.: Introduction to concept lattices. Formalized Mathematics\u00a07(2), 233\u2013242 (1998), Available in JFM from: [13]","journal-title":"Formalized Mathematics"},{"doi-asserted-by":"crossref","unstructured":"Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival, I. (ed.) Ordered Sets, Reidel. Dordrecht-Boston (1982)","key":"10_CR23","DOI":"10.1007\/978-94-009-7798-3_15"}],"container-title":["Lecture Notes in Computer Science","Mathematical Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27818-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,28]],"date-time":"2020-05-28T16:59:13Z","timestamp":1590685153000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27818-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230298","9783540278184"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27818-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}