{"entities":{"Q763305":{"pageid":765154,"ns":120,"title":"Item:Q763305","lastrevid":64193418,"modified":"2026-04-11T18:15:22Z","type":"item","id":"Q763305","labels":{"en":{"language":"en","value":"Quasivarieties and congruence permutability of \u0141ukasiewicz implication algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013470"}},"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":"Q763305$8F8A4C4A-DC6A-40ED-AB03-8626AAB87938","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c31a60e7b8e8a04c6b50965092bbfad62c50d91","datavalue":{"value":{"text":"Quasivarieties and congruence permutability of \u0141ukasiewicz implication algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763305$CCFD0C03-3367-4DF8-83D0-8DFEAEED58B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8efc8a18922ba6c5254fe3895255323b5705ab71","datavalue":{"value":"1245.03108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763305$896C62F2-DFCB-4D42-848D-39A2F8F3F5ED","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":"Q763305$06B0A789-008E-4AEC-8F6B-30615DBC0429","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":"Q763305$A6805600-EBBB-412C-B99B-7A27276BDD85","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"36738f4db47ce556bb6b3d51384a0b2b3d25289f","datavalue":{"value":"In this paper the authors study some aspects concerning \u0141ukasiewicz implication algebras. \u0141ukasiewicz implication algebras are the algebraic counterpart of the implicational fragment of super-\u0141ukasiewicz logic. In fact, they are the class of all \\(\\{\\rightarrow, 1 \\}\\)-subreducts of Wajsberg algebras.  The authors give a representation for finite \u0141ukasiewicz implication algebras as upwardly closed subsets in direct products of finite MV-chains. Then they study quasivarieties. They deal first with the locally finite case by means of critical algebras and then use a representation of free \u0141ukasiewicz implication algebras to extend these results to the general case.  In the final part of this paper they concentrate on giving characterizations for congruence permutability. First they show that congruence permutability is equivalent to the existence of meets for every pair of elements. In addition, they prove a Nachbin-like theorem characterizing congruence permutable finite algebras as those algebras which do not have certain algebras as quotients.","type":"string"},"datatype":"string"},"type":"statement","id":"Q763305$B48EF9CA-B417-415B-9FED-34A01565F71B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$33ADDDD6-6EBC-4B68-83C6-F532C4B877E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763305$5BF23489-6239-4FEB-8EED-94B4C2BAC246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763305$5CA7C24D-043D-4C75-8BA9-F76944C3910F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"796c6ded222208bc121a0ae5e0fe24e07ede3a59","datavalue":{"value":"6013470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763305$69173670-1EF9-4D63-A309-47B177BEABED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45442b35ca919fcbb491d2c1669ffaab05eb5224","datavalue":{"value":"\u0141ukasiewicz implication algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q763305$146C388E-87DC-41C7-BE34-B69A2D11A6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q763305$2CADD46E-BB6E-466B-A16B-9C7C4BB46AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"488379a52d50f1ebe4a44d014baf47c7349f977c","datavalue":{"value":"congruence permutability","type":"string"},"datatype":"string"},"type":"statement","id":"Q763305$16725B5B-6338-4CF5-AC20-CE530D7F735F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"843f08a1dffcac75f48a4e8f90ad97dbd6efacb6","datavalue":{"value":{"entity-type":"item","numeric-id":539982,"id":"Q539982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$909DC6CC-E93C-4F51-A26D-DC4DF13FB07F","rank":"normal"},{"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":"Q763305$7D800657-2A3D-4D08-AB2B-7B2514B5B510","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":"Q763305$63C7812F-B764-45AD-BFD2-5D0521E44513","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":"Q763305$0D1280C8-FCDA-44E7-A3E8-8466E2B8FFE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c02b4bc1b37cd0b7548f57a30003c9b9d78067e8","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9329-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q763305$009CBE3D-7317-4B43-B755-889DEE471950","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d277f6f40157211366eb7ca614b6f5c7ed9f003","datavalue":{"value":"W2040776176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763305$B2317D5F-33DB-481A-BF3B-A2DC5DF04732","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"460ade5e92963966f63f664914f7c3e0486ae141","datavalue":{"value":{"entity-type":"item","numeric-id":5556401,"id":"Q5556401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$E314C28E-51DA-411B-BCFD-CD1A1E28B8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0974b1a205e4707c397751175cae7fb59a455e","datavalue":{"value":{"entity-type":"item","numeric-id":5532577,"id":"Q5532577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$A43BD19B-2B5F-40D6-A442-2F47B6F7595A","rank":"normal"},{"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":"Q763305$AF44D348-9738-4A65-B50A-343D03D9B90A","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":"Q763305$D03852EF-4363-43AE-9197-67D1F97B2083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$17AEB011-5E62-4CDF-85D6-3CB914412A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f9d5d7b1d06884361f935a5c62453360f62463","datavalue":{"value":{"entity-type":"item","numeric-id":937211,"id":"Q937211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$B37B058F-EF25-46A3-B89D-3340F90546ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330ace4cf9162ea27eac78a534bc4ae5b555ae03","datavalue":{"value":{"entity-type":"item","numeric-id":2496153,"id":"Q2496153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$9D12BB20-F2DE-486A-B9C2-F74E991D8E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043f9c36513f0169de9888eed47ae021ca19fe77","datavalue":{"value":{"entity-type":"item","numeric-id":2577712,"id":"Q2577712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$4C1356F7-80F3-4F06-B075-49A8C58420A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b20eaeeba04f522b3be706d240c7453e256f8a","datavalue":{"value":{"entity-type":"item","numeric-id":1580663,"id":"Q1580663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$D1289A41-CCE7-48C3-9C4F-4CA052CAE799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451cbc735ab3f0d556c973ec9c9fe21d6b3ef72b","datavalue":{"value":{"entity-type":"item","numeric-id":1914062,"id":"Q1914062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$128A4197-1380-491F-A936-54ADF516A33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ae8b1779720a92745a6420e834633b3873390c","datavalue":{"value":{"entity-type":"item","numeric-id":4156761,"id":"Q4156761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$4B4C1CD7-F6E2-4637-B6B1-E94AAB48E0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815eb2ee300f1f7920e9a5654fcb96a47b99269d","datavalue":{"value":{"entity-type":"item","numeric-id":4137140,"id":"Q4137140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$2CD1C421-2A77-40E1-81B9-3678A9258B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76af3132d4c50b26a0458b80aa95f0e2dbdfee3a","datavalue":{"value":{"entity-type":"item","numeric-id":3770539,"id":"Q3770539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$3D25D239-4C3C-4779-AC23-61D22B09FD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8532fa1832910d51d0f42cd78ea63d04c89a360b","datavalue":{"value":{"entity-type":"item","numeric-id":1193502,"id":"Q1193502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763305$DA846BA6-1C6E-4FC9-AD40-517C7A999D38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39f4530dc7b7ece30d67a8f556194e9b60d999c2","datavalue":{"value":"10.1007/S11225-011-9329-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763305$4E4DD82B-BAA9-47EE-BBA0-6265CA445D1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bf31cd49ccf164acaa1bf148e486b8d578fd3b","datavalue":{"value":{"entity-type":"item","numeric-id":2799121,"id":"Q2799121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0c361eb5f0f2b0def27e66f3dcb83461978a3d","datavalue":{"value":{"amount":"+0.8267653584480286","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":"Q763305$08DF2672-B1B7-4285-BEDA-8D01CC7B7A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015c368f112d2d935dc072d14c587a9544b23323","datavalue":{"value":{"entity-type":"item","numeric-id":937211,"id":"Q937211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba1eca172a0009a3f1c4e306b2813647b1cc716","datavalue":{"value":{"amount":"+0.8067871332168579","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":"Q763305$C2D367A7-B3B0-4F5C-9D11-919BAC3C1DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040a75c493df75364ddb06e82b1e4d2f0eeee982","datavalue":{"value":{"entity-type":"item","numeric-id":965915,"id":"Q965915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"674a4921a889e93c75b930e52c9d8e7b3158b530","datavalue":{"value":{"amount":"+0.8034793138504028","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":"Q763305$E5FDB959-D013-4C10-9A0A-868D44F46888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a801dcc0e25014b4ad83addcd2c3e58992d3f4","datavalue":{"value":{"entity-type":"item","numeric-id":841165,"id":"Q841165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeaacc96fffa46b61f9983b436b5b8be3756cc71","datavalue":{"value":{"amount":"+0.7962585687637329","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":"Q763305$43199721-C690-4A95-8623-D7FE3AA76D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbf573cb384708fd9c99a21c2ef66099dfde0b2","datavalue":{"value":{"entity-type":"item","numeric-id":4237708,"id":"Q4237708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b78c8f3d1ddbd7eb4c06f190b3def2376e0be1a","datavalue":{"value":{"amount":"+0.7930446267127991","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":"Q763305$1AEFFD43-F152-4376-A6D4-C3F83E95778C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasivarieties and congruence permutability of \u0141ukasiewicz implication algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quasivarieties_and_congruence_permutability_of_%C5%81ukasiewicz_implication_algebras"}}}}}