{"entities":{"Q4963161":{"pageid":6992742,"ns":120,"title":"Item:Q4963161","lastrevid":98442248,"modified":"2026-06-05T17:32:43Z","type":"item","id":"Q4963161","labels":{"en":{"language":"en","value":"Congruence Boolean Lifting Property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6973836"}},"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":"Q4963161$F7BA57B4-B1DC-4D6B-80FD-5BA57479294D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13ac38e61824b3ed157c5a32acbb1ca323fec3be","datavalue":{"value":"1398.08008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963161$2A668C23-609C-43CA-BD18-2854EF1E284E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"691c2c9aecff6e608ae8ba22ef2bb376752447c4","datavalue":{"value":{"entity-type":"item","numeric-id":377477,"id":"Q377477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$406A0954-2A9E-4F35-BA88-5CBC89CE5FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ccb0bfd6631a1549ad4fd4e04d60519169799c2","datavalue":{"value":{"entity-type":"item","numeric-id":377476,"id":"Q377476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$761C3620-75B2-4B1D-9AAF-C6B12163839F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7f9ec5f57fe5a70ebcd816971bee5bc3157d605","datavalue":{"value":{"time":"+2018-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4963161$2D5CBCFD-B136-4B2A-A602-D48677FDD8B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca58d47b9e42c23bf4d2e8795cbe1c4a24c2aed0","datavalue":{"value":"https://arxiv.org/abs/1502.06907","type":"string"},"datatype":"url"},"type":"statement","id":"Q4963161$8A164D8B-8D0B-4467-8739-195A0A37F5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"98ce522365682edbe37d5ace93ee11e80cc8c3ef","datavalue":{"value":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-29-number-3-4-2017/mvlsc-29-3-4-p-225-274/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4963161$214BFF8B-25B6-4E2B-94F1-FB4798AC7F61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963161$3F58AC3B-13C9-4321-8717-22FDB9F6913D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963161$8A463A0D-06B5-4496-90B1-FF8F09D08544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963161$135BABEB-1BDC-4770-85C7-A0397CE698FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963161$3127D22C-6290-4F88-9CFA-8EB65A1839B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b98b5d67212aa13240e4dc8975eb4e5fe9ffbde","datavalue":{"value":"6973836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963161$DB9CBA33-BD75-47F7-B597-A9256A950B4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f35121394fbaaebb4bdcf5041dc426747e47fd08","datavalue":{"value":"Boolean lifting property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963161$7B196F99-DDDF-471F-9626-394F9C648670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20caa0bf4d5dc51f5b366026bb2fe0908d0432cf","datavalue":{"value":"Boolean center","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963161$A87C39EC-A31A-4AE5-82FC-6D4DB57213B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963161$9FE8D4C8-9502-4CA3-8969-4C4AED0A24C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963161$72FD1C82-99FD-4092-98BC-EEA87697A569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07a0dcf9e22907b03a435a9e3c725a7c726f05e2","datavalue":{"value":"reticulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963161$18B8E3E2-5D56-4075-85C8-08B66AD42DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5984c4e73dd4469bd1febb80b8ead890bb766934","datavalue":{"value":"congruence-distributive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963161$1CF436BC-02C3-4037-AAD4-871CE3C4BC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e80b20372c36c4ee4559a5db57c6c84a234ac2b","datavalue":{"value":"congruence-permutable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963161$2F1574CA-C3CF-4131-83C4-6F55C3E569BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5648ab283eff56c16126cc5578d6e77ca4ac21ec","datavalue":{"value":"arithmetical algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963161$0E34B2F6-77E2-4B27-9D01-8A9FCDCE6E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963161$C496E305-8936-4999-93C0-80661EE99A50","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":"Q4963161$B283B842-F401-4B54-8899-AA67B46E2FD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6796857cd69d0b232c7e56847ff31240e8a10b9","datavalue":{"value":{"entity-type":"item","numeric-id":1312173,"id":"Q1312173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$173B8001-2AD8-4EB5-89AC-887F2B23AEC1","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":"Q4963161$59EBD863-2B2D-4F27-9868-CDCC55F46CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a693970e4df55030e09d1f1943febc7c20486e","datavalue":{"value":{"entity-type":"item","numeric-id":2847611,"id":"Q2847611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$1C686680-AF68-430B-8F42-FFF3F153344E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000af6e96a9619ff38094013d865750057e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$9820E62D-B282-43EF-AA5F-FF34A78C5B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d4e6ded79593023b7b398d385779d7cf162794","datavalue":{"value":{"entity-type":"item","numeric-id":5574727,"id":"Q5574727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$F55542FD-FD19-4BB4-9DDA-3B30CF7FE750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$7A31CF1F-EF1F-4E70-B368-52A2F88BAF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de085191f6ff9cd12fc0382e5262d5ca04eb2091","datavalue":{"value":{"entity-type":"item","numeric-id":4621189,"id":"Q4621189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$BE06F08E-3EF6-42D0-9528-E9B5F71FC59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$2906E692-A883-4ECB-AA9E-FEB60ADFF3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad8e28ced44903569064d9c3deae1f4124f305b","datavalue":{"value":{"entity-type":"item","numeric-id":4212195,"id":"Q4212195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$630FE333-9E1E-48E6-B5FF-FD091217C74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f0e5ef95212d287b49c1d50cd19ca098e20e70","datavalue":{"value":{"entity-type":"item","numeric-id":3775604,"id":"Q3775604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$9F790E1E-A78E-4493-BE85-45A4ACF93DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$6A7EF56C-6364-4749-8F40-966FCB86D833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7453a4f9f240ad3616d760d3ddd3d65df23342e6","datavalue":{"value":{"entity-type":"item","numeric-id":992014,"id":"Q992014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$06DDBCCE-4250-4FE4-8AC8-2640C6C0D9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3097ffb3d70a0d0dcd77b4747737cc20cf47c910","datavalue":{"value":{"entity-type":"item","numeric-id":894392,"id":"Q894392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$08719711-85D8-476D-9199-107BE6B0C218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40ad72e4c5288ed8238f432da1dc34b96d5a84e","datavalue":{"value":{"entity-type":"item","numeric-id":1677645,"id":"Q1677645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$E85D4027-B9BB-4546-BF7E-8CBEDD12334D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4e85363eeabe6d4bb877eb112267fc92de2d6e","datavalue":{"value":{"entity-type":"item","numeric-id":5459443,"id":"Q5459443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$EBF96424-C974-4288-AF25-64066B69B57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b9f67e6804afaa7d95eb3ac0fc8257706051ad","datavalue":{"value":{"entity-type":"item","numeric-id":2448299,"id":"Q2448299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$E93C6A97-FDFC-42D5-A96A-BC9C8ABC33BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf313a8a0a1fd095cedd4b19478f62717609d38","datavalue":{"value":{"entity-type":"item","numeric-id":819791,"id":"Q819791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$07586484-4824-49DD-BB4D-381BA2E2633A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfa783fdb3aef07efcaaec1ef910007d0b32e3b","datavalue":{"value":{"entity-type":"item","numeric-id":3603260,"id":"Q3603260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$7815E40D-1736-4636-B6A9-E6DF300DAD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26e08fcc7b7beaeca17bce8cab5d1c28ca4d168","datavalue":{"value":{"entity-type":"item","numeric-id":5389299,"id":"Q5389299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$45760C8F-ABC3-4D17-82EE-B7670F69196A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf84d2c14eaf7b0a1c66df0e7f00b978e1ca7db1","datavalue":{"value":{"entity-type":"item","numeric-id":3558372,"id":"Q3558372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$0D654A3A-7C76-4F58-9224-3D20533646CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a156b1f20ca680f292810159ec28436d9078efa","datavalue":{"value":{"entity-type":"item","numeric-id":5389284,"id":"Q5389284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$B746ACD9-892E-4FAE-A63C-798F92ACC7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8762f8458bd20a17be0dbc0963d9af484c5437fb","datavalue":{"value":{"entity-type":"item","numeric-id":5402954,"id":"Q5402954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$A24D0819-F8F3-4F78-8982-B9BA5A1EE2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e4085f6699a1b2def9a4cb6b95833924de9fc1","datavalue":{"value":{"entity-type":"item","numeric-id":3519700,"id":"Q3519700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$8E7415A2-4FEB-466D-9CD5-2289543DADF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4232d78ec73839d0a9731803ea564cf1f718fd","datavalue":{"value":{"entity-type":"item","numeric-id":3944653,"id":"Q3944653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$72A3B9B6-D4F9-4901-93A7-714BEBE78B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d537860560846cbbd18a70d9d3bae38e92d0b244","datavalue":{"value":{"entity-type":"item","numeric-id":3173731,"id":"Q3173731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$C3CF945D-896C-4230-B04D-6F8DF8087468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c520f466c29fa1a2f58f5de0c0bb794166e00444","datavalue":{"value":{"entity-type":"item","numeric-id":1125164,"id":"Q1125164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963161$5933281B-9A5F-40E7-8D34-1A242E0E537E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b80729f91cc881bce78f6db96e1af8b067d208","datavalue":{"value":{"entity-type":"item","numeric-id":519859,"id":"Q519859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80806b521553c961dc3f43dcdaeef5354dbd873a","datavalue":{"value":{"amount":"+0.87209","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":"Q4963161$75AB9A0F-447D-4C32-8EDF-56DC58A54A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c1f2109bbf5ef5fbc0143d9accb16c0194b1eb","datavalue":{"value":{"entity-type":"item","numeric-id":894392,"id":"Q894392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f525725256e038717fa77edb1325304834b21d","datavalue":{"value":{"amount":"+0.87154907","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":"Q4963161$0CE7B972-B001-4F36-8D48-0623BEEE1352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4fcef1adbb5a10405b99348d4b58ed65411637a","datavalue":{"value":{"entity-type":"item","numeric-id":2152945,"id":"Q2152945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f55ca8bbbb30eb8bc909eb1fc9a333c7b59962","datavalue":{"value":{"amount":"+0.8481113","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":"Q4963161$076C54C7-8D82-4DA9-BDE7-682085C5B95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ce8f335173cbdb25a0b9a08910a3bdd7d52342","datavalue":{"value":{"entity-type":"item","numeric-id":4621189,"id":"Q4621189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab374e49d5719ff77a7716faf4ebb0a6f0d8bc4","datavalue":{"value":{"amount":"+0.8359538","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":"Q4963161$3F022FFE-1685-44A6-A194-4E5178715409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c4726e7b8828dc78b57381c7b22d08ebbe6c7fe","datavalue":{"value":{"entity-type":"item","numeric-id":3097922,"id":"Q3097922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41cead15c05b07bf9d8950064ae6dd9b92b1afb8","datavalue":{"value":{"amount":"+0.8353082","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":"Q4963161$522739B9-10BF-44C0-853F-16819549FA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3d88fb3bf946b70ddb71ac28936dadf9134f56","datavalue":{"value":{"entity-type":"item","numeric-id":3770727,"id":"Q3770727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc19cbfe2cee9cdef265d5091087ffc1ff5c4293","datavalue":{"value":{"amount":"+0.8279599","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":"Q4963161$0CEDD5EC-BEDF-465E-ACB6-05D038C43C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11126cc9db6c922a8856f1d6d94ea67e493e8f29","datavalue":{"value":{"entity-type":"item","numeric-id":5090501,"id":"Q5090501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd89b1b4121e74178e173f5a5a29a4a412e34709","datavalue":{"value":{"amount":"+0.81863236","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":"Q4963161$EE04531B-107A-445A-BB79-19A0062CA147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"199c7648a79e744fd3ffb5b8f3119f096a988571","datavalue":{"value":{"entity-type":"item","numeric-id":1325673,"id":"Q1325673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b395579bb102cce569c741b8afb79068fbbdf89","datavalue":{"value":{"amount":"+0.8146366","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":"Q4963161$67266F84-4751-4A43-A5D7-273A1FE28982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900884a46fccbec9e2ede0e28f7d8a44def6dd4a","datavalue":{"value":{"entity-type":"item","numeric-id":3199467,"id":"Q3199467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78a685f50d86725c59bc591b572a48d3689fdb1","datavalue":{"value":{"amount":"+0.81458366","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":"Q4963161$3E3029F1-E869-4DA5-B06B-2E7D653BC283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46fe03f71a8ae5f809c24d4beb239dd4274f260","datavalue":{"value":{"entity-type":"item","numeric-id":5917992,"id":"Q5917992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99df5b12629bc60ea46cb54a809faa67832a1135","datavalue":{"value":{"amount":"+0.81224513","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":"Q4963161$8CE64F84-65FF-4028-9D07-A2E1EFB610AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence Boolean Lifting Property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_Boolean_Lifting_Property"}}}}}