{"entities":{"Q1272233":{"pageid":1282983,"ns":120,"title":"Item:Q1272233","lastrevid":46606485,"modified":"2025-12-25T04:54:10Z","type":"item","id":"Q1272233","labels":{"en":{"language":"en","value":"Posets of \\({\\mathcal C}\\)-congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226555"}},"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":"Q1272233$C8FBE5ED-CCFC-4B4F-95F1-9C9D6496198E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"028b1864817ff94dd0495bf099ff84f9b66d16c4","datavalue":{"value":{"text":"Posets of \\({\\mathcal C}\\)-congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272233$A84CA280-1648-48AC-A9FA-64E886277C14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"824913096aeba7a71aee87c22d6e2f4dff596cf8","datavalue":{"value":"0901.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272233$D82C9D90-0E0A-47FB-A265-47928D198490","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c7bcf5d91e01dec52581f29b8bcec1f85c6664d","datavalue":{"value":"10.1007/BF01236768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272233$C30A6C9D-6CF5-403C-B705-A455CEDADF43","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":"Q1272233$0A145794-0FB6-4B24-989E-260F798DE9CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddcf2cc5d9dca7413af18921ff9d977f276261fc","datavalue":{"value":{"time":"+1998-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272233$13EE6E2B-5030-45FA-A105-D97A0896C8C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"95d1d2d98a09e348968a4faa6fdc699d14db9226","datavalue":{"value":"Let \\({\\mathcal C}\\) be a non-empty class of algebras of the same type \\(\\tau \\) closed under isomorphisms. Let \\(A\\) be an algebra of type \\(\\tau .\\) A congruence \\(\\theta \\in \\operatorname { Con} A\\) is called a \\({\\mathcal C}\\)-congruence if \\(A/\\theta \\in {\\mathcal C}.\\) Denote by \\(\\operatorname {Con}_{\\mathcal C} A\\) the poset of all \\({\\mathcal C}\\)-congruences on \\(A\\) ordered by inclusion. Theorem: \\({\\mathcal C}\\) is a variety if and only if \\(\\operatorname {Con}_{\\mathcal C} A\\) is a complete sublattice of \\(\\operatorname { Con}A\\) for each \\(A\\) of type \\(\\tau .\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272233$CCBBA3B1-541B-4239-850D-74D1E2538E72","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":"Q1272233$A155E8FD-4DE0-4E4A-B723-0BD8532EE82F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272233$29A68990-7EC4-41BE-84C8-AF7F6FBCC381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272233$A692137E-FB79-4D36-8543-0A6246D552A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d4a52a926f50c4d39f55ea2835d939c58c3678c","datavalue":{"value":"1226555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272233$30DADC72-E19D-4B06-9D9A-37993B33FB4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6a1c6e75f260a7b008077f9717af936f70eede","datavalue":{"value":"\\({\\mathcal C}\\)-congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272233$F67416D8-5DE6-474A-892D-DC18AF37EE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272233$51625335-E5C4-4C0C-8CE6-7699AC7D9FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c1f262c361add6e1b956e330ab77755edbc3b6","datavalue":{"value":"algebraic class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272233$34763033-25EC-479D-BEB6-30DAE38C6DB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"705c60bd938898689adab68c7f7e96b549b46942","datavalue":{"value":{"entity-type":"item","numeric-id":202019,"id":"Q202019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272233$F6D9E4C7-2F4F-4AF2-B787-A8ABEC46ED92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05b4657705ad57eb1c10903e9e01f1059803a8ae","datavalue":{"value":{"entity-type":"item","numeric-id":202021,"id":"Q202021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272233$B1F3FB01-8636-4757-991A-58CEBA5956AD","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":"Q1272233$A70F2242-D3E1-4FC7-B61B-687F762CBC6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ca3ed7344a017d43cca533d2be14d582677f00","datavalue":{"value":{"entity-type":"item","numeric-id":4740609,"id":"Q4740609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272233$F41344F5-AFE2-4999-903B-109BB8A3E184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edae07954697bd25312389566eb0f4dbe0c28d27","datavalue":{"value":{"entity-type":"item","numeric-id":3262257,"id":"Q3262257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272233$57C96BE6-4D04-430F-BB53-3C92B9304DB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e812ee19f1b4e7348df098bfa41510b9c1d4fa","datavalue":{"value":{"entity-type":"item","numeric-id":4490827,"id":"Q4490827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c8a258428ab01c6236a2791e41bfa6dd67bc2b","datavalue":{"value":{"amount":"+0.8413330912590027","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":"Q1272233$81CBE5A5-4785-4CDB-98FA-9C0D10C9849F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9bf9c7e836b8564984705d22bb481e1cee90e4a","datavalue":{"value":{"entity-type":"item","numeric-id":1771852,"id":"Q1771852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167b41a77eb9422d23cf1ab3d47f5065c7a021ae","datavalue":{"value":{"amount":"+0.7958887815475464","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":"Q1272233$FA32A812-1D00-4170-94F3-041F31E7F590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd15b6fe7a545d28c80e5612fffb463c072bedf","datavalue":{"value":{"entity-type":"item","numeric-id":2494392,"id":"Q2494392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5459918664580b7a6cee6a2c5ca88838ae1c5eb","datavalue":{"value":{"amount":"+0.77180016040802","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":"Q1272233$56E857F2-88A8-4416-B7A9-D17B4D28A2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37ce108a8c59dff9249118f6ad559cd8b1acd84","datavalue":{"value":{"entity-type":"item","numeric-id":1746798,"id":"Q1746798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee62b98d0eb6a232d7a4675fcc5a19048b81b12","datavalue":{"value":{"amount":"+0.7666940093040466","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":"Q1272233$AE5F889C-0FE0-4BF0-B437-8F6371982799","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1272233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1272233"}}}}}