{"entities":{"Q1970930":{"pageid":1981672,"ns":120,"title":"Item:Q1970930","lastrevid":47471038,"modified":"2026-01-01T20:15:14Z","type":"item","id":"Q1970930","labels":{"en":{"language":"en","value":"Equational classes of totally ordered modal lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1423850"}},"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":"Q1970930$91603FFE-0925-4C29-A5F5-C9C5325A9D5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"590e596bbeeb2850ef77bd00d4a5e95e56e5b0fc","datavalue":{"value":{"text":"Equational classes of totally ordered modal lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1970930$806AE656-6E48-4B10-BDE5-A0C97082770D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"352b92095f0e1a0dde3ff3ba6413e9dac4afaf63","datavalue":{"value":"0952.06016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970930$BDB65F34-35AC-4413-8FB6-9E41A285399C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d899f0c0b9c05028d3c1be40fdd05089b98bd56","datavalue":{"value":"10.1023/A:1006259631226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970930$FB40AA7A-FE12-4D56-8F6A-64A7AE61EB04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba0cd721dff6764886184140a2d1acd3633d7d29","datavalue":{"value":{"entity-type":"item","numeric-id":186049,"id":"Q186049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970930$3E6ECFCD-0057-40A7-ADF1-582A197E10C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970930$AF65C026-04B7-457A-80EB-3C221E8B3C74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35fafbbe8209085733f3754bac7d6ba0f1c137cb","datavalue":{"value":{"time":"+2000-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1970930$5AC4C75E-E6DD-4CC9-9EC5-966BDCE158A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af818abb54135bf6e8be2f84c403772da850a45b","datavalue":{"value":"A modal chain is a bounded totally ordered lattice \\(L\\) together with a (modal) operator \\(j: L\\to L\\) satisfying \\(j(0)= 0\\) and \\(j(a\\vee b)= j(a)\\vee j(b)\\). Priestley duality for distributive lattices with operators -- as established by Cignoli, Hansoul or the author -- is adapted to the variety CH generated by the modal chains. The dual spaces of the subdirectly irreducible modal chains are characterized. This enables a complete description of the lattice of all subvarieties of CH. Also an equational basis is given for each such subvariety. For instance, CH itself admits the following defining axioms:   a) \\(j(a\\wedge b)= j(a)\\wedge j(b)\\),   b) \\((a\\wedge j(b))\\vee (b\\wedge j(a))\\leq (a\\wedge b)\\vee (j(a)\\wedge j(b))\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970930$1348D81D-B50C-40EB-B2F7-3429C989E285","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d59249a24e272898b6c7c30dd7915b904e0fe366","datavalue":{"value":{"entity-type":"item","numeric-id":1288171,"id":"Q1288171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970930$B5C6589D-23D4-4760-97F5-725A281238D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970930$FCA5F730-C27A-4534-8EBE-AEB0AE0E2DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970930$BC122CDD-E012-48D0-ACC9-FF6FDB059BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970930$728BE62C-F965-441F-B9D6-395D5767BB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970930$B0DDD620-BEA8-4EB5-A934-16C705A6C0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970930$0E334F75-9F56-4593-81C7-DAC1657808DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ee832ba6b11d776a4e66b8129104a6fecad554d","datavalue":{"value":"1423850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970930$A24E1BB0-52CC-46B4-B49E-AB0DA1603B2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d925281ac43702b9777239c80a19535198ca3f69","datavalue":{"value":"modal lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970930$1B106ED5-1471-418B-953A-8F5A76A2F9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc56678883e287512676319913ea61952389c40","datavalue":{"value":"modal spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970930$B726E812-865A-4D68-BB79-385157EB5235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"792f6aba47a2a8b885c06cfa6cd7bb9cf63f7176","datavalue":{"value":"lattice of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970930$E94AC74F-599F-4A2A-90F8-24588966AE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584579cf0910359cb9f947bbbef0d144f12b43b0","datavalue":{"value":"lattice of subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970930$735B29E9-CFB3-47A2-99BE-5863A77F3C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8391f0d6ffe77a135773d469efb4511e0ea7ef1e","datavalue":{"value":"modal chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970930$8B405800-4DE1-4207-AABE-EF7FAE102A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970930$9ABBAA5A-C826-43F5-A45E-4F66AF2DA731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd78faf5ccee2b5e742f85f5ee4677cb5ebae6f","datavalue":{"value":"dual spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970930$4B2C91A7-58F0-450C-BB55-7CB52524C37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bced25d43fa7f4058922ab24687d4ac93f53049","datavalue":{"value":"equational basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970930$ADD69002-6107-49F0-AED1-E707BC3357D8","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":"Q1970930$05AF3C53-240D-4EA7-8BC9-A951C1ED9EC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd9fcf3ebd50a63f7705c97cc768e7ee6485acff","datavalue":{"value":"https://doi.org/10.1023/a:1006259631226","type":"string"},"datatype":"url"},"type":"statement","id":"Q1970930$E65CF6E2-D04B-4303-8C9B-162542CE6912","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cc0f10dbb67bfaef05f0c07046b430eb12b0671","datavalue":{"value":"W5848845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970930$89074973-EB33-4533-871F-247C868AEA4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e61c39ab77392f040fb96c7f1757621869254fed","datavalue":{"value":{"entity-type":"item","numeric-id":1604799,"id":"Q1604799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34762ebd45c087a0c64e87f2889202ac3ea76c6","datavalue":{"value":{"amount":"+0.8169320225715637","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":"Q1970930$B63D7EAA-3EEF-4A95-BF46-AB5C2C0BAE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c242e6e9588c579d6b327ad0f15f943310a904","datavalue":{"value":{"entity-type":"item","numeric-id":3751629,"id":"Q3751629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9212d159ee89aeb31586addfdc13189f5497e321","datavalue":{"value":{"amount":"+0.7926112413406372","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":"Q1970930$3FF9A9FD-8D6D-4E5C-A77D-A11D5FDB4A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"600c035107a2d3f932b320f2456589981ffabb41","datavalue":{"value":{"entity-type":"item","numeric-id":4644586,"id":"Q4644586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed01af4e266468a7b84298d1e9a812aeb88c780","datavalue":{"value":{"amount":"+0.7485474944114685","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":"Q1970930$B1D27A37-252F-4301-B7C9-B6BD63EC4AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf2fe545751f2ab6869d51d8048340c2b0cbcf3","datavalue":{"value":{"entity-type":"item","numeric-id":2445422,"id":"Q2445422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efe8fa22dc0fd0dd821c194ae60a91c4e34d97e","datavalue":{"value":{"amount":"+0.7319607138633728","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":"Q1970930$BE1940A2-A198-4B6F-81B5-896249076CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684e94a3ec0018acab8314aaf4debe29586e8e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3099659,"id":"Q3099659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e83368a9a9cf8426a5c1b44d71fdbe978d988a5","datavalue":{"value":{"amount":"+0.7227734327316284","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":"Q1970930$F10991EE-CCB5-4302-9B47-EDC44B2EAB03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1970930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1970930"}}}}}