{"entities":{"Q5412432":{"pageid":7442006,"ns":120,"title":"Item:Q5412432","lastrevid":96164549,"modified":"2026-06-05T10:34:27Z","type":"item","id":"Q5412432","labels":{"en":{"language":"en","value":"A still shorter axiom for trimedial quasigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6288962"}},"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":"Q5412432$AD99DF4A-6D84-44FB-A00D-62122C517D1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13e1bf4fcd4159a1043011c4a966f1d0685dc883","datavalue":{"value":"1294.20076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412432$6EC17142-6E97-4EE4-8925-3392375724D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389fdfce3263bb127e5fb43e59f98e1edabc15f7","datavalue":{"value":{"entity-type":"item","numeric-id":856855,"id":"Q856855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5412432$E6E60FE2-CE94-493E-8249-CBB63BC1DE98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07323bd4d87d7b63802000e5f173e59ae08b7683","datavalue":{"value":{"time":"+2014-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5412432$250B6D33-B718-489C-ABB6-48FC2AC35B10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412432$32F5674D-9FD9-4C4E-9AEF-2E06FDF18305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd43a1b9f2417f5aebe919f08e6aa2b510501c27","datavalue":{"value":"20A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412432$3070E40A-A6E8-4BB5-89FC-3B63D3C8CC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412432$73B93800-0173-4C03-A648-8E7BB7BC2D19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce50e713f3aa613015002e2970bc45f445e70d58","datavalue":{"value":"6288962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412432$35815F72-5ECF-4DC2-8EB1-99F82535B293","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271994a7c06c20e61fa28965f1a6f9cb20123d39","datavalue":{"value":"trimedial quasigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412432$DF508982-2FDA-493A-BD5A-D49670E4F76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412432$2A131DAB-381F-495F-AF6A-A7797CABA843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b1e23fdd462c5b13a4f6adc3682604d0ec6bd6","datavalue":{"value":"axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412432$843DEB90-5C95-4AE5-9750-E88778C3690C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d6a7c45b6fa152c1fa360245eff4f514052fa9","datavalue":{"value":"identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412432$6AD519FF-EB3E-4F36-B4E3-744669692C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1585ca8380d459cc6fef1e6ce4a61850ace366","datavalue":{"value":"automated theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5412432$16B09BDA-2D20-4A74-A36B-E3D50EAC6B12","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":"Q5412432$7EC0DE61-DEDF-4859-A797-E5A91105B6F1","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":"Q5412432$B7EB6C21-C755-466F-9478-628EE681103B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8745d8c39dcba83d5fea2eedd557eff54ed2925","datavalue":{"value":{"entity-type":"item","numeric-id":5488174,"id":"Q5488174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f4a81738961704ec483994d4827e5ea1b2776b","datavalue":{"value":{"amount":"+0.873123288154602","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":"Q5412432$E62E12C2-C8C2-4629-8F94-8616EE9BFBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcba6507d5c016583ec92035126e628a42ff8910","datavalue":{"value":{"entity-type":"item","numeric-id":4801828,"id":"Q4801828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce273dcff323ac086f6be883d9f9e9618b7bda2a","datavalue":{"value":{"amount":"+0.855208158493042","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":"Q5412432$866DB9A2-1048-4ED2-AA78-362DA78117DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc1cca05fb8bae6ce3db9dfb8e45977782b0239","datavalue":{"value":{"entity-type":"item","numeric-id":3699937,"id":"Q3699937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2abcad476232176dfb62163917db00896dd25c02","datavalue":{"value":{"amount":"+0.8543130159378052","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":"Q5412432$622B4459-56A1-4200-8E9B-E44E5AC57575","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":"992eac82024a63baa5db3118d8ce2ec7e15c1aeb","datavalue":{"value":{"amount":"+0.8239119052886963","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":"Q5412432$7B21FB97-481F-487B-8187-567D70E0D59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a9037691326dbfc450581318d520e3799a104b","datavalue":{"value":{"entity-type":"item","numeric-id":3744388,"id":"Q3744388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4969fdbd207d92637cd7a610ef8fc97d6c5d5289","datavalue":{"value":{"amount":"+0.8169823288917542","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":"Q5412432$1F0A9385-E1B7-4EAD-9066-642DF1ED39F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A still shorter axiom for trimedial quasigroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_still_shorter_axiom_for_trimedial_quasigroups."}}}}}