{"entities":{"Q3568233":{"pageid":5598137,"ns":120,"title":"Item:Q3568233","lastrevid":51015218,"modified":"2026-01-16T05:31:40Z","type":"item","id":"Q3568233","labels":{"en":{"language":"en","value":"Automated theorem proving in quasigroup and loop theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5722881"}},"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":"Q3568233$DA3B2C30-398A-49D8-806A-0A1308E0C712","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69ce4d5182173407d45f7271792379575d18fca4","datavalue":{"value":{"text":"Automated theorem proving in quasigroup and loop theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3568233$917F9B97-8D72-46AD-8B0E-87D93EE6FEA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f593b96c96cb6eb1817204774940234865f0d480","datavalue":{"value":"1204.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568233$FBBC50AB-EFAF-4F46-8665-B1B8F00D37CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e06e22fdb1ed031e931309e9d3556accbfd8e0b4","datavalue":{"value":"10.3233/AIC-2010-0460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568233$02530613-3458-42C9-A603-7C587989EC9E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568233$78C8F45B-2A81-461E-A6BC-B614D6242947","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3568233$AA2D5283-DA19-4847-83F6-0BC476062691","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568233$44877C16-30DB-4806-A080-5A3B9C7FF8AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"533a59b66918e3b8a40837f75941e694e8a051de","datavalue":{"value":"5722881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568233$744F9EC8-E2A2-473C-B4D5-55E54504D9AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568233$429096F4-CFF4-46E3-9339-D1DB008C82E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67c84447d295f7d9ab1bf3bb2d32335e5a0ba755","datavalue":{"value":"quasigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568233$F6B9C030-1ADC-4654-9127-CC5EEF1D2485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d991e63a90f3eab03d4d7492fce68095235234a","datavalue":{"value":"loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568233$37F0594F-369D-4BCC-B232-66C04AE3B7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceea8e0640621e8a704ce1a7909d4a13fe9ba053","datavalue":{"value":"non-associative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568233$9238F9C4-E38F-4DCD-82C1-35BA3B11FE6D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568233$23BC2898-3A35-4811-8017-B4C3618AA175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568233$E93AA860-0057-486A-8F58-BE7FE3FFEB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568233$3552A257-C775-41F8-B74E-3EA7817DB7CE","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":"Q3568233$A7BB3B76-3FC7-4D19-9842-ECA6208D0AE0","rank":"normal"}],"P1643":[{"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":"4b869485852e5800f1579b504c3d3afb4f5009d6","datavalue":{"value":{"amount":"+0.8476830124855042","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":"Q3568233$1AF10BBC-762F-4652-AC9C-F2BD8BD7E0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7339ee79e14d354d8209530e4ebcf73f8495dbf9","datavalue":{"value":{"entity-type":"item","numeric-id":3568690,"id":"Q3568690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2c00d077d28c4396cd2ecbe6c5fb318ccc6942","datavalue":{"value":{"amount":"+0.8337723612785339","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":"Q3568233$DBDF9DED-E792-4DD0-8138-9C100BA354B9","rank":"normal"},{"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":"035a04a641b3a8d594288b6f28f1bbc97a89d4f9","datavalue":{"value":{"amount":"+0.819780170917511","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":"Q3568233$DBD81FBA-ABDD-42F2-AF49-9E9B5EE4AAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ccf2f5a61cc4fdd628c57db50e5eec2dd18ea0","datavalue":{"value":{"entity-type":"item","numeric-id":1105012,"id":"Q1105012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035a04a641b3a8d594288b6f28f1bbc97a89d4f9","datavalue":{"value":{"amount":"+0.819780170917511","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":"Q3568233$AE286252-5848-41EA-90D3-DA4D4FEE0510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30dd95b7cae18d21af945c6add923b04d1d28d64","datavalue":{"value":{"entity-type":"item","numeric-id":4913865,"id":"Q4913865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3ec86d17b95244944488a06f79bc6399187a7f","datavalue":{"value":{"amount":"+0.7943264842033386","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":"Q3568233$138865F6-11C0-4852-A634-72C5C6DD5F33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3568233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3568233"}}}}}