{"entities":{"Q1902544":{"pageid":1913286,"ns":120,"title":"Item:Q1902544","lastrevid":74253126,"modified":"2026-04-14T19:12:05Z","type":"item","id":"Q1902544","labels":{"en":{"language":"en","value":"Perfect extensions of regular double Stone algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 819287"}},"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":"Q1902544$04458415-37C8-434C-9BCF-2A3A595C0809","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dc2bea3f7770d025f544da3c4b2217dfcd1b866","datavalue":{"value":{"text":"Perfect extensions of regular double Stone algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1902544$C33C3581-9AB6-4922-95E2-8A58475E77F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"847d23832f6aea58b6d3842977ff3ccf5ea2e447","datavalue":{"value":"0837.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902544$89747F98-E9C8-4BBB-B06D-C3CCA003B5C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ae2516aa40188e143ce26772da79e285077d2c0","datavalue":{"value":"10.1007/BF01200492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902544$70E36B67-2EA8-4992-A008-E9DDBADA5C06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$E29D6D8B-8F66-4AA5-AF20-49F2F515317B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5f1c5df0c419d578c9d621107ccec16f1d0684","datavalue":{"value":{"time":"+1996-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1902544$1DE5DB71-1969-4888-8695-24C105A3C16F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"697f663d79ec8ba5cde008b31177896eba059473","datavalue":{"value":"If \\(A\\) and \\(B\\) are regular double Stone algebras, then \\(B\\) is a perfect extension of \\(A\\) if (i) \\(A\\) is a subalgebra of \\(B\\) and \\(B\\) is complete and atomic, (ii) whenever \\(\\{x_i/i \\in I\\}\\) is a family of elements of \\(A\\) such that \\(\\sum x_i = 1\\) then \\(\\sum \\{x_j/j \\in J\\} = 1\\) for a finite subset \\(J\\) of \\(I\\), and (iii) whenever \\(u,v\\) are join-irreducible elements of \\(B\\) with \\(v \\not \\leq u\\), then there exists \\(a \\in A\\) with \\(a \\geq u\\) and \\(v \\not \\leq a\\). The author shows the existence and uniqueness of perfect extensions of regular double Stone algebras. The result is extended to regular double Stone algebras with operators. He also shows that every regular double Stone algebra is isomorphic to an algebra of rough subsets of an approximation space.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902544$E496B21D-1D5B-4AE8-8314-961C97A5E481","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902544$0AD22D0C-D229-4AA0-80E5-D81BEE4BF592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6856a523a11dd53aabf99abd7ff09211dcff33a","datavalue":{"value":"819287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902544$EF9D6E12-8AAA-40A5-AEB0-0EB4B03ADD85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe46657715cc6096ab87d19893dd8e5bc0b0ea2","datavalue":{"value":"rough sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902544$0E3BA36E-C92D-4142-AB65-1F8F680B5632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a88abd3629a8e81771e980d28aa227cc5392b77","datavalue":{"value":"regular double Stone algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902544$7BDC5CF1-DDE1-49EE-90B3-C3B8A951ED39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dfe52d6772ac1b8079ce7b06f653b0d755b7ca5","datavalue":{"value":"perfect extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902544$70F3A387-16D9-48EC-A810-81EC2927ACE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68f3dd326fdade9e5b0d5804d920ca89d181675c","datavalue":{"value":"algebra of rough subsets of an approximation space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902544$9B62BEDC-243E-4EC6-93A6-494328A018C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"172d13bb1c9d1112b7c126a1a40cb52d5f1e4080","datavalue":{"value":{"entity-type":"item","numeric-id":795933,"id":"Q795933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$CE62F061-44E8-4B10-BC15-F5DE81EB4CE7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17c10f17a5e1177b66bfd4f3439d273c87e4d597","datavalue":{"value":{"entity-type":"item","numeric-id":705524,"id":"Q705524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$7F683FCE-21BD-4C75-A6CE-1A473AAA13DB","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":"Q1902544$4C93C434-9B0C-4298-9AD6-926963D916AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5924b96e9e17eef377b5d4cb5e346ba4b38500f6","datavalue":{"value":{"entity-type":"item","numeric-id":2546890,"id":"Q2546890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$7AA17EC3-F42F-4BDA-9FAF-88B644A299BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260b277eb07571fe346af35adc562c933c9b0bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4273425,"id":"Q4273425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$62098077-FE33-4579-8F04-8F59AEFC29D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$ED2227C2-F61B-416C-99A1-6711DD2FDBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26193ca104794f2e605ef8bb5baa6ebcdb52b63a","datavalue":{"value":{"entity-type":"item","numeric-id":3780511,"id":"Q3780511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$65B2D9B1-113F-42D9-BA2A-7C98D3EDC5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$6ABE6026-7BD7-4F0E-A3C3-B45B675AC7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0f139ac03def75aa7a3f080598512e70716d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4073410,"id":"Q4073410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$997E3E89-61A8-40EE-BE12-F4F8E913BE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff64c6eb46f0608dbedd074e1f0cd279af1d8a7","datavalue":{"value":{"entity-type":"item","numeric-id":1215520,"id":"Q1215520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$FE9519BD-D1C3-4F17-85DD-480F006F79FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f773e4e86759b6b34e4be0f8c5bfc31c6e49c1","datavalue":{"value":{"entity-type":"item","numeric-id":1239179,"id":"Q1239179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$6822D2C0-747D-4720-BD45-C911C95B1213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a3d52a443fa3e27986c056da82d7ccece58fed","datavalue":{"value":{"entity-type":"item","numeric-id":3039349,"id":"Q3039349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$BF4D29F2-02F7-4F10-9E2E-BCDE4C622D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbff77ca86907197290071675e1806ad7b18db8","datavalue":{"value":{"entity-type":"item","numeric-id":3283948,"id":"Q3283948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$53CC6285-7FB3-45C2-B6F4-86BD2445518E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad69b636d199095dcfd8e5e19092ffa30a0bd68","datavalue":{"value":{"entity-type":"item","numeric-id":2558876,"id":"Q2558876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902544$D9BA1B15-4645-4980-9529-437AFB68FCE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb48f188020daa8ea719ef3b04b99ce7eef82d9f","datavalue":{"value":"https://doi.org/10.1007/bf01200492","type":"string"},"datatype":"url"},"type":"statement","id":"Q1902544$9123DE76-7FCC-4D80-9802-BA3E7993E8C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6654d9df6048ab0f0d68de1f2be155545a57a626","datavalue":{"value":"W2009243753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902544$398A3C31-E6D5-4673-B3C6-6E8FA2689F0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d5257155f43ecc74880029ddd6a3585ed0e6641","datavalue":{"value":{"entity-type":"item","numeric-id":2238027,"id":"Q2238027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c99262fa8443ab958223db7ace79ee34d913453","datavalue":{"value":{"amount":"+0.9065734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1902544$1266E07C-FC68-490B-A5BB-3CCB13324747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9e5477e012e9d770957d0af7c5017d8b47a30f","datavalue":{"value":{"entity-type":"item","numeric-id":4858815,"id":"Q4858815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c0f8abf41276e591aef40dcc33e4ff02ad62fe6","datavalue":{"value":{"amount":"+0.90350413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1902544$7375164C-1B53-4CD6-908A-26869405B803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb97767397206964bebe10423e0b31c3188601e7","datavalue":{"value":{"entity-type":"item","numeric-id":1239179,"id":"Q1239179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e57189e5f8cfd352add090bc030e170b1d98f4","datavalue":{"value":{"amount":"+0.8964345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1902544$14DA04D8-8088-4634-849F-B891C3A31622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e7a93a45bbc9dfb56f104fe41c25a9f7765fd80","datavalue":{"value":{"entity-type":"item","numeric-id":5413351,"id":"Q5413351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df38a875c84ae2fdb7d74fdb0b321c2f19cc873","datavalue":{"value":{"amount":"+0.89581084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1902544$E12D5508-C7B0-4DD5-9E45-F3FC85291EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98ee66bbc167cc69755b64a10453bf6afcde60e","datavalue":{"value":{"entity-type":"item","numeric-id":1239178,"id":"Q1239178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefd71d6323c5c0a41862ec7180e5dad3d14ce49","datavalue":{"value":{"amount":"+0.89101434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1902544$EC4A6565-2F9F-4EBE-B6F5-25DECBECF792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19ced288ba17fb2355a8c454c8a70c1f57bf124","datavalue":{"value":{"entity-type":"item","numeric-id":5472326,"id":"Q5472326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"447058fb43bbb0dc52818eff6fce90ccded0baf1","datavalue":{"value":{"amount":"+0.88972664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1902544$C003A15B-867B-4361-BAE8-164E2EFC8744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2d02318f5ab167448e1161e82ed55694974a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3312290,"id":"Q3312290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319650835119ad5db43c5ccd3bdbd7c74396156d","datavalue":{"value":{"amount":"+0.88868093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1902544$56471166-9DCB-45B4-8F82-B22EF958745C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961a726e3e32afd5cbf731ae2c14b8c7ced378be","datavalue":{"value":{"entity-type":"item","numeric-id":4562769,"id":"Q4562769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e6a2afeda7b8011514fe78c0c92728505e79b4","datavalue":{"value":{"amount":"+0.88722813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1902544$29975594-B853-4954-9752-4D83A793D6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41171b39f53f07521652f6117a98bd684fe1d2ab","datavalue":{"value":{"entity-type":"item","numeric-id":3338304,"id":"Q3338304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a343dd8abf1a53b4e1eb0747778e90e0d9e7ada7","datavalue":{"value":{"amount":"+0.8845086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1902544$6036D065-3A7B-4686-94BE-713432CE8B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7b1e48103a727ea2c2c68bd88477e4d6d1d48e","datavalue":{"value":{"entity-type":"item","numeric-id":4542088,"id":"Q4542088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e00232c99985353342978fa3ac6def1c97339b","datavalue":{"value":{"amount":"+0.8817284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1902544$6AA8810E-6183-41E5-9CED-1753D9AD4727","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Perfect extensions of regular double Stone algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Perfect_extensions_of_regular_double_Stone_algebras"}}}}}