{"entities":{"Q5932477":{"pageid":8109279,"ns":120,"title":"Item:Q5932477","lastrevid":47618137,"modified":"2026-01-02T05:49:06Z","type":"item","id":"Q5932477","labels":{"en":{"language":"en","value":"On diagonals in representable cylindric algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1602883"}},"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":"Q5932477$3D642081-FF37-4D71-89A2-D90186371FF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"116c0c29a74a6be98919bb8afea2e36b9b9d43e4","datavalue":{"value":{"text":"On diagonals in representable cylindric algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932477$456ACAE2-0008-4FD4-A56E-BC285F5CA058","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f43c14dfafae5ff49171055187fb2bad36ba57b","datavalue":{"value":"0965.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932477$4D05B131-5A54-47F3-B80E-31AAE4C46E6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e7e19de44cf8138c3a0f19770890f52ff253c21","datavalue":{"value":{"entity-type":"item","numeric-id":514551,"id":"Q514551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932477$79E6C7AD-7629-45A0-BB79-AB12181C4D89","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":"Q5932477$C914CEC8-568A-4FAC-9390-15CF45A08FE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5932477$06303904-9E9C-4926-A3FD-5D07152CB9C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e675643213f0a4a160b4009281076d90b50cdce4","datavalue":{"value":"A class of algebras has uniqueness of constants if there are no different structures with the same constant-free reduct. Examples are groups, Boolean algebras or relation algebras. However, the uniqueness of constants fails for cylindric algebras in general. The aim of the paper is to characterize diagonal-free cylindric algebras of dimension \\(m\\) which are reducts of a unique cylindric algebra \\(\\mathcal B\\) of dimension \\(m\\).   Theorems 2 and 3 and a Corollary give necessary and sufficient conditions for the uniqueness of the system of diagonals for suitable algebras which are representable. In Theorem 4 those representable cylindric algebras are characterized for which the uniqueness of the diagonals in a minimal cylindric algebra holds under a weak condition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932477$3CE5A937-A814-4E0D-8271-D828DED99F49","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932477$F966BA5C-B28B-4340-AF9D-D7C1CCF677F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932477$703CA5CF-94ED-4816-B1DC-D7494B1554FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99343b35f76fe09c01c43297e76424d636cfc37d","datavalue":{"value":"1602883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932477$CB9F1FFD-BB7F-4A3E-BD83-470BAAAE2E98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420ef905585183d2b90331a87dc2c0342672afd6","datavalue":{"value":"representable cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932477$BA64FDD9-DD02-41C2-929C-4127CA2EEE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932477$7FD26EFA-24DC-4D4A-B8FB-62BB52BCC49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e815f84d28d55ef4a5f8277acd4efa56a0b25b24","datavalue":{"value":"uniqueness of constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932477$E95F883A-0AC7-47D8-AF75-314F4EF0E720","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":"Q5932477$46D7BA66-7439-4CF2-BF8E-CCD10B8F607C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"468340a52657e99e317ce0cce063a0011cd85e0c","datavalue":{"value":"https://doi.org/10.1007/s000120050109","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932477$F6F343CC-0AFC-4B83-9D73-9F41E3AE2316","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c661c170938c14f072f3b37a26946cdd9e83ce1b","datavalue":{"value":"W2078099320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932477$102C2BE9-78AB-4CC0-A7E3-A2815B1038AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"444791abd862c7f4e4f25f9c1ecc49412728e460","datavalue":{"value":"10.1007/S000120050109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932477$3BA88AB3-4E4D-420D-9565-EEEE5BF9D0E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3751cc8eeaa043b17412fa244574c2cbb409e5e2","datavalue":{"value":{"entity-type":"item","numeric-id":1771933,"id":"Q1771933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae6d2142987f4add59f89aac0eaf06ca52e98820","datavalue":{"value":{"amount":"+0.7584317922592163","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":"Q5932477$E642BFEA-DA9D-44EF-B0B8-F68543F7B3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f8646503e5c7849d641ecd411ee2d78c10d0ce","datavalue":{"value":{"entity-type":"item","numeric-id":792324,"id":"Q792324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e47397dc4af63aa30d7a4737889238adaa9887","datavalue":{"value":{"amount":"+0.7564297914505005","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":"Q5932477$BB92ED76-D260-470D-9EA2-FCAA967A5FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4005fce1429451ae4c1198d644ddc65407001da","datavalue":{"value":{"entity-type":"item","numeric-id":2853708,"id":"Q2853708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac0f05493e05a88f62b93f6ad3f31868effde65","datavalue":{"value":{"amount":"+0.7543416619300842","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":"Q5932477$F1363630-498C-4E4A-8C76-F222D86440A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1734613bee33d71ab10244aba740e780d9c4cb7c","datavalue":{"value":{"entity-type":"item","numeric-id":2853714,"id":"Q2853714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce69ab75f0b5e5c23a28e5978212317759b001ec","datavalue":{"value":{"amount":"+0.753089427947998","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":"Q5932477$89FD6E43-A963-4F99-A55A-6EA001DED425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e90dfd1fe59ad3b986b2ff90aefd319d2173ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4273436,"id":"Q4273436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40061833f61c6a083d0de839b5dbb4465edf5c44","datavalue":{"value":{"amount":"+0.7486519813537598","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":"Q5932477$8BA2D81A-5CB3-4998-8A2E-586FDACF63B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5932477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5932477"}}}}}