{"entities":{"Q1894552":{"pageid":1905294,"ns":120,"title":"Item:Q1894552","lastrevid":71708271,"modified":"2026-04-14T00:01:47Z","type":"item","id":"Q1894552","labels":{"en":{"language":"en","value":"Equational compactness of bi-frames and projection algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780794"}},"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":"Q1894552$27D475AA-89E8-4BB7-AAC0-E7958647F5FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5ae5a35afc6999ffb88c6478b0eb094bdd006c3","datavalue":{"value":{"text":"Equational compactness of bi-frames and projection algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894552$D1B355B3-22DC-4A2D-9671-DFCD583DE312","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92982c4372fc7942cf3456ed60d6ef94c6c7fb69","datavalue":{"value":"0830.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894552$DCFC0082-D346-4A9F-A981-CD8DCC9835B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdcb394f68b1d529196797117cc2790e1d80ee1a","datavalue":{"value":"10.1007/BF01225471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894552$7CC5C954-2B7A-46F4-AFEE-D06CF4173323","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"112864852cff2c239be1300e77536bf9e35c78a6","datavalue":{"value":{"entity-type":"item","numeric-id":219053,"id":"Q219053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$DFD9041D-D0E1-46E4-AB2D-FA788DF34325","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":"Q1894552$5296E435-2325-4695-A212-8FF449D72BF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e681a2d729895c1036e78fcc6aabc448cd04fcb","datavalue":{"value":{"time":"+1996-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894552$DBD03137-69B8-48C4-BCB0-563B465E243D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d08909dadc02378b81d22268317fbe64a10e7c0","datavalue":{"value":"A bi-frame is a complete lattice which is meet- and join-continuous. In 1972 D. Kelly showed that every bi-frame is 1-variable equationally compact and K. A. Nauryzbaev extended in 1986 Kelly's result to 2 variables. The present author presents a bi-frame that is not 3-variable countably equationally compact. This is a counterexample to G. Gr\u00e4tzer's conjecture that a distributive lattice is equationally compact iff it is a bi-frame. Bi-frames are treated in a more general axiomatic context of so-called projection algebras, which are distributive lattices with two additional unary operations and generalize monadic algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894552$7A0143A0-9377-4E09-9B2D-BDFBBC7BEFAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c648e268c28ec150fb5ed45778a818ce497d91f","datavalue":{"value":"08A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894552$F57FAEE3-3384-453F-B662-7247DE600F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894552$091135B2-665E-4F9E-B3B6-35CBF0AE994A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff9e1f0658f6bee0403e8e9f903e716c2fc446c7","datavalue":{"value":"780794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894552$EE8A5735-5677-47D9-88BD-FD6FAB7DBF0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0163b166abe843f8e6f0e6e24c92266c52f03767","datavalue":{"value":"bi-frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894552$546D45C1-8A7E-4FCA-A196-9447C7EB2572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d1052448c48cb31089775a460919d469d9fed2","datavalue":{"value":"projection algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894552$A356E516-7DD9-47B1-8100-BE5B92424D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894552$421BF582-0552-4EAD-A6E0-9DAA7FEEE694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feaec606b507cb0319a31ea65e09c00603eea923","datavalue":{"value":"monadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894552$B6BA0F3F-ECF6-4D0D-B2D9-0E58459495BD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$03190850-40E9-4D46-A068-8689C60BB343","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":"Q1894552$CF365AE9-F999-41B7-9CCC-083638106A07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fe55ffd01124794d9e4b21da250a190c2b0e91","datavalue":{"value":{"entity-type":"item","numeric-id":2559401,"id":"Q2559401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$EB93DE2B-8016-4CB3-8F0B-5B583024E8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84d2b71085ae6649dcfdae3a7b11e7856659c7fd","datavalue":{"value":{"entity-type":"item","numeric-id":3322090,"id":"Q3322090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$C5148795-4C9A-4528-9178-FBEE4AD42BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$031BB1C5-8239-484B-AFC1-B5A3CAC8C2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6644794d85e22e5773f11b33d06c8281ea269ace","datavalue":{"value":{"entity-type":"item","numeric-id":3859834,"id":"Q3859834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$F86774A5-05F3-4BB7-A67B-424B7BA0B672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc1048b55948673c4aaf237882113fa2bfdbfdf","datavalue":{"value":{"entity-type":"item","numeric-id":5837862,"id":"Q5837862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$5F66D385-690C-4B41-BC8C-3C203CF65026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$B2787646-5AA9-4D39-A5A0-423290520D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613cac22887c8e9e1f5e4bf2f095e52ee645f91f","datavalue":{"value":{"entity-type":"item","numeric-id":5584565,"id":"Q5584565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$051225E4-A33F-4A70-AC3F-1E65B2027AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea56d0bd0d107dcd995dab8229f147daf4d0b376","datavalue":{"value":{"entity-type":"item","numeric-id":1153414,"id":"Q1153414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$F18E451A-1477-4F66-AEDF-18B177B52A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$F645AA12-3539-4AE3-9C2C-FB1AFDC58EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9685b850e8bde0c182203cab98deb7447a2fe35","datavalue":{"value":{"entity-type":"item","numeric-id":758488,"id":"Q758488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$71621ABE-9658-4B02-ADB1-52A4E2A7C5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a756cd8966b9cce34e82e6670a3f7907567591c","datavalue":{"value":{"entity-type":"item","numeric-id":1092937,"id":"Q1092937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$9DC1DC4F-7EE0-4E79-BDC1-4E22AC3B847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070f50f66851de35961c4bb6f2a59f5c2791e874","datavalue":{"value":{"entity-type":"item","numeric-id":5620774,"id":"Q5620774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$F60BABF9-01DD-4554-BFF5-0385D5DDD698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc049b70ee98ada2342493b0b198faf8cf7335cc","datavalue":{"value":{"entity-type":"item","numeric-id":5344204,"id":"Q5344204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$A4A2FDFC-E0B4-4FFA-9A77-3CDF3B89F602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f875aea721348f814d14405bbb5e41c8accb293e","datavalue":{"value":{"entity-type":"item","numeric-id":5795153,"id":"Q5795153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$D2D3706A-C635-489C-B7EA-4E24BA786409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2cfc9a2a8048a08ff33b58da0887f0d59f0051","datavalue":{"value":{"entity-type":"item","numeric-id":5650730,"id":"Q5650730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$71B6CF16-D544-4139-A520-808F6456AB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef3dc425d582f0799767e551c4fd23824ddaad69","datavalue":{"value":{"entity-type":"item","numeric-id":5625149,"id":"Q5625149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$5FC1B85A-9AE8-462C-B544-5556F10884F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1eedd544f437ea48db07fac9860d55ed1f2e1b","datavalue":{"value":{"entity-type":"item","numeric-id":5540477,"id":"Q5540477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$1E3729F9-91D0-4109-ABEB-B69296A9B5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08a4c0869b998e41849dc981b552a1faf0b762f","datavalue":{"value":{"entity-type":"item","numeric-id":4283064,"id":"Q4283064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$1EDBF52A-1CFB-4A0A-B18C-5411E9E88B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9df1bdedbc2ea71d0b8e30365fe71d7238a85870","datavalue":{"value":{"entity-type":"item","numeric-id":1272246,"id":"Q1272246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$ED2996F0-2BF5-4714-A09D-EBBDC0698BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf4cfd10030accecfeba7257f355f8413114409","datavalue":{"value":{"entity-type":"item","numeric-id":4867929,"id":"Q4867929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894552$401121C3-3B1A-4CE3-8799-028F6BAA6E87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cee04cef20aa9eae1a6286be5edcbe40eb8b87a","datavalue":{"value":{"entity-type":"item","numeric-id":4289202,"id":"Q4289202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d7f05ba510041d83d346bd29f3fcce5b7d9a94","datavalue":{"value":{"amount":"+0.9154868721961976","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":"Q1894552$C57BF76D-8AAB-4A1E-8C5D-A7484C917AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef4352a99182a81b2bbbb9387d6c8c39d44be5c","datavalue":{"value":{"entity-type":"item","numeric-id":4724675,"id":"Q4724675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd83fe23bb61d2cec7ddda7b1aaa68e9726a0d62","datavalue":{"value":{"amount":"+0.7429209351539612","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":"Q1894552$8BC0ADB9-2900-440B-824D-B5DC9E93E18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3883b6124c77402e060e3e26b351c26592ef3435","datavalue":{"value":{"entity-type":"item","numeric-id":3728956,"id":"Q3728956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654a0a131029e0da0feef8ad442349c80f4d6d41","datavalue":{"value":{"amount":"+0.731051504611969","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":"Q1894552$0C9F8D83-D4E2-4E4E-9170-077B86604341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0a756834e95be9c14ef736a0e130a01fbf2db1","datavalue":{"value":{"entity-type":"item","numeric-id":5947275,"id":"Q5947275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58250c1fe87005e9fb36a9f3637fd815a693ed88","datavalue":{"value":{"amount":"+0.7291582822799683","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":"Q1894552$AD41B0D9-0265-4A2D-80E4-A157332F7DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7efa1288a89aab04220a54a420321b8836e20b6","datavalue":{"value":{"entity-type":"item","numeric-id":1083465,"id":"Q1083465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874d06ddedfde41b1a5b3e6d580c183f7dc41102","datavalue":{"value":{"amount":"+0.6972139477729797","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":"Q1894552$BC9FF750-79D5-4EA6-B05D-70CD6D56C29A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational compactness of bi-frames and projection algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_compactness_of_bi-frames_and_projection_algebras"}}}}}