{"entities":{"Q1193629":{"pageid":1204378,"ns":120,"title":"Item:Q1193629","lastrevid":66455928,"modified":"2026-04-12T10:11:28Z","type":"item","id":"Q1193629","labels":{"en":{"language":"en","value":"Effective subdirect decomposition: A case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64919"}},"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":"Q1193629$FABADBA3-A9F8-4557-84A9-B0CB064C7566","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d4f7967735cbd136f6293256ceca6b7bcc37945","datavalue":{"value":{"text":"Effective subdirect decomposition: A case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193629$DA8553B2-9CA7-4DFD-A844-1D2D5800B7B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e49a1c938e600fb7d317805ee2e708b2c80e299f","datavalue":{"value":"0757.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193629$735B0AAD-3CC2-456A-BBD4-094CCC0176BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dda26662a17949e894148e004b6180245757e84","datavalue":{"value":"10.1016/0304-3975(92)90366-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193629$9980D5B1-52D9-4925-B9F3-12303FAEAB28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb48feda890ed95e93a68f4ea4dcd3a73ea0230e","datavalue":{"value":{"entity-type":"item","numeric-id":1193628,"id":"Q1193628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$A4568176-C104-48D4-89AE-7E023174A905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e4fb9ce568de3750e3a2b86aee4348766bb9ad4","datavalue":{"value":{"entity-type":"item","numeric-id":1837217,"id":"Q1837217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$F1C26F4E-F055-443B-8607-C335005B7290","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$647D10F6-7840-4EED-B084-C7724CBE2758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193629$96FCC1C2-D22B-423A-8EBB-711B4CB9BF30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"974b7e73fbe973ed61382261ec495c7d221273fd","datavalue":{"value":"Let \\(A\\) be an algebra. A family \\(\\mathcal F\\) of congruences on \\(A\\) is called an abstract subdirect decomposition of \\(A\\) if \\(A/\\sigma\\) is a subdirectly irreducible algebra for every \\(\\sigma\\in{\\mathcal F}\\), and for every pair \\(a,b\\in A\\) of distinct elements there exists \\(\\sigma\\in{\\mathcal F}\\) with \\((a,b)\\not\\in\\sigma\\). By an explicit subdirect decomposition of \\(A\\) is meant an explicit list \\(\\mathcal G\\) of quotient algebras of \\(A\\) which are subdirectly irreducible together with an injective homomorphism \\(\\varphi: A\\to\\Pi\\{B; B\\in{\\mathcal G}\\}\\). A pseudocomplemented semilattice is an algebra \\((A;\\land,*,0)\\), where \\((A;\\land)\\) is a meet semilattice with the smallest element 0, and \\(*\\) is a unary operation such that \\(a^*\\) is the largest element satisfying \\(a^*\\land a=0\\). A pseudocomplemented lattice is an algebra \\((A;\\lor,\\land,*,0)\\) provided that \\((A;\\lor,\\land)\\) is a lattice and \\((A;\\land,*,0)\\) is a pseudocomplemented semilattice. Given a finite pseudocomplemented semilattice on \\(n\\) elements, algorithms are presented for: 1) an abstract subdirect decomposition in \\(O(n^ 2)\\) time, and 2) an explicit subdirect decomposition in \\(O(n^ 3)\\) time. Given a finite pseudocomplemented lattice on \\(n\\) elements, an algorithm is presented for an abstract subdirect decomposition in \\(O(n^ 3\\log(n))\\) time.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193629$3A1D5737-6201-4CDB-8122-0C4E213399A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193629$1037705F-8F01-4B60-9E6B-8E6F1CEEE5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193629$DD587081-327C-43C1-905A-7CBA1CB077EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193629$CBDDB27A-C09B-4F38-B047-FD74923E6E8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61de7dfd77850568a26e4276c295c28d9bd1e1ec","datavalue":{"value":"64919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193629$3A1184F6-9D11-4603-B76B-0E61565CDFAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df9bce0c20d56836d9b36dda612acfd5fd6294a","datavalue":{"value":"subdirect decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193629$B0E7F343-4783-479C-BCFA-7F9D15CEE7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b42a8e506c79bb509baa97950f1cc069aebf7bc","datavalue":{"value":"pseudocomplemented semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193629$BD5F8817-77EA-4DB5-B0B3-2FDFEDD99D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198aab7837b7b47af2df3b54c87c4be495598b35","datavalue":{"value":"pseudocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193629$2CC539B6-1B55-4DBA-91D2-E6F2CBD6120A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193629$DAD40E4C-4E14-430C-ABA3-1E38D9E68FDA","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":"Q1193629$D50E349E-13D9-4B54-83FF-559AB037849D","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":"Q1193629$50223182-F30E-458D-8B94-F6B90D722DFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34c2eed9ef5fc3d358f32fa8872708612a0fa4f","datavalue":{"value":{"entity-type":"item","numeric-id":5834591,"id":"Q5834591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$66AA0B3C-AEC3-48D5-811D-6AEB8C81298E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$A95C1EC2-5B8E-494F-A643-B72C8FC18139","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":"Q1193629$2ED5CEBE-5E55-4272-BDD8-1AE62F23BE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f969c06b6d394917477628d30671718761f62e","datavalue":{"value":{"entity-type":"item","numeric-id":3946212,"id":"Q3946212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$F37C84CB-56A9-40EC-864A-096FE644012F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd17aee582bded3dccbbc43e59abd986559b4b8","datavalue":{"value":{"entity-type":"item","numeric-id":1060232,"id":"Q1060232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$8CCA94EF-29C5-4CEC-ABBD-136CD74DD74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd5df3b1d75c513225fd51cd3923e2a4cb48b88","datavalue":{"value":{"entity-type":"item","numeric-id":2625269,"id":"Q2625269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$D6B1CA65-6DD4-4A2D-ABB6-91B811C06F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c860e3055f8232c1427c6e293b83f38fdfab57f6","datavalue":{"value":{"entity-type":"item","numeric-id":3919077,"id":"Q3919077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$4E684996-BAF5-4DB7-9376-BD50C9E2891B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$3445C558-7F2F-4118-BECF-C6BD0105C96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbca9dc358e29234202619552a584aacd79b55e9","datavalue":{"value":{"entity-type":"item","numeric-id":1255508,"id":"Q1255508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$272D9615-227F-4601-B36A-6145BE7EBAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da59b3733ff84f7d7b8acc2da5310011ec7ff247","datavalue":{"value":{"entity-type":"item","numeric-id":5904319,"id":"Q5904319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$7B4392E9-8F8D-4EF4-98B1-B8CB253655A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb60021865a5cc24d9df4f5eaadc8ae84e0d7df","datavalue":{"value":{"entity-type":"item","numeric-id":3217616,"id":"Q3217616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$0A7A8A8D-423A-494A-A16F-9E26938E8DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac61e35b1968cd2d74c729090fc5b1b53c204f","datavalue":{"value":{"entity-type":"item","numeric-id":3926631,"id":"Q3926631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$DA224E39-09A8-4E86-99CD-FB1F8BFE0EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343fcd8b266f77681b5f8d326523a95c3894e863","datavalue":{"value":{"entity-type":"item","numeric-id":3800097,"id":"Q3800097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193629$F7D4248F-46B7-46AF-8AA5-EB6D0B22022C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3afec2230d3d9a9adb7db6e6e676f526243ba0","datavalue":{"value":{"entity-type":"item","numeric-id":3800097,"id":"Q3800097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56be0806256db8fec59f386b6654fe6d3bba092e","datavalue":{"value":{"amount":"+0.8901594877243042","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":"Q1193629$DEC89729-9844-44FA-A758-913450A0CE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e26efef82655003e5fec03a02b2489bba0e962f","datavalue":{"value":{"entity-type":"item","numeric-id":2398760,"id":"Q2398760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375c4da67520455873d5a2e01b2a7ad979645c55","datavalue":{"value":{"amount":"+0.8018833994865417","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":"Q1193629$D8F21A82-6C6F-41C2-84F1-28BE6E507961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95c4cc8251db79c4eed3733e4ceb9f0635767e8","datavalue":{"value":{"entity-type":"item","numeric-id":4432917,"id":"Q4432917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584fad670e5f24569fa46fb5e1a9f1a25c0c9a63","datavalue":{"value":{"amount":"+0.7389774322509766","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":"Q1193629$02934AD3-CF68-4853-93F6-9D1949634F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb59b7f35c4161c3480149d38dc832cf9022fea","datavalue":{"value":{"entity-type":"item","numeric-id":4981142,"id":"Q4981142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afbe623889af1b3f35c4b6120cf9e4fb7309d5be","datavalue":{"value":{"amount":"+0.7362886071205139","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":"Q1193629$51369B20-E2F2-4684-A2E8-0F210C34ED81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db77ff330cb6b8c5d5cfa5d33d312e88f6b5404","datavalue":{"value":{"entity-type":"item","numeric-id":2238023,"id":"Q2238023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4473ed0ae2ba69794ee48564607d53a0dae9635b","datavalue":{"value":{"amount":"+0.7357403635978699","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":"Q1193629$41109234-F83A-4ACF-ADC4-FA3B8CB2FF19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective subdirect decomposition: A case study","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effective_subdirect_decomposition:_A_case_study"}}}}}