{"entities":{"Q3568707":{"pageid":5598611,"ns":120,"title":"Item:Q3568707","lastrevid":51011531,"modified":"2026-01-16T05:12:58Z","type":"item","id":"Q3568707","labels":{"en":{"language":"en","value":"Distributive groupoids are symmetric-by-medial: an elementary proof."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5720900"}},"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":"Q3568707$DA50CE1A-43E2-4F39-9FDD-78A14C5EAC57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4bcb2fb88e4c4b386e63e18f01290949d846f21","datavalue":{"value":"1192.20050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568707$5237D6C1-20D5-46B1-A6F9-B12BE74D7E98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5ff4cf6f989469eee73caf1aa9de9fad60ad8c5","datavalue":{"value":{"entity-type":"item","numeric-id":397856,"id":"Q397856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568707$A388C395-8574-425A-9022-7664474C2FEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86af1c22b200687a6335d6ab392353fa13cd1279","datavalue":{"value":{"time":"+2010-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3568707$C9187610-9EF0-4D9C-9699-9633CE9F882F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5ac4afeac38b062324ab1bc428a45501142093e","datavalue":{"value":"https://eudml.org/doc/23024","type":"string"},"datatype":"url"},"type":"statement","id":"Q3568707$897A9AE2-FF2B-49FA-B39A-33B75AEB437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba3c086cc937fe22f5ca47c7c8d4846b05b03e30","datavalue":{"value":"http://www.emis.de/journals/CMUC/cmuc0804/cmuc0804.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q3568707$9ED1B13D-977D-491A-A69B-3C5B1222F789","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568707$E276BA24-BE94-48B7-8A0B-3CA2A8827E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568707$8502B198-85C1-4727-8CA6-95971258FD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568707$E76F3033-45A6-46F9-933B-56C52BAC7E58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"babb3f31b3d068cd459f1f758a18ae4a7bc1b790","datavalue":{"value":"5720900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568707$DC07BE0D-E025-487C-B355-E9403B0FC01F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0da00c5d9a1175add7ff0b5fee715e870f673f0","datavalue":{"value":"distributive groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568707$B5BAAE40-F4C1-44A9-AD4B-A0D95A5F7699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18293ea0224def2fcd13bec7ec9b3a7e58377c6","datavalue":{"value":"symmetric-by-medial groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568707$95018C77-89BE-4AE6-99A1-8FDBA216E6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e92ef9cdb30b67152699770cb7b50199ec949462","datavalue":{"value":"automatic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568707$5EFBBB42-5E39-4CFC-AA01-A523EFB8830B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568707$551ADFC7-97E4-4D2A-A5F4-B04DBF3028C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568707$0D27F54F-D3B9-4EC8-9791-BC5E51921CEB","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":"Q3568707$EB189F32-5150-4A4E-B628-D7792FF46CD0","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"4b2649036aa66345171c805ce07e1956bcbb3bc5","datavalue":{"value":"bafkreifwooia7kojsrbg2pwfgdmolzus4t26ixzxfhldx2nspehpsneihm","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568707$F1C71E9F-0919-479D-B789-54B20A852D8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b48f59db3b9d91bb00d180768ce9ae8a70eadd","datavalue":{"value":{"entity-type":"item","numeric-id":801421,"id":"Q801421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d2f5cc4b2fc7f678d0162846636dd3ac425460","datavalue":{"value":{"amount":"+0.8118833899497986","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":"Q3568707$300093C0-E654-42F8-9726-4F9761C3439D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eacd4122a0defe6f30553e431b00026a0384be3a","datavalue":{"value":{"entity-type":"item","numeric-id":4209995,"id":"Q4209995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1833f0c67427f35216b2a6d1880c0cb6acf941","datavalue":{"value":{"amount":"+0.7711693048477173","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":"Q3568707$F59071A4-1090-4F2A-8DD8-2A49082EA20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71897e41c2195697e89030012ac97432cfb9560a","datavalue":{"value":{"entity-type":"item","numeric-id":2577752,"id":"Q2577752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1833f0c67427f35216b2a6d1880c0cb6acf941","datavalue":{"value":{"amount":"+0.7711693048477173","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":"Q3568707$4B778042-CB3B-4B31-8ADC-1F2B98F1261D","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":"6ea5d1230ad1a94d943635af929b999ee64a2e57","datavalue":{"value":{"amount":"+0.7274340391159058","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":"Q3568707$C6A1CD9A-DA72-476E-98A6-466B29DBE146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9b85a94a1b75b1e5aeb5a464bf580e6491df5c","datavalue":{"value":{"entity-type":"item","numeric-id":5412432,"id":"Q5412432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18bef78d1561ebc3aa90cfb50e20943cf83f2ec3","datavalue":{"value":{"amount":"+0.727328360080719","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":"Q3568707$36237D05-F54A-4DC3-8763-88A2DF670482","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3568707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3568707"}}}}}