{"entities":{"Q1001460":{"pageid":1003308,"ns":120,"title":"Item:Q1001460","lastrevid":66034008,"modified":"2026-04-12T07:05:16Z","type":"item","id":"Q1001460","labels":{"en":{"language":"en","value":"Computing congruences efficiently"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5508753"}},"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":"Q1001460$F270918D-D2A2-4490-B904-C84A11158B0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46e863deea9aa93631fa454dd0681cd95acb5d14","datavalue":{"value":{"text":"Computing congruences efficiently","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1001460$9C1D567C-6677-4D5A-B851-E0BB257786ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"021714b6b1d43a8da4ba656c0a0d3560b13f37a5","datavalue":{"value":"1158.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001460$9F44C706-5C4A-4EC6-94BB-DD0711528377","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"156053345438b67d13e36c962297ad522b12dc04","datavalue":{"value":{"entity-type":"item","numeric-id":219075,"id":"Q219075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001460$A14B3DB5-CB2B-45F6-8C79-21A6D628086D","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":"Q1001460$008A6FD6-2BAE-44C6-A163-85FD1C898708","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8f9771f54c3b7062e47ad7ecc3cf21334f03880","datavalue":{"value":{"time":"+2009-02-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":"Q1001460$B419050B-D002-4B7F-9D70-184B463C9D6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"716c4184dabf2905557bf9284d1b1aa05e40c60a","datavalue":{"value":"Let \\(A\\) be a finite algebra on an \\(n\\)-element set. Assume that a computation of every based operation requires \\(O(1)\\) time. By the classical data structure for the union-find problem, an algorithm computing a principal congruence of \\(A\\) determined by two given elements of \\(A\\) is suggested. This algorithm runs in \\(O(kn)\\) time if \\(A\\) is a unary algebra with \\(k\\) unary operations and in \\(O(n\\log n)\\) time if \\(A\\) has at least a binary operation. A generalization for a construction of congruences given by a partition is presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001460$9D28ACEC-7EC9-4672-BBBF-E684AC2C8B33","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001460$58CBDD7A-333E-437D-ABB0-E6DF784D3DC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001460$EE21F960-3E3D-4004-9556-F535AE60E2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001460$9BF64659-FE76-4108-BE24-D86C3C5EDEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001460$A2E90050-3825-469C-9C31-0DFDE1A659EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"967e34b390eae939dad615eaa270e5f3536d24b1","datavalue":{"value":"5508753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001460$4830E998-EFD8-430D-9C4C-2C2BA1F882B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36e88e1e416ed903cfa4f239bd2272493f8f6b1","datavalue":{"value":"principal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001460$FA1ED134-49B3-40F9-BF0E-920B9DA631D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001460$A1256DA4-93DC-45C4-8BBC-925F55BC79AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3852e96ece703dc546a540cbeb629fcc251765b","datavalue":{"value":"find-union problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001460$33DEA2BF-30D1-4FA8-84D8-8EF10BB4B9BA","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":"Q1001460$81E02F61-3364-4381-AB1D-C924DA7978E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"445a8c504b4eb99db9e9fa357341be73d194fd39","datavalue":{"value":"https://doi.org/10.1007/s00012-008-2073-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1001460$6D702C61-6077-4777-B5DA-D491EB335AA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f834f413073b1e8ba37903c22cbac96ecb836a62","datavalue":{"value":"W2045417459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001460$24406DCF-6508-4E5B-9280-6B6E2E4AFA1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ed98b06aabf1d882d5d3f25a26246468ee0b24e","datavalue":{"value":"10.1007/S00012-008-2073-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001460$8F08FF50-2072-4E20-85C3-A8FD2F941440","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f57e1e7781eefa520837b059351da9848d013e9","datavalue":{"value":{"entity-type":"item","numeric-id":1060232,"id":"Q1060232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331d0869310f242772450e6b54aa01924c952877","datavalue":{"value":{"amount":"+0.8066092729568481","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":"Q1001460$EF5BE2B5-0945-4108-9802-935BA6FC82A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdbc9557649b23392dd8d54aa2c01ca9bcc42309","datavalue":{"value":{"entity-type":"item","numeric-id":5958321,"id":"Q5958321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5bbb590ed571a717366e99ff4b97e76575ca1c7","datavalue":{"value":{"amount":"+0.7859847545623779","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":"Q1001460$7911877F-A891-4208-B118-75EC1EA0CF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b115d5e714e6006a56d50d8aa1fd9b75fd31c91d","datavalue":{"value":{"entity-type":"item","numeric-id":1902542,"id":"Q1902542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de331d2446408b19980290d3a53b02875e6ea78e","datavalue":{"value":{"amount":"+0.7658652067184448","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":"Q1001460$E1C7CC0C-9836-4868-A884-5CD057476709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7fa079cd7e611a3c52e00327126548f40f6460","datavalue":{"value":{"entity-type":"item","numeric-id":4251048,"id":"Q4251048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8730161804f5985d50fbcee0b192eab0ed5d011","datavalue":{"value":{"amount":"+0.7655358910560608","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":"Q1001460$4970C676-C74D-40B2-A746-0D01E8769652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5656aad5075ace406a1a2865021c7f52e8abcb","datavalue":{"value":{"entity-type":"item","numeric-id":4372441,"id":"Q4372441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a79098d5079f5d72251ae56106905c1bc4575a5","datavalue":{"value":{"amount":"+0.7588865160942078","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":"Q1001460$0716A678-0638-4D19-BC48-5CB01D1F06D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing congruences efficiently","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_congruences_efficiently"}}}}}