{"entities":{"Q5932631":{"pageid":8109433,"ns":120,"title":"Item:Q5932631","lastrevid":93593213,"modified":"2026-06-05T04:40:03Z","type":"item","id":"Q5932631","labels":{"en":{"language":"en","value":"Quasi-identities of congruence-distributive quasivarieties of algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1603301"}},"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":"Q5932631$33128485-F4C4-4AC1-96D8-4CC939AA2F27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ae8497d8d220301828ca81179357265a33b9fd1","datavalue":{"value":{"text":"Quasi-identities of congruence-distributive quasivarieties of algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932631$0D5CD0A9-186B-414B-9C82-CF5EE09219F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ea6c3d3cd58a282f47b0e81ff5306070fcaadf1","datavalue":{"value":"0966.08010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932631$76453AA0-E501-475A-B6EE-A524C4353EAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"059c70b60ff5056cb2991d88eb0657b4f901d4c3","datavalue":{"value":"10.1023/A:1004849727945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932631$E5E5889D-6B97-4A7A-8C7F-1A0B0C6D3B1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"180f0f888a6d697046cb394ed517b2704856ae9c","datavalue":{"value":{"entity-type":"item","numeric-id":368480,"id":"Q368480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932631$A119321E-9B25-48F2-AD9D-5AF544D8268A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932631$2827D202-28C9-4965-B0E7-0DFB705B70C9","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":"Q5932631$60ABE915-246C-4F69-A1D7-4A995A31B66E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d80105c0226c3612a683da510c6677e0421b950","datavalue":{"value":"https://eudml.org/doc/121139","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932631$9FB36E08-B783-4605-A41E-DA3483D7C8B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3ab12d725c30d7f051c0110e8a58c92f661ce58","datavalue":{"value":"Theorem 1. Let \\(R\\) be a congruence-distributive quasivariety of algebras of finite signature whose class of finitely subdirect \\(R\\)-indecomposable algebras is finitely axiomatizable. Then there exists a finite number \\(n\\) (depending on \\(R\\)) such that, if the congruence lattice of the \\(R\\)-free algebra of rank \\(n\\) has at most countable width or satisfies the minimality or maximality condition then \\(R\\) has a finite quasi-identities basis.   Theorem 2. Assume \\(K\\) is a congruence-distributive quasivariety of algebras of finite signature, \\(R=K\\cap V\\), where \\(V\\) is a variety of algebras, and the class of finitely subdirect \\(R\\)-indecomposable algebras is finitely axiomatizable. Then \\(R\\) is finitely axiomatizable with respect to \\(K\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932631$87628FFD-91A2-4990-AA1E-BD621695033B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932631$D33BA7B6-DBE9-4AFB-BD62-E836D63018D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932631$6EFDDD1B-3FA5-4409-8348-2CE9C364D556","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b220c4f7d68225db82a3a70f7ae9f7471893cf1","datavalue":{"value":"1603301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932631$1E18CFA6-08E3-43BE-863B-57B0EB2C6D9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"788dfb4fca174a93f5e60cddcd6a9463661ba3e2","datavalue":{"value":"congruence-distributive quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932631$2D434C13-3654-4ECF-848E-848FD42B82F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c5d66a98bb18fa91e609345e2fd2a3070761a9f","datavalue":{"value":"quasi-identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932631$6462813C-E90B-4193-979E-9381BD4085BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"850583b49cdd86a1529f52e002cc78f56bf55bee","datavalue":{"value":"finitely subdirect indecomposable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932631$F84B7C5F-43B2-4F9B-B398-23F42E998356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65a3e57a6b33830e8c425a76a447eb38d228a6e5","datavalue":{"value":"finitely axiomatizable class of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932631$79463C50-5335-4516-A2F6-79DEBE701DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2af3a72e10471202f512b7da39a1ea20e9a44d","datavalue":{"value":"finite basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932631$C09FD557-8FF5-4346-A58E-E423C17F6142","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":"Q5932631$4FC3B23C-8F7D-4EC8-B203-6238774194B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d746f885fe5ed629f950859dc165aec4b5f1f85","datavalue":{"value":{"entity-type":"item","numeric-id":3351421,"id":"Q3351421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8edebeb5f56137bdb046af61e133ce0c78d927","datavalue":{"value":{"amount":"+0.8710486888885498","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":"Q5932631$F935B4BB-61AC-4F8F-BFC4-CDEE87848400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43378a96fa7f98c49cf7b9d0e6e0aafcb775afa2","datavalue":{"value":{"entity-type":"item","numeric-id":3487457,"id":"Q3487457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca32aa04228dfb81a43f52e9f52826b9f5de71b","datavalue":{"value":{"amount":"+0.8448182344436646","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":"Q5932631$407A82D6-DCAD-4D7A-B878-38B68DDB80E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be146a38fe12e9761d2ae81acbc0c007e6e41501","datavalue":{"value":{"entity-type":"item","numeric-id":1037593,"id":"Q1037593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe5f64a027eb28d04c6195c9b872289887f6577","datavalue":{"value":{"amount":"+0.8206967711448669","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":"Q5932631$41C04DE9-B013-4F31-9E11-7E6847289C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06bf93b2d826cd75cd607683451d07b99c8ec7d6","datavalue":{"value":{"entity-type":"item","numeric-id":2277502,"id":"Q2277502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ab068e88447e7663223ce03aed47a345a2198f","datavalue":{"value":{"amount":"+0.8195416331291199","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":"Q5932631$6FD198C3-3745-47A2-B5C6-701F0CA1C00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa771a68b9682a8287b54d5578f62b5fbc7f483","datavalue":{"value":{"entity-type":"item","numeric-id":1179764,"id":"Q1179764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d64468385ddbff9b80248d678d9ee23ae2e078","datavalue":{"value":{"amount":"+0.8186606764793396","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":"Q5932631$3986C57A-D224-4E2A-B14A-F91EB192A59B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasi-identities of congruence-distributive quasivarieties of algebras","badges":[]}}}}}