{"entities":{"Q5302559":{"pageid":7332133,"ns":120,"title":"Item:Q5302559","lastrevid":50533427,"modified":"2026-01-14T07:52:53Z","type":"item","id":"Q5302559","labels":{"en":{"language":"en","value":"Formal proof - the four color theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5486210"}},"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":"Q5302559$9A053469-418E-4782-A6A8-F435530E6358","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f6d27f0cc4a6dd06fe666ed995a3efcef4ef45c","datavalue":{"value":"1195.05026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302559$D28D8334-2716-4044-B709-71CA39C06539","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fe183d93c029e0aa92279cd45c5ae8bafa3a4ae","datavalue":{"value":{"entity-type":"item","numeric-id":1084851,"id":"Q1084851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302559$445E5C6D-85B1-480C-847B-5606A2BFA7B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d55a0bf8b3b64224045ad841b57d4f9669a829de","datavalue":{"value":{"time":"+2009-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5302559$9031740F-42A9-4375-B230-63F3B90CD87C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72577003f82c61e42011eb681336d48443e5c29c","datavalue":{"value":"http://www.ams.org/notices/200811/tx081101382p.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302559$F1FB1B15-D559-42C2-932C-94843D0D49B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302559$BD423056-965C-4D94-9177-FB2957B0ABE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302559$BE0D61CF-F6A4-4D0C-B54A-5B318135F39B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e33e42127348ccd447b16bfdf21c4cf1d4767604","datavalue":{"value":"5486210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302559$C6DE9F05-BA9E-48AA-A5C9-B652B1F74AFD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302559$93DDC403-7A79-4E01-8E80-025AB29D69B1","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":"Q5302559$5377166F-3901-4748-9C6E-9F7B905E3881","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b24078e300bd50b8e4682537abd90a4023fa8b","datavalue":{"value":{"entity-type":"item","numeric-id":3598006,"id":"Q3598006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063d5f6bba28288062546650631fc45e56a19905","datavalue":{"value":{"amount":"+0.8889181017875671","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":"Q5302559$F27D98D0-CE3A-489E-B0C9-0E7B25C4122C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b88fa7fd9ea0f7ac257d424e6204741128b890","datavalue":{"value":{"entity-type":"item","numeric-id":3092009,"id":"Q3092009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74b493d0f6d617f4556ca51390c78517df07e7c","datavalue":{"value":{"amount":"+0.8099438548088074","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":"Q5302559$2BFE0D6D-7D93-426D-8720-A59F06131D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565937aa9a61ba385fb271ba12bbd59207b1f27a","datavalue":{"value":{"entity-type":"item","numeric-id":4340879,"id":"Q4340879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34b05166f13e2b231e710a5e26b879e719556bb8","datavalue":{"value":{"amount":"+0.8084124326705933","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":"Q5302559$97473BD7-2778-4E70-9279-DA9FEA20631E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052a9b1f73026278b64ad1a7b5ac8a34ed9d9265","datavalue":{"value":{"entity-type":"item","numeric-id":4208548,"id":"Q4208548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07ccf4812cef6c6e2625f5dadc897bdf18fcd29","datavalue":{"value":{"amount":"+0.8044018745422363","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":"Q5302559$C1968119-58D4-498E-98A9-DC3D4B874EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf6fc950957a8924ddfc07833bd38d521f11196","datavalue":{"value":{"entity-type":"item","numeric-id":4873183,"id":"Q4873183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c0b245d99eed18d324d4b8bee8fd4cf5323d9f","datavalue":{"value":{"amount":"+0.804401695728302","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":"Q5302559$7074BB33-2AE7-48E2-9108-669D52FF6931","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5302559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5302559"}}}}}