{"entities":{"Q1035677":{"pageid":1037525,"ns":120,"title":"Item:Q1035677","lastrevid":66089676,"modified":"2026-04-12T07:28:57Z","type":"item","id":"Q1035677","labels":{"en":{"language":"en","value":"Completion of Boolean algebras in MSet"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5624926"}},"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":"Q1035677$0BAD7F45-9FBA-4BAA-877C-A01558060CFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d68cef59e23525eabcd9ee3f0dfe4d75ced4fd41","datavalue":{"value":{"text":"Completion of Boolean algebras in MSet","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1035677$68483B3E-8A9D-4B53-B497-E952B1743172","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5685d033d443a1d917eed41b89349674741688eb","datavalue":{"value":"1180.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035677$CBBF99CD-2AA3-4D41-A778-A4DCB78A14CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dd225a232020f6a048cea83de76cc5bff15bfc2","datavalue":{"value":{"entity-type":"item","numeric-id":211507,"id":"Q211507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$858CC1B6-DAB0-42E0-9E9E-51BADA5BB845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae88561f4474fdcb0da2b007af2999d3e69f8fc","datavalue":{"value":{"entity-type":"item","numeric-id":262977,"id":"Q262977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$3BA2310E-7FB5-4125-910C-2E21590860A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$49620C1F-481B-4679-98AA-335BEAC31255","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1035677$A475DCF1-8460-44E0-82B9-429FF9EC9248","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d87fc9dd4b89aa08d7e7e8c4e61f724cc478c203","datavalue":{"value":"The aim of this paper is to study the general notion of an internally complete poset in a topos, in the sense of Johnstone, and to use it to give minimal normal completions for \\(M\\)-Boolean algebras (Boolean algebras with an action of a monoid \\(M\\) on them).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035677$531E88EA-7650-4466-B498-C5FE43B41734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035677$0CE6B4FD-6C35-4601-898B-9B96F0028860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035677$2EE73F53-7DA7-4C29-BFD8-3B497EFBB362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035677$DCD1812E-534D-49AA-A0B3-A6E4C137D867","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ee6eeca2d1c619ac64e346b63f4b8d4bd224bb2","datavalue":{"value":"5624926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035677$3803797B-84B4-4EE7-95B6-48F7AA7B4AB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035677$896FAB6B-6058-48F8-A0BD-53938826821D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86fc55ceea75c4429049edfc7c225b20fd501eca","datavalue":{"value":"\\(M\\)-set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035677$0C294BD2-9F0D-4FEA-B59F-150ECC7172DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035677$9E73DA15-9128-4AD8-86C7-D0D39A21EA74","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$C7B06E75-C907-404B-86A0-B24E809DD27C","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":"Q1035677$0448D6EF-C8E9-4DB6-B580-D5E4B3CFBC3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$50A59ED8-3C94-428E-A1F6-9AA68EFE2868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$25C6F931-8F47-492E-8C7F-CFE3AF03117E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd2d9b1141b25bcecfbb14477116a1c7cd30e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2527476,"id":"Q2527476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$BDCEF330-CF0A-41EF-B356-7BDEAF2A5BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07345368341e17504be5f3a8e133f587a691adbb","datavalue":{"value":{"entity-type":"item","numeric-id":2491204,"id":"Q2491204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$9E0E3621-5675-4255-880F-FA73BAE8D2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4001c7b8000d0e93a228558e2ce42674ca2da6","datavalue":{"value":{"entity-type":"item","numeric-id":1169550,"id":"Q1169550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$8323FD7F-E878-4317-BBD6-9D4AC097F613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e07a9a09dda9a90b6212ceb945b22b566ee82c0","datavalue":{"value":{"entity-type":"item","numeric-id":4204313,"id":"Q4204313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$5A010188-7459-4AA7-9F04-46B9F7C65EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18f62d8200e876405ede327c9a04f1fc468f7d5","datavalue":{"value":{"entity-type":"item","numeric-id":4786538,"id":"Q4786538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$913EECF6-6D57-409C-8A3B-3C50713EB3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864023aa78030f1f2d6c56c8127fa6caaa3c6685","datavalue":{"value":{"entity-type":"item","numeric-id":1139588,"id":"Q1139588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$4754C5AB-5DA1-4C2F-B376-19F1ED105833","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":"Q1035677$40246108-1FCC-457D-91DF-2B3674D108A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$E47D8681-4108-49E4-BACF-6390282E5FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$BDF6D9CE-D3DF-4DFF-BBD3-040D3D0771BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f48d5742dbdd3ef0c7a68e3234bb90a4bcce54","datavalue":{"value":{"entity-type":"item","numeric-id":3889051,"id":"Q3889051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$EA273090-E655-41E7-A2DD-EFE64F72448E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4c140bdeb0296ef0f6d65791c9f2ba009b9ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1971007,"id":"Q1971007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$23E7D7E1-4678-45CA-B1B9-DE11005E2515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4815230774bcb231353be978d983b414c941711","datavalue":{"value":{"entity-type":"item","numeric-id":1122604,"id":"Q1122604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$13465EE0-E29B-4A1F-8763-F6E1FC7B8CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b1404b564de1b4e1dcc88a024926fbf855208e","datavalue":{"value":{"entity-type":"item","numeric-id":5932475,"id":"Q5932475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$20385AA6-05BA-4DCC-839A-553BC29FD04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1db7dcd2da9fc394dcd951ad62461c4f9bd451","datavalue":{"value":{"entity-type":"item","numeric-id":1227632,"id":"Q1227632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$F1DC33CA-3275-414F-9A86-A58F2EE54F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34d351c1ef844180d459df3939ab41ff1a3206b","datavalue":{"value":{"entity-type":"item","numeric-id":1241798,"id":"Q1241798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$11FBC089-ACC9-4C8F-8023-7B5C38CF0D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72633b52472d0f8390ccae00659e14b279a7da7a","datavalue":{"value":{"entity-type":"item","numeric-id":4094899,"id":"Q4094899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$54046A6E-DDAE-4B40-9699-F7A67DACB0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c7a7257918385f8aaf360d91b9e01dea60e28c","datavalue":{"value":{"entity-type":"item","numeric-id":4113999,"id":"Q4113999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$53F1E3E2-F497-418B-9F2D-886CCEDB4779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f5ffd0094b21e291962b15a167ea23cfbcc8f6","datavalue":{"value":{"entity-type":"item","numeric-id":4352752,"id":"Q4352752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$FAFE0B26-A6ED-428A-AE0D-B35FE4C49DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace79583a1d2ed52952e2d9ce828b653abb4c6b1","datavalue":{"value":{"entity-type":"item","numeric-id":1189900,"id":"Q1189900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$8E5DBC34-42EB-4677-B03D-22EC35655014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cacb4ab303cc7c9b6cd6474a07b57d8333f8c8","datavalue":{"value":{"entity-type":"item","numeric-id":809105,"id":"Q809105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035677$0CEFB3D6-C4FC-4A2B-A149-6AB420FB550A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a46cf68feaf139abc1f9e0f9d009541fd145c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4204313,"id":"Q4204313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdd242b59164eef0f8f116fe97480b21ef9f2df","datavalue":{"value":{"amount":"+0.8302224278450012","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":"Q1035677$E2EA8FC4-4629-45C6-8205-3BEE6F2AB0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"038fcc31d48a74dd1f3e0901d8231a5cf43385b4","datavalue":{"value":{"entity-type":"item","numeric-id":5932475,"id":"Q5932475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0909e96fd48757290f1d53991f3fd495acb877d","datavalue":{"value":{"amount":"+0.81130450963974","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":"Q1035677$29658BAF-598B-43A5-A471-8BD67B9E35F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fca79220fc7a86dc83c6643a4ba5fbd90ea2bba","datavalue":{"value":{"entity-type":"item","numeric-id":4396129,"id":"Q4396129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0909e96fd48757290f1d53991f3fd495acb877d","datavalue":{"value":{"amount":"+0.81130450963974","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":"Q1035677$3E508476-A8E6-42F0-A199-1CAAC649CE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f806dddb86f7c49aa4d2c5aa4df54fcad2ed86b6","datavalue":{"value":{"entity-type":"item","numeric-id":1874524,"id":"Q1874524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b2157b6dbfeb419d63191ef56939d4214d108e","datavalue":{"value":{"amount":"+0.7877270579338074","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":"Q1035677$C243D1EB-79AA-42E5-A20B-038B11ECEF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91b802a5d581199d268a62cd991c45425428fb8","datavalue":{"value":{"entity-type":"item","numeric-id":4726301,"id":"Q4726301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"018711a79e6ab6a24ae86015875d987e4db01398","datavalue":{"value":{"amount":"+0.787726879119873","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":"Q1035677$2836A022-1261-482F-ACE3-461750B5F4F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completion of Boolean algebras in MSet","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completion_of_Boolean_algebras_in_MSet"}}}}}