{"entities":{"Q647314":{"pageid":649163,"ns":120,"title":"Item:Q647314","lastrevid":77969924,"modified":"2026-05-06T10:28:40Z","type":"item","id":"Q647314","labels":{"en":{"language":"en","value":"Congruence modularity at 0"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977543"}},"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":"Q647314$9BA5AB78-DEB1-4580-A91A-241C28FD4F98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"781aa8fba07b21da25121d7c5a48be4e91913929","datavalue":{"value":{"text":"Congruence modularity at 0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647314$A3E18DE4-31E1-4F20-8B01-899FC9D4C954","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93626551eefb16029dd5f34e5727b44d008b0ff7","datavalue":{"value":"1231.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647314$8DDA9111-2AE4-49DB-AFDE-C87E351DD942","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ab4140b9d2928be3f01c3f151f4e809a55503b9","datavalue":{"value":{"entity-type":"item","numeric-id":382893,"id":"Q382893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$2DF9E5EC-D4EA-49C0-B42E-46EE37213F9C","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":"Q647314$AD914AC4-5AFA-4F30-AB8D-16736234A65C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q647314$F4A3DE69-9ED8-4D99-A925-E8FF33DB78FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b8a0f4135df1a93134c3a9d8793bb919653c3d4e","datavalue":{"value":"Given a variety \\({\\mathcal V}\\) with a constant \\(0\\) in its type and a lattice identity \\(p\\leq q\\), we say that \\(p\\leq q\\) holds for congruences in \\({\\mathcal V}\\) at \\(0\\) if the \\(p\\)-block of \\(0\\) is included in the \\(q\\)-block of \\(0\\) for all substitutions of congruences of \\({\\mathcal V}\\)-algebras for the variables of \\(p\\) and \\(q\\). The main result of this paper is a Mal'tsev-type characterization of varieties that are modular at \\(0\\). The proof is based on the same ideas as A. Day's classical characterization of congruence modularity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q647314$94CBF72D-9A44-41C4-A26C-FB881C21DBFE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"641ab91e199f4fbed34ff343dc7504b475dc5ace","datavalue":{"value":{"entity-type":"item","numeric-id":271700,"id":"Q271700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$F2467A74-E150-44A0-AF0D-22A403BF1F1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647314$F25E3EE1-3ABA-492B-98DF-B10D1B14C88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647314$66F5F099-0AF7-4B1C-9AEC-158648580986","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"819a5610242e55e317649d69c07f8f4c68f0e158","datavalue":{"value":"5977543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647314$B5AADE7D-124A-452C-A639-CBADF4EDC632","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2048306a5fbfeded241883008a6cc38fadf21389","datavalue":{"value":"congruence modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q647314$6D958270-86DD-4177-97A6-7E128601921A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8649893d178bb987943d67fac6ed08c138e2d3","datavalue":{"value":"Day terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q647314$66512123-0C5D-4E09-9E06-E824D26E4CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c3972b542a0c1bdd2a49e02042ba5d7b7d0ece6","datavalue":{"value":"Mal'tsev condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q647314$379669B6-0276-47DF-AA93-0918AE9C058D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q647314$F5773A15-CBA4-4677-8239-6C45A9F5109E","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":"Q647314$10259DC9-6085-4E6B-848E-D3743F1B12FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bba65ac0c0aae6a32f1f8ae17e41ad4e42950065","datavalue":{"value":"https://doi.org/10.1007/s00012-011-0146-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q647314$CF0D22EA-78FD-44D7-A3E6-0D79F70A905B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b940c254596f924b8e35922dfb1bff38519d4c51","datavalue":{"value":"W2002559714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647314$BADBDF22-9125-419B-85E5-3A83F264E33F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"030d5ad30f7f243d7bce15b34fb41223e7fe2874","datavalue":{"value":{"entity-type":"item","numeric-id":4723790,"id":"Q4723790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$251CE590-BC03-441F-8873-AD8A64E86183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a14cca6108eae79cd091196ea23f35b73c59c02e","datavalue":{"value":{"entity-type":"item","numeric-id":4210656,"id":"Q4210656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$696AEE76-3377-49E9-B5F8-209FCC7624E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89fe56a17625589c1b0657598f3bcce4d9e8345e","datavalue":{"value":{"entity-type":"item","numeric-id":4019618,"id":"Q4019618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$17DDF1DB-B4D4-4393-A978-E19E436E2C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26e524e855f145ac4d992a2942d2a28a538338d","datavalue":{"value":{"entity-type":"item","numeric-id":4461652,"id":"Q4461652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$FE21596E-BA96-4DAF-A207-120416BB54F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a19240382051c3302fc114b461d1d7e0025dcc","datavalue":{"value":{"entity-type":"item","numeric-id":2496159,"id":"Q2496159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$105C7B8F-25AA-4529-8B7D-0FA0A3228CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb59cc43bc11a7c9071dcfd428483a3884667f1","datavalue":{"value":{"entity-type":"item","numeric-id":2577731,"id":"Q2577731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$EFFC9DE9-8EBD-4170-B033-A3599F81AA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf5d69aa52fcaae24bf9fa6f4126a518e85d688","datavalue":{"value":{"entity-type":"item","numeric-id":5570948,"id":"Q5570948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$473E1E5D-11A5-4B31-B4FE-2E85BB5D4380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6945210de12c4c3a7bee9602f22584329d0c2e08","datavalue":{"value":{"entity-type":"item","numeric-id":1845749,"id":"Q1845749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$27371BD8-3535-4814-8CFF-EEBFDFD52691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ada733a2a03578bcde08abb6ebc10f98c600ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5589325,"id":"Q5589325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$2FDA334D-A10D-479A-BE49-DA5279C83BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$EE906633-F46A-4076-9BB4-5CAD82202DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25107f4343624d6bfd802b360e5baf73c4e82832","datavalue":{"value":{"entity-type":"item","numeric-id":5668851,"id":"Q5668851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$58A60659-7B3D-4EAA-B425-B0AFCED83546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba722aca5aabd13c35d39802f9db37ea460b226","datavalue":{"value":{"entity-type":"item","numeric-id":1216327,"id":"Q1216327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$9FB5D8DD-8621-4B70-B88A-E484A1718F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad8bfc57a93cb7954c25673b8041c38c474fb73","datavalue":{"value":{"entity-type":"item","numeric-id":2538071,"id":"Q2538071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647314$90D75C35-7391-4AF0-8F63-D2A20D845DDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96c06a757d954e05cfb81404da38c47f3f73b772","datavalue":{"value":"10.1007/S00012-011-0146-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647314$AEB4A1B6-3C88-4433-805F-54C32E3451B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fefd28d72f9a0bc87b533d86eb47a5faaaccd2f1","datavalue":{"value":{"entity-type":"item","numeric-id":4210656,"id":"Q4210656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7ff3f387f4aa530c20a35e76ff699fa35bfe6c","datavalue":{"value":{"amount":"+0.98889613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q647314$13D83811-9EDC-4D7A-BE67-790935F85EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbad90c5edefc436db2c3366fcf3c570ddaacc6b","datavalue":{"value":{"entity-type":"item","numeric-id":4209020,"id":"Q4209020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2983aba2e66cfce2b8474022871cb8ea49415de","datavalue":{"value":{"amount":"+0.9059105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q647314$9F65393F-11DA-4C65-834C-3A2CBCEB00B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de77e2befbcdd3d49770604955d1f88366cee91","datavalue":{"value":{"entity-type":"item","numeric-id":4799967,"id":"Q4799967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3f0e2b7851332364a1a14df74b65520ff9eadc","datavalue":{"value":{"amount":"+0.9049799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q647314$AF2F2FD9-0541-4304-AFA5-0FB646DECBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"409734abde9fc0390e8ede068ef8dbad504fdd40","datavalue":{"value":{"entity-type":"item","numeric-id":3759012,"id":"Q3759012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aadd9f7c7b4384d1f627dba5bc9d2b9337315c5","datavalue":{"value":{"amount":"+0.8917113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q647314$EDBB8BED-EA89-489F-A746-83B698A80C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1949880287745d362c666b31346c275818abc8e","datavalue":{"value":{"entity-type":"item","numeric-id":2301912,"id":"Q2301912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76bedf1b316ba69f58b2f026a2167b46ad3169c3","datavalue":{"value":{"amount":"+0.8859941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q647314$7828C856-B812-47A9-BF80-DE5DA94AD495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c53a61337b5ce31c00e9c982099831322870745c","datavalue":{"value":{"entity-type":"item","numeric-id":895649,"id":"Q895649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ae91bbe865ef232507518fcd8a6ece8fb4bd2c","datavalue":{"value":{"amount":"+0.87779635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q647314$3C94ED86-498C-44CF-BA15-057DDD0D3167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5a060f950d415b941ff6e0a98690bd17d1fb8e","datavalue":{"value":{"entity-type":"item","numeric-id":861622,"id":"Q861622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded87f6efe8d94ac6fdc518fc7b7971d345a7319","datavalue":{"value":{"amount":"+0.8758909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q647314$87F5F419-03D6-4923-8223-3850508C8A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a701df28c87b8f69d573b8f6c0341587a0e56599","datavalue":{"value":{"entity-type":"item","numeric-id":5200162,"id":"Q5200162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34ebb023ff5cc353a6bdf2dc669084d4a0c5bb2","datavalue":{"value":{"amount":"+0.87354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q647314$41C5B0BD-DC53-40CB-97EB-F5FFA219E350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45cedf87ecccd95e4a48165fe06302f8fd14f2f","datavalue":{"value":{"entity-type":"item","numeric-id":901792,"id":"Q901792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca409b71a0b0be920c5895a32fab2c0731b6cb91","datavalue":{"value":{"amount":"+0.87252545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q647314$574DBDDA-8745-447C-B9C7-5A85A6357DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b1a16baf06c6c9e6c3cf33962d46e1a3a0480a","datavalue":{"value":{"entity-type":"item","numeric-id":2914160,"id":"Q2914160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba86c9a7efbda541b60554bac2bf25ec472ca3b","datavalue":{"value":{"amount":"+0.8706067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q647314$624E1D1C-E753-4B29-A8BE-F8E702E4FFE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence modularity at 0","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_modularity_at_0"}}}}}