{"entities":{"Q2430657":{"pageid":2441400,"ns":120,"title":"Item:Q2430657","lastrevid":51224636,"modified":"2026-01-17T08:05:30Z","type":"item","id":"Q2430657","labels":{"en":{"language":"en","value":"Study of the Kepler's conjecture: the problem of the closest packing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5876182"}},"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":"Q2430657$96B9DF4F-B365-40E9-B65F-E393E2DDBA54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddf8347c987dbd1d2fab0370d8bd0b38a5f040ac","datavalue":{"value":{"text":"Study of the Kepler's conjecture: the problem of the closest packing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2430657$F6E57393-EAF7-4221-A7A7-0D6626A80AA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d07312767618ec45477aeca80f1dfde1b1d7976f","datavalue":{"value":"1243.52017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430657$842313FD-C0A9-4953-B926-3928ADAD6E39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430657$5A24D881-EAC3-4161-B394-2A3E1880A5FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1beccbec989ffb1c4fd65076dee92c66a4eff836","datavalue":{"value":{"time":"+2011-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2430657$F7DA5BBE-36BE-4688-9FE1-6CF639740ACE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4193454c26de431076ea2466613740200734cb7","datavalue":{"value":"Kepler's conjecture says that the densest packing of the \\(3\\)-space with unit spheres is the face-centered cubic packing, having density \\(\\pi/\\sqrt{18}\\). In [Ann. Math. (2) 162, No. 3, 1065--1185 (2005; Zbl 1096.52010)], \\textit{T. Hales} gave a proof of it which strongly relies on computers, by reducing the problem to an extremely complex optimization problem in which only finitely many spheres are involved.  In this paper the author proposes a different and simpler method of reducing Kepler's conjecture to a problem with a finite number of parameters. This reduction is developed in the first and second parts of the paper by the usual approach of constructing a domain for each sphere of an arbitrary packing, such that (A) the associated domains are pairwise disjoint, (B) each one lies in the immediate vicinity of its corresponding sphere, and (C) the volume of each domain is larger than a suitable constant. In the third part it is shown that the latter finite problem can be solved by a numerical verification by means of a finite number of computations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430657$3CD3FA36-293A-4709-884D-EEE9BF613710","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f7a36aa67b9e3f569fa10df69926f91e65940d1e","datavalue":{"value":{"entity-type":"item","numeric-id":254056,"id":"Q254056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430657$B5B0A584-AC43-4733-BD50-619BA51185AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4e1df7ba929664ba7b91d5a816f05411516abc3","datavalue":{"value":"52C17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430657$341FFBB1-803A-453E-817D-51B53A53F9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9000ea0c20db095574a7654c93ecaccd80d74522","datavalue":{"value":"52C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430657$E3DB9E09-477A-4CB4-8E0B-ED8FEF4582FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"843de71235f44a800ae389e1734df6bb7650efec","datavalue":{"value":"65K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430657$EF5529E7-8483-4B69-BF74-4342634968F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24866e8799f54fc30becb6c0ca9b5c237fab499a","datavalue":{"value":"5876182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430657$057602F6-B1EA-47A2-90C7-23F226474011","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25e7168108c0e0b8fb21891bf144316ecb1f0f35","datavalue":{"value":"Kepler conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430657$3BD99F25-9DB5-4DB8-9261-0E954BC451D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d75dee2b9e72d819e214c3c0229376f0532217","datavalue":{"value":"sphere packing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430657$406838B2-E7B4-42A6-8F75-7A08F4F060BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57e5923035e04c56099ecf396cddf4696be55e9e","datavalue":{"value":{"entity-type":"item","numeric-id":691204,"id":"Q691204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430657$E7E2F6D1-B54E-42EB-9690-12DD5A93A3DE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f6d850f975bc25e0568517b3c02303571bd5b34a","datavalue":{"value":"Q56267711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430657$EB8D0BAF-A7C3-4CFD-971D-06262AA399BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430657$940B16F0-D8A7-4825-A92C-5E2914AA1428","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":"Q2430657$C4741FA8-0B1E-4527-8223-BA146DDD37D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a960681243992aee836b05cfe870c9c1564e3a06","datavalue":{"value":"https://doi.org/10.1007/s00209-009-0644-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2430657$A9A3B98A-48EF-41A3-8711-CCB4436A010F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17409e14fa69c3e460e1fb1acc4ae5bb04ff58dc","datavalue":{"value":"W2057544595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430657$48C178B1-9FB3-4FE3-9DA6-F2262D9149D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fac8018d67440c6289d41ba6a99a91f9d3e2025","datavalue":{"value":{"entity-type":"item","numeric-id":2494223,"id":"Q2494223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430657$88F869BA-5267-41D7-92F4-8AC68616DA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12cc55e92b998c9429cbf8d09a9759d97e7d6ef","datavalue":{"value":{"entity-type":"item","numeric-id":2650816,"id":"Q2650816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430657$2D059992-26D7-4644-8AE2-9C57A9E4141E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01c191891ac803f5bbb28dc3ec0bdcaa0bcbeaf0","datavalue":{"value":"10.1007/S00209-009-0644-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430657$F4E46222-1654-47B0-840D-5BD4A1E6F31A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ec07b566aae37575b3d1ae6373e81a3f4e38c6","datavalue":{"value":{"entity-type":"item","numeric-id":2365323,"id":"Q2365323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477ae6dcb0280344ffc630f98e1bfaac0fd305d7","datavalue":{"value":{"amount":"+0.8986971974372864","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":"Q2430657$77D4D26E-6A1E-45C5-A252-10F388C18857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ccb0997fb8f5eaf8eb46d863fa1a6cbde81a59a","datavalue":{"value":{"entity-type":"item","numeric-id":734997,"id":"Q734997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471161cc7e1e5b6f80d3231d08467ff86a1dcffd","datavalue":{"value":{"amount":"+0.8985551595687866","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":"Q2430657$1D537F6F-570B-4013-ADAB-BD1EB0710A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f402668fb16ccac838c98b369a314a2684b607c7","datavalue":{"value":{"entity-type":"item","numeric-id":2494223,"id":"Q2494223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce71aec1066e52c8ac81b2dcf5d63c5ba9758ec","datavalue":{"value":{"amount":"+0.890823245048523","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":"Q2430657$D7A7E70E-F670-4934-9782-E79957588394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f85489e149229cb1c4e83aa4c47eb8f0f34726","datavalue":{"value":{"entity-type":"item","numeric-id":4287348,"id":"Q4287348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50f84cbb16bb67c0e5bb0ae0fae8be2d4c860f6","datavalue":{"value":{"amount":"+0.881664514541626","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":"Q2430657$DFDD5C7A-5879-45D8-8C5B-9B0260EAB9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2978c72b207bf0f56b4115779067e41eb8d3ac95","datavalue":{"value":{"entity-type":"item","numeric-id":4549245,"id":"Q4549245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73956b3d1aa6ec59850202a268710144f739bb03","datavalue":{"value":{"amount":"+0.8769837617874146","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":"Q2430657$F93A5464-88B6-4153-A488-6C1D357590C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2430657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2430657"}}}}}