{"entities":{"Q5932592":{"pageid":8109394,"ns":120,"title":"Item:Q5932592","lastrevid":40913883,"modified":"2025-04-14T02:21:47Z","type":"item","id":"Q5932592","labels":{"en":{"language":"en","value":"On congruence modularity in varieties of logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1603138"}},"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":"Q5932592$9C08BBC1-22C0-4626-9D76-6A264BDDE00D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f3287cf3b8f45b7aade4ad3043bae6b00576be2","datavalue":{"value":{"text":"On congruence modularity in varieties of logic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932592$8CAD9054-CAB8-4AE2-874C-EFCB03528A53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2efff21d964ada304b6d7d34bfb7ea7b0947733","datavalue":{"value":"1039.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932592$FA9AD5A2-5619-4D88-AFC5-CB54412B750C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f8ecc515e149246aa369f00abc13f14a0a0a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1355601,"id":"Q1355601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932592$78C2691E-9036-41A2-A65D-DC7A5E2AE87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b7351c665d8ce77351eed18ff10ea849a82e757","datavalue":{"value":{"entity-type":"item","numeric-id":995380,"id":"Q995380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932592$52C56C8F-F04E-46E0-AA12-7212FAEBF01D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932592$FBC122B1-BEEF-4CC0-91A5-B000F23D4E8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5932592$FCCEC566-714A-4610-9A5C-A9BEDC598644","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f704f4c2ce409c0c8c7f50a0d70aef7ad054761","datavalue":{"value":"The concept of a quasivariety of logic is introduced in the paper. It is shown that every congruence point regular quasivariety can serve as a quasivariety of logic. However, every congruence point regular variety is congruence modular, hence there is a natural question on congruence modularity of quasivarieties of logic. The authors answer this question in the negative. They construct an example of a quasivariety of logic which does not satisfy any non-trivial lattice identity for congruences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932592$01F6928C-48EB-4E49-93BC-9D9D7B4E08ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932592$10811EB1-E562-4EA6-AF4A-3C1C12D1ACE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932592$F2EE2B37-E65E-4BAA-A8BD-411FE9DF74E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932592$76129C61-B291-4CEF-B5CF-B55A9DB84861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932592$1CE1B935-C875-4543-AC37-ED920F1AE955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932592$63E5FE16-5BFC-407A-BE44-A46F2785235E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cf79c7ad2f5af0c457afe9332a0c400ca4e07c3","datavalue":{"value":"1603138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932592$A76195CE-5DFF-4DF0-8F4C-74A9A279440C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2048306a5fbfeded241883008a6cc38fadf21389","datavalue":{"value":"congruence modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932592$ADA31569-3FD2-47DE-BEA8-FCB942F46E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932592$4A3EA4B9-7DE8-4BFA-9AEF-D722179E0234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932592$4298E443-CF29-400A-A517-2D35DB49D1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932592$DDA3F83E-B06F-440C-8BB2-0ED162FB7E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054500799b79f77109cb42de9891e67701606fc7","datavalue":{"value":"algebraizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932592$AD08B694-118B-4E09-A2DC-FEDE0F129C15","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":"Q5932592$66BA5513-9038-4C1E-B212-CD8DA2D00455","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8fb8db260c660b1ff27cb5dd2981d638a2685fe","datavalue":{"value":"https://doi.org/10.1007/s000120050198","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932592$1DD71D65-AC06-46A5-A043-524D23B1E5C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"120149a07305aa117addae7c059068718f3adb9c","datavalue":{"value":"W1987933965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932592$100C606E-B14F-4112-8397-2B5707BF8EC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e2a23381d9af47aee47746041700167f3bda6df","datavalue":{"value":"10.1007/S000120050198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932592$F68DD641-3568-4265-BE2F-1805E02D641D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e10a0a7903e1dc4b55fb8c3298e5c2e3c497a752","datavalue":{"value":{"entity-type":"item","numeric-id":674000,"id":"Q674000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb535371d48fbeb167636289646c8a681d780d9e","datavalue":{"value":{"amount":"+0.8967713","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":"Q5932592$42DA2732-E13F-48EF-9881-0C71E281A865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202b2a3aa9296adcb526da6f0e8234c8667a5127","datavalue":{"value":{"entity-type":"item","numeric-id":4644494,"id":"Q4644494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3ec175576fbcc866f96c48947b6debe1a4db64","datavalue":{"value":{"amount":"+0.89500093","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":"Q5932592$A5BE8615-4682-421D-AF67-32F0546F861B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8e0faa8de98fb28841e3c5ef196f4ce525c020","datavalue":{"value":{"entity-type":"item","numeric-id":3083215,"id":"Q3083215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4e5601cb5fe6fe63bac2dffa1f5bf3c1745b3d","datavalue":{"value":{"amount":"+0.89388764","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":"Q5932592$D6256FAB-4EE8-47A6-AB36-08A4B9FB155C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd4bdb07296ff3a4f5122abe7f67ea8120bb8a4","datavalue":{"value":{"entity-type":"item","numeric-id":5963201,"id":"Q5963201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652f9ef7bd46ab7bcd93a591451fd062f291cfff","datavalue":{"value":{"amount":"+0.89212406","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":"Q5932592$77F420A1-17EC-4262-A5C8-19ACDB8302C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7e050d3615e021ec0ee06c0f0f472456fe7fa9","datavalue":{"value":{"entity-type":"item","numeric-id":4329244,"id":"Q4329244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70770c8749f0dc854fd1025a1609441a3ade5a6","datavalue":{"value":{"amount":"+0.89134115","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":"Q5932592$4DD8FEB1-386C-4DE2-9E06-9CF87E346051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203c28359a7966de6bc2da073dd334f6adaa7c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5311478,"id":"Q5311478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270481b41d0b47d2eeccac2e92eff4caf68497a8","datavalue":{"value":{"amount":"+0.89063215","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":"Q5932592$A4D14BC4-8AD9-4B8D-88E3-9FC21459F551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4e1b7ef1d20ad48a4905cce0ba9af6c3e074b1","datavalue":{"value":{"entity-type":"item","numeric-id":4489077,"id":"Q4489077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"586178b0060134f09838c782f91ec78edcf92386","datavalue":{"value":{"amount":"+0.8890624","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":"Q5932592$5ED57CF5-F1AE-4301-9DAB-6A64C11CF552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0cc8a48c38cbddbc299ce2722ea8512d0ddab33","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e156e97e8e76afd68e2f0b4c2a660b7a247b2061","datavalue":{"value":{"amount":"+0.8859231","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":"Q5932592$330DE65C-1F2D-4A97-991A-8858F443F695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19781f1a1f7ed470622058078295668111e3a2fc","datavalue":{"value":{"entity-type":"item","numeric-id":3086692,"id":"Q3086692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be286fbb6d1fb6552314bf50e15ba5459774ee87","datavalue":{"value":{"amount":"+0.8851596","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":"Q5932592$AAA51903-EBDC-4D48-B1FD-3F7697A0CFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5a860f8c5daa2823c1c5fb524bdef10b2cf1aa","datavalue":{"value":{"entity-type":"item","numeric-id":3144562,"id":"Q3144562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c5ec072c5da2675b90c67173aa5de747eb872b","datavalue":{"value":{"amount":"+0.8847641","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":"Q5932592$21FAD056-B545-43C5-BF43-1733568651B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5932592","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5932592"}}}}}