{"entities":{"Q2300122":{"pageid":2310865,"ns":120,"title":"Item:Q2300122","lastrevid":71795490,"modified":"2026-04-14T00:35:39Z","type":"item","id":"Q2300122","labels":{"en":{"language":"en","value":"Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7175009"}},"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":"Q2300122$843E0EFB-2B30-4F0B-8137-B0E207BAFB2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b833982640ec7645a198e5ac74a8498c55c713ab","datavalue":{"value":{"text":"Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2300122$8973F79D-4819-42CB-A639-A5950ABCD3DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"092164b7950102a4e753a8a11d26a21a0f66a8cf","datavalue":{"value":"1463.06020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300122$C5078A9B-E477-49B7-9994-45F2966C98FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c7660f0dbdb2a9b1e9eeb0a11c2d293e1a86be0","datavalue":{"value":{"entity-type":"item","numeric-id":383568,"id":"Q383568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300122$70CDE7E5-2407-4DD2-817C-1853E4026444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1367dc3da2f1ba94f7ab2527296a62996ecf23f7","datavalue":{"value":{"entity-type":"item","numeric-id":271694,"id":"Q271694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300122$276BF428-2ADF-41C7-8421-C7106AB0CE2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300122$653B837A-8CF4-4182-A975-63B660FC097B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34cd75b62783efc32fb9ebc3721b7ca9cfd13c67","datavalue":{"value":{"time":"+2020-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2300122$BD4DDF06-B1FD-430F-AD3C-0B391FE6C0C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"112a08c93caf3c5655fd9b4b6f86420797c6c836","datavalue":{"value":"https://arxiv.org/abs/1806.09203","type":"string"},"datatype":"url"},"type":"statement","id":"Q2300122$76CD25A0-B7D2-474E-A026-73CAE537D36A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d65f5bdced569b5e96fd56cf533513d67766de1","datavalue":{"value":"There is a well-known sheme, first applied by \\textit{T. B. Iwi\u0144ski} [Bull. Pol. Acad. Sci., Math. 35, No. 1--10, 673--683 (1987; Zbl 0639.68125)] to equivalence relations, how to construct a rough set algebra over some set \\(U\\) starting from a binary relation \\(R\\) on \\(U\\). The authors have shown in [J. Aust. Math. Soc. 105, No. 1, 57--78 (2018; Zbl 06901718)] that the rough set algebra induced in this way by the tolerance determined by an irredundant covering of \\(U\\) is a pseudocomplemented Kleene algebra and that any regular pseudocomplemented Kleene algebra \\(L\\) is isomorphic to such a rough set algebra if the underlaying lattice of \\(L\\) is algebraic. The latter result is now extended as follows: any regular pseudocomplemented Kleene algebra \\(L\\) is embeddable into a rough set algebra of the mentioned kind. An essential tool for proving this, Kleene-Varlet spaces, is introduced here. Further, regular pseudocomplemented Kleene algebras satisfying the Stone identity are shown to be in a bijective correspodence with regular double Stone algebras and embeddable into a rough set algebra defined by an equivalence relation. Kleene-Varlet spaces of such Kleene algebras also are considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300122$0C8284DE-0029-47F6-8DFA-B91A98E1234B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300122$34E72CD9-25D0-4720-A5A1-724BF00596BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300122$0A49C584-14F9-4B72-9312-993AD395E7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300122$F64367B7-C309-4872-A88D-754D00B3A996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300122$101AC4E5-01A2-4C06-AAB8-81BF26ABE518","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e41818ae0996003025a4377e923c9084043e9b26","datavalue":{"value":"7175009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300122$5A36C292-07D2-44C5-9C7F-90C0361672A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f61ef41489164de785b492726f0da47cbe8dda9","datavalue":{"value":"irredundant covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300122$E69AF930-5D15-4447-A36F-3EB0FEB1AFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300122$87379F63-E213-420B-AEE6-AB0459728A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342c53fa616bf9fbe4984c9fec0fc006ceb723fa","datavalue":{"value":"prime filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300122$36ECFA8C-2826-4FCA-800B-9EEBE545B3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198aab7837b7b47af2df3b54c87c4be495598b35","datavalue":{"value":"pseudocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300122$24AF906E-742E-444E-80A8-849877BFF40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f386cbc5217dfd7936cdcdf931c64003848619b9","datavalue":{"value":"regular double p-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300122$BBA13587-AFE0-4436-B752-6388D7E61F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b7cb9df0631119d48e6110b3f2f6fe0e849eadc","datavalue":{"value":"rough set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300122$D15B4ACC-0501-4622-95F3-789EBD19E28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6250b43f04ffd0cad38752fcd0c9aae2eb5a328d","datavalue":{"value":"Stone identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300122$390F8E26-DEB0-40A6-A3AE-6B3969D0DA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e9d15e4801b7eb02bd13a2d24fdbdcbb1fe029a","datavalue":{"value":"tolerance relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300122$8D208DEB-0523-41F5-99D7-1EE095CBB6F0","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":"Q2300122$F8F1D552-E7A7-4A3F-9AB1-E57A2E5FB818","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71c9749a81e815d0a0e4a1491f13a492ecf58c87","datavalue":{"value":"W3103456148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300122$34A4B19E-9EB3-46BB-886F-5643F0F8F45C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aeafba5a2386f79b71e0e3bf2c056751b05fc376","datavalue":{"value":"Q127321425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300122$5CCBE05F-80E6-410B-9887-25A070703CC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d86331e1073bfa9c70549c40dc5533521160f9d","datavalue":{"value":"10.1007/S10474-019-00985-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300122$658C22A2-5221-4425-8A24-FC9CA4D0FF23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed5a4d544573585f3b22ee8674b90fcec8456d9","datavalue":{"value":{"entity-type":"item","numeric-id":2363497,"id":"Q2363497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0276b23a115aca6ef29346110c191dca297548b","datavalue":{"value":{"amount":"+0.7696696519851685","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":"Q2300122$C852BD0C-192E-4A5B-B7F9-E3AFD9F2161C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6978252f693319ebcb0f3bfe50d641748a9e8c4","datavalue":{"value":{"entity-type":"item","numeric-id":4807737,"id":"Q4807737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c068f018fb5405a33adf83cda927905a5c03e685","datavalue":{"value":{"amount":"+0.7684593796730042","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":"Q2300122$AE3A7863-873B-4E36-AFB5-CD4122800D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fae9ab38a0c74fe5a038f52107820b6a8c7808","datavalue":{"value":{"entity-type":"item","numeric-id":5737908,"id":"Q5737908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f856d58aec369f490908aab0696eccf03f69428","datavalue":{"value":{"amount":"+0.7674287557601929","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":"Q2300122$C1AB7C3E-EFC1-49C6-8723-89783CC7A4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7fbb73d3cb7515baa295819c55da237d97b86c","datavalue":{"value":{"entity-type":"item","numeric-id":4014405,"id":"Q4014405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4362c518c78589de755312a103707643402302dd","datavalue":{"value":{"amount":"+0.7669392824172974","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":"Q2300122$C1C63B60-1F57-43F7-AB95-D2E1119095E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8719a6a6babc469a6968af3bd832f7669e372e02","datavalue":{"value":{"entity-type":"item","numeric-id":6047673,"id":"Q6047673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749ec0dbb41ffd2561ca7c416ba1177fc797640b","datavalue":{"value":{"amount":"+0.7665190696716309","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":"Q2300122$966466D3-4B00-421F-97D9-12784AC4D902","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets","badges":[]}}}}}