{"entities":{"Q2073369":{"pageid":2084111,"ns":120,"title":"Item:Q2073369","lastrevid":71271396,"modified":"2026-04-13T21:07:05Z","type":"item","id":"Q2073369","labels":{"en":{"language":"en","value":"Mitschke's theorem is sharp"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7468274"}},"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":"Q2073369$03A48A06-69DC-4B90-AD79-70E0A4CF36D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b3ac1940f1bda63bc140ae4a95ea05c3915418e","datavalue":{"value":{"text":"Mitschke's theorem is sharp","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2073369$3CE868C8-6EA2-45C9-8979-3AC4C4F10839","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"210f27425155106693e2cfdc89d213db32f2fb7b","datavalue":{"value":"1485.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073369$73A12A20-E6B6-4725-BCE7-232CF5163358","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77f9010d02f758439d90289c14a0486d7f24824a","datavalue":{"value":{"entity-type":"item","numeric-id":304181,"id":"Q304181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$81E4995F-2CE8-4DD8-A0C6-4F1BC49518F8","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":"Q2073369$D265BD79-DA05-451C-A56E-CB8764B04643","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b49dc9fca49651caf99815e140828b876b484fdc","datavalue":{"value":{"time":"+2022-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2073369$849BF5D2-1131-416E-8FF1-BE50BBE1AB81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e26a9a4b9574a45324743ef36ee618e792cd3840","datavalue":{"value":"https://arxiv.org/abs/1909.00863","type":"string"},"datatype":"url"},"type":"statement","id":"Q2073369$031E3ECD-1170-46E0-B791-B21596790E61","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4be5c83a1fbe4344cd928437e0d3974b13b0e04e","datavalue":{"value":"\\textit{A. Mitschke} [ibid. 8, 29--32 (1978; Zbl 0368.08003)] showed that a variety with an \\(m\\)-ary near-unanimity term has Jonsson terms \\(t_0,\\dots,t_{2m-4}\\) witnessing congruence distributivity. The author shows that this result is sharp using a construction of the variety which does not has less of these Jonsson terms. He also evaluates the best possible number of Day terms witnessing congruence modularity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2073369$14B2BE6D-79C8-4615-A1CB-45E6B130BE74","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":"Q2073369$36237CB4-4930-4E07-AC7A-549377DEB5D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073369$190954D7-2536-4CBF-ABE4-35097FCB5EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073369$8AF27874-D972-45CF-A1DE-1F74E963D28D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"329d07977afa905ce945b0ed20a8cf8e6e3da6a6","datavalue":{"value":"7468274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073369$0FEEE980-BD15-4714-B75B-75E49695F243","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e00ebde6e649aa38302f4428b66fa1f89e3bcf5b","datavalue":{"value":"Mitschkes theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2073369$92951F9C-B433-44AD-885E-B58EB4388C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b6b335687f38a561260f0772b2d36f4d6795fc9","datavalue":{"value":"near-unanimity term","type":"string"},"datatype":"string"},"type":"statement","id":"Q2073369$BFFACF36-4651-41D3-A40B-BAEE682C4559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9368fbf6cffd159dd4b8a2409b165030a04fdd4a","datavalue":{"value":"J\u00f3nsson terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2073369$D6701C7D-5355-49F4-9C2E-427A2E9CD5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8649893d178bb987943d67fac6ed08c138e2d3","datavalue":{"value":"Day terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2073369$C9675331-6915-4118-A9C4-61E91EE1FE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a8907e09a6fdefafda00d22f3b250cced30138","datavalue":{"value":"congruence distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2073369$2E0502F0-EFB3-4074-BA21-677BC274248A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2048306a5fbfeded241883008a6cc38fadf21389","datavalue":{"value":"congruence modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2073369$41A1D707-CA2A-4889-9470-B2999E4FFB5B","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":"Q2073369$1B520ED4-5203-4A6D-A533-6E4B9E28424F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c7e26efa61db81d1da77d106919d389ab6768f8","datavalue":{"value":"W4205922917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073369$06081D78-7ADA-47AC-BCE0-5896238875E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5029fa86e0f97640991ea5322b3325376b56ab49","datavalue":{"value":{"entity-type":"item","numeric-id":1257915,"id":"Q1257915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$61CE591C-8CD8-48B9-B7E4-5AD6AACFA668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524a128b67098c301f4b4b48ba9c46351e78d895","datavalue":{"value":{"entity-type":"item","numeric-id":1211524,"id":"Q1211524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$EA582F0B-C135-4B8D-8A9A-CC656A58719E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4c7ad84dafa9996db1476233443cd69f51afde","datavalue":{"value":{"entity-type":"item","numeric-id":4907620,"id":"Q4907620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$8268194A-A935-4784-9A91-C63F15034525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7c92e9d594f264abd95f8ae9f1fa3937831bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4993595,"id":"Q4993595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$550B087F-CD01-4E8D-A62C-B05B7D2F632A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf495049c97efeee8513ace897fd2d3339f6dfa","datavalue":{"value":{"entity-type":"item","numeric-id":3550542,"id":"Q3550542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$AAA094AC-A6A4-4415-821B-D0DE323B5F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb002e19512b0ec7dccf99bcb29367b764066942","datavalue":{"value":{"entity-type":"item","numeric-id":331032,"id":"Q331032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$22920B15-B5B3-472A-8D00-DEF955B929D8","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":"Q2073369$C4ACA610-E472-4C76-8938-8C5BE3F74848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050f2bb75af876c5568b8e15e6573169cdd6e5e2","datavalue":{"value":{"entity-type":"item","numeric-id":3621430,"id":"Q3621430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$A56D0203-D0DB-41F2-869D-9761581EC441","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":"Q2073369$E3AA50BF-6862-45E4-8EA6-0962F03E71CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5b2614e112448ba5efd623bcaf2f69f2afa68a","datavalue":{"value":{"entity-type":"item","numeric-id":4527760,"id":"Q4527760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$0ED2EBE1-1ABC-4996-A8A6-FB47B8F0420B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323b5d36b5ceb5459cf3bad62799286675c7985e","datavalue":{"value":{"entity-type":"item","numeric-id":4586417,"id":"Q4586417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$1D9C24EB-77E5-4013-B756-2C9090FC1A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b150280d1acd79c66ec7af30c13d4c62a464e91","datavalue":{"value":{"entity-type":"item","numeric-id":5118446,"id":"Q5118446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$B958FC81-6BD8-4777-812A-2B4DE277CC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8af9a24da8f620238141d694ce1f8f63685863f","datavalue":{"value":{"entity-type":"item","numeric-id":2007989,"id":"Q2007989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$A625BCDB-15DE-48C2-B0D3-8FE77CDDBBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58e039dd216671f02a69046022c5eaefb5d8186","datavalue":{"value":{"entity-type":"item","numeric-id":5093764,"id":"Q5093764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$D976A761-F059-41DA-9E2E-F2824DF67EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$AA952688-736D-46E9-8056-5BD3DEF6AFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89be34ddf43c7034b3a9b62a27aaf5803b7994f6","datavalue":{"value":{"entity-type":"item","numeric-id":2553985,"id":"Q2553985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$26981867-AF5B-4CBB-961F-5643D3461CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee7f6ddba573192d1e4b4f89897e32b3ba52c70","datavalue":{"value":{"entity-type":"item","numeric-id":1242933,"id":"Q1242933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$220B079F-1C86-4BE7-A492-53C83C2028F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a8a3722bba7548c408b88c59e898ea9b596305","datavalue":{"value":{"entity-type":"item","numeric-id":4601484,"id":"Q4601484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$F735BB38-523E-4E71-947B-2A8099BD607C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4665e5c8a2f211e82caef67268cdbbc10dd5f4f1","datavalue":{"value":{"entity-type":"item","numeric-id":2496166,"id":"Q2496166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$52BA3F9A-9EE5-472C-B7FA-DC204A318E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd4d44870a1b34afe04118cbf99c4d252670fb1","datavalue":{"value":{"entity-type":"item","numeric-id":3712365,"id":"Q3712365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2073369$3C426D91-3C36-4259-B361-A5E9713779A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a0cf66279c13437a7df3229ea1d1fa53c9a1916","datavalue":{"value":"10.1007/S00012-021-00762-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2073369$E51D8286-C3DF-4EB7-8781-91409F4E9527","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145159a6cea4fda5bf9acc0fb85f9cd4d63c0ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1652855,"id":"Q1652855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c362f60b6545ba3387cddc84aaf723fe9d9662c","datavalue":{"value":{"amount":"+0.751319169998169","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":"Q2073369$F762FA97-3A17-4C83-9EB2-05F21893BD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db87e45fabac963218dec1d865594c8041b394a0","datavalue":{"value":{"entity-type":"item","numeric-id":2481702,"id":"Q2481702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb92b747ef6c99958ea4ecbeef4efe70d74b9b01","datavalue":{"value":{"amount":"+0.7473607659339905","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":"Q2073369$7E6A13F3-607A-4EEF-B827-AA452CA462B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f51a34974aec22511e83364a3a3e4d90d3f57025","datavalue":{"value":{"entity-type":"item","numeric-id":2198271,"id":"Q2198271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308e9750411566e9bdafaaab8aa65ca854c016ac","datavalue":{"value":{"amount":"+0.7422969937324524","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":"Q2073369$19389B92-69C8-44A2-985D-A84003138563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d896844d5e1f678604983bf436e23dcd4901cf8b","datavalue":{"value":{"entity-type":"item","numeric-id":797617,"id":"Q797617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b99292337661c3d554c94f95b32affed8af522","datavalue":{"value":{"amount":"+0.741687536239624","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":"Q2073369$24BE4A50-6DB7-4616-AE26-3ABEFFFA122B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db138a99a2bd4dc530eaf807531c9f2f505e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":331032,"id":"Q331032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c557350590ae5ca67e27161f114018af88b942","datavalue":{"value":{"amount":"+0.732516884803772","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":"Q2073369$E9B48677-8846-4DBE-86E8-1662BFA4AA19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mitschke's theorem is sharp","badges":[]}}}}}