{"entities":{"Q1105597":{"pageid":1116346,"ns":120,"title":"Item:Q1105597","lastrevid":42881105,"modified":"2025-07-15T16:31:02Z","type":"item","id":"Q1105597","labels":{"en":{"language":"en","value":"On taking subalgebras of relativized relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4059397"}},"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":"Q1105597$A1312AA7-6DF3-4254-986C-D2175DC44031","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d641768d73bf626ab7dc2db7ea5250763f0cdad8","datavalue":{"value":{"text":"On taking subalgebras of relativized relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105597$BEF02E58-E443-4269-AEEE-D97746E51D55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55bce067b4c25ecc261cfce80abc46b5256111ea","datavalue":{"value":"0649.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105597$4B78076D-1C4E-4775-9475-7A98C8057FD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5b7f09db25bea80ea9b463d3de05f67e45a6ee7","datavalue":{"value":"10.1007/BF01229962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105597$36787744-38D9-4A79-A01E-B5E25CCCD177","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":"Q1105597$E8DE3B99-66C9-4F5E-A9E7-9DCA793C4079","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1105597$DFDF10C2-13D2-4035-B9AB-C433B2C87432","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef2f23df7c1daff4a263f82816ba7a58296be746","datavalue":{"value":"Let \\({\\mathfrak A}=<A,(f)_{f\\in F}>\\) be an algebra and \\(\\cdot\\) a distinguished binary operation of \\({\\mathfrak A}\\). For each \\(a\\in A\\) set \\({\\mathfrak Rl}_ a{\\mathfrak A}=<Rl_ a{\\mathfrak A},(f')_{f\\in F}>\\), where \\(Rl_ a{\\mathfrak A}=\\{a\\cdot x:\\) \\(x\\in A\\}\\) and \\(f'(x_ 1,...,x_ n)=a\\cdot f(x_ 1,...,x_ n)\\) for every \\(f\\in F\\) and \\(x_ 1,...,x_ n\\in Rl_ a{\\mathfrak A}\\). Let RA be the class of all relation algebras and RRA the class of all representable relation algebras. For any class K of similar algebras set \\(Rl'K=\\{{\\mathfrak Rl}_ a{\\mathfrak A}:\\) \\({\\mathfrak A}\\in K\\), \\(a\\in A\\}\\) and \\(SK=\\{{\\mathfrak B}:\\) \\({\\mathfrak B}\\subseteq {\\mathfrak A}\\) for some \\({\\mathfrak A}\\in K\\}\\). The author proves that for any class K satisfying \\(RRA \\subseteq K\\subseteq RA\\) the following properties hold: (i) \\(Rl'K \\neq SRl'K\\); (ii) there is a complete and atomic member of SRl'K-Rl'K; (iii) there is a complete and atomic member of SRl'RRA-Rl'RA. The relationship to similar problems in the theory of cylindric algebras is discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105597$213157BC-5BE3-4EF0-B10D-390C0065B86D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105597$F9AE44A9-2B32-4ED1-B6F7-2A6DDF1DBF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105597$E403EBB3-9CAC-42BB-B837-80F4DA66DBC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bf760aef09051c561e31a037a2141a9ebc2ee8a","datavalue":{"value":"4059397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105597$2DDD2BB1-5548-42E2-B78A-7B52341F59AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105597$BCC89518-6196-4720-A325-FFE2E8DF8CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105597$49E3FB60-CE9D-4010-9B82-BBF4521563E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105597$8366A669-E5FE-4E60-82C8-20A365EBB525","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105597$F0160C8F-0D06-4935-BA85-9DF50B0A2B84","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":"Q1105597$2C3855A1-6B8B-4F89-AFAF-9226C18316A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9f539587296f2b052a018bbeeb12138dff24a2","datavalue":{"value":{"entity-type":"item","numeric-id":5537625,"id":"Q5537625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105597$F7375761-BB51-44CD-9E27-8B4EBF1DF28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105597$1A4964F3-9BC2-4B0F-B46A-BEB3B40B1C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662772cc812da675694308e996836638c657f11e","datavalue":{"value":{"entity-type":"item","numeric-id":4053651,"id":"Q4053651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105597$A4C9B32B-4145-491B-97AC-A9999925E2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1f3780260302945db0add04411654a1503c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":3661577,"id":"Q3661577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105597$E705DD77-03C2-405E-8958-DCC151D8F6A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1670c3237a3809f0ce24499d809de94603ae425a","datavalue":{"value":"https://doi.org/10.1007/bf01229962","type":"string"},"datatype":"url"},"type":"statement","id":"Q1105597$FB28DAB3-BC44-42BF-9E1F-33466E62CF61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"060e3b71b40b557cebfba2fd41f1544b5bc94486","datavalue":{"value":"W98043388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105597$10163CE7-7577-4919-9A8B-5406BA611100","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522b2aa71bfc31f2d88f0a8453bbbad81f21ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":4293503,"id":"Q4293503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32445fef96fb1fbed12f85f106a46f8fefd4c89c","datavalue":{"value":{"amount":"+0.9179495","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":"Q1105597$7FE03D44-A413-4213-BCA7-CCA751AA7942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfd65f6486e373a1cb93c7439262325f662906d","datavalue":{"value":{"entity-type":"item","numeric-id":1652851,"id":"Q1652851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae735e8e4fc7dd46bbf1623a2de2f4d01d5546b8","datavalue":{"value":{"amount":"+0.9090558","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":"Q1105597$295A9AC0-28BF-4688-9044-AD436A7780C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b8bf7765598e48be136b8150734cf851f967c0","datavalue":{"value":{"entity-type":"item","numeric-id":4011721,"id":"Q4011721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff7130ec5bb1b852337b00ab9194754f02d1864","datavalue":{"value":{"amount":"+0.9073433","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":"Q1105597$E3BC56FE-8381-4BC2-9D76-B7B818F23E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ed543d1e883ae124e3e7292669fce7260b682c","datavalue":{"value":{"entity-type":"item","numeric-id":5932467,"id":"Q5932467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff7130ec5bb1b852337b00ab9194754f02d1864","datavalue":{"value":{"amount":"+0.9073433","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":"Q1105597$6C8523F9-0B5E-4AFE-8423-646C01059930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae5450669e91069c535e013d3bb19048186938c","datavalue":{"value":{"entity-type":"item","numeric-id":4011733,"id":"Q4011733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a0d4a1d9301c091d730faab5f8cf57aa93ae3b","datavalue":{"value":{"amount":"+0.8948971","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":"Q1105597$2A371F7F-49FE-470F-82F4-D498C0783FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddc7d26de171a4b8488c7788b59d5bb520601fd","datavalue":{"value":{"entity-type":"item","numeric-id":1918962,"id":"Q1918962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746daf52df2ed08d58c51c9068eb4d1ed187faff","datavalue":{"value":{"amount":"+0.8913093","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":"Q1105597$CA8D849C-E013-403C-A0B0-69F4BD87A0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5a01361d791c9126722c156709414e698007a6","datavalue":{"value":{"entity-type":"item","numeric-id":6053400,"id":"Q6053400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ffda0ca7715cd6afae41198eec5cb5a7b9a956b","datavalue":{"value":{"amount":"+0.89102995","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":"Q1105597$D747DFF1-6171-4842-B594-199A196CD2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651d6b1603a99b2034c829ed4d6e2c0da40a85d0","datavalue":{"value":{"entity-type":"item","numeric-id":1327468,"id":"Q1327468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4cda24a9c9bf19976dceec1151e60db7300a96","datavalue":{"value":{"amount":"+0.89097196","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":"Q1105597$0C686188-B5EA-41DA-8AA5-3D858F18FF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93aed85fa1fd7c2e3a23f56b924f72b68a299381","datavalue":{"value":{"entity-type":"item","numeric-id":2359734,"id":"Q2359734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79c1ef78eeeba3eaca96730e0558a4b1a7e771c5","datavalue":{"value":{"amount":"+0.88609827","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":"Q1105597$92EA6430-CB36-4E17-B79C-7C1FF5B765E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739101964d5f09abd44ff81daf44c808390ddead","datavalue":{"value":{"entity-type":"item","numeric-id":5737994,"id":"Q5737994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92192824ee65a6ec78fcbc303fd79bbe98a2b3e5","datavalue":{"value":{"amount":"+0.88583684","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":"Q1105597$7608935A-E162-4998-B521-49AE11D5B845","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1105597","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1105597"}}}}}