{"entities":{"Q1966138":{"pageid":1976880,"ns":120,"title":"Item:Q1966138","lastrevid":78057002,"modified":"2026-05-06T10:41:01Z","type":"item","id":"Q1966138","labels":{"en":{"language":"en","value":"Relative principal congruences in congruence-modular quasivarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1407091"}},"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":"Q1966138$848CD8BA-A7EE-41C6-819F-CB38E380F6FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d76e5ded115184f9381778b15b0d01b2735a748","datavalue":{"value":{"text":"Relative principal congruences in congruence-modular quasivarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1966138$726D9B82-B1D9-48D3-B035-A37DB81D22C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0f3c0b8a0245ff07aa3386ffab7bb497a0fd593","datavalue":{"value":"0933.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966138$62CF2324-ABB8-4D0D-912F-FFED2EDC3399","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfccb93685854dae8ab7b7e24e0ca004a6182d99","datavalue":{"value":{"entity-type":"item","numeric-id":178963,"id":"Q178963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966138$AAB59475-412E-4366-B710-44A775F0E941","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":"Q1966138$69601579-B17D-40E4-A853-FBDC7E99F26B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b67edb7c6ba470465e19f8a68d18347f5f95336","datavalue":{"value":{"time":"+2000-02-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":"Q1966138$BC6F2E63-CE3C-4DAD-8635-76905DD4718B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de3237546d5a1134ce07dc2d99dad784441cc885","datavalue":{"value":"For a quasivariety \\(Q\\) of type \\(\\tau \\) and an algebra \\(A\\) of the same type, \\(\\text{Con}_QA\\) is defined to be the lattice of all congruences \\(\\theta \\) on \\(A\\) such that \\(A/\\theta \\in Q\\). The members of \\(\\text{Con}_QA\\) are called relative congruences. The concept of relative congruence modularity for quasivarieties is introduced in the paper (it is equivalent to the condition that the lattice \\(\\text{Con}_QF(\\omega)\\) is modular, where \\(F(\\omega)\\) is the free algebra of \\(Q\\) with countable many generators). In any quasivariety relative principal congruences are defined by means of a possibly infinite disjunction of existentially parametrized conjunctions of finite sets of equations; this property is denoted by LEDPC with respect to the family \\(P\\) of finite set of equations. A quasivariety \\(Q\\) has equationally definable relative principal congruences iff \\(Q\\) has LEDPC with respect to a one-element family. The purpose of the paper is to study the relationship between the LEDPC and relative congruence modularity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966138$2D977DEC-4AB8-48A7-9EAD-0D348772E4BE","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":"Q1966138$F105F682-1EAC-4FE1-8A97-801680205EA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966138$5A71C0D9-9E83-4533-9622-798E08F22A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966138$83079218-6544-44E3-8E18-96921444C285","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"717a984397abb495c9766ee368949d3c7eb94440","datavalue":{"value":"1407091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966138$8BE31E59-8C62-423C-9866-95327400D0A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966138$E3507915-3D07-45F3-9D94-E9AFF997A6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ad6dde99eeda988ea1d120d396fd185ae687cf1","datavalue":{"value":"relative congruence modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966138$D290B93C-A6E3-4BDA-8D36-52D8952FEF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a82e45d00f8bf3248fe815f412d074346801a56","datavalue":{"value":"equational definability of congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966138$0AFFC5BD-114C-45D2-9A71-44C1DDE869A0","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":"Q1966138$157C2098-41F5-47A3-A0FE-7FBA3E960808","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20bdfe320d888ef920bf07d5bdca1bffe5263094","datavalue":{"value":"https://doi.org/10.1007/s000120050069","type":"string"},"datatype":"url"},"type":"statement","id":"Q1966138$EFD14A55-9197-4D75-B5A6-2DD02B4FE11C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1094d4ab690f8427cace92e446110c097ec240da","datavalue":{"value":"W2023583272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966138$DE148309-F797-46CA-9AF6-69D2F22499B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46faeedd17c72254b653673598f159d73cc3b5ec","datavalue":{"value":"10.1007/S000120050069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966138$A413477E-BDBC-42CA-BDB4-85D0065EBCA2","rank":"normal"}],"P1643":[{"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":"7647aeb31255e698a78c23bc8df63af85c327933","datavalue":{"value":{"amount":"+0.8531391024589539","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":"Q1966138$38A0040D-4205-41B5-ACA2-ACF6BA7148BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2ac406c7869dc801bea0864f2ab4a6c79058c1","datavalue":{"value":{"entity-type":"item","numeric-id":4207950,"id":"Q4207950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a740b09ac111b9391718f2015bd0bc6fb489ae89","datavalue":{"value":{"amount":"+0.8511371612548828","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":"Q1966138$741F37DA-49AA-47F5-B989-E13303FF2254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d930b8c01b01035177862d6549328856222ccf1","datavalue":{"value":{"entity-type":"item","numeric-id":1686333,"id":"Q1686333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b9fd9877bf8991a8a41d4cbcd679bfc17149eb","datavalue":{"value":{"amount":"+0.8187732696533203","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":"Q1966138$19E39394-86B4-4623-A897-32B8AD9D8850","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":"3e6d58d6dfb16027d74d6abadb5f24d618a5e8ec","datavalue":{"value":{"amount":"+0.813120424747467","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":"Q1966138$536AE68C-2FFE-4ECE-BDC1-945EAF3F756D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9813f776a73c0138e1dfdd21b6b7f868b4452f8a","datavalue":{"value":{"entity-type":"item","numeric-id":909692,"id":"Q909692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789c40dddd8374b92b852a82f3f01add8971d31e","datavalue":{"value":{"amount":"+0.796942949295044","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":"Q1966138$0CC555B0-B900-45D8-BF7D-47157CEE050E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relative principal congruences in congruence-modular quasivarieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relative_principal_congruences_in_congruence-modular_quasivarieties"}}}}}