{"entities":{"Q2426730":{"pageid":2437473,"ns":120,"title":"Item:Q2426730","lastrevid":50341868,"modified":"2026-01-13T20:50:59Z","type":"item","id":"Q2426730","labels":{"en":{"language":"en","value":"Decomposability of the finitely generated free hoop residuation algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5266917"}},"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":"Q2426730$547EF5D7-CD4C-4B91-BA71-3C1278D125AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e30196283f0c5239dff2f4592e89b31894ea1938","datavalue":{"value":{"text":"Decomposability of the finitely generated free hoop residuation algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2426730$DE7A1241-8E1E-4599-B07F-AE1C711B201E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0181eb0f731ea87b8d8a11a3175075a253f0978e","datavalue":{"value":"1142.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426730$B8103537-DE5B-4FF7-8976-CA81945B0D96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df402f4bb957412b5b719a6aa63943bcf75a7831","datavalue":{"value":{"entity-type":"item","numeric-id":2426729,"id":"Q2426729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426730$58C33206-4556-4C1B-8FFA-7D47D7B0E67E","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":"Q2426730$81764023-425B-4E34-B958-D61FD1F6EEF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf324988b0ab84cd79ea617d0af4c4a5423fc8a","datavalue":{"value":{"time":"+2008-04-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":"Q2426730$7982C888-5F3D-48D0-9300-A9613D85570C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37c3f9c0c35849a3f3cb464ae78079d4a9b80885","datavalue":{"value":"An ordered algebra \\((A;\\cdot,\\to,1,\\leq)\\) such that \\((A;\\cdot,1)\\) is a commutative monoid, \\(\\leq\\) is an order relation on \\(A\\) with largest element 1, and \\(\\to\\) is a residuation operation, is called a partially ordered commutative residuated monoid (pocrim). A hoop is a pocrim satisfying the identity \\(x\\cdot(x\\to y)=y\\cdot(y\\to x)\\). The \\(\\{\\to,1\\}\\)-subreducts of hoops are called hoop residuation algebras. They form a variety denoted by HoRA. The main result of the paper (Theorem 2.8) states that, for \\(n>1\\), the \\(n\\)-generated algebra in any locally finite subvariety \\(V\\) of HoRA can be written as \\(L_2\\times A'\\) where \\(L_2\\) is the 2-element Lukasiewicz residuation algebra and \\(A'\\) is a directly indecomposable \\(V\\)-algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426730$70A01A8A-7429-44CA-979B-773E3F62F31C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426730$DCEB7F2E-735E-4560-979C-73C49D47CB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426730$878ADA35-30F4-4BBD-BD96-D771A8B770F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426730$3C90C45B-1FE1-4429-AF70-71F60246FBC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25045989fc6aca14c937cc11a1784d7073de4d19","datavalue":{"value":"5266917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426730$8E27CAC5-A260-483B-A7EB-538DFBF81F5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f967c059f47b96966fe79f95ac57cea44800ff","datavalue":{"value":"hoop residuation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426730$86432BFE-2991-40DD-8586-0F964ACD0ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426730$E0001785-C3B2-4E05-B8BD-7CFB66DE8DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bea9b6d9c866baa791493f0615aeab5165082d","datavalue":{"value":"decomposability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426730$8E0DAB60-89CA-406F-B235-0092238BC04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5bd08328d6c96b70dd5abcbbffd5c308f8aa2d","datavalue":{"value":"Lukasiewicz residuation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426730$C45F99C9-5B86-4CA5-B755-A20400CB0CC3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426730$42ADD683-29CB-4CDB-8B78-A271B916723F","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":"Q2426730$A34E3E38-C25A-452C-978A-3DEA61D59CB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79eaf70a46e9d80bc9935b458109422e63cce650","datavalue":{"value":"https://doi.org/10.1007/s11225-008-9103-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2426730$20276C75-3C8D-45EB-B8CB-A77CA67F9F4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7da04f94f34037e0d8dc687097012f2cc1ef5a69","datavalue":{"value":"W2021842264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426730$27CBDED9-ECCA-4DDF-BBFC-3CFC3A90B6AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fad4786269ecd0509183eeac4abe49e483e2e36","datavalue":{"value":{"entity-type":"item","numeric-id":1770972,"id":"Q1770972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426730$5E85240E-BC40-4896-AA22-F12B74E3D212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f902d3579b21fc9c297608cd778240a9eb900a0","datavalue":{"value":{"entity-type":"item","numeric-id":4273433,"id":"Q4273433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426730$1F8292D0-FC67-47A2-A0B3-07614B898CBD","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":"Q2426730$84361301-F5AE-42B2-A694-397E0C34638F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9581c519b8d2aa6d8971b4aa775d4a0fe72bbc53","datavalue":{"value":{"entity-type":"item","numeric-id":3912580,"id":"Q3912580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426730$65365AE6-4766-4BD0-A220-C1FB5818972B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e9bc9d848c60361ae5560f29213d813af19b47","datavalue":{"value":{"entity-type":"item","numeric-id":4888337,"id":"Q4888337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426730$CE42F36C-B10C-42FA-9494-72327D33BD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9435dcbbce4ddeaf4f4d7db1cf97394d4736bce","datavalue":{"value":{"entity-type":"item","numeric-id":3666901,"id":"Q3666901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426730$014A1707-F2FB-4A32-82E4-C128827A266F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca5120965f3e9ce340a196c88ff0d87830d6a39","datavalue":{"value":{"entity-type":"item","numeric-id":3686712,"id":"Q3686712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426730$5F05E65E-7E3B-4F46-A3B7-D1E2C60547A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d912f8217bf99885afb8f40ada040cd856a5474","datavalue":{"value":"10.1007/S11225-008-9103-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426730$19306D0D-0E16-4A45-BA59-C77C070CEAEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e33e0d1c36c0a70b5174349c6b4dfd1c1766ec","datavalue":{"value":{"entity-type":"item","numeric-id":1770972,"id":"Q1770972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741854fc62c58c6f77b3e33141333ed59bde558a","datavalue":{"value":{"amount":"+0.8008427619934082","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":"Q2426730$4F848547-E21B-4625-B9B4-C71D47647A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14c098eddcafde510a8df392deaa3ae80f10869","datavalue":{"value":{"entity-type":"item","numeric-id":422484,"id":"Q422484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9118d4808964450fdceb98920a49215053b1cdbf","datavalue":{"value":{"amount":"+0.7997433543205261","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":"Q2426730$F45049DF-C147-42F8-9A94-22CDAC64455C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8347e10126dabbcd260a17ac10f98a16c2116106","datavalue":{"value":{"entity-type":"item","numeric-id":2391226,"id":"Q2391226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73410e1b254d5b510e5b57c037b35e6d158596d","datavalue":{"value":{"amount":"+0.791501522064209","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":"Q2426730$72F15EE1-6D9B-44E0-8F7C-DAA7B7A63932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f5bda9d2584651cfc57469580b9982c207dbb5","datavalue":{"value":{"entity-type":"item","numeric-id":2496153,"id":"Q2496153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f0e018cc2e12420e6a203de7bc7ccb9f327053d","datavalue":{"value":{"amount":"+0.7888220548629761","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":"Q2426730$F27DD146-CC24-4006-B13D-658D6FDF63B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ff2e613e899b1ed73e4cca646ffffb5c18c2c4","datavalue":{"value":{"entity-type":"item","numeric-id":2888630,"id":"Q2888630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4ee7ec1f87b960ae68b3b39434f0c5c0f42e6a","datavalue":{"value":{"amount":"+0.7560129165649414","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":"Q2426730$A73432C4-99C4-4904-A53B-8BE52DA2618F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2426730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2426730"}}}}}