{"entities":{"Q3598006":{"pageid":5627912,"ns":120,"title":"Item:Q3598006","lastrevid":49648183,"modified":"2026-01-08T16:22:08Z","type":"item","id":"Q3598006","labels":{"en":{"language":"en","value":"The Four Colour Theorem: Engineering of a Formal Proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5500493"}},"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":"Q3598006$80B25A9B-06E0-46AA-987B-65EBE0349A5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4485e26a51e37da4ed1f54bf3bb0be473c2c144","datavalue":{"value":{"text":"The Four Colour Theorem: Engineering of a Formal Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3598006$54100F96-7BD6-496D-8761-11C36C561FDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbde368702e1ee4f5d8ceb9e09c838040c223b6b","datavalue":{"value":"1166.68346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3598006$EA6FFF0E-099A-47DD-9630-BE5FE571BE76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e30edaeedab70995fb9c6726d1bfaef8233d80b8","datavalue":{"value":"10.1007/978-3-540-87827-8_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3598006$BEF5A4F0-71CA-4399-A670-BE40FB9DCE65","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":"Q3598006$FC1284AD-DF18-4E3C-9A2F-FF171ED2BD03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"946961da54aa33234426310db89f3483e954c09d","datavalue":{"value":{"entity-type":"item","numeric-id":2799546,"id":"Q2799546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3598006$7F6266BC-F3AF-4EA0-9ED4-EFB46B81A22B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb6acab23889a0ed3b92367ee7861f8c14e06ffc","datavalue":{"value":{"time":"+2009-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3598006$B24DFA7B-0DDE-468E-BC4D-BD5537DBA315","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3598006$8BFF6524-60EB-4F98-8851-460DDC0C7611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3598006$6A028E4F-1483-49AC-94D1-DEDFAC4D2396","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1d947278d58d21534308a36fbbbc90fc9cc59fa","datavalue":{"value":"5500493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3598006$E0E0167C-526F-4104-9F41-3AF4F0575F9C","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":"Q3598006$A8C13803-C7B3-4072-8840-89060BF45AAB","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":"Q3598006$DF1FCA69-25FB-40FC-9B10-6A6DFEF08CC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8baa94921d129fe775eb30e02dd6cef904e1e308","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87827-8_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3598006$4FD4DF64-3C4F-46B0-A4BD-F95AEE6C8A6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc5dcfd377fdd7ad8a6e7e54ec947fd5074d210c","datavalue":{"value":"W1503170941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3598006$D61A6A81-1629-4AEF-A562-1AEA09624356","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229fe24d9eb2e29f12beb6699f750b1db9dc03d9","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a06669d07a4ad35d22d2a88257698607259fa9","datavalue":{"value":{"amount":"+0.9406524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3598006$07337377-7944-423C-9239-01057753E6B3","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":"56bf530e80b7366e1a7dcea07a4ee29dfdd0a855","datavalue":{"value":{"amount":"+0.9277444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3598006$4E8D99DC-6860-43A8-8E15-6D6400A23735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61735b439cc975b6afc964b6812c1c299fa0853e","datavalue":{"value":{"entity-type":"item","numeric-id":1369648,"id":"Q1369648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610b8243059b25d9430f02ca196a715d5c411b77","datavalue":{"value":{"amount":"+0.9196068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3598006$F58ED6B5-BD2F-43ED-8AB5-58B4A40829D7","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":"8d819fbe99592160a8f7f35d7af4976ec17ef719","datavalue":{"value":{"amount":"+0.9147924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3598006$A3FB902A-2D00-49A1-B006-362FB9865D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f13679e16848a9a6bfa55879d90999b84b9b3a0","datavalue":{"value":{"entity-type":"item","numeric-id":4528824,"id":"Q4528824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1c06f9ea067132d60ebff06890aed5f4b9ed92","datavalue":{"value":{"amount":"+0.90995723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3598006$2AFE3CF3-1ED8-43CE-BDDA-086CC9FEC979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ecc5a0cefbe462910b947add04c6fe22012217","datavalue":{"value":{"entity-type":"item","numeric-id":2697659,"id":"Q2697659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df339d0d715574700bbacfb2432d3c8081ed8287","datavalue":{"value":{"amount":"+0.9060832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3598006$D58ECA1D-A817-4E8E-86CC-7259B31B04B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5332f2679ac0c632df30bb9a9cc4504e378d63","datavalue":{"value":{"entity-type":"item","numeric-id":2856478,"id":"Q2856478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e972fcf2187279e3812f5165a63f814135d6ee","datavalue":{"value":{"amount":"+0.9036001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3598006$C1974D16-C7DD-4863-8888-A5B92E4A34FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045e89c461d0aa1accd851f5a6ac802e37496ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4865969,"id":"Q4865969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1173f43705ef9b10a97dd3a46313578c7d22770b","datavalue":{"value":{"amount":"+0.9031033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3598006$D78DFAE7-157F-4AC1-976A-01A348DA853F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3598006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3598006"}}}}}