{"entities":{"Q4488034":{"pageid":6517633,"ns":120,"title":"Item:Q4488034","lastrevid":108603329,"modified":"2026-11-07T03:47:45Z","type":"item","id":"Q4488034","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1464669"}},"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":"Q4488034$79ACC19F-0DB0-432E-B8CA-698535B9AA4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6514c3e68022efe04b7e24be98ca57eebb73ae12","datavalue":{"value":"0958.52022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488034$4A4CE052-9515-40A7-9E77-F437EAB23E31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21ad0443433ace3dc83e806bfe3f518f8a05fe39","datavalue":{"value":{"entity-type":"item","numeric-id":795168,"id":"Q795168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4488034$C7ACED09-9465-48BC-A53A-C27D4271F382","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e30835a212c7d83558e23d1d22b37ca6a96692a2","datavalue":{"value":{"time":"+2000-06-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":"Q4488034$256B0E8E-91CE-4D7B-A427-F7A009B9939C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bbdc13625b370597964600d590aaee3c35e420d","datavalue":{"value":"http://www.numdam.org/item?id=SB_1998-1999__41__405_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4488034$5EE9E73D-D658-49A2-9B31-7688D8FCAE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c4dae5e408f651ba514e873ca957b869c166547","datavalue":{"value":"https://eudml.org/doc/110266","type":"string"},"datatype":"url"},"type":"statement","id":"Q4488034$5683F9BB-9DE9-4660-83FD-A7D58612B5FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4e1df7ba929664ba7b91d5a816f05411516abc3","datavalue":{"value":"52C17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488034$C3E03A1D-D454-48AB-B2C5-D6D60BB99B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143bf73f3f2801b42b1d69fc571c2af593dde5c","datavalue":{"value":"51M16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488034$8F3B09A4-F902-42B7-9A72-5BAC17286734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488034$05960E14-2EE0-4864-8F0F-587B1F49875D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1e1fd23aa38223f301209a35a49ac1394c66d74","datavalue":{"value":"1464669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488034$DF567EA5-090A-4CBB-91A0-424B1B0BAC3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3140a70de7ebebb5bf9ff1c199678f71477a1a76","datavalue":{"value":"maximal density","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488034$F10B5C93-69FD-4B49-A90B-9F767CE1EB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43072fa5661e5bc1050b844a3aeb6e8a7b65a82a","datavalue":{"value":"18th Hilbert problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488034$171A0755-2A4D-4D23-B570-5AD3751C76A1","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":"Q4488034$14C96A94-2D8B-4735-94E1-AD4953078C30","rank":"normal"}],"P1643":[{"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":"efd2387b04a1ccd69aa1e42a6fb5900b6dfc4676","datavalue":{"value":{"amount":"+0.8658784031867981","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":"Q4488034$1A2D026D-ED8E-433D-8FA4-764D4BE7F27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a18f6d0b7be27ea0c307ca12eec9ecd630e4c2","datavalue":{"value":{"entity-type":"item","numeric-id":2430657,"id":"Q2430657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498a074a27b19dc5954893bc9a44fe8f795117fd","datavalue":{"value":{"amount":"+0.8651949167251587","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":"Q4488034$886E0E21-ED54-47D2-BFB7-F6CD5EA48046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778089b330cd437ad12ab456f3217d9568a51681","datavalue":{"value":{"entity-type":"item","numeric-id":4370984,"id":"Q4370984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939d8766cfa07a11ba6d79e96ed7af75f11663dd","datavalue":{"value":{"amount":"+0.8651731014251709","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":"Q4488034$229A07A8-54C5-42BC-ADF0-04FC472924AA","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":"939d8766cfa07a11ba6d79e96ed7af75f11663dd","datavalue":{"value":{"amount":"+0.8651731014251709","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":"Q4488034$59988428-8A29-4A1D-AC00-5F2423F124C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0dcd75223334b7c3e2a0cae0f88f57f7ae052cb","datavalue":{"value":{"entity-type":"item","numeric-id":3094959,"id":"Q3094959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8cc76f2cf39190e10e4b291381a03b6d3fd84a","datavalue":{"value":{"amount":"+0.8628050684928894","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":"Q4488034$F59376AE-720A-459D-9665-7778802A61D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"77c029b4c7d586efad71acf4e7a40fb3c0b5f027","datavalue":{"value":"Verf. skizziert Geschichte, Problemkreis und aktuellen Kenntnisstand (Juni 1999) der sogenannten, erstmals von Kepler (1610) als Behauptung formulierten ``Keplerschen Vermutung'' (KV): ``Im dreidimensionalen euklidischen Raum \\(E^3\\) ist die Packungsdichte kongruenter Kugeln stets \\(\\leq d: =\\pi/ \\sqrt{18}\\approx 0,74048\\)''. Die Packungsdichte \\(d\\) wird z.B. erreicht bei der dichtesten gitterf\u00f6rmigen Kugelpackung -- hier bilden die Kugelmittelpunkte ein fl\u00e4chenzentriertes kubisches Gitter im \\(E^3\\). Der auf die Einleitung folgende Hauptteil der Note gliedert sich in die vier Abschnitte 1: Zur Geschichte der Kepler-Vermutung; 2: Dodekaeder-Vermutung und Problem der 13 Kugeln; 3/4: Prinzip/Strategie des Beweises der KV durch Hales und Ferguson. Er spannt einen Bogen von Kepler (1610) \u00fcber Hilberts 18. Problem (1900), den Vorschlag von L. Fejes T\u00f3th (1953) zur Zur\u00fcckf\u00fchrung der KV auf ein nichtlineares Optimierungsproblem endlicher Dimension sowie den offenbar l\u00fcckenhaften Beweisversuch der KV durch W.-Y. Hsiang (1991/93) bis hin zu dem im Titel dieser Arbeit angesprochenen, computergest\u00fctzten Beweis der KV durch T. C. Hales und S. P. Ferguson (1997/98). Dieser Beweis erforderte die L\u00f6sung linearer wie nichtlinearer Optimierungsprobleme, wobei letztere durch geeignete, dominierende lineare Optimierungsprobleme ersetzt wurden; insgesamt waren hier ca. 100000 lineare Problem mit jeweils 100 bis 200 Variablen und 1000 bis 2000 Nebenbedingungen zu l\u00f6sen. Der Schlu\u00dfabschnitt 5: ``Ist die Kepler-Vermutung nun bewiesen?'' gipfelt in einem Credo des Verf. zu den Ergebnissen von Hales/Ferguson: dieses st\u00fctzt sich sowohl auf die sorgf\u00e4ltig angelegte Strategie des Beweises als auch den konsequenten Einsatz der Intervallarithmetik bei seiner computergest\u00fctzten Durchf\u00fchrung. Literatur-Hinweis: Die im wesentlichen gleiche Thematik behandelt auch \\textit{J\u00f6rg M. Wills} [Int. Math. Nachr., Wien 179, 2--5 (1998; Zbl 0933.52022)]. For the entire collection see [Zbl 0939.00019].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488034$5AFB186F-5341-4A7C-B01A-ED3A71C3F43F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0beeba76693a6ee1de6e5aa2cf44b9c7b55f50eb","datavalue":{"value":{"entity-type":"item","numeric-id":7415131,"id":"Q7415131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4488034$B3355A2E-D1B8-4418-AA3A-084B3D93F22E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4488034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4488034"}}}}}