{"entities":{"Q609648":{"pageid":611424,"ns":120,"title":"Item:Q609648","lastrevid":42605129,"modified":"2025-07-04T13:47:14Z","type":"item","id":"Q609648","labels":{"en":{"language":"en","value":"The lattice of subvarieties of \\({\\sqrt{^\\prime}}\\) quasi-MV algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5822064"}},"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":"Q609648$D7AE9C73-C7E1-4DE8-9C97-268173C87A12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccdf0f36380f7ba938c3d91be0c06db39efa747e","datavalue":{"value":{"text":"The lattice of subvarieties of \\({\\sqrt{^\\prime}}\\) quasi-MV algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q609648$A8735B2F-5265-45E7-B0F9-28BA02A6861C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93d186e74f1284142bb2c3d8f16dcd2705a03c26","datavalue":{"value":"1241.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609648$29F76853-C973-4D90-926A-B9AF589CA259","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae733c4e2be1c34797e29c9fd80d79483844b7ad","datavalue":{"value":{"entity-type":"item","numeric-id":284971,"id":"Q284971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$9783C998-0447-4915-A3CC-A3B0AEAD6B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42db704747debd04a097adb1c20e61b3890e7d09","datavalue":{"value":{"entity-type":"item","numeric-id":429938,"id":"Q429938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$A9A842D2-EE52-4545-86EE-16DF67C4387D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"831ebde1d772ba8e4bc69b9b64a21d3f6be31090","datavalue":{"value":{"entity-type":"item","numeric-id":284970,"id":"Q284970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$44CDABFA-CEEE-439B-8D73-5830E9CDDA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"241d91eac26be9dafce27577b0d1f937fbd531b1","datavalue":{"value":{"entity-type":"item","numeric-id":353354,"id":"Q353354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$8A6A6111-5565-472D-B3B1-796EEABD398D","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":"Q609648$7598175F-1821-445C-BBB1-6E934B8E67EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f7a6f873bf5c0d11b62fa3d4700ead7fb1e1f3b","datavalue":{"value":{"time":"+2010-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q609648$9F17D308-6616-4218-B39B-B6271388F518","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a600a149b323455775184230b2b56d2297d36fe","datavalue":{"value":"\\(\\sqrt{'}\\) quasi-MV-algebras were introduced in [\\textit{R. Giuntini}, \\textit{A. Ledda} and \\textit{F. Paoli}, ``Expanding quasi-MV-algebras by a quantum operator'', Stud. Log. 87, No. 1, 99--128 (2007; Zbl 1127.06008)] as an axiomatization of the equational theory of the algebra of density operators endowed with connectives of quantum \u0141ukasiewicz disjunctions and square root of negation. The paper under review is a continuation of this research. The main contribution is the solution to a long-standing open problem: the authors show that the variety generated by the standard disk algebra \\(\\mathbb D_r\\) is not finitely based (Theorem 40) and they provide an infinite equational basis for the variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q609648$8B444E30-A263-4214-8E8B-397ECD47F729","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22927c3bf27a8e7899b9f81e34ce760065ebdbf6","datavalue":{"value":{"entity-type":"item","numeric-id":191387,"id":"Q191387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$A88F51AD-6670-4339-A8DE-3C3E3C4DEB72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609648$0DDA671B-6142-4AB4-929A-ABF6B9895CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609648$8801D4B1-A268-4387-83C4-B8F963A1D551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609648$0B97B433-83F3-4CB2-93A8-BA5009CB1459","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39456e73d6655bd093df86c15d05f4efda1474a0","datavalue":{"value":"5822064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609648$0F28599E-A2DE-47AC-8FCD-36702B85ABAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa433f44bb644ea6c196857700939644842e9e96","datavalue":{"value":"\\(\\sqrt{'}\\) quasi-MV algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q609648$58F5F321-DF47-467C-A9B3-6626E39E877C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c630d9596a8df8e541d240569385d39c1464575","datavalue":{"value":"non-finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q609648$7517AFFA-83FB-43A5-8886-8E58DA262176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c2c913261cb8291b56ee6461aae9241f302c889","datavalue":{"value":"subvariety lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q609648$7BB7AE94-2415-484B-9C4E-43F14CA93F71","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":"Q609648$C631BC5E-0B22-443F-A4CA-67B639E35EB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ec8f9dffad35989765251c6d1c8d1e40d04eaca","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9256-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q609648$5C599801-F881-46BF-9329-7536297DCB57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3593744e07e3e587a6276b099350ebab7c793c45","datavalue":{"value":"W2051066979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609648$1BADF3D6-63A8-4FFA-A3C7-F071BC70E9A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29135e34533291bc454cdd5931d461e1c6ef66f","datavalue":{"value":{"entity-type":"item","numeric-id":2466758,"id":"Q2466758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$5472A1D5-9B2B-4BA1-A9E1-0CD60CA259C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452e60778f17fafac9bc2c43930c77f4d25200f0","datavalue":{"value":{"entity-type":"item","numeric-id":2462674,"id":"Q2462674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$CEE981A5-3E6B-4437-B20F-37A780B17063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd95f3ff8a60df6e505d41bc5403a82aa47408f","datavalue":{"value":{"entity-type":"item","numeric-id":3583097,"id":"Q3583097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$B9040523-21C6-44B4-9BAA-2A74DAD51EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d97a55ec949b1c97f204b9de37b85c1cec3d5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3086370,"id":"Q3086370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$CDFFC9C6-E1EE-4E31-9512-FA3CDCFD7FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f73130d5fe4aee2225bdb074fe530e4f462edbe","datavalue":{"value":{"entity-type":"item","numeric-id":3086534,"id":"Q3086534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$2E5E3C1E-4C48-4373-A7B6-CF3A84D08721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6295d87f65019296d8aa90117a297736b9f9cc24","datavalue":{"value":{"entity-type":"item","numeric-id":4656547,"id":"Q4656547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$2ABA75D0-0761-4C22-B935-5F893D2303F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aca700bd28fd036c1956bf4ff184b0a0e2f33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5682373,"id":"Q5682373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$280DFF5B-DC42-47A1-A428-8AC0E1A5C4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faab75687fad7fd22efb9bcf6db776a4961f6e2c","datavalue":{"value":{"entity-type":"item","numeric-id":3632247,"id":"Q3632247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609648$B4622DC5-7906-4A95-988C-71E7643CBF25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64423029f16ab573ad976ec798ab06b017f358bd","datavalue":{"value":"10.1007/S11225-010-9256-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609648$CF2B8A6A-5CC5-47B3-9768-96BE397FBA3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffe2ae6b338e561fd8a4793ab605511dedd1ae7","datavalue":{"value":{"entity-type":"item","numeric-id":2643320,"id":"Q2643320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c278aea74b5a761097f1fafb27317a4581400718","datavalue":{"value":{"amount":"+0.9346123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q609648$9A9B52C1-8E03-417A-AA99-2E59843AC1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f788d515298c3e70995797cd3421cd9a5bb273e","datavalue":{"value":{"entity-type":"item","numeric-id":1179836,"id":"Q1179836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adaddcd65ff9561c23900b997c96bd91a9cc2c24","datavalue":{"value":{"amount":"+0.93397677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q609648$325D4ABB-D616-4F89-9C2C-66A5BD79E932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3b8e60d84d27c487a11b3eb6527684c9d7d0a8","datavalue":{"value":{"entity-type":"item","numeric-id":2266036,"id":"Q2266036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e57c4ded87fbcc54ef3e0cb7be016612b9b6b0","datavalue":{"value":{"amount":"+0.9221206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q609648$9353B964-45A9-4DCC-AC43-BBDFC3E52DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cc222f385699ca22221b4b29c2b472ff60e418","datavalue":{"value":{"entity-type":"item","numeric-id":5869529,"id":"Q5869529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"282cd4cb493f08ea6f1fd98e91aca8b77c9839b8","datavalue":{"value":{"amount":"+0.9158524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q609648$1A14C6BB-A482-487F-98A2-ED767F3AD8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7314947d730ca0c5886f56dec11c0cfc9cc013","datavalue":{"value":{"entity-type":"item","numeric-id":1744617,"id":"Q1744617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096a6843876400bc9c826e082a7c27c4532ca84f","datavalue":{"value":{"amount":"+0.9150451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q609648$14158B0C-9E32-4618-BCE5-83800767E40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c110cdc5a4b94fcbd742b2388eeeb936b9d095","datavalue":{"value":{"entity-type":"item","numeric-id":1073820,"id":"Q1073820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46e225a8e419f17c141789f6f8ac96e08977484","datavalue":{"value":{"amount":"+0.9148758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q609648$BCF6184C-D27F-47A3-9808-850D4C3996B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0f4555954c221157431bdc43d4564f21ce0a816","datavalue":{"value":{"entity-type":"item","numeric-id":1770599,"id":"Q1770599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2e0e45900b29cee65504a7d072dec787fb5867","datavalue":{"value":{"amount":"+0.90899754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q609648$498E6904-D51D-480F-AC44-39CAFD905D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a7b5fc387fe2a678f7f377859f10f8652ace47","datavalue":{"value":{"entity-type":"item","numeric-id":1821123,"id":"Q1821123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"571b4749ce7c46b75526ce2304467fe4c871506f","datavalue":{"value":{"amount":"+0.90741956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q609648$4B784A55-C22B-4D55-94FE-1F4E3366ECDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f114bc5dbcdf942e23747abf9e6cd8918f2952","datavalue":{"value":{"entity-type":"item","numeric-id":763316,"id":"Q763316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edacbd7f2188fb66f2e40e81c3644f3275558eba","datavalue":{"value":{"amount":"+0.9069474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q609648$8DEC28A7-76CB-4A7C-9B66-4F83A757FB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54ef8f246cbdff7d6696c37c9b8a82852068ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4016255,"id":"Q4016255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19905ee879e2faf3ed69dd27f4ad0626b4f1a3e9","datavalue":{"value":{"amount":"+0.90516245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q609648$1C348447-8CE3-42D0-B622-217DC4059B41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:609648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:609648"}}}}}