{"entities":{"Q2640599":{"pageid":2651342,"ns":120,"title":"Item:Q2640599","lastrevid":79437197,"modified":"2026-05-06T13:54:24Z","type":"item","id":"Q2640599","labels":{"en":{"language":"en","value":"Atoms of tense algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187809"}},"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":"Q2640599$5D86B1CD-9885-4940-A12E-9525404A5781","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb202f32e0184973cea2562038ad8a09d9565131","datavalue":{"value":{"text":"Atoms of tense algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2640599$0FD204BF-2748-4B0E-84D3-DB9747F14BF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d940fb8cdddc302366fea7d19a495eda82d8e13","datavalue":{"value":"0721.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640599$51BAC078-9160-4835-AE6F-4EBF560F30D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27ddcf13e606e5cfd5a9bdfaf0c276bf2a99f55e","datavalue":{"value":"10.1007/BF01190412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640599$74D4DA00-9F3E-4DE9-BE2C-039C7C2C6A07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc667845b69ffe78e87b193c8e67c83a1bc1a138","datavalue":{"value":{"entity-type":"item","numeric-id":190276,"id":"Q190276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640599$92B043AB-DCAB-41A8-8BA2-F01B8EB9335E","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":"Q2640599$F52B12E1-2F9C-40BA-A6C3-BE60F02F1519","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q2640599$02917317-8056-4F67-9B85-5FCD05FCA542","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6e0cb21623f83222a18141046ad992c3a14dc22","datavalue":{"value":"The purpose of this clear and readable paper is to present some of the major results in temporal algebras \\((=\\) Boolean algebras with two unary operators, future and past operators) and at the same time develop a portion of the underlying theory.    The author studies four equational classes: the class T of all temporal algebras and its subclasses H, L and G, characterized by the fact that the relations of the dual spaces of their algebras are respectively transitive, transitive and linear, transitive and linear and well- founded. The author proves that, for each n, 1) the free algebras \\(F_ L(n)\\) and \\(F_ G(n)\\) are atomic, 2) however, the free algebras \\(F_ T(n)\\) and \\(F_ H(n)\\) contain exactly \\(2^ n\\) atoms (and hence they are neither atomic nor atomless).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640599$569D7FA5-1F5C-47E8-9DAF-E1792A02CE03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640599$AF4B6607-80D1-4E83-A924-24D1F41711E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640599$2E5B3B40-7DD5-4E42-A20F-248DE9568D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640599$070D055C-B43F-4927-ADAC-13E16626BEFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6bad0a5042f1254896f2ac599e68750bf010387","datavalue":{"value":"4187809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640599$DD65BE77-350F-4C2F-A868-8DF76FDB2AE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640599$8F05B9FA-E1DD-431E-92C3-92A52638BF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640599$ABCD6B08-485B-44D5-A26D-6D6BFD5722B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9c14e173cc76358fce0066de8124e3f906abfd","datavalue":{"value":"duality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640599$433608F3-686B-4D36-961C-3627EC88A71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be119e1b508a093b09e4b1756fe8c7108a9224d","datavalue":{"value":"temporal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640599$93277F5A-DDFC-4D0A-BD06-55BD53F0C15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe14137166e2eef9ab43af054a90dfcc5c7dd4a","datavalue":{"value":"equational classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640599$1B946C16-C621-4100-98A3-BC12A8CFFC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640599$332D2D32-2671-4E9F-918F-76F8BFD9F4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5b33f354f45ba97ebe5cc17236ae01ef2d2b38","datavalue":{"value":"atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640599$0C53BC59-9BDC-461C-A9E0-C9AA4265127D","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":"Q2640599$7F8A80A0-8C5E-4617-BE1D-A64AB40417BC","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":"Q2640599$7C5EC570-D975-4EB8-882B-B5A9906215DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94afd7ee02ebdfdd91a84035b6641cb20928663f","datavalue":{"value":{"entity-type":"item","numeric-id":5187282,"id":"Q5187282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640599$EDE7ECB5-E10D-439D-90C5-6D627C573ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a368ac3b97caba026d61d63673b66abca6c290","datavalue":{"value":{"entity-type":"item","numeric-id":1837679,"id":"Q1837679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640599$C26E2A1E-A927-4BB7-A241-0EFEA77AC2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b82f9b29fdf1d516bb2cc7fb83ab9fb762475b","datavalue":{"value":{"entity-type":"item","numeric-id":1245214,"id":"Q1245214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640599$3CC7EB7B-CB5E-4164-A972-20774FEEBA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72ba3a9005fa36975f18f0579830b291d3bcc59","datavalue":{"value":{"entity-type":"item","numeric-id":5643953,"id":"Q5643953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640599$61A591B7-6734-4092-9AA5-185B0882445D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640599$C8F3EC0A-7D5F-4DF7-BBBA-DC21A1E5006E","rank":"normal"}],"P1643":[{"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":"6d6059753b3ef1e32f139a70308f3a5c03374b69","datavalue":{"value":{"amount":"+0.91121465","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":"Q2640599$AB8BEFCD-E51E-4F71-BAAD-D9216ABA5C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b43acc6d096bf1dbb1bfed5ee80118e971c5333","datavalue":{"value":{"entity-type":"item","numeric-id":429927,"id":"Q429927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443f59613ec1671f69e87246fcb396fd293c9540","datavalue":{"value":{"amount":"+0.8900016","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":"Q2640599$C03386CC-A568-479F-A89C-1052C905F035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b278b01b1b189dec55f5c00a6abd039b21af8c","datavalue":{"value":{"entity-type":"item","numeric-id":2799965,"id":"Q2799965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0273c31416dc25388d985e5261c28f4d1469ce68","datavalue":{"value":{"amount":"+0.8886899","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":"Q2640599$415E47A0-6275-4B82-84A7-05FCF9C22D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8481218c9b501200803a7e74588d0c3e3550e315","datavalue":{"value":{"entity-type":"item","numeric-id":4969301,"id":"Q4969301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba86ef086ff0eff0884b8031f736545a9960d50e","datavalue":{"value":{"amount":"+0.88170344","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":"Q2640599$C9AC8E54-D3DF-4601-858F-7FA543290627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3082265c04191f5457dc38bee19cc56ecacb1297","datavalue":{"value":{"entity-type":"item","numeric-id":277554,"id":"Q277554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1a76f5bdf54eb29814f1e7918b33b7f3d0627e6","datavalue":{"value":{"amount":"+0.8804849","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":"Q2640599$A4F54398-DA3A-4391-B2D6-846FC48FB2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64496bdaa7e66e761d29d6122b80917c451378b5","datavalue":{"value":{"entity-type":"item","numeric-id":4963134,"id":"Q4963134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3b7a0ffb960ef0d4d3fa171ebf397051d7d26e","datavalue":{"value":{"amount":"+0.8734879","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":"Q2640599$C03EAC07-8C60-4551-ADE3-3AD0037D2138","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":"64dafe252688bab424cedf6ea1d625ac466f740a","datavalue":{"value":{"amount":"+0.87233365","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":"Q2640599$92FEFF8B-8A88-416C-84D3-20B3D015C608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b3e30418b65569d44a9f857053d6737fad4d9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5187282,"id":"Q5187282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59fb77bf978ce6fa5d75085ae7177b46def3ebe3","datavalue":{"value":{"amount":"+0.8621","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":"Q2640599$C23A9D7C-D8DF-4F93-95CE-AFD341FC340B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed430470866d8fa30a704619edf53eca7bc762de","datavalue":{"value":{"entity-type":"item","numeric-id":1905987,"id":"Q1905987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccf48b74767314f2ed7c7669b2e76913ab97fb3","datavalue":{"value":{"amount":"+0.8568421","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":"Q2640599$CB190F07-E399-4B87-B309-6C1833866633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d458efe1fbe90e0226fa3066d3b6387332150a","datavalue":{"value":{"entity-type":"item","numeric-id":3159408,"id":"Q3159408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876c810e8b70c209fcd39cd7ab8b779f1748656f","datavalue":{"value":{"amount":"+0.85646296","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":"Q2640599$A5367479-8EAB-4653-BAA6-0D3028817CE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Atoms of tense algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Atoms_of_tense_algebras"}}}}}