{"entities":{"Q763308":{"pageid":765157,"ns":120,"title":"Item:Q763308","lastrevid":64193436,"modified":"2026-04-11T18:15:23Z","type":"item","id":"Q763308","labels":{"en":{"language":"en","value":"Free-decomposability in varieties of pseudocomplemented residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013472"}},"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":"Q763308$00C0FF2C-F618-46E8-A237-CF01423610B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f12572c88da345e5d3e65bf43a1a942085de9b4","datavalue":{"value":{"text":"Free-decomposability in varieties of pseudocomplemented residuated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763308$AF456A41-BBA0-4E7A-9A8B-B2D93D93977D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de0587ffaa69893ede348e6453868a49dfba8a13","datavalue":{"value":"1243.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763308$44032A94-15AD-4C74-AA43-2162B2B987CC","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":"Q763308$B735CE53-CC0D-4E06-B4E1-021A7A328654","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763308$7A1BC339-9A48-4E59-87D9-257B07BE8285","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"400d803b94669b7b66136a2aaa4e195c9d22d8f2","datavalue":{"value":"A pseudocomplemented residuated lattice is a bounded residuated lattice \\(\\mathbf A=\\langle A, \\ast, \\rightarrow,\\vee, \\wedge, \\mathbf 0, \\mathbf 1\\rangle\\) satisfying the equation: \\(x \\wedge \\neg x= \\mathbf 0\\), where \\(\\neg x:=x \\rightarrow \\mathbf 0\\), for all \\(x \\in A\\). A Stone residuated lattice is a pseudocomplemented residuated lattice satisfying the equation \\(\\neg x \\vee \\neg \\neg x = \\mathbf 1\\).  The authors mainly prove that ``a free algebra in a variety of pseudocomplemented residuated lattices is decomposable if and only if it is a Stone residuated lattice.''  Then they apply the results obtained for free-decomposability to subvarieties of Heyting algebras and present some examples of distributive pseudocomplemented residuated lattices which are not Stone residuated lattices.  The paper is clear, well written.","type":"string"},"datatype":"string"},"type":"statement","id":"Q763308$E4054A77-5F73-4024-8F3E-B2F25456F9FB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b61db83eb94a2fe336020a507c413989dc9ead1b","datavalue":{"value":{"entity-type":"item","numeric-id":590511,"id":"Q590511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763308$8DC398DB-C066-4063-BFA4-B51D4FD6872A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763308$E25C9573-9A84-4545-9599-51A91C83833D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763308$5437AAE6-B153-43DF-97A7-61B6E90BDB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763308$ACB5921D-C0CA-4779-AF07-6A152F581C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763308$FD56B84D-500F-4C34-8D58-24210610634B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763308$21093E95-4462-4C6B-B466-69A720404F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763308$7D252442-5FA7-4D0D-BA41-A8DDAFDBD8E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f303cdfe886d15bf4f40d66f27df2bb8d23770ac","datavalue":{"value":"6013472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763308$EC17B6FF-9670-47D6-A64A-795B6493DE42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"859a294b446a09f4760e9f44798c4fe690f36968","datavalue":{"value":"pseudocomplemented residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q763308$B26F63A1-A561-410B-A24E-147B78C35584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q763308$D6993ADD-20F9-4319-B3A7-FC63CF3B9F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bea9b6d9c866baa791493f0615aeab5165082d","datavalue":{"value":"decomposability","type":"string"},"datatype":"string"},"type":"statement","id":"Q763308$C785CE8D-E19E-47E6-974E-436B2E2C0160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e63cdc5ccc66970d4a783532e7fcb4ee7ae7e7","datavalue":{"value":"Stone algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q763308$ADFD7185-63DC-414D-86B3-0D10A0446E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e7025e34d5a89c2a64b2df0096fef4ac921f210","datavalue":{"value":"Boolean elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q763308$0CB65295-F63A-4F66-BD63-FADBD3EBB567","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1c4464f6c45a39b0731a4675b2e292d7fb95bb2","datavalue":{"value":{"entity-type":"item","numeric-id":616115,"id":"Q616115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763308$5729909B-BB50-43B8-AA94-F0212BCFC339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"400890dd66db10164ad71f611209574f2fce9097","datavalue":{"value":{"entity-type":"item","numeric-id":422483,"id":"Q422483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763308$F7E8B60B-9A32-4219-8345-28CF2B1CD4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebba8fa657260c6e2e63119a6f78200b48840640","datavalue":{"value":{"entity-type":"item","numeric-id":1306835,"id":"Q1306835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763308$57441310-0EC8-442F-AE0C-2D9269874078","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":"Q763308$3AE5071C-826A-41CD-BD4A-9894D0F6BB93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bee7f62ab3ff61c0659aed57876b701bc42d2107","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9326-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q763308$CC7B17F2-DE39-444B-B7CD-86585DE16666","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e520729de48d9b3a77414b0352f8e5c7aafda019","datavalue":{"value":"W2045332537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763308$FB73787B-CC07-45A1-BC96-250323A73493","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef350ead7090cd66027dea6c9a11f206e833f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1839272,"id":"Q1839272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763308$6C365BC6-5FC5-4018-8D5E-BB6E1F18E55A","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":"Q763308$78845E06-5270-42F4-8B12-9754886E65A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1211838ede2458be27ca9319bec015caca3556d8","datavalue":{"value":{"entity-type":"item","numeric-id":2583574,"id":"Q2583574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763308$5526A559-63B7-48D1-9ADE-E6995BF33C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad64d5c7b3f7d6094ea5bdab351efc9de6ff5e00","datavalue":{"value":{"entity-type":"item","numeric-id":2466756,"id":"Q2466756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763308$47B77BE1-80B3-4124-BFA7-F4E8B92061F3","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":"Q763308$27C7C61D-0FE3-405B-A21C-46EC183114D8","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":"Q763308$3C69563F-D9E5-434A-9947-936B6D20E85D","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":"Q763308$CB22A3D4-A54C-4C8C-93ED-C51E1FD54E06","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":"Q763308$8BD0667E-2D0F-4141-9B6C-461AB224A04E","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":"Q763308$E4A49057-8BB7-4F89-9278-FCAB3E449A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5f547e25bbd6617cd6e6e5c8f252930d28338","datavalue":{"value":{"entity-type":"item","numeric-id":3437044,"id":"Q3437044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763308$B78D3B5A-29F2-4BE5-82F3-A6B03FB222A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50e5310e2201646d42a672cf507a73fd2b7aea68","datavalue":{"value":"10.1007/S11225-011-9326-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763308$064F245E-9F93-4A76-914D-9A8A7953B44D","rank":"normal"}],"P1643":[{"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":"0402ec5c07d674491e1c9baacd156b57724e7098","datavalue":{"value":{"amount":"+0.8412108421325684","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":"Q763308$0C91E74D-7718-496B-ABBD-F7696590E408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a3fb42413adb5505147a83b88d0f09287f1311f","datavalue":{"value":{"entity-type":"item","numeric-id":1976435,"id":"Q1976435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b73e77ccb7546364a55061fd32cb6e8a19e58d","datavalue":{"value":{"amount":"+0.8380751013755798","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":"Q763308$F82B4189-26B4-48CE-A91A-E333A70CD95D","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":"d1412c82553074758c966c4a5d009baf9b75cd62","datavalue":{"value":{"amount":"+0.802876889705658","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":"Q763308$61E65DE4-A066-4601-92A5-8527C1BFEC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6878bd1c2899c61fb525edbfeeb7358e6e73aa16","datavalue":{"value":{"entity-type":"item","numeric-id":2466756,"id":"Q2466756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd2d420b7837702cd2087c3999a40a67783d5ba","datavalue":{"value":{"amount":"+0.7827655076980591","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":"Q763308$11F6D4FF-799B-4B5C-B558-E4EC64626FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c82cc0d5d2530551138750cc4acae0c2b778ed8b","datavalue":{"value":{"entity-type":"item","numeric-id":521632,"id":"Q521632"},"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":"Q763308$FE628295-76DF-4FE1-BF9D-147F6A1A5838","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free-decomposability in varieties of pseudocomplemented residuated lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free-decomposability_in_varieties_of_pseudocomplemented_residuated_lattices"}}}}}