{"entities":{"Q1905987":{"pageid":1916729,"ns":120,"title":"Item:Q1905987","lastrevid":73294254,"modified":"2026-04-14T15:18:59Z","type":"item","id":"Q1905987","labels":{"en":{"language":"en","value":"Total tense algebras and symmetric semiassociative relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 836822"}},"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":"Q1905987$8E250364-EABF-4C35-9F44-069D1BB7692A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1139a1e22e2e1bca2aaf7a18421d235dce26a528","datavalue":{"value":{"text":"Total tense algebras and symmetric semiassociative relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1905987$B66C197C-B399-482E-931B-7300077C4B43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfa1ce865e75565dfcc67142d07b1946b30f33f1","datavalue":{"value":"0836.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905987$FF69EC63-EDBB-4B15-A667-6034BF771B57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ddf816a1f5e56644f81568a8ad2f3bed040884d","datavalue":{"value":"10.1007/BF01182096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905987$5BD6F2F0-78E6-4A8E-84DC-CF98BD49F552","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1e5f98c1dbd5d88c97c48275c3781739042d20b","datavalue":{"value":{"entity-type":"item","numeric-id":299203,"id":"Q299203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$949F4655-8583-43F2-AF63-773EAB039E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2391a7e316e309d156481558b525f5af99f72c33","datavalue":{"value":{"entity-type":"item","numeric-id":1652868,"id":"Q1652868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$E0CE1692-2928-4F5F-9A52-AE8AAF8C9C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6fbdd6806d9cebab7dba33d5ba34c31f95c481","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$A9EFD01C-F768-4D61-80C8-80A4843BEFF4","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":"Q1905987$F3A1DDD3-C2C2-4284-A083-BBFBD66A76C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5234c3c3eec5889ee0b52a7482e82bd6b7ddaa49","datavalue":{"value":{"time":"+1996-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1905987$B4E27CB9-9089-4435-8BF2-F555061ABC39","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"58664470bf230e34db4111ba783f1add731160b8","datavalue":{"value":"A Boolean algebra \\((B,+, \\cdot, -)\\) with two unary operators \\(f\\) and \\(g\\) is called a tense algebra if \\(f\\) and \\(g\\) are conjugate operations, i.e., for any \\(x,y \\in B\\), \\(y \\cdot f(x) = 0\\) iff \\(x \\cdot g(y) = 0\\). A tense algebra is called total if it satisfies the condition: if \\(x \\neq 0\\) then \\(f(x) + g(x) = 1\\).   In this paper the authors study varieties generated by total tense algebras and show, among other things, that thare are exactly four finitely generated varieties and infinitely many nonfinitely generated varieties of height two. The authors show also that tense algebras are term-equivalent to certain generalized relation algebras and extend the results to varieties of these algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905987$0FC9EA94-53E2-4729-B108-191ED8ECCDB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905987$D1A03988-85D5-42D5-A6E6-FB2F40C46002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905987$EDD44845-686E-4544-9ACC-D31A46E4B28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905987$2492761F-2041-46E2-AC27-4C5BB5F249C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c5f194f264a14545ef36627214a37bf466fa51a","datavalue":{"value":"836822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905987$BF8A2DB3-869C-452D-8997-9374060B234D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aed5d325a9629ab7e64bb14b6f4c52f44b60d0d","datavalue":{"value":"complex algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905987$4AADB790-19CE-47A3-BD3C-5BC8BE071DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"792f6aba47a2a8b885c06cfa6cd7bb9cf63f7176","datavalue":{"value":"lattice of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905987$2FA5B121-239A-4C43-8C10-A28D2927DB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ddbf94e1bb8830a27c96e0c354c2f1d88e6f93","datavalue":{"value":"tense algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905987$F0539F53-5481-4BFB-BF80-B85A15D5310F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d8ddd86414b5d845185fa3485fcfb35468d6","datavalue":{"value":"conjugate operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905987$6B57E013-794D-4E7F-8E81-2EBD8EF25213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"041265fc87cda9bca566be4f9fa152c81b34ec85","datavalue":{"value":"generalized relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905987$1A9B1649-FE82-46C7-8A1D-E09607252FE0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55cce125d2b50c23768a94700ce957231de3a61f","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$92FD15D2-9032-4C9A-9EDE-55CBD2C3B661","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":"Q1905987$98010471-EEF8-46C9-8C33-FD234064D42A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa8a855635660c18bee8eede803ea3e36d90e47","datavalue":{"value":{"entity-type":"item","numeric-id":5905422,"id":"Q5905422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$07B00B1A-09D4-4A3D-91E7-8DAD1F4E7CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3d2f911ecb3b5590d70035c532dcb4003778fb","datavalue":{"value":{"entity-type":"item","numeric-id":3875896,"id":"Q3875896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$D2CE172B-2BA3-4186-AC43-1C56B6D8A99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0a2d77c10bf7b1b25fa6ef3b8e22e9e85ddafc","datavalue":{"value":{"entity-type":"item","numeric-id":4752100,"id":"Q4752100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$8B2BC0D4-0417-4267-BAE5-899EE3B04985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e174bd1a5066011fc104dbbb8f7471db4c7f0252","datavalue":{"value":{"entity-type":"item","numeric-id":4273435,"id":"Q4273435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$CC1995A8-BF24-4B7D-9B25-31456D2FFAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"049a7490b450ea0d8d1512f03f2d348ea5aad747","datavalue":{"value":{"entity-type":"item","numeric-id":1337151,"id":"Q1337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$7AEB9B75-0BD4-4D59-A699-E5B9B7826604","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":"Q1905987$28948ED6-5A4A-4258-AF46-4C4D8D34E16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126de90821be28cb2e987d414e00b8309a2c31a3","datavalue":{"value":{"entity-type":"item","numeric-id":1249576,"id":"Q1249576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$435FCB4F-6F0E-417D-8F52-FA50F4503B27","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":"Q1905987$A53E3E1F-AB3D-4E1E-AD82-A3A6CCF5C1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d2654816f8db96086e4e42abf7b35ac6c212ed","datavalue":{"value":{"entity-type":"item","numeric-id":757364,"id":"Q757364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$75713D8A-11C5-4FFB-AED6-85B1710B9416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02a7015bbfbe1ff6f666388a9fcbe988e459e45","datavalue":{"value":{"entity-type":"item","numeric-id":3985845,"id":"Q3985845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$8E0AE8E3-5E7C-4991-8662-AAA57AEF1E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccd685541449e61b99fbd656e8f24637bf57616","datavalue":{"value":{"entity-type":"item","numeric-id":4011737,"id":"Q4011737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905987$0C5CEF2D-DB4D-4902-A5DE-8A18645CCD3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1524ba2405dcc87e5f92234127b22d5e7accf143","datavalue":{"value":{"entity-type":"item","numeric-id":2310438,"id":"Q2310438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f8a066a468b2bdaa20b6da40a32d81810e872e","datavalue":{"value":{"amount":"+0.8501510620117188","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":"Q1905987$0D405537-FBD0-49EB-AB9A-3D1BEE45023C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc53fc76c4234be39ce8f310ffd311e99b209d4","datavalue":{"value":{"entity-type":"item","numeric-id":5445179,"id":"Q5445179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81ead68bb0d12c82379fc4dc03b4b493cc7c92d","datavalue":{"value":{"amount":"+0.7767803072929382","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":"Q1905987$0854035C-F38B-4F82-BAD5-CF11767C5DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3e7bfe8a25e39431ac8a44b94f5a420ec3d4df","datavalue":{"value":{"entity-type":"item","numeric-id":2908069,"id":"Q2908069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a348e2ed380dff384e22e5ae7399166ea0363b4","datavalue":{"value":{"amount":"+0.7759645581245422","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":"Q1905987$6E7E1A82-4F16-43AC-8DE4-ACBFE9B9AF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7506418d2f536c894305b8f8b219a83653b1f654","datavalue":{"value":{"entity-type":"item","numeric-id":5176670,"id":"Q5176670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be88df9b4df942cbfee0bcc2c709868d02bad285","datavalue":{"value":{"amount":"+0.7706184387207031","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":"Q1905987$889E31D3-4FB9-493B-AC75-127AE84CE2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d36566060cc90be98eda550e217364603628c9","datavalue":{"value":{"entity-type":"item","numeric-id":4943495,"id":"Q4943495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271fe0fe3a216b739b2bf091899082e991f9b09c","datavalue":{"value":{"amount":"+0.7702197432518005","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":"Q1905987$393A8552-38B0-4257-A36B-F7A686D465D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Total tense algebras and symmetric semiassociative relation algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Total_tense_algebras_and_symmetric_semiassociative_relation_algebras"}}}}}