{"entities":{"Q4589200":{"pageid":6618785,"ns":120,"title":"Item:Q4589200","lastrevid":52952792,"modified":"2026-01-23T21:37:47Z","type":"item","id":"Q4589200","labels":{"en":{"language":"en","value":"Lattice theory for rough sets -- a case study with Mizar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804724"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589200$94DB7769-7008-4249-9F4F-97780B423EF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00a8fc43d41a45865492f0d029cf2bbee824e9c3","datavalue":{"value":{"text":"Lattice Theory for Rough Sets \u2013 A Case Study with Mizar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589200$7433436D-607D-4A25-8541-7769F3CF4544","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b83ca7d1d03ee705e212f0b79880f23a63c3a7b","datavalue":{"value":"1419.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589200$719157B1-32F7-422F-BFD7-DFCC9AE6F1D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"916747641fa06efbed7ce3ec175034fd6b9b704c","datavalue":{"value":"10.3233/FI-2016-1406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589200$CAEF210C-2D51-4B2F-AE85-29E8B39ECEDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"190c708f4bcaf9a439fd932d05a6c37c8907530a","datavalue":{"value":{"entity-type":"item","numeric-id":271909,"id":"Q271909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589200$0041A92D-27BE-4A2A-9F0D-85C08A06BE9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589200$C0174247-243A-4B31-A517-D0203FA1AFA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589200$8DCB653F-B5F9-4047-8405-01EC26382F1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589200$46594675-9AD9-4EF3-BDC0-C581BB0FFE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589200$4E25AE48-18D3-4065-BDF7-07F908B0D98E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2a3ea84ad50cff280ac203167977ac1e1a0e8be","datavalue":{"value":"6804724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589200$B53C0666-D9D8-4ACB-86A7-8CF95F0E4573","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589200$2FACA3E5-86D4-4D8E-B162-3C5BB86862BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b0631dcdd65348a242111f53ee1924677244904","datavalue":{"value":{"entity-type":"item","numeric-id":27508,"id":"Q27508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589200$9232CB4A-76CD-4F99-B04B-73210F6E22B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589200$8DD11869-07F4-4D7D-AF03-C81A918FF08C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589200$32EDBBEB-CBE8-4B9A-9012-4313711243CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e75acc245f6391fd6a632685ce63470754beb4ce","datavalue":{"value":"https://doi.org/10.3233/fi-2016-1406","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589200$3D9DA099-7195-4AAB-8663-227883EAD01D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c99dd2856aafaa4aec460d4113a5e5b396db11b","datavalue":{"value":"W2554707563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589200$96EFFA5F-E2DA-4A2B-BAE3-C364C7FFE629","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb33f290367134d8006229e697fdaf019fb1c49","datavalue":{"value":{"entity-type":"item","numeric-id":3300368,"id":"Q3300368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4fb9a163adf7f3002905f20c0ad5f7d91caa4cc","datavalue":{"value":{"amount":"+0.8894228935241699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589200$748BD870-288D-429C-B32A-724CFC43D5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc97f3a6b49cb4d35f7a0c9c8fb7589142ec77a","datavalue":{"value":{"entity-type":"item","numeric-id":5701521,"id":"Q5701521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71173023aa24ef97ffe1b8241d971766ca16c1d4","datavalue":{"value":{"amount":"+0.824036180973053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589200$2896182D-1B6E-4573-A31E-7AD78A2A3D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a55876e3f854b3fe2d399e3a710ed7efdda9921","datavalue":{"value":{"entity-type":"item","numeric-id":502682,"id":"Q502682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45f9585f6f620fa6407efdcd16c963d5d3a11c6","datavalue":{"value":{"amount":"+0.7940693497657776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589200$ED1B3ABA-8A57-4129-9D26-703E4382615E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b42607489441b04c700c64fcbad3ed4b9fa4ca","datavalue":{"value":{"entity-type":"item","numeric-id":3591006,"id":"Q3591006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283456668b7f190244c25ea1ab482c25a24092d3","datavalue":{"value":{"amount":"+0.7766929864883423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589200$EBBB10BC-14FD-4A7F-AD48-A2BBC4D705E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306a695fe35b19521a62de4210a9cf94004794ba","datavalue":{"value":{"entity-type":"item","numeric-id":2814146,"id":"Q2814146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0533c6b26cad27f1d45e4a37156f3a80fc5bb32c","datavalue":{"value":{"amount":"+0.7760137915611267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4589200$B4B2361D-53AE-4346-B140-F8790ACB806B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589200"}}}}}