{"entities":{"Q2307300":{"pageid":2318043,"ns":120,"title":"Item:Q2307300","lastrevid":73902522,"modified":"2026-04-14T17:40:34Z","type":"item","id":"Q2307300","labels":{"en":{"language":"en","value":"Complexity of the universal theory of modal algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7183494"}},"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":"Q2307300$058340E5-9768-42CF-A2DA-3ED0976C626B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc136d9fb0cbfaac852690c30d6ef9cb65aa3e51","datavalue":{"value":{"text":"Complexity of the universal theory of modal algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2307300$79CB9601-8CCD-42B7-9D95-CB6380AD05EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb9681ffa3d80b8adc5d8b3eb2bd42ed2172dd82","datavalue":{"value":"1485.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307300$04CCCDA6-18B4-4649-859D-8A553103A654","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$2D13FFF4-0942-4EC2-8CFB-38631EBCE136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91b6b698483070eb9571d7e886ea35f2e2f3c341","datavalue":{"value":{"entity-type":"item","numeric-id":1826929,"id":"Q1826929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$3D4092E9-BB72-4B15-9EDE-078583B09397","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$E4B59E62-A20D-4717-86A0-842F89A2D7DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec4cb0b4c536568ca2260266084e3f57aac30821","datavalue":{"value":{"time":"+2020-03-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":"Q2307300$2C5DB89C-1CD1-402C-8D5B-EDC7C94A86EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307300$EEE1B52B-88CD-4C88-AA08-49B38FF1E967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307300$A242EC37-2D83-4CC9-AB11-76C21EECAAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307300$C468E4D9-09A1-442F-85F1-75268FA1FEA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25c6292d8f2afe52c42fc0349334055f6e8fa183","datavalue":{"value":"7183494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307300$96526BA8-5DEA-47A6-B4F6-B6C8CD584C7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b44e1b783719f7508f73a2bfb0bf3e2d5f795a2","datavalue":{"value":"universal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307300$60274229-36BE-41D7-B2C0-62BA785B2CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307300$6841DBCC-4D6D-43C8-851F-A3502B740064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cafa8a2d3bba84121aa2fd46ff7e6be137ccc91","datavalue":{"value":"monotonic modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307300$CFAB4FEA-1129-4974-9C81-A6B96D3AD5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"241f5cda028668bff29b06b7f2add72781d4fbf1","datavalue":{"value":"normal modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307300$7935128D-94BA-4634-9A88-D4D25A8ACE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2d5827cd131a61bcf16534f2772a9020266437","datavalue":{"value":"partial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307300$10891668-4AEA-4998-AD1B-D0C900F0DDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06fef9695de23062431af9ea097636108fd293f8","datavalue":{"value":"quasi-equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307300$3DD785CD-0C27-46CE-B55A-01C8A4C03B6A","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":"Q2307300$422AC230-3351-4421-AAA1-D20C34FA749A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7d3b34135920fae5653f08daa2a82d25a36a70d","datavalue":{"value":"https://doi.org/10.1007/s11225-018-09842-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2307300$C038233E-E5C5-4AF2-B328-95AC472CADAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"454aa42dd972dd3f14f685f1ef1c3812c8b912d9","datavalue":{"value":"W2910349479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307300$04F2E883-BC01-40FA-988C-FC8F5D072D33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$CF85775A-89D4-46CD-89B7-C4EBD8224C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c6d71ad61e73464419c15048bcae35c6c3bfa","datavalue":{"value":{"entity-type":"item","numeric-id":2805038,"id":"Q2805038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$C55D1DD4-51B4-4BBA-B346-F51161744D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e18517e2a137907222cd8f62c6574b7e016c0e","datavalue":{"value":{"entity-type":"item","numeric-id":4961739,"id":"Q4961739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$D6A73F5A-79AD-47D9-8CC2-E1232A155C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$BAE4EFC4-E07B-4014-9EFB-525C39D38B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20926a16a99262d3951e6b81c87745fd8dff6453","datavalue":{"value":{"entity-type":"item","numeric-id":1314274,"id":"Q1314274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$89B05A50-CDDE-4016-8D5A-FAC2985EEE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$A9C61277-9E47-47D7-90D4-4BD910730389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb8ad168f747ef6064b33289fdeffdbb713aff6a","datavalue":{"value":{"entity-type":"item","numeric-id":4501138,"id":"Q4501138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$2C4A74F9-19E7-4538-B0C7-A3ED2C7D403C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28b3ff554a95ba9165844042be00e41e2a69c90","datavalue":{"value":{"entity-type":"item","numeric-id":1822501,"id":"Q1822501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$A47968E3-F4CB-4C01-AB96-C4F7B427F3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e947f4c32cdfed0e7e74613aed389a2f7554c517","datavalue":{"value":{"entity-type":"item","numeric-id":5575595,"id":"Q5575595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$A95AC467-5339-488C-BF5E-7DB5721C75A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$2488298D-E26A-40F6-B319-32A46A288C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$154FAD4C-DE4B-4C74-866A-AB6942440B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1d2ff00ae2af2ddaad0e79fe7baf4a5e2f74da","datavalue":{"value":{"entity-type":"item","numeric-id":266650,"id":"Q266650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$770FA160-2785-4905-98EC-6DFD95593398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c8fe2dcf48c1f8ed0c52c2979908a15e26c3ca","datavalue":{"value":{"entity-type":"item","numeric-id":300835,"id":"Q300835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$B36F8C01-BEA5-4E8F-B9D3-567597C26961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e692d1f3461a21072f869e2fe17a61b37ee2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3655251,"id":"Q3655251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$28A0B54D-EE60-4AC3-B8E6-49A3DC134699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$41BD680D-F4C2-45AA-A2B6-53597E1A6802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef20f1499e864edf971853a1470c5e22ec295366","datavalue":{"value":{"entity-type":"item","numeric-id":344801,"id":"Q344801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$9DE2E9F7-A4A4-4822-AEA0-16A09DAD9C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$CDEB18D3-2D99-453D-B640-12B7CCD18DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$6408735C-A812-447A-A57C-42531F693E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$762344A0-AAED-4700-AB4F-BF76CB55EA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25ac03ce116af9036d4c5745855f38d7f3e53af","datavalue":{"value":{"entity-type":"item","numeric-id":5095651,"id":"Q5095651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$01E61F8C-69CC-401A-A654-6E2848DD8F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$C02C5C43-E1BD-4FB1-ADC3-299F67660E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84884181b10d9a89e99d91ca2c44c37d5227021b","datavalue":{"value":{"entity-type":"item","numeric-id":2317378,"id":"Q2317378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$0DA0686E-F26A-4D00-9B02-78E6B9CDF3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$4679374F-DF40-4A6E-8785-74198D38FC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6200cc2ed252916258eacf61e099e169ff1105d","datavalue":{"value":{"entity-type":"item","numeric-id":391322,"id":"Q391322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$6D78BB98-B4CB-4400-ABB9-E8533C071093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48984cc6382065ff46c03cdfa549e82f9d0ac2f7","datavalue":{"value":{"entity-type":"item","numeric-id":3204443,"id":"Q3204443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307300$4F9E8FF2-3CAF-420A-BB81-2B97CB4BED55","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bd05bb7abffbe8f1c82135d80da2bddd89077dbd","datavalue":{"value":"Q128592754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307300$A63A91C4-78A7-4316-8E77-A215EEC09031","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e8791216aed3bb741dd28927589efed3bdab2ed","datavalue":{"value":"10.1007/S11225-018-09842-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307300$058F9188-A26D-4011-B5DE-2093C7A22E00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d63c13678a3d73f0814bf31690c7b455634e66","datavalue":{"value":{"entity-type":"item","numeric-id":391322,"id":"Q391322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0117888e1e0d7128ac51480fe2608c03c9a2def","datavalue":{"value":{"amount":"+0.7746097445487976","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":"Q2307300$0DECACA1-529C-4AD2-B12F-16FD8051D2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25bc54f7a345db18f25bc82f52d939c281529c2","datavalue":{"value":{"entity-type":"item","numeric-id":4724632,"id":"Q4724632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de612a4b70a769ca62f47251c5277f09733d53c8","datavalue":{"value":{"amount":"+0.766590416431427","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":"Q2307300$0F15F9DE-5937-444F-B1D5-F50CA9F82872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7fa079cd7e611a3c52e00327126548f40f6460","datavalue":{"value":{"entity-type":"item","numeric-id":4251048,"id":"Q4251048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a82ba3bff6c0339d95006f9da25573f8fc04500","datavalue":{"value":{"amount":"+0.7582019567489624","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":"Q2307300$89A7B100-1B04-420A-9DBB-91247BBDF6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8863310b298b8a320d9b245990d5f4e07f3047","datavalue":{"value":{"entity-type":"item","numeric-id":4329240,"id":"Q4329240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a82ba3bff6c0339d95006f9da25573f8fc04500","datavalue":{"value":{"amount":"+0.7582019567489624","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":"Q2307300$E6CD26A4-A5FE-474F-BD2F-CABF7A97BBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b115d5e714e6006a56d50d8aa1fd9b75fd31c91d","datavalue":{"value":{"entity-type":"item","numeric-id":1902542,"id":"Q1902542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9069436196e448a33150dd74d6de3822059793ff","datavalue":{"value":{"amount":"+0.7441025376319885","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":"Q2307300$DABAB915-F43E-4D0B-9A49-DC0788BF193F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of the universal theory of modal algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_the_universal_theory_of_modal_algebras"}}}}}