{"entities":{"Q6591107":{"pageid":14202264,"ns":120,"title":"Item:Q6591107","lastrevid":55731826,"modified":"2026-02-17T21:50:13Z","type":"item","id":"Q6591107","labels":{"en":{"language":"en","value":"The Cayley-Dickson construction in ACL2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7900038"}},"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":"Q6591107$F9A2330A-9875-4C1A-8A02-C6961A4271CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c178c86157afa75f0fe0322c47572f9a184a1933","datavalue":{"value":{"text":"The Cayley-Dickson construction in ACL2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6591107$F6587093-03CA-46E6-ACEE-B573F7B28B2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3064c548fb238d71dbd15832dc9b2117bf93634","datavalue":{"value":{"entity-type":"item","numeric-id":1135305,"id":"Q1135305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591107$E23C45B7-782F-4FF2-B800-3848AE87CE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53de145c1476af14e05c31ec8165f08e3c85436f","datavalue":{"value":{"entity-type":"item","numeric-id":230813,"id":"Q230813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591107$01E31511-6F29-460F-8B7D-A6ADF5ECADDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9687acae5da393c6af44bb0de5f00562dfeae79b","datavalue":{"value":{"time":"+2024-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6591107$DBA87A1F-ECF0-457D-8834-B1BC9FC30282","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591107$E564C7D8-5F8C-4216-9948-1F56115E68C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba5f7486cfb64f062d1b1d8e48f356198d5bc8e7","datavalue":{"value":"15A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591107$3EEBC7C6-43A0-498D-BF27-5F364A08851B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"139c08ed1708f58d4d3564f39657ffe955163b4a","datavalue":{"value":"17A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591107$915BA8FC-922D-431F-8C0F-8A28018E78AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591107$606A501A-F854-4097-82CE-727D50E298EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b5e32a44852573848103f371d1731daa1fb9a48","datavalue":{"value":"7900038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591107$6B409E36-7C32-426F-8FF9-DF765E5D2C8E","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":"Q6591107$8EEA9B33-41A9-4492-84AE-BD6A99DD8CD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5079637c3b4278cb08e7b4204c776a8ce2c4db3","datavalue":{"value":"10.4204/EPTCS.249.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591107$01EACCCC-8E1B-49D4-9359-EF7F85E4C1F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c866136d695ecaceabea9f8beb281da95cd30522","datavalue":{"value":{"entity-type":"item","numeric-id":2852171,"id":"Q2852171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f1e7d42c21a52b426ccf63a5b5e6087032366b","datavalue":{"value":{"amount":"+0.8033020496368408","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":"Q6591107$C12087FE-7290-4749-ACA8-232D91E2A0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0673439174619c49097b8ed257b5f344741d96","datavalue":{"value":{"entity-type":"item","numeric-id":297570,"id":"Q297570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3baf65edef0649b4a9f5be832c99b98220f0d07","datavalue":{"value":{"amount":"+0.718835711479187","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":"Q6591107$1567724E-59FD-4866-AAFF-40BD404BA25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7053e83a93b79801f2c0ec012022b8004b91e52","datavalue":{"value":{"entity-type":"item","numeric-id":616278,"id":"Q616278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db569b23e93bb6fc20ff06b1e55187df16744ee2","datavalue":{"value":{"amount":"+0.7077726125717163","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":"Q6591107$5C9C0C08-6527-45EC-9D69-523BA287617F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14055b29739dfb0373d496a3703a1cbb0c30a67","datavalue":{"value":{"entity-type":"item","numeric-id":5931646,"id":"Q5931646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4610629dcebd05bf8c26361e16e5bf5106503040","datavalue":{"value":{"amount":"+0.7005448341369629","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":"Q6591107$7423F320-CBB7-459A-B18F-2B79A4B55700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aeb66fd5322055c34473669eb1bcd03a6d116ad","datavalue":{"value":{"entity-type":"item","numeric-id":3218252,"id":"Q3218252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619c4fc2d4033189dc4d719f8bbd910ed1e1b723","datavalue":{"value":{"amount":"+0.6936832070350647","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":"Q6591107$BF99743D-9444-41FC-9966-26293175A2CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6591107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6591107"}}}}}