{"entities":{"Q7361730":{"pageid":31520729,"ns":120,"title":"Item:Q7361730","lastrevid":105368372,"modified":"2026-10-07T13:37:28Z","type":"item","id":"Q7361730","labels":{"en":{"language":"en","value":"Impossibility of the Dissection of a Cube"}},"descriptions":{"en":{"language":"en","value":"AFP entry Cube_Dissection"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9f979ebb7fdfad9685c37c8ba380fe839143109","datavalue":{"value":"https://isa-afp.org/entries/Cube_Dissection.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361730$F981F761-C273-4B8F-8363-8722A089CBBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f96ac7275d61f3d4d6d9246127bc33eecbd5c19","datavalue":{"value":{"time":"+2024-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361730$ECFFFE1D-7E11-471F-8FAF-2522BC883B61","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"0fa7edccabd8837f7aa2286b1b41406a95e6de26","datavalue":{"value":"Thomas Holme Surlykke","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361730$DF40EB62-289C-4C00-B50A-B0D3C7FC47A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c71de67703a68377fabe18b549ceac3c6a2ca5e8","datavalue":{"value":{"text":"Impossibility of the Dissection of a Cube","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361730$F29D4CD0-6E63-4EDB-8EA1-5129AC61E53D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"59c3b06b249e516c9c31a7a7f8842f936cb213f1","datavalue":{"value":"This entry formalizes Littlewood's argument, demonstrating that a 3-dimensional cube cannot be dissected into a finite collection of smaller cubes, each of a different size. The formalization addresses theorem #82, \"Dissection of Cubes (J.E. Littlewood's 'elegant' proof)\" from Freek Wiedijk's \"100 Mathematical Theorems\" list, and is based upon a prior formalization in Lean.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361730$A3E5A947-3F50-4027-9CB5-77A6153652EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6161d1b70861302503675c20d17f4feedbf52ceb","datavalue":{"value":{"entity-type":"item","numeric-id":3739101,"id":"Q3739101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361730$534D0C5A-E3B8-40DB-9C58-2E63F58CFA82","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361730$B979B3A5-AC40-48CC-ADA8-8C8392F8AC19","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"d75ba9426f5726a5b7c54c54aebad10c3a3c7f9a","datavalue":{"value":{"entity-type":"item","numeric-id":7360826,"id":"Q7360826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361730$A44E77BC-B0F2-463E-B1AB-F77B64AC7F75","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361730$07AFB32E-B16A-49F4-9967-7FCDB26E92BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Impossibility of the Dissection of a Cube","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Impossibility_of_the_Dissection_of_a_Cube"}}}}}