{"entities":{"Q1921907":{"pageid":1932649,"ns":120,"title":"Item:Q1921907","lastrevid":69478446,"modified":"2026-04-13T07:16:34Z","type":"item","id":"Q1921907","labels":{"en":{"language":"en","value":"Moufang quasigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 923681"}},"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":"Q1921907$D774D75E-03AF-4EC0-8738-67D125ADB0ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41c1fa339d0b5e4816e0fe285adcd0dbaae0a56a","datavalue":{"value":{"text":"Moufang quasigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1921907$5179AA3F-6C6A-476D-B097-BB40DE5D402D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27f7d8f849f4dcc4548c8fb042f0493edf604638","datavalue":{"value":"0855.20056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921907$BAD3702B-420A-49CE-8DD6-1BAE690A02E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33dfb6f44f92015b009380f4101146dae8d33fba","datavalue":{"value":{"entity-type":"item","numeric-id":438808,"id":"Q438808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921907$EA99E049-77C5-4BE5-A629-D4CA748C94D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921907$FCB3D5D0-FEA1-4764-835C-51E0EF98648B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"696a85c188b11ef336a1b52af5d342d62b857b6c","datavalue":{"value":{"time":"+1997-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":"Q1921907$768482A6-4CA6-48F4-AC0D-2F9A4A21E874","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"95d4360fe277d9173a0af0a2da6426ddf98f36de","datavalue":{"value":"It is well known that the following four Moufang identities, M1: \\((x(yz))x=(xy)(zx)\\) and N1: \\(((xy)z)y=x(y(zy))\\) and their respective mirrors M2 and N2 (obtained by writing them backwards), are equivalent in loops which are then called Moufang loops. The author now shows that every quasigroup satisfying any one of these four identities is a Moufang loop, so that in fact these identities are equivalent in quasigroups. The proofs have been aided (not produced) by the automated deduction tool OTTER, developed by W. W. McCune.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921907$B11F3CAC-217C-46D8-9E53-9BB3869F8A3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921907$424EB6ED-62B4-4370-8E65-D41182856B60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c9a46ac6e4279ed58743d345e20a6ade23d7367","datavalue":{"value":"923681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921907$35F80258-B2DC-44A0-AF5C-A50A8D6CFCF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485755be63b00547fd18a5666d481b2ff3f0c7f3","datavalue":{"value":"Moufang identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921907$F33B25BC-BD09-4CF5-BC83-29FA26E16CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de031a609729d4e43317e052d6e53f9661bc0d09","datavalue":{"value":"Moufang loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921907$1ED0A8C0-74E6-4840-B78C-872B498C57F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d9ae30f439ef505a52f54cc1dfaa91a75f906c","datavalue":{"value":"quasigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921907$10461988-B6D9-494B-BFFC-5E17CB9C852E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921907$1239CB41-C4EC-4192-BB9C-21770B335575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921907$1B51060F-9888-4DA9-B0DB-36276E41318D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"00a3d03fbe1aef617896df40321f23ca113a783a","datavalue":{"value":"Q56430424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921907$19904569-E9BD-4102-A452-E0507EF101AF","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":"Q1921907$42EE02BA-8D08-46B3-B56D-DA1C90999B54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40559a93e7864934b999e54061dc954f4121b28d","datavalue":{"value":"https://doi.org/10.1006/jabr.1996.0216","type":"string"},"datatype":"url"},"type":"statement","id":"Q1921907$FD686D12-3748-4B73-9BC4-08895D602603","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d10df384352b1bc98e7e41f3547a17248793816f","datavalue":{"value":"W4212767513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921907$6236FC20-8193-44A2-8328-1FA68F85F59F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e45b2483e812b0ec038596880a507c84067bcd5","datavalue":{"value":"10.1006/JABR.1996.0216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921907$7693799E-A7D1-41E2-98E8-C1C5A5991DA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20997e7741eebd08e32d24b60b70385b3d07d66b","datavalue":{"value":{"entity-type":"item","numeric-id":1814982,"id":"Q1814982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8019b5a06766662514e9f32e3ca7e84cff0749","datavalue":{"value":{"amount":"+0.8525130152702332","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":"Q1921907$CAB10633-FA2F-417F-A96A-8505E2BC9EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a027f461b02e4334b0bb982509dcc951378c3deb","datavalue":{"value":{"entity-type":"item","numeric-id":3568681,"id":"Q3568681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8019b5a06766662514e9f32e3ca7e84cff0749","datavalue":{"value":{"amount":"+0.8525130152702332","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":"Q1921907$4B955C6C-4080-4B1C-BB74-272F53E5D8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f30b32a33a06320ae89834ff453e9b43896f9f7","datavalue":{"value":{"entity-type":"item","numeric-id":5453674,"id":"Q5453674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61314f00f0529b6d1dfa496edf25d2d7bc121717","datavalue":{"value":{"amount":"+0.8302192687988281","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":"Q1921907$B9A295E2-0CE3-42D0-8DB8-26788D271AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d2b0b0dac28814e5bcdbe98e1450649c996578","datavalue":{"value":{"entity-type":"item","numeric-id":3083854,"id":"Q3083854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5020b616691c85cf01605f1d3ece24e186625b28","datavalue":{"value":{"amount":"+0.8296661376953125","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":"Q1921907$91C2D56D-B524-404D-A9CA-96FFD38EC6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2776a793482ad97477939f89593c842ba25e582","datavalue":{"value":{"entity-type":"item","numeric-id":1815858,"id":"Q1815858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1489dca236e154d8b0f206eb89997d732276c3","datavalue":{"value":{"amount":"+0.824222981929779","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":"Q1921907$4742899C-8F4A-4F05-87E2-A026BAB3A328","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Moufang quasigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Moufang_quasigroups"}}}}}