{"entities":{"Q2464687":{"pageid":2475430,"ns":120,"title":"Item:Q2464687","lastrevid":78710033,"modified":"2026-05-06T12:15:17Z","type":"item","id":"Q2464687","labels":{"en":{"language":"en","value":"Distributive implication groupoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5220743"}},"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":"Q2464687$DB127A20-F179-4EE4-8444-E94124BA7BE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cde6e82d0aa716da6df3a64b4831c19486f793c7","datavalue":{"value":{"text":"Distributive implication groupoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464687$9DE6AC9B-B30D-4649-A569-FA5014ED84B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70e02024c104e143701b7f44e366ef2998d7f9dd","datavalue":{"value":"1134.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464687$B88358E7-8C70-41AF-9037-FF6E4F5C6E68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464687$9BEE1C36-09A2-4F9E-827D-E0F30F4269C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dbeb0f87521a2b80550283ee62977c8caf5533f","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464687$C63244EB-09E4-4C48-B9EC-CAC6C44A46EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc7d268a183ade5451538ec2970855ed7396f2d7","datavalue":{"value":{"entity-type":"item","numeric-id":352702,"id":"Q352702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464687$BC4FB12E-1A88-4C83-83D2-25AE8A44D328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393895076543d7c664a07b10d6d8108144d1c207","datavalue":{"value":{"time":"+2007-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2464687$3D8C9AC5-E1CC-4C12-8B86-B354E52CE367","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f569a67ae5934f7b776f46e7b62e4b3182af562","datavalue":{"value":"The authors introduce the variety of distributive implication groupoids, a generalization of the variety of Hilbert algebras. They prove some relationships between ideals, deductive systems and congruences. In particular, they prove that all these concepts coincide in every distributive implication algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464687$70BAAB2F-79FD-40D1-96DD-598E99BCC455","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f95cd7386eedaef653f8227ca61e824db8c93f6e","datavalue":{"value":{"entity-type":"item","numeric-id":587967,"id":"Q587967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464687$3543D8F8-7DB0-43FF-9237-88E0E2687FEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464687$72478AAA-74E8-4146-99DA-477CB039564C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464687$891A2A19-546A-4063-A435-029ACC725B38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0877c1b2736dac8cacebd68bc041f07266277aa7","datavalue":{"value":"5220743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464687$8F684C27-5FC8-4FC5-AE75-3C5AE1645B2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37458cc4a55bc4320bf9431dd37f27843a8b72f9","datavalue":{"value":"variety of distributive implication groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464687$2129CD65-43E0-4BE4-BF7E-DCC4635589A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464687$7BE4CC0E-9B1C-406B-8C31-22ACB66A152F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464687$8B2F2910-6CE0-44CA-B289-6F7F72C25D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464687$9F6CB783-1DE0-4A1B-9A2C-66CF8F8DDFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6931e05576775e6f06e680f57280b365444bbbb7","datavalue":{"value":"distributive implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464687$588BDCBF-4A3F-4610-A6E5-6C9562F9E0A4","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":"Q2464687$D9B602CC-EB1C-45AB-8C39-F5C41B43E6A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c30746afdaae77df3731019bb67a14d806408477","datavalue":{"value":"https://doi.org/10.2478/s11533-007-0021-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464687$0B153A54-769A-4730-BB5F-FA8159097AB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03a7a00d9698b0e01d48418c6ac760d69d47ec49","datavalue":{"value":"W2052518138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464687$7B00D54B-FBE9-4C87-8461-EBFBE01B507E","rank":"normal"}],"P223":[{"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":"Q2464687$5E30C29E-76D5-4F71-93FA-DDB1556108C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"872d0bd93c83772bfcc41fe9cd810b4183ada49d","datavalue":{"value":{"entity-type":"item","numeric-id":4792081,"id":"Q4792081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464687$2FAD8AE6-5FC9-4ED1-BA44-CAF56D40998C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc65ed6da997da934532584f59dffd6b58e1b6cd","datavalue":{"value":{"entity-type":"item","numeric-id":4508861,"id":"Q4508861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464687$4A0DF884-B316-4237-B56C-A91AC3982027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"124a7abbcaefb619e048c90f18641de4e31d3e4a","datavalue":{"value":{"entity-type":"item","numeric-id":4785586,"id":"Q4785586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464687$AFC4F051-6828-473D-8356-47B81A4F8B5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c52cdf2c8f409c72d1fd71d5fc0c81858ab4e882","datavalue":{"value":"10.2478/S11533-007-0021-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464687$4AC8CB65-0733-4157-8206-C0CE52E99460","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"480dc3a2682867878c14cc6e3603d6270d870c5f","datavalue":{"value":{"entity-type":"item","numeric-id":3369876,"id":"Q3369876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d41259ea80b5d08c8b199037dc09f3d4eb67de2","datavalue":{"value":{"amount":"+0.95404035","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":"Q2464687$56AA3542-1680-47DB-AA35-714D04099652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dc8ffd18650dddc365e355210e40b9a371b802a","datavalue":{"value":{"entity-type":"item","numeric-id":3681039,"id":"Q3681039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02bd2b2bb872b3fdec9d70c68378917685331fb4","datavalue":{"value":{"amount":"+0.91650015","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":"Q2464687$290664C4-F333-4CF3-B88C-2E91C875C5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1f79aee13460847cc5b2c14aa717f3e8f61ee4","datavalue":{"value":{"entity-type":"item","numeric-id":4290251,"id":"Q4290251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35277e78972aa06329e40fa55eac8a4772484505","datavalue":{"value":{"amount":"+0.9149801","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":"Q2464687$32C6C638-658D-4223-8424-C6F540AA6D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b982887e4da57375c4df8365ce44b07d4afc0cf","datavalue":{"value":{"entity-type":"item","numeric-id":3710699,"id":"Q3710699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb336a8649ef4cac29a5b082af705303f2169a57","datavalue":{"value":{"amount":"+0.91295195","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":"Q2464687$7C36C8C7-53E5-425D-BEBD-CBA0205F90F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"569e33741d04696605890b0b775ca813e488a230","datavalue":{"value":{"entity-type":"item","numeric-id":2316780,"id":"Q2316780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8082c74ffb9ff3c229a75dde0cb2a60b2a9cb75","datavalue":{"value":{"amount":"+0.910004","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":"Q2464687$F02A6BBB-08B1-4D9C-83B6-2E728212E851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66320b725f973bfc03409aa9b0a917f1083eae24","datavalue":{"value":{"entity-type":"item","numeric-id":1634690,"id":"Q1634690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9924934d597187fab8d71b49f48053d0af81d4b1","datavalue":{"value":{"amount":"+0.90993905","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":"Q2464687$E087F1DF-2605-403F-A32A-6D9B43444A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910fd8b52bae0365e6532c819ff0f90dfc07833d","datavalue":{"value":{"entity-type":"item","numeric-id":522223,"id":"Q522223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5b34d74c3ef4172f2d156c08ac1532856003e6","datavalue":{"value":{"amount":"+0.9088186","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":"Q2464687$E3599FBE-B6D3-438B-A61C-E3967DEEC04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9700b1d1d42a78b9ed845d4b8a5a5eaaa8300bdf","datavalue":{"value":{"entity-type":"item","numeric-id":1262396,"id":"Q1262396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8db0951047b14ca98097d5291074704d3da995","datavalue":{"value":{"amount":"+0.9075856","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":"Q2464687$3C17E846-F4C5-48BB-9073-4E1900677236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e41d0b68efc549289ac86a2ea3448026024094","datavalue":{"value":{"entity-type":"item","numeric-id":454462,"id":"Q454462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c6aac7afcc4be30c2e8d3da5ec90571a9e61722","datavalue":{"value":{"amount":"+0.9058211","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":"Q2464687$33EF4B80-2AD9-42E7-9CFB-E71BE282F17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f5b431d01869453c82dc43cd6469a0a9d52c66","datavalue":{"value":{"entity-type":"item","numeric-id":1818642,"id":"Q1818642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370a79e3b5a05c325c8c66f4510b32c13a27f96a","datavalue":{"value":{"amount":"+0.904252","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":"Q2464687$1D258A4C-5D6E-4A02-96D9-893F6774ED5B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464687$96B88E8B-6577-4C24-AE6A-84DF08F21DB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributive implication groupoids","badges":[]}}}}}