{"entities":{"Q2254319":{"pageid":2265062,"ns":120,"title":"Item:Q2254319","lastrevid":71687949,"modified":"2026-04-13T23:53:44Z","type":"item","id":"Q2254319","labels":{"en":{"language":"en","value":"Word problem for knotted residuated lattices."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6397701"}},"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":"Q2254319$C1CB8803-E56C-4040-8B1F-FCA7898E4034","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdc93af964c0506ac74930b8e8abc943885f19c7","datavalue":{"value":{"text":"Word problem for knotted residuated lattices.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2254319$98FDAE6A-D2E7-4AC0-986B-FF0B0A4513B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c119b6448378e31ba7f921cd5ffe2ff510802d3a","datavalue":{"value":"1312.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254319$EF88CE87-BAE6-471C-A341-B927FD94B86F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed884d62ba335a3bb4fbf19b212e496a3b37d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":549719,"id":"Q549719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$3E085581-9F39-493E-8CC8-8CFC4B3005E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$93A87F40-EFA4-4ED8-8A24-7B731E05F44A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa47d3e0ba2062e2ce661f751109363b14b792ea","datavalue":{"value":{"time":"+2015-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2254319$8E6010AD-AA73-4E53-BE8D-248CB1570EDA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"94fdec64672c485a1ca1f6f0199cffe31fbbd170","datavalue":{"value":"This paper deals with the word problem for the variety \\(RL(m,n)\\) of residuated lattices axiomatized by the extra equation \\(x^m\\leq x^n\\). Negative results are shown for \\(1\\leq m<n\\) and \\(2\\leq n<m\\). It is also proved that some varieties of distributive residuated lattices axiomatized by \\(x^m\\leq x^n\\) have undecidable word problem. The proof yields a negative answer to Problem 4.5 in the paper by \\textit{W. J. Blok} and \\textit{C. J. van Alten} [Trans. Am. Math. Soc. 357, No. 10, 4141-4157 (2005; Zbl 1083.06013)]. The problem asked whether join-semilattice-ordered residuated semigroups axiomatized by \\(x^n=x^{n+1}\\) have the finite embeddability property for \\(n\\geq 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254319$FB5B3C22-66CF-4D6C-9385-C36F76F32C3A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$32ECEA73-BDF1-4F1E-8749-F6A59379148A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254319$8B2DCBBD-8EF0-4064-9AA3-D40C56A5FDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254319$E1FBA97B-5776-4D01-B16B-E59EDE539EA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2347ef10d0dff4770e61d1caa6b6c43652cfc7c9","datavalue":{"value":"6397701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254319$D22AD499-EB91-46B8-9C3A-481479B6669C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254319$648BE99E-2CA0-46A7-B12E-EDCBB293B951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254319$96953E3A-3EF9-4773-8C29-4A57B093F65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c323fc98d37610defec708b5b5efc701bf2bc863","datavalue":{"value":"finite embeddability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254319$FFDABE85-87BD-48E2-8F94-A0D2C39115B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc9bc94934f832d61b49996768342f3c3459aaae","datavalue":{"value":"join-semilattice-ordered residuated semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254319$C1C6B539-8F33-4C8E-B693-CB3207505ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"429936db7fedd91c9a8fdfc30c21c522053027b0","datavalue":{"value":"Burnside problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254319$35466CDB-E5F2-442D-B084-9D2ABB745A3B","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":"Q2254319$C498BAF7-FB11-46C0-9C04-33DA8593C0E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d5a99d8f0847c1773e5e19bd2f96123d697e92a","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2014.06.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2254319$66C850B9-174E-4579-8E13-EB23DBDBDAE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17f7306ee2514ceef20bc737753dec8c16c50ee5","datavalue":{"value":"W2071193146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254319$0CCA1BF6-3B3A-4416-9CD7-4A1EB0131113","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60286d36984eaf65882c51a5abddcc0df15a9a5b","datavalue":{"value":{"entity-type":"item","numeric-id":1771949,"id":"Q1771949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$31DD733D-70E1-4AB9-AE26-A42B30751F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"769ab7eea22e285d14090ca2aab7e5754427dff4","datavalue":{"value":{"entity-type":"item","numeric-id":5461379,"id":"Q5461379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$418530A9-96F4-43EE-A6B6-F9FCB702401C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$3827D638-1F94-4565-9836-E6DD5EB9E002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fea077c0ae37398b1d4231141c91b106d4927c5","datavalue":{"value":{"entity-type":"item","numeric-id":4231020,"id":"Q4231020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$B9C80BFA-8B47-46BC-9E06-DB76C0062F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dca1070ce042ca982509bdc7eca0fe0a13a1898","datavalue":{"value":{"entity-type":"item","numeric-id":5881194,"id":"Q5881194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$F89D7090-5B20-4BBA-9CD0-6D1BC7B831D8","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":"Q2254319$D839748B-8F76-41C3-8919-6701187E6E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$E3CCA616-2428-429E-83DA-4695254A471F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$0118006A-A139-4EEE-B4C4-2B19E86CC482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed41c3d06f4a1159e972c23dc2bdd51f33fcde5f","datavalue":{"value":{"entity-type":"item","numeric-id":2362745,"id":"Q2362745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$B5F06DFF-0DCD-4527-BD5A-A59F128B55EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc2b56c4e694def70ddafd01cad232ba158e24b","datavalue":{"value":{"entity-type":"item","numeric-id":5406035,"id":"Q5406035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$38E3DF5A-5332-4AF9-80FC-E165674847E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613196c1ebb5efd26c81cbdcd44f5b10522db4db","datavalue":{"value":{"entity-type":"item","numeric-id":1344438,"id":"Q1344438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$66FA946D-886B-45E6-94D2-4DAE804AA8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$FF14FE8A-D3FA-4673-8F4D-2D604FB8B0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cacdfb749db4927d995d773c934bd80d94e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":4863940,"id":"Q4863940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$22EFAA15-1DD3-4DAB-947E-524F224D3C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f22a5f7a3b84f7df87b9d53ef2adac1522420762","datavalue":{"value":{"entity-type":"item","numeric-id":4894725,"id":"Q4894725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$F405DA53-02DF-4EEF-A04D-D7515483972D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1950b2f7ea4f55b053fe30cb31fae70c4ce589d","datavalue":{"value":{"entity-type":"item","numeric-id":3848975,"id":"Q3848975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$265969AE-4B1B-4271-A921-1A4A89BE580F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$D42DA7C5-9A1F-45BF-A457-53390A64BC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$DCA1B95C-A40C-495A-997D-B7F96CB83DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab88ad1d96d6aeab889667d7029243f441fe4f5","datavalue":{"value":{"entity-type":"item","numeric-id":1079380,"id":"Q1079380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$6A2E60EA-5B50-462C-B671-5BBA1E3914FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a82af722bc7abbcf9001df5a67464cf2a7d0ce4","datavalue":{"value":{"entity-type":"item","numeric-id":3370755,"id":"Q3370755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254319$ED5390D5-1CE3-4DC3-AFE6-15270D636FEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65606d0b5f4cb089223686392068f059ddfae8c8","datavalue":{"value":"10.1016/J.JPAA.2014.06.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254319$495BB59D-1871-49A5-A55C-301BEC6B4C57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4887533d90c663707ec44c1d6e8607770f6bc5","datavalue":{"value":{"entity-type":"item","numeric-id":866813,"id":"Q866813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1426b9ae3fa869403de2e5c60ade022893ce4d6d","datavalue":{"value":{"amount":"+0.8550843000411987","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":"Q2254319$21A8E918-CC0F-4AC0-830A-BC3C577B3558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b00fff234263d178ab8ddf8cf78bc426c0ec6386","datavalue":{"value":{"entity-type":"item","numeric-id":5693622,"id":"Q5693622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2be06892c8cfde27dc0e2a1f26fdb01d30e901","datavalue":{"value":{"amount":"+0.8511109352111816","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":"Q2254319$3EDD1E6A-524A-4FFA-BB2B-654B712A5E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def566653383fe43ae785d4d493075f5d38d38ce","datavalue":{"value":{"entity-type":"item","numeric-id":786808,"id":"Q786808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3307442bf6642675d78b278f849797655f009c9b","datavalue":{"value":{"amount":"+0.8385761976242065","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":"Q2254319$00C8D4E2-FBCE-42F8-BE65-CE7983B86055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d150ee2d10178b2e21f2e58a9393f950a32387","datavalue":{"value":{"entity-type":"item","numeric-id":5252302,"id":"Q5252302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf027a3afd085c9902df246b22d3c1c7473d443","datavalue":{"value":{"amount":"+0.7617218494415283","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":"Q2254319$700F201C-A2E2-46D5-B157-048CB52BEFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b0ed9486df7f7bf06c47a719657b5e6e6479a3","datavalue":{"value":{"entity-type":"item","numeric-id":1686329,"id":"Q1686329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c873c5eb721686730f464c620983fb446acec6c5","datavalue":{"value":{"amount":"+0.7498884201049805","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":"Q2254319$0A0B03A7-9F8B-468B-9B82-33A59B77D2DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Word problem for knotted residuated lattices.","badges":[]}}}}}