{"entities":{"Q1966149":{"pageid":1976891,"ns":120,"title":"Item:Q1966149","lastrevid":43451295,"modified":"2025-07-25T23:40:22Z","type":"item","id":"Q1966149","labels":{"en":{"language":"en","value":"\\(Q\\)-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1407101"}},"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":"Q1966149$81D7ECF9-6922-4E0D-9D9E-1CD27088E7A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ae8fd8df05bfa3e122ec3d8541962cb530b8af1","datavalue":{"value":{"text":"\\(Q\\)-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1966149$7617F34D-14C9-4847-B872-76BF291CFA46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e51cb0826f9f003f1d00f47d93058c6e685d4aa3","datavalue":{"value":"0933.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966149$03D9198F-CDDE-459D-9820-F15F1C4C9D4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966149$9D12CC7F-C060-45EE-9947-C74BAF59B4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23cf142406287d1bd9ff829a9eead3b1cfc7e77c","datavalue":{"value":{"entity-type":"item","numeric-id":1595917,"id":"Q1595917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966149$66BAF149-CF37-4395-AA93-EF66E617FA5B","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":"Q1966149$52B4F203-9343-4D83-9C11-331749D4E2DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b67edb7c6ba470465e19f8a68d18347f5f95336","datavalue":{"value":{"time":"+2000-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1966149$FF9AAA3D-6773-481E-826C-8CEDBE872D17","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d9efeca20366e5ae9ec66bca8e200af1e66c3fec","datavalue":{"value":"Let \\(R\\) be a square matrix of type \\(n\\times n\\) whose elements \\(R_{ij}\\) are binary relations. Then \\(Q^{kl}_n(R)\\) is the binary relation defined by \\(\\langle s,t\\rangle \\in Q^{kl}_n(R)\\) iff there are \\(u_0,\\ldots ,u_{n-1}\\) such that \\(s=u_k\\), \\(t=u_1\\) and \\(\\langle u_i,u_j\\rangle \\in R_{ij}\\). Then for a given set \\(U\\), the full relation set \\(Q\\)-algebra over \\(U\\) is defined as the relation algebra of all binary relations on \\(U\\) equipped with all \\(Q^{kl}_n\\). The class of all these algebras is denoted by \\(FQ\\). \\(Q\\)-type algebras are algebras \\(A=(A;\\cdot ,+,-,0,1,',Q^{kl}_n)\\). A representation of \\(A\\) is an embedding of \\(A\\) into a product of algebras from \\(FQ\\). The class of all representable \\(Q\\)-type algebras is denoted by \\(RQ\\). A \\(Q\\)-algebra is a \\(Q\\)-type algebra satisfying 10 axiom schemes introduced in the paper.    Theorem 1. \\(RQ\\) is a discriminator variety of Boolean algebras with operators.    Theorem 2. A \\(Q\\)-type algebra is representable iff it is a \\(Q\\)-algebra.    Theorem 3. For \\(n>3\\), an algebra \\(A\\) is a relation algebra of dimension \\(n\\) iff it can be embedded in the Tarski reduct of a \\(Q_n\\)-algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966149$9C5A3785-6E59-416B-B453-FE650AB7275B","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":"Q1966149$4FC75980-CB02-49E4-9253-21FB9BD16DB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966149$3276DA37-11C3-4B1C-802E-5270B34FF0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966149$B4F2004D-6A3F-4509-9497-159CD457998B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966149$B247D8FD-8F77-4E83-95F1-477498162B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966149$1BFD6B13-1DE7-4670-A08C-B3509A9902C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9deabdb6ccfcf987b5743268bb24acdcf29def0e","datavalue":{"value":"1407101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966149$9103F025-2035-43C8-8AAF-D7B1DC530511","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966149$E4645E3F-A5B8-4CA8-89B9-E40209503825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516385a298157de8bf5e61e458a9adbcaf0b1a13","datavalue":{"value":"representable relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966149$32A04F78-19EB-4AA0-B377-7705F1782943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9945c4f9099acf0e910a599fc6e00b4fdf2067a8","datavalue":{"value":"Boolean algebra with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966149$D2FEE5C0-C463-434D-AB6D-55980EBCE003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a77875d820659ecdad49720441d23428da804da5","datavalue":{"value":"\\(Q\\)-type algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966149$F1D694D4-B5A6-4E6E-97C2-ED7663D465B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966149$EBD175C8-BD6D-4E8E-9727-BD0589633AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5b2e2578137ad092295e7529a641c2ea9cc685","datavalue":{"value":"Tarski reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966149$4EEC3563-9279-4BA6-8CF3-B3E117E4CFC6","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":"Q1966149$A10B0FC6-C69E-447D-8A14-4000F3F941B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92be7325e4e787c5372b96d1952cda19a95fab61","datavalue":{"value":"https://doi.org/10.1007/s000120050079","type":"string"},"datatype":"url"},"type":"statement","id":"Q1966149$91C60939-0264-4CB5-85DB-FCF56F8DCFC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03c589e7769e6106ba1905525e05867ab93e66f3","datavalue":{"value":"W4246085945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966149$5F36CDD0-69CF-427D-9BCA-1DCAF10E63BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4abe37c8f8fd6be11e06dc44b12b83338c80e5f","datavalue":{"value":"10.1007/S000120050079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966149$F7500C54-DA7F-435C-B85E-83DB6A304CBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7d041c532e51c261c0a57e23b6efa8bb7550e9","datavalue":{"value":{"entity-type":"item","numeric-id":4167132,"id":"Q4167132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49eae99936ccabcd3dd6504d7ee6ac475359d7f9","datavalue":{"value":{"amount":"+0.98274124","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":"Q1966149$A8A2BBDA-0759-4EE9-A37D-D9CE3F52022E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f03dd2e8bcf0cb0023e8aedc298da9f64a4d1a2","datavalue":{"value":{"entity-type":"item","numeric-id":5957258,"id":"Q5957258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a64f5347ff20efebbc80972b3cee74bbaec434e","datavalue":{"value":{"amount":"+0.9704124","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":"Q1966149$C87874EB-CEAD-491A-A460-66DABCF09115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2622548457001e8d4a8e14526687003e88002f78","datavalue":{"value":{"entity-type":"item","numeric-id":5755119,"id":"Q5755119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07637f8df04768a46e4d7fda6a9fcf5c6d4e465a","datavalue":{"value":{"amount":"+0.9487428","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":"Q1966149$DA68DB14-A458-4E59-BE66-AE821D02BAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b26c5ea371dd5af1e7305a63b938c785fadbd4c","datavalue":{"value":{"entity-type":"item","numeric-id":3003753,"id":"Q3003753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d384eeea9fcb8f3e5f673aa5e7b7cc9d38ea57b","datavalue":{"value":{"amount":"+0.94570696","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":"Q1966149$49BF0111-93C6-44DD-91EA-1AE35C9CE557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4246f9bf9973c5c40410cd5cb45fee1c5177b31","datavalue":{"value":{"entity-type":"item","numeric-id":1758533,"id":"Q1758533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ca7502e274584a4851fd956d9ab2c10fe2218b","datavalue":{"value":{"amount":"+0.94320995","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":"Q1966149$5056B8A0-1F30-4D8F-BB86-7B91C0CC9BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f7b25b34ba725d0f94963f523c50854bc5ec78","datavalue":{"value":{"entity-type":"item","numeric-id":4783537,"id":"Q4783537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a249993c7f1fada86cb0a749a3c5a8b1d5a212b","datavalue":{"value":{"amount":"+0.9421307","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":"Q1966149$20F7769A-EDC0-4BA0-B254-9407227FAC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac6eca73ad17dd997a30a8715375f9eb639bf7d","datavalue":{"value":{"entity-type":"item","numeric-id":2492800,"id":"Q2492800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357177613679f2f415ff0094879ba3c711540f57","datavalue":{"value":{"amount":"+0.940504","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":"Q1966149$ACECCCE1-C64E-4922-9C5D-E66AD33E3F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81def4c698e05bc568e7a836008de7678efaac1","datavalue":{"value":{"entity-type":"item","numeric-id":4311988,"id":"Q4311988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0cb7c93987cce9798fbf7e3fa90725331cebaeb","datavalue":{"value":{"amount":"+0.9389037","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":"Q1966149$CA25E2DA-F367-4A0F-908E-A2B768B7DAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd39da7d5696e41494435acfb72d7f93ff63fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4215067,"id":"Q4215067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0cb7c93987cce9798fbf7e3fa90725331cebaeb","datavalue":{"value":{"amount":"+0.9389037","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":"Q1966149$77FE2005-20FC-4B78-85CA-7CF233E0F1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080a4484044846947c9503c6fe931b3699d84554","datavalue":{"value":{"entity-type":"item","numeric-id":988085,"id":"Q988085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88365dcb3329e40983f30fba19ee24e9b5a7e014","datavalue":{"value":{"amount":"+0.93382955","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":"Q1966149$F66FBB48-6ED5-4615-BD83-23136A235A7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1966149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1966149"}}}}}