{"entities":{"Q2466756":{"pageid":2477499,"ns":120,"title":"Item:Q2466756","lastrevid":50253077,"modified":"2026-01-13T16:01:55Z","type":"item","id":"Q2466756","labels":{"en":{"language":"en","value":"Free algebras in varieties of Stonean residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5227301"}},"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":"Q2466756$C287986E-8E5E-4BDA-B1A2-CEE2BE4A629D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b266392adee84857072b7742edc87856a15e0401","datavalue":{"value":{"text":"Free algebras in varieties of Stonean residuated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2466756$9A40C659-DFD0-4084-9F9B-F85F08B71269","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aecde190a1a48cd6984b6f060f111387606a7de1","datavalue":{"value":"1142.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466756$18C7C3BF-95F2-4B29-969A-DCA616630140","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2641d8dcc65ab72e23b1ed55ea64094d58873e5a","datavalue":{"value":{"entity-type":"item","numeric-id":1817693,"id":"Q1817693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$E985C95B-8F6A-43A9-9245-05B64D12DDC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$93689497-98B0-4DEE-A3E3-B24B1CF77E3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7492af9f79330cb283838c5a7fab0709e1ba7b1f","datavalue":{"value":{"time":"+2008-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2466756$E16AC32B-764C-4E83-97EA-0158EE44EBD9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"abde23780a1b50f5af6ddde0e477f4bf0b7861dd","datavalue":{"value":"The variety of Stonean residuated lattices consists of all bounded (integral, commutative) residuated lattices \\(\\langle A, *, \\rightarrow, \\vee, \\wedge, \\top, \\perp \\rangle\\) that satisfy the identity \\(\\neg \\, x \\vee \\neg \\neg \\,x = \\top\\), where \\(\\neg \\, x := x \\rightarrow \\, \\perp\\). A key feature of a Stonean residuated lattice is that double negation is a retract onto its Boolean skeleton. This paper presents a weak Boolean product representation of the free algebras in varieties of Stonean residuated lattices. Given a variety \\(V\\) of Stonean residuated lattices and a generating set \\(X\\), let \\(V^*\\) be the variety of all residuated lattices that become members of \\(V\\) when a least element is appended. Then the \\(V\\)-free algebra over \\(X\\) is represented as a weak Boolean product over the Cantor space \\(2^{|X|}\\) of the family of \\(V^*\\)-free algebras over subsets of \\(X\\), with a least element appended.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466756$14FCA26D-1462-47DD-9297-45A6C5E6ABA3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"84f1771ef45d72229350ba93c0c28a701d31bb94","datavalue":{"value":{"entity-type":"item","numeric-id":1826929,"id":"Q1826929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$D678AE31-2620-4ABA-A22B-6527A44A3F36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466756$A781417A-2FDF-4FA1-970B-70CFE84CC0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466756$6E873FBE-8BF2-428B-B918-98AEFCD5DC3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c94238cf17b9aff986a407081150c82427522e1","datavalue":{"value":"5227301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466756$C24ED096-5799-4598-B912-E2D7A1DCEFF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2dfce7552cfd1a44991ad85d72a30222f56481a","datavalue":{"value":"Stonean residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466756$89298C80-9F92-4132-8C68-B002A7B279B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8af84cc1dd53994b9db398a159515e98ce96167","datavalue":{"value":"weak Boolean product representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466756$CD543DB8-8916-4B70-B00F-A69A8159B110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466756$339EF9AC-65F9-46D1-9CA4-62994B9622BD","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":"Q2466756$35E9EBD3-E583-42CE-8813-763853884F29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"745562c04f5e82354735afe179e1764648708d7a","datavalue":{"value":"https://doi.org/10.1007/s00500-007-0183-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2466756$A68E3519-B180-4A56-8082-F7472103E023","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6163c75d4e38e0dd6c242508d8f46faad11f7e39","datavalue":{"value":"W2008688251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466756$A12B7AF8-AA3F-47D3-87C7-7740CACBC643","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7ffce5fc1fce85baf985a74e396d449d6c3c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3199467,"id":"Q3199467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$104805D4-126D-427D-AA10-01C593404A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f76ba65987bffc0996fb6eb7e69b9988872eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4198732,"id":"Q4198732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$CA51A21C-F466-453B-BD7F-B30E0184F8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8646e4d9d242ed5c9722ad1003334b4b2eacf6a9","datavalue":{"value":{"entity-type":"item","numeric-id":5480467,"id":"Q5480467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$DC13ECAA-D70E-4F6F-9E57-E4521669F4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd37e3345bb72ac16f3988ed184e67f619f89ca","datavalue":{"value":{"entity-type":"item","numeric-id":1916849,"id":"Q1916849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$3E70A7C1-881D-43A4-AD85-0C08BC30B6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a5a8514c16b27cd5b5f9310f33915f3161eb75","datavalue":{"value":{"entity-type":"item","numeric-id":4512929,"id":"Q4512929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$39D154E6-372E-4A3E-BCCB-12AC2AE9097B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ad65f0504487253537af281f79e8b5d8111fab","datavalue":{"value":{"entity-type":"item","numeric-id":1579568,"id":"Q1579568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$C8AF1CC6-C2C3-44A1-A3E8-0B75D9FCAA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05faae5bad92566b13ead751712e3861f03896f","datavalue":{"value":{"entity-type":"item","numeric-id":1771935,"id":"Q1771935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$E68292E3-B29A-4B89-B56E-0B27F8235E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4557febfe43166275b526f096a284199bfccc929","datavalue":{"value":{"entity-type":"item","numeric-id":1407598,"id":"Q1407598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$FE2BFD77-E5C8-4C51-946B-571454388284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e4359de63188e9ac22aa2e99bb5c38ba9c03cf","datavalue":{"value":{"entity-type":"item","numeric-id":4459591,"id":"Q4459591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$1ABFE2C5-CBE6-4723-BAF0-5B9C62322D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ce915e9fb9fcb5e8df5975a60e72833afe713c","datavalue":{"value":{"entity-type":"item","numeric-id":2433099,"id":"Q2433099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$83C4A040-D2D8-4C56-AAF0-8F50FA3F7F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$C148802E-181E-4483-9B8D-92BF0E065F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8acc8675845e1374ddcb2d21ec124a48fdbda5","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$C87FF315-870E-4C9E-B8BE-AAA861D99F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$99CD006C-5AD3-4741-BB21-5340E4039F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312714af211b13f03cc4077e9c88b657ec75edb1","datavalue":{"value":{"entity-type":"item","numeric-id":4856909,"id":"Q4856909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466756$99C33ADE-C159-4FFE-A0B2-40278C96B2F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52f80980a190dc7f38e634698535d5d034d67f4c","datavalue":{"value":"10.1007/S00500-007-0183-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466756$4A6DF113-AA0A-47EB-8A5A-D75B6B4CE006","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afdde979adefa7d15491625ac4d685b8dc6c18dd","datavalue":{"value":{"entity-type":"item","numeric-id":1579568,"id":"Q1579568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8c4156b4cfbb4b2352ad8529d8dddb86c0e735","datavalue":{"value":{"amount":"+0.8252677917480469","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":"Q2466756$77699FCA-38C8-49D9-B05A-956E39960DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6170ad0d59ad0cbe6872a6029d5a487490537f","datavalue":{"value":{"entity-type":"item","numeric-id":5480467,"id":"Q5480467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8c4156b4cfbb4b2352ad8529d8dddb86c0e735","datavalue":{"value":{"amount":"+0.8252677917480469","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":"Q2466756$A31E1122-2F9B-4A97-9A82-C9F5A7BFE970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff4d605b3581ab2a325fd6653b101aee8609d8af","datavalue":{"value":{"entity-type":"item","numeric-id":763308,"id":"Q763308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75490b7ff56c7e793849f7d44bb8fbdf976d3d0","datavalue":{"value":{"amount":"+0.8096500039100647","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":"Q2466756$F0B669B6-D390-456A-89C7-F116BEAD5DCF","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":"042b8178b843518d7ac337fa95c00bc7dda4f3bd","datavalue":{"value":{"amount":"+0.7910551428794861","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":"Q2466756$B1905245-2F8F-4B08-9B4B-0F1B87DF5169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2d02318f5ab167448e1161e82ed55694974a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3312290,"id":"Q3312290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf6eb55e067a1a42abb1e7c75f4a19983d573bb","datavalue":{"value":{"amount":"+0.7775051593780518","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":"Q2466756$49124122-98E4-4D37-97B7-B496C852D03E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2466756","badges":[]}}}}}