{"entities":{"Q1312859":{"pageid":1323609,"ns":120,"title":"Item:Q1312859","lastrevid":68715741,"modified":"2026-04-13T01:37:54Z","type":"item","id":"Q1312859","labels":{"en":{"language":"en","value":"Heaps and right solvable Ward groupoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 495535"}},"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":"Q1312859$413FC77F-EFDE-4D94-9225-ABF49C434089","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1541fab89e1d8d87a0c0942f1c795af5141622cb","datavalue":{"value":{"text":"Heaps and right solvable Ward groupoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1312859$35CFDE09-8554-4A10-9A4E-C1C417F13CF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f63dafba139108f566049da5c77aec582ac810d0","datavalue":{"value":"0803.20054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312859$3EBEB773-EA0B-45A7-B474-03308192C9DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c0de6a2489252c76df5e547d7e6646b7dc4f21","datavalue":{"value":{"entity-type":"item","numeric-id":1025796,"id":"Q1025796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312859$029715D6-0CAD-46E6-AB5C-38E007395AD1","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":"Q1312859$C82BBBBB-02CB-46E5-9324-1019A1FA9E9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c5bb3baf1209a5aa9c138fee26da270a964d4a2","datavalue":{"value":{"time":"+1995-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1312859$FA1F1B21-2474-4A05-A131-B0ACBC3D4833","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40cdb33938faec06fc968ff184d45b94dc67c64a","datavalue":{"value":"Let \\([\\;]: Q^ 3 \\to Q\\) be a ternary operation on a nonvoid set \\(Q\\). \\((Q,[\\;])\\) is said to be a heap iff the following identities hold: 1) \\(((abc)de)=(ab(cde))\\), 2) \\((abb)=a\\), \\((bba)=a\\). The main subject is to prove the following theorem: There is a heap \\((Q,[\\;])\\) iff there is a right solvable Ward groupoid \\((Q,\\cdot)\\), where \\(\\cdot\\) is a binary operation \\(Q^ 2\\to Q\\) on the set \\(Q\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312859$A80AFF80-EDE3-44B8-B492-3E1CA5562A3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02f37839a7d861c9d91de18c8ca292ce1f9b6b17","datavalue":{"value":"20N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312859$D5098BFD-F347-4B3B-9316-B345803A7529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312859$B175955D-2875-4A99-85C3-1FD5AA00170F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff17b7c6522f9e75a2eed3fb6687d7e493ed4314","datavalue":{"value":"495535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312859$8DD4548B-341D-47EA-84A9-100A1F6CBB8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2643394a1f31c33e94847c881afaca0576f66d1d","datavalue":{"value":"ternary operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312859$CD649D36-BA8C-460A-AE71-4146853CEE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4989eb152683ae59795f0e9b13db29659495b815","datavalue":{"value":"heaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312859$50708A48-9EF1-4AC1-9C1C-9BC2AE8DA8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d6a7c45b6fa152c1fa360245eff4f514052fa9","datavalue":{"value":"identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312859$693F2352-7101-443B-A50C-47A78E526335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385b21f0eca782fe2d652bfddbbad93069e147a5","datavalue":{"value":"right solvable Ward groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312859$1A93E054-2BD1-4196-A74B-1A76AD5687BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30a2b86f0edf231919275daf112dfe04a1cef464","datavalue":{"value":"binary operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312859$3B7BAB08-5923-46CD-9B05-798276BEFA04","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"450d19987175b4eb73b72a3a886f0a1e97156c1d","datavalue":{"value":{"entity-type":"item","numeric-id":590963,"id":"Q590963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312859$B4A8C1BB-103E-4E78-8175-51389E360514","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":"Q1312859$64BB3F27-2273-47B4-B0F3-8D778FACFAEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"135ec835c51f2a1fdf49634afbc50ffce87a9407","datavalue":{"value":"https://doi.org/10.1006/jabr.1993.1059","type":"string"},"datatype":"url"},"type":"statement","id":"Q1312859$375A00DB-7B71-41AE-A010-E8FB4AE8ED39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95e310ffe21075531343da726d536ffeac1d0a61","datavalue":{"value":"W2011781167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312859$CAF36B2A-5DA4-4A89-B054-E822E52A1EC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ea6925b32c16eaa33dbada72efe478115a9b1db","datavalue":{"value":"10.1006/JABR.1993.1059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312859$66A73075-9964-4FF7-BB75-430F4546179D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de55086712efbb8cac0234efb915e01e2f02397e","datavalue":{"value":{"entity-type":"item","numeric-id":3203232,"id":"Q3203232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f41311959feddcef7daca90ced6f54373ea2b2","datavalue":{"value":{"amount":"+0.789713978767395","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":"Q1312859$A14FD7B3-7552-4E47-B30F-4E9016FAC896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcc7848d67b4ef6c9bb28cb2a036caa7fa8a4b5","datavalue":{"value":{"entity-type":"item","numeric-id":3784329,"id":"Q3784329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5700a1009e4b28df15c418c57c9137b117081902","datavalue":{"value":{"amount":"+0.7473028302192688","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":"Q1312859$41115A59-5081-4E5F-AE64-1A4128B55503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a49c200e6bae3b06f22212e72e381cd23c97023","datavalue":{"value":{"entity-type":"item","numeric-id":1109059,"id":"Q1109059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae648eb32355c877c2bb9d350ec257d7348f0100","datavalue":{"value":{"amount":"+0.7401027083396912","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":"Q1312859$300EF171-C640-471A-9090-8CC18681C9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c098b5e9b33e8f78576f7a5b56123203644e9769","datavalue":{"value":{"entity-type":"item","numeric-id":4906698,"id":"Q4906698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16441912f125f8d35d8c3dce5645f87cca3c91b5","datavalue":{"value":{"amount":"+0.7362743020057678","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":"Q1312859$B8835544-10A7-4813-94D6-616917F84D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a6fac20aebdf1d60a7ac6bec35d52c3fe522c0","datavalue":{"value":{"entity-type":"item","numeric-id":4488921,"id":"Q4488921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9c2d1b7f88ed4749dd1b0d360379d683dbdd98","datavalue":{"value":{"amount":"+0.7352043986320496","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":"Q1312859$3484A9B6-054F-427E-8FB0-A26F4B9B668B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Heaps and right solvable Ward groupoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Heaps_and_right_solvable_Ward_groupoids"}}}}}