{"entities":{"Q1918962":{"pageid":1929704,"ns":120,"title":"Item:Q1918962","lastrevid":43421441,"modified":"2025-07-25T16:36:02Z","type":"item","id":"Q1918962","labels":{"en":{"language":"en","value":"Relativizations of relation algebras by the diversity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 908010"}},"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":"Q1918962$56042D59-A11C-4E1C-838B-165D7154BF7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f070d66af1442e01b86206ff90ab617478777e97","datavalue":{"value":{"text":"Relativizations of relation algebras by the diversity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1918962$1DE66625-7204-46DE-8438-5575BB2148C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40830c4f248b3f427dae996e130242c741f92fd4","datavalue":{"value":"0859.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918962$8BFEABB4-3FD1-413E-B7C0-2AC023BB08A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0638b1b8368544eca1e742da98bfe6165ccc5e8d","datavalue":{"value":"10.1007/BF01197179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918962$082E0C1E-C4BF-4A18-A392-C018B2B660B4","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":"Q1918962$B33298A2-76F0-41F2-9648-2C25C0ACBF9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"987a2f2e82526aa2085dc97bf2e88574c6b234f8","datavalue":{"value":{"time":"+1997-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1918962$CC000272-2E4A-47A8-B516-1E0316B76D34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e6674d9ece009896f374a70f27bd273460bb3c1","datavalue":{"value":"The relative subalgebra \\({\\mathbf A}_{0a}\\) of a Boolean algebra \\({\\mathbf A}_0 = (A,+, \\cdot, ^-,0,1)\\) by an element \\(a\\in A\\) is defined by \\({\\mathbf A}_{0a} = (Aa,+, \\cdot, ^{-a}, 0, a)\\), where \\(Aa= \\{x\\in A:x \\leq a\\}\\) and \\(x^{-a} = x^- \\cdot a\\) for \\(x\\in A\\). The relative subalgebra \\({\\mathbf A} a\\) of an augmented Boolean algebra \\({\\mathbf A} = ({\\mathbf A}_0, F)\\) is defined by \\({\\mathbf A} a= ({\\mathbf A}_{0a},Fa)\\), where \\(Fa= \\{f_a:f \\in F\\}\\) and for each \\(f\\in F\\), \\(f_a\\) is defined by \\(f_a(x_1, \\dots, x_n) =f(x_1, \\dots, x_n) \\cdot a\\) for \\(x_1, \\dots, x_n\\in Aa\\).    Now let \\({\\mathbf A} = ({\\mathbf A}_0, ;,^\\smile, 1')\\) be a relation algebra; the element \\(0'= 1'{}^-\\) is called the diversity element of \\({\\mathbf A}\\). The author proves that the relative subalgebras \\({\\mathbf A} 0'\\) form a finitely based variety. It is also proved that every relation algebra \\({\\mathbf A}\\) is determined by \\({\\mathbf A} 0'\\), up to a direct factor that is Boolean (the relative product coincides with the meet). An open problem is pointed out.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918962$A8496C28-4127-4AEB-B919-42C4BEF1F91B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918962$F586EC72-648F-4B5D-BBC0-B3DCAF4530A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918962$5EAE25C5-8644-4FF6-A109-812C42618BCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3a25e43e0e9bcea48dcf4b09b48c7f49508ce40","datavalue":{"value":"908010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918962$BCC8234E-6B32-418C-920D-AA1789AB5120","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cfb0a6fd216b7725c1691f1eea3cb59b2c8ba7","datavalue":{"value":"relative subalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918962$CD7386BA-C9A3-40C4-8224-3B3C19DC1ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918962$9A91180C-254D-4209-8296-279B32005856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba319eaea1f44275f9b2a8efef4359de7dd650c6","datavalue":{"value":"diversity element","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918962$E28E0EC1-81F6-4E92-96AA-36EA2783B0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e285fdb4a226db51d641ea571f2188df40afe59","datavalue":{"value":"finitely based variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918962$3EF70945-4296-4C1D-9C7B-D6DDCA9C075C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b09dab16088e6e75bc0bf5863b18aac9561be456","datavalue":{"value":"relative product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918962$6A0FE324-8ADB-48B4-9651-8319C5BC3F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67bf28ffbd25d09cfeb9b0c70f7679d627195133","datavalue":{"value":"meet","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918962$0B2933A8-C81A-45F2-9C3F-842B6E8FEC68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"495a5b6db73c1a9770e291101f2613645891bec6","datavalue":{"value":{"entity-type":"item","numeric-id":1214229,"id":"Q1214229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918962$DE20B7D6-3856-492E-B5FE-5982A2489275","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":"Q1918962$FCF95FC2-A1FB-48C8-B473-8E5367188657","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":"Q1918962$800268B0-4FED-4136-A0BA-A08414D30B53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4174971790beca0ad051503e31fb570ce13e6d6","datavalue":{"value":{"entity-type":"item","numeric-id":1105597,"id":"Q1105597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918962$F94045A4-2BEF-4D9F-9583-EE130589C9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbc9d6a1236be17e29241f6802ecb226a6602a2","datavalue":{"value":{"entity-type":"item","numeric-id":797616,"id":"Q797616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918962$2D7EC9A3-A73F-4857-877D-1E07B9715A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918962$A27982D6-8272-4D3A-A31B-5962E76AB030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3de524609366f1d8b08d344deaf92a9f627bf98","datavalue":{"value":{"entity-type":"item","numeric-id":1312168,"id":"Q1312168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918962$F58563AE-F19B-4553-A061-2B2F1C199803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe8ad9bbac4e56be6f51b9f4bf524169d09464e","datavalue":{"value":{"entity-type":"item","numeric-id":775349,"id":"Q775349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918962$36E0A6EE-1AC3-4F06-B851-8369DC268386","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":"Q1918962$CC8A58EF-E22D-474E-ADEA-5525288861FB","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":"c46b23da88934164f2dda11717fe7e349a68cbea","datavalue":{"value":{"amount":"+0.93055713","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":"Q1918962$EE471C60-9682-44D3-9BB0-836B27BB3E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b3feeaaa5fe39e5873b31fa545576d05a9292d","datavalue":{"value":{"entity-type":"item","numeric-id":797616,"id":"Q797616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94540113f5231c23cadb4d9b01fc8ebf9738fcf5","datavalue":{"value":{"amount":"+0.9304778","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":"Q1918962$BBFDB9B9-DF0B-4B8E-BF85-CBE963D3B227","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":"a8ce74624634889cd57be1a1c0ff507d5bfcd51b","datavalue":{"value":{"amount":"+0.9233042","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":"Q1918962$AD681A7D-8066-47CB-92BD-2A185DBCB2CE","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":"a8ce74624634889cd57be1a1c0ff507d5bfcd51b","datavalue":{"value":{"amount":"+0.9233042","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":"Q1918962$6C3C12C7-491A-4D8B-97B3-838A8336E478","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":"d79492dbcc97f4e285a36f0b5566f971714257ce","datavalue":{"value":{"amount":"+0.90626574","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":"Q1918962$44E9F997-35EE-4074-9022-935B6E9EEEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155fd4e31638ec5d481d5c4fe7ab8bf92509ee92","datavalue":{"value":{"entity-type":"item","numeric-id":2695366,"id":"Q2695366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e1166c64e124271abc46fd9acc6682118b3b0c","datavalue":{"value":{"amount":"+0.9051926","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":"Q1918962$03F44178-3BD6-444E-834C-7B73FECC837F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21df5cd685405cb3115c4ffe97555544546812b2","datavalue":{"value":{"entity-type":"item","numeric-id":4273430,"id":"Q4273430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1bd62ec4eac25687ba44023668033a0c4b808b2","datavalue":{"value":{"amount":"+0.89531064","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":"Q1918962$58D6103D-7449-47CD-9EA2-0ADE79D2E7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e73c27c6e9750f68035fa23436cee3c4e9727df","datavalue":{"value":{"entity-type":"item","numeric-id":2297227,"id":"Q2297227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c32ecf7ea02cb1dbc0652543a5d437fc9bd595","datavalue":{"value":{"amount":"+0.89468616","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":"Q1918962$6C794701-A4A5-47A7-B296-2B7DDED27C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8c9b8a83330241611a9a1b8807973d09116d4f","datavalue":{"value":{"entity-type":"item","numeric-id":4296549,"id":"Q4296549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1879ec1ab158bdfc01f1fc84d06771776b0fb88","datavalue":{"value":{"amount":"+0.894569","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":"Q1918962$9C8EA50F-DCB9-4B74-9AF7-092258877B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b17829afe9798420e4eb8a99705d31195bc338","datavalue":{"value":{"entity-type":"item","numeric-id":1105597,"id":"Q1105597"},"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":"Q1918962$B4D33212-E30F-48A4-9735-E082EF4A2733","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1918962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1918962"}}}}}