{"entities":{"Q5890914":{"pageid":7926709,"ns":120,"title":"Item:Q5890914","lastrevid":97483790,"modified":"2026-06-05T14:52:37Z","type":"item","id":"Q5890914","labels":{"en":{"language":"en","value":"A SAT attack on the Erd\u0151s-Szekeres conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6639402"}},"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":"Q5890914$2EA39130-EF2D-4C9A-B02B-D0F34FA19A1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"068f1fe29a7c09308321b5c5f45f8dc15413cf80","datavalue":{"value":{"text":"A SAT attack on the Erd\u0151s-Szekeres conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890914$A6A221C0-2BBC-490B-836C-8D2BAD18A224","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75884bbf33d3377115866c27ad576c959716a65e","datavalue":{"value":"1346.05180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890914$C2303600-F5E1-475C-8697-619C1991BBC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f837b75c4bc8d6ff5130bd270fdb4109166eb62b","datavalue":{"value":{"entity-type":"item","numeric-id":322281,"id":"Q322281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890914$7E0330F4-B84F-43A4-8CAD-7438F7B5354D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9db6c411052d2588352682e19b3702e763b4c761","datavalue":{"value":{"entity-type":"item","numeric-id":322286,"id":"Q322286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890914$6E97E51D-C59E-4E9E-AB42-4CA9E6AB5CC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a136d04e761e9859ba9ed38b65864112febfa028","datavalue":{"value":{"entity-type":"item","numeric-id":111211,"id":"Q111211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890914$939EE502-F9AF-44CE-AEF3-44B35A936D7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b474ab9bc4d92c48e7f4bfbba41d711ae289b102","datavalue":{"value":{"time":"+2016-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5890914$B0D782B3-9096-44F4-A1D1-7CF282C8516D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890914$0DE108C0-01D8-450F-8BAE-D88748E60E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890914$1C09E75A-86F8-45C9-A933-5A1C6437C325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b81fed1ca06e8930440f3ae2c1b914de465c5f39","datavalue":{"value":"52C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890914$B552B549-36E2-4A26-95DB-2C9C525BC738","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a518578bcd4b152471a68862509f7724462701ab","datavalue":{"value":"6639402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890914$F72CE024-058E-49F6-AA4C-B4A823E168C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d24706458c895f71037366984dd44e144e5405","datavalue":{"value":"Erd\u0151s-Szekeres conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890914$616E4073-7B8F-411E-AED2-4B3B32D3EEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ec78b25008456461de6c905d2d26525e47090c","datavalue":{"value":"SAT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890914$DF2E4164-5E8F-40C7-B806-E8EA9A42EE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9244b7ec5d68e19f00f8fdf94bf2099e09b5b59","datavalue":{"value":"convex position","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890914$D894AAAC-6608-40C5-9555-0F8195AD686E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a5447f2fc8145d8620eb8a94429f68b10e97cd","datavalue":{"value":"Ramsey number","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890914$777ECA06-ECA8-48FC-B6CC-3E2529EA7047","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890914$60D79ED5-0AAE-40DA-B281-23E91B970989","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":"Q5890914$B793516C-1FBC-4A90-AEDA-1CEA6DDC4814","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74c8f40c0130eb7341e1410967f2144da08aff5d","datavalue":{"value":"https://doi.org/10.1016/j.endm.2015.06.060","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890914$E4C1D6A8-014A-4034-9F43-9A7F5DA9549E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7c8754c5845a58ad250ad9483e8f265609fa342","datavalue":{"value":"W2201682562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890914$317A33C1-0866-48B3-A0D1-FF0C95BD1492","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f5850798e63aea7ca8056b5529653067434dd0f6","datavalue":{"value":"Q123321869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890914$6C9F8653-B252-46A8-BFF5-11D4D85B842D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1b46e207caa319e80ac185c5eca237919ee7a9","datavalue":{"value":{"entity-type":"item","numeric-id":2256586,"id":"Q2256586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890914$59D96931-46AB-4FDE-8968-D36891A6CA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98d57f6bda4b3eb47eb1b4cdff9796796694fc","datavalue":{"value":{"entity-type":"item","numeric-id":5890914,"id":"Q5890914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890914$DCCB47F5-6CCC-4A27-9A46-8124AE6B7665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9df05cfadd429c919e2c6f49687688f6d1327d","datavalue":{"value":{"entity-type":"item","numeric-id":5759552,"id":"Q5759552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890914$ED297F5E-1DC4-4CCA-B22B-3735A4FB4C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8a40e3dbf619b683566bb917169675f46246dd","datavalue":{"value":{"entity-type":"item","numeric-id":3286826,"id":"Q3286826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890914$4AD41021-3525-431C-98A1-82395AF380FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e102a2fb224bd175f97dec7d61a5b75cdca71ada","datavalue":{"value":{"entity-type":"item","numeric-id":1922879,"id":"Q1922879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890914$BDB72886-7F5D-4846-BA3B-0C71E0BC09FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696e943427d95202a9a3e2ee416ff57e3a79afa7","datavalue":{"value":{"entity-type":"item","numeric-id":3143440,"id":"Q3143440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890914$6A52B68D-DC75-46CF-8F60-4710B0FFC469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd5e3e6ff814bb4f90154506f8f85f5fd1976ddf","datavalue":{"value":{"entity-type":"item","numeric-id":3958473,"id":"Q3958473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890914$B28255CF-7632-4FD6-807C-85335463BC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2995e895172c75ee038401663ed2df02ae1373","datavalue":{"value":{"entity-type":"item","numeric-id":3541568,"id":"Q3541568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890914$22B425CE-5CE1-453C-B327-E2F082383250","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84367048a0efa569194effd41687a8f7a97bddeb","datavalue":{"value":"10.1016/J.ENDM.2015.06.060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890914$DDE4AC6E-1F83-4DC7-928E-A747CC40DA55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b5f6236b949c8183a6bf4963f31218b1fa86e61","datavalue":{"value":{"entity-type":"item","numeric-id":5920081,"id":"Q5920081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785e8040261b1b1cf0452e89540eebe1dfa0ef6d","datavalue":{"value":{"amount":"+0.998684585094452","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":"Q5890914$42ECFE5D-69B5-4CD1-9C12-06E89DAE55C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0bdb0712d4ee23d3368c0248a322b5b05c66be5","datavalue":{"value":{"entity-type":"item","numeric-id":670696,"id":"Q670696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2249de41ed8fcbda1b30788a37c1f373d16ee5e","datavalue":{"value":{"amount":"+0.8430987000465393","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":"Q5890914$DBEFB211-979E-4D9E-B016-F33342AA6D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"025f3e983c1dd0b0bed6986b6913dfcbf9c28f39","datavalue":{"value":{"entity-type":"item","numeric-id":3541568,"id":"Q3541568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5457a28469683c8a12e5cb4d20dfd24da4f2c8","datavalue":{"value":{"amount":"+0.8099697232246399","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":"Q5890914$01E06E34-C1C8-4A1E-BE9E-96F80CABC66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4edc7086e4c8b4facecac9a6e9ea760fd05f40","datavalue":{"value":{"entity-type":"item","numeric-id":5280069,"id":"Q5280069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8ff069c0c192a3cbaf2bb6f9f7e324ac3dbdeb","datavalue":{"value":{"amount":"+0.807925283908844","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":"Q5890914$649D764A-A9E5-4FCC-B30C-1C200DB10394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3353f7f78071776d588a627ed6c7d811fbf032cf","datavalue":{"value":{"entity-type":"item","numeric-id":3653496,"id":"Q3653496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faeaf9be9f4361f49e722b88e8be888cac210a7e","datavalue":{"value":{"amount":"+0.8008992671966553","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":"Q5890914$9C7C5128-3910-4657-B7D7-4FDE158BCAB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A SAT attack on the Erd\u0151s-Szekeres conjecture","badges":[]}}}}}