{"entities":{"Q1814982":{"pageid":1825724,"ns":120,"title":"Item:Q1814982","lastrevid":72713868,"modified":"2026-04-14T06:50:12Z","type":"item","id":"Q1814982","labels":{"en":{"language":"en","value":"Quasigroups, loops, and associative laws"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 941232"}},"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":"Q1814982$8828B54F-6467-43B0-A4C5-89457D2DF919","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40bd674e9545ac25ac105f0484237cecdaba1e6a","datavalue":{"value":{"text":"Quasigroups, loops, and associative laws","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1814982$8802CA4B-2469-4E75-8C08-76BF584E023B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2166115cf6589feec7dd155dd80a9b358ea90790","datavalue":{"value":"0860.20053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814982$118CDC74-E3BE-4EAD-87D4-61A8C632EC00","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":"Q1814982$DD0DE482-3768-47B7-8047-296120BBFC8A","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":"Q1814982$BEEB4495-578B-4722-A8CF-AF9133B2C1F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2046b1f74286b4103e7d6313b9d0df4856d8a60a","datavalue":{"value":{"time":"+1997-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1814982$079E267F-E623-4801-839E-763E935F75A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"200d6247a127150422ebc7df224e746ccd85fdac","datavalue":{"value":"https://semanticscholar.org/paper/365454b64caf7048f2fff2f2afdbb16eedec98b5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1814982$40AB6C55-19F6-4C89-9DD1-28A5EECFDF36","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c474fc77e86264ca96043e70397f90f5b0206bc","datavalue":{"value":"The author investigates the question of which weakenings of the associative law imply that a quasigroup is a loop. In particular, he completely settles the question for all laws which are written with four variables, three of which are distinct (``size four laws''). In earlier work [J. Algebra 183, No. 1, 231-234 (1996; Zbl 0855.20056)], he had shown that every quasigroup satisfying any one of the four Moufang laws is a loop. In the paper under review he provides now a wealth of information on size four laws, culminating in theorems stating that, other than laws which are equivalent to the full associative law, each of the following laws and their ``mirrors'' (obtained by writing the equation backwards), and each of the Moufang laws, are those whose validity implies that a quasigroup is a loop:  \\[ \\text{(i) }(x(xy))z=(xx)(yz),\\quad\\text{(ii) }(x(yx))z=(xy)(xz),\\quad\\text{(iii) }(x(yy))z=x((yy)z), \\]   \\[ \\text{(iv) }(x(yy))z=(xy)(yz),\\quad\\text{(v) }(x(yz))y=(xy)(zy),\\quad\\text{(vi) }((xy)z)x=x(y(zx)). \\]  According to the author, his investigations have been aided by the automated deduction tools OTTER, FINDER, and MACE.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814982$0AEA4F7D-D132-4A2A-8937-F81D652A1745","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814982$F5892A78-5F1A-42E6-B6F0-3AC3A90EE545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd43a1b9f2417f5aebe919f08e6aa2b510501c27","datavalue":{"value":"20A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814982$315813F1-5910-4D3E-955B-26801DDCBC22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57f864b806b51ffbde6a81ced7b3afcbf83265c3","datavalue":{"value":"941232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814982$BF8F7953-C75E-42BE-923E-37178EDF492B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d13538d98aefe261e898bc9c953233b6f17c5e4","datavalue":{"value":"associative law","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814982$1D2AF030-A1E1-4A1A-A39D-EACCEC31342F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d9ae30f439ef505a52f54cc1dfaa91a75f906c","datavalue":{"value":"quasigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814982$BEF36A0F-C864-4EF9-B291-0F6E87735591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b069937643b327914e4906ee5a83ccdb9325465","datavalue":{"value":"loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814982$EDBCEFD3-2A9C-4E30-9530-25BA97410A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9f6621f0ead505fdcb9c90aa3c1fd53ca05c426","datavalue":{"value":"Moufang laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814982$1FC6DB2A-46EB-4274-AE5C-8B9AD0EECE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d91d01b7a5ac79cdb397c7f89605f30afdc7a048","datavalue":{"value":"size four laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814982$DA7AC4F6-EC29-4114-914B-3FFB64EE82E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814982$5F66CD92-DBC2-410A-9570-C31B38774AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814982$1D1FF04C-4942-4D89-8A77-921AFC80785D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81dbe3802ea5b72d63a57f610a1b82182aad12c","datavalue":{"value":"FINDER","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814982$FDAAB76F-E3B8-4121-A6D2-EB2994E0A93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f5c5b64328df72cd697158855399e29d02d3b2e","datavalue":{"value":"MACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814982$C5B87FFE-E6A9-4572-B8BE-FA96A6D0AEDA","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":"Q1814982$34E146BD-4517-49D5-AD7F-7EF16F2DF483","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"393b44870621ae8194945725f41459d245248b97","datavalue":{"value":"W2024337605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814982$A4DB4D5E-E8BF-46CB-98CC-21B59DE4B55B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5c15536ff255cca5471bccf28a8a73d8cdb475f","datavalue":{"value":"10.1006/JABR.1996.0321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814982$9F7FD43D-71DC-4457-9B54-113A67467D3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7873ad37322d7328678807d16a7d11849692c005","datavalue":{"value":{"entity-type":"item","numeric-id":1921907,"id":"Q1921907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c0b477a3ac4cb07a20faba93504558f4418a3d","datavalue":{"value":{"amount":"+0.8180792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814982$C7BA16F5-FB4A-4A6E-A320-30FC8E7AA7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c5cb36fab00bb166249a58745286b4035b9e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3057292,"id":"Q3057292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24828292e0ce148703412b6c4236cffc02b50b9","datavalue":{"value":{"amount":"+0.7731919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814982$A2642837-AF61-4BDF-9758-062293C97043","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":"dfcb744bd432c67966a71381e665f5424b8e9834","datavalue":{"value":{"amount":"+0.76354283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814982$7CEBA7B8-97A5-43B2-9A87-B1E7F769F7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cc30bcbb2679e8ace33438e21b3442162f86ee","datavalue":{"value":{"entity-type":"item","numeric-id":3971758,"id":"Q3971758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0692db684fb6a38f1a33695580a72031b5c765bf","datavalue":{"value":{"amount":"+0.7595282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814982$7A0FBF0B-BF95-420D-9D88-37EE61B3F960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf29a8f8069d2193b48b8606525b03bfdeb114c","datavalue":{"value":{"entity-type":"item","numeric-id":4425217,"id":"Q4425217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf157614387c8beabaa53c0a4d21a185ad58081","datavalue":{"value":{"amount":"+0.73351693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814982$BAC5AF14-5B90-463A-B4D6-599A1ED19E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5bd24df612368d53cf2ce2fa1d49228341dc956","datavalue":{"value":{"entity-type":"item","numeric-id":6179308,"id":"Q6179308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a5d5dcb7f20fea0a859a86c81501f85d1d417a","datavalue":{"value":{"amount":"+0.73321486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814982$8CDF989A-3EF3-4845-BCBB-E4A1218EBE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5991b45da74ed9b62306bd71dd0eb8bcd42b3a9","datavalue":{"value":{"entity-type":"item","numeric-id":5841624,"id":"Q5841624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ddf66af267710bb79b01e4b77a04674cdc47c0","datavalue":{"value":{"amount":"+0.73307747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814982$AC662B74-8D77-4900-84C6-854B5643329D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde185a37d2ea1070be8da647641f67c181ed492","datavalue":{"value":{"entity-type":"item","numeric-id":3568233,"id":"Q3568233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2e576129c05624559f4e1de65e68072a2b3904","datavalue":{"value":{"amount":"+0.72808444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814982$A7C164CA-CBA7-4DD7-A44C-A40C8C81C2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b5131196861377a02175a08fb6a9e3eb2333a97","datavalue":{"value":{"entity-type":"item","numeric-id":4729980,"id":"Q4729980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3aa163594e217b8c9f3376c8816be074f3419d","datavalue":{"value":{"amount":"+0.7266461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814982$27F1AA94-7A65-4292-B8E5-7895D8E4C0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456077c7e0951236f50a1d2a10d23751c2b3a520","datavalue":{"value":{"entity-type":"item","numeric-id":4039680,"id":"Q4039680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d960c6c32da58ea6cbe0c8d708aeaab038baa37a","datavalue":{"value":{"amount":"+0.7205938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1814982$248639B8-B0A9-46C1-941E-F3F8AEC6C4AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasigroups, loops, and associative laws","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quasigroups,_loops,_and_associative_laws"}}}}}