{"entities":{"Q3141840":{"pageid":3152556,"ns":120,"title":"Item:Q3141840","lastrevid":79970474,"modified":"2026-05-06T15:08:20Z","type":"item","id":"Q3141840","labels":{"en":{"language":"en","value":"Irredundant Sets in Boolean Algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438942"}},"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":"Q3141840$065B7A35-C3B2-4434-A707-559A01B8AF0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9951846a586521f25be4c343219f8eaa04de31c2","datavalue":{"value":{"text":"Irredundant Sets in Boolean Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3141840$021EE52F-C107-404C-8C5B-51867FDA66B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8497d5d2ff01e3871bda067293f5fc4c63760645","datavalue":{"value":"0781.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141840$756B1ACB-DF08-4AE3-AD62-F819BFD54B62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f21b19a9e4386dafa191d8ee5605437187eeb6f6","datavalue":{"value":"10.2307/2154207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141840$0748726C-909A-4F30-988E-270D04E993EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c95457eed31152736b3fcc97aee8818e00189b1","datavalue":{"value":{"entity-type":"item","numeric-id":171182,"id":"Q171182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141840$6BD7928F-7E06-4074-9E55-8EF2D6D1A5FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141840$B116A107-3D41-415C-8BC3-1979ECB7CC8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be385604d3b66e8d862a65c447d5af8aba333f6e","datavalue":{"value":{"time":"+1993-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3141840$E88D683E-1E3E-4874-AED6-0DF380067E60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141840$72275666-973A-434F-AF0C-055F29A03E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141840$46333648-022D-420A-A6E2-809BAED6E5FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"012883baf6798ace83f58575d5c951b471c2e475","datavalue":{"value":"438942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141840$B5F8DEC2-F6C3-4BF0-AFF2-B35E3E27EA47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01a558714067b39c0f50011df700260ac8eeeb8","datavalue":{"value":"Cohen reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141840$9CB77913-FEA7-4FAB-ADBF-A9855FC83617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41688c63cfdbbbfc9a709433f74181b482c55fd2","datavalue":{"value":"uncountable Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141840$EFE4BC2A-B86C-4B11-BD0F-E441AC254A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0a384f4844bda32add9f06dc7a71550c75682ab","datavalue":{"value":"uncountable irredundant sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141840$B65224F2-473F-46E0-9820-DE2785CB1C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8657aa2f1cb35337bd8bf08905debf7c49dfff39","datavalue":{"value":"Proper Forcing Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141840$EF0FC035-2D87-413B-B0B6-848B0FBD55D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6659335d8029012df83c3edc851dc046b1d10662","datavalue":{"value":"upper bound in the ordering of eventual dominance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141840$DA7CB086-597A-4B8D-A162-EBFF1CCC9D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc7b466a4d1a5964a02eb6d2cf2df29dcce62d7","datavalue":{"value":"Martin's Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141840$F2B6D4E8-E9F0-4C7D-BFC9-931B035FE8DF","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":"Q3141840$769A0C5C-CC0C-4AE9-BDC8-B78A3EC483FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d31f366acb1b658e5c3de4920861b81806a8d57","datavalue":{"value":"https://doi.org/10.2307/2154207","type":"string"},"datatype":"url"},"type":"statement","id":"Q3141840$AC8E7325-26A9-4D94-B92A-1B818E6BBA6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58bb8b43f00710e671d34f5d6f7b6e711e901a6e","datavalue":{"value":"W4241646474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141840$7B2629B9-9DC9-4702-9BE2-030FC689BF1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcadec1320121b75fbe672190595eb2769a4c803","datavalue":{"value":{"entity-type":"item","numeric-id":751685,"id":"Q751685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36dc7bbf40aa9df18fd5d349b0be37155101674","datavalue":{"value":{"amount":"+0.8044124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141840$812C8385-14A4-4918-BB84-8A754E9501E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5479e152c0bd858ba31ebcabf0e04ae83f98809c","datavalue":{"value":{"entity-type":"item","numeric-id":5387312,"id":"Q5387312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db20ff5d451b753d0ebe262ff53fdc8191e7e16","datavalue":{"value":{"amount":"+0.74184704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141840$05AE5405-A9F3-42AA-A547-BDD3E6C2D499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f811a15300c37898cdc1f8c4b48a74b6a3601179","datavalue":{"value":{"entity-type":"item","numeric-id":4953200,"id":"Q4953200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcdf522dfd4414e5a3d41622d594683af653b959","datavalue":{"value":{"amount":"+0.73021156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141840$59CD378C-9D62-46FF-89AC-C2B93F766C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7485784684406b218cce15fcc72ce0c4aac8c17e","datavalue":{"value":{"entity-type":"item","numeric-id":1771918,"id":"Q1771918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb7d3d1ce031c9d14bfbf73d6de0c63c5e28741","datavalue":{"value":{"amount":"+0.69686943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141840$CCF636C6-16C1-4E5B-A775-7A98C8DCC04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4994e494d00c685fd6dc2ef0d48cc8e9882ff00","datavalue":{"value":{"entity-type":"item","numeric-id":1407611,"id":"Q1407611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e25d85ecfb0ed287cc5c85a876b7c0cf575ba5","datavalue":{"value":{"amount":"+0.68931264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141840$C08A9A1C-24FE-4F0E-BC43-7865F164BF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f434077e3c8c4e3e29f737ea5411a025ab9b8099","datavalue":{"value":{"entity-type":"item","numeric-id":3300100,"id":"Q3300100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3036cb9c1ded3f6f019dbb2eedb457bd9ce3a99","datavalue":{"value":{"amount":"+0.6852528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141840$79B0A1DD-E581-48A2-B568-619D8F6BB2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b375123f0e28098947ed7b910558b06fd625244","datavalue":{"value":{"entity-type":"item","numeric-id":3819124,"id":"Q3819124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b8c46fcd9184343f0e8986dfbbab509036a393","datavalue":{"value":{"amount":"+0.68275124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141840$1F8B2A73-2772-49A5-B8ED-5BCA79A5D455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4b7d5c41bd86c519d3fee9f5cfd9e918a30541","datavalue":{"value":{"entity-type":"item","numeric-id":1616770,"id":"Q1616770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2656b7e41c27db68164f915c0f05d7b1cdfc7ed","datavalue":{"value":{"amount":"+0.68097365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141840$C9FAD450-DB0C-4B45-9E10-6360D291C6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f585bc387e17e4ac97d306b57f96c8fa988fd6","datavalue":{"value":{"entity-type":"item","numeric-id":2449446,"id":"Q2449446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d81ab4886834436cbc31f9e2c5275dff3d688f1","datavalue":{"value":{"amount":"+0.67856276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141840$3F457079-9C0C-426C-B03E-D219087D391D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273f0e9359f7be65158c17d2b617a20a881e49cc","datavalue":{"value":{"entity-type":"item","numeric-id":3358781,"id":"Q3358781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9384e0ce2fb07fcfe43838820cb88c01017d3a2b","datavalue":{"value":{"amount":"+0.67690694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3141840$20018B16-FAF0-4686-B670-8F75D193B0DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Irredundant Sets in Boolean Algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Irredundant_Sets_in_Boolean_Algebras"}}}}}