{"entities":{"Q5920081":{"pageid":8052140,"ns":120,"title":"Item:Q5920081","lastrevid":52897007,"modified":"2026-01-23T18:23:28Z","type":"item","id":"Q5920081","labels":{"en":{"language":"en","value":"A SAT attack on the Erd\u0151s-Szekeres conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6773721"}},"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":"Q5920081$B505C7C2-CF5E-48E1-A2DB-688D24A25A2B","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":"Q5920081$468B3647-A0E6-47B1-B80E-9F2601DF3A41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d2e6828a9724592dfb90caa08820477dd72513b","datavalue":{"value":"1369.05063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920081$CB5132E2-3831-489E-B68F-3C6EAB7FCE3B","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":"Q5920081$124B2295-DADF-437E-B6D3-65327228E744","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":"Q5920081$B7DFE806-77D6-4DEB-96ED-5A229D2F8261","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920081$5B5E1BCF-EF4C-42F8-ABE2-8E38A403E301","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63c638784dcfacc05bc5e243c3fab2d2fff5c04a","datavalue":{"value":{"time":"+2017-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5920081$E492D955-82BD-47FE-BDE9-4E401D0241EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920081$12B754B3-BB2E-49EC-AA66-BAF49E27ED22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920081$3D88BEB3-32F8-48AE-9CE3-65415392648B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a3bb76dbd41580d9287ece5137de80ddf22202f","datavalue":{"value":"05C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920081$8FE6CE2B-ED2B-4EBE-96ED-275FF24C0934","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39361bcc57be627bc0b7db047a78a3241e608df0","datavalue":{"value":"6773721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920081$8B0589DE-3E4E-4F66-814A-19C7C8A64B83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5920081$7D7E5972-E336-475A-9C47-9F7B54F8A32C","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":"Q5920081$2C674A34-93A4-4EC2-A77D-C89D1B846F3F","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":"Q5920081$B5E77CD7-B518-4BAB-831A-3582205B2119","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0469e66f6b59fff36011be335555a565df50a6a9","datavalue":{"value":"https://doi.org/10.1016/j.ejc.2017.06.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q5920081$64231028-D716-4CC4-B413-B73DDDE00DDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"558972edd7b14a983d0264a48b741d8101817e96","datavalue":{"value":"W2735179260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920081$DEC14B6C-8DEE-4D52-9477-959C5F249CBA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7b8718b37890f708adbc099d15196a48fb180bda","datavalue":{"value":"Q123211337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920081$BE10EAEF-FC58-43CA-AACC-F55CF7ED20E1","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":"Q5920081$266C78C3-9053-458B-9E0F-0E8785D5A93F","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":"Q5920081$0131AE09-3CED-4BCF-9760-8D90426400CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47d0517f0a080f36e70fb37ba34688314503de6f","datavalue":{"value":{"entity-type":"item","numeric-id":1387846,"id":"Q1387846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920081$A9277A51-B639-4C08-9A16-5A4B81D08D7B","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":"Q5920081$DD70D5D4-9468-4941-9ED3-E65EEC4462D7","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":"Q5920081$5B326346-29F8-49CF-9AC4-5BEEB21A5AE9","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":"Q5920081$9A546BEA-2624-4C37-9108-52AC296067B1","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":"Q5920081$8BB69406-BA59-44FA-94BC-A5A946B2F2BB","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":"Q5920081$B66E06D3-8EC7-4FAA-90ED-13D1FD617419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add66d0918b8430a2e675b74ef2a3ad4d30e964a","datavalue":{"value":{"entity-type":"item","numeric-id":1387852,"id":"Q1387852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920081$E61B5DC0-0C09-4041-8537-D08A3F310F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff600c639285bb06593ca61942b0f485ac06878","datavalue":{"value":{"entity-type":"item","numeric-id":1202183,"id":"Q1202183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920081$66F06901-387F-45D2-A4CC-3C3D0CF74DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d36a576e5b3166035a747110feb498297b00efd5","datavalue":{"value":{"entity-type":"item","numeric-id":306509,"id":"Q306509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920081$52688E76-ACD9-4D42-BF21-8CB20586C570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77138ba7f08359f36b7440cdfa6b2aa0319c79d","datavalue":{"value":{"entity-type":"item","numeric-id":309659,"id":"Q309659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920081$2D6E2931-E6C4-4472-B167-899D8680A460","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":"Q5920081$4F80928E-FB7E-4D09-9A76-202A4B004DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8aa99fea269dd328651f815c4f4c75fe7db260","datavalue":{"value":{"entity-type":"item","numeric-id":5280069,"id":"Q5280069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920081$C8038420-CE6C-4CB9-A736-9265D37D4935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8b914f64b9a10aeafdbbbd206b980b8685829d","datavalue":{"value":{"entity-type":"item","numeric-id":1387857,"id":"Q1387857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920081$E2085275-97BE-48D0-B3A0-025AE3661856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bf9b727851b60bc52c798392a0099228290cbd6","datavalue":{"value":{"entity-type":"item","numeric-id":5290279,"id":"Q5290279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5920081$31BC3C4D-64FA-4F3E-9243-BF4F233D49F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1564c35c894469eae7c66ee371c762dd2bf4155c","datavalue":{"value":"10.1016/J.EJC.2017.06.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5920081$DDA1F8B2-3BBE-4782-81C7-83C1FCD6DE90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55bef9df5a557367aa0e4a24d27f76142347e1b","datavalue":{"value":{"entity-type":"item","numeric-id":5890914,"id":"Q5890914"},"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":"Q5920081$4855F88C-F499-4411-B536-390BE9D36DFD","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":"1aa377865f5b6b52e53633f417059d8280ea2e66","datavalue":{"value":{"amount":"+0.8403075933456421","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":"Q5920081$3C938F94-018E-45A8-9EDA-26A145E04167","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":"b0a798324608cbbf7c92da233b4f1d7777a93fda","datavalue":{"value":{"amount":"+0.8050302863121033","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":"Q5920081$17F546D3-A644-4561-8361-90B5080450F9","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":"7b14b8a8f50fbe7021fb77c6e4be175ec2ecab43","datavalue":{"value":{"amount":"+0.8041594624519348","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":"Q5920081$6DE49B99-0666-4A09-A568-479640884746","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":"1950296f422a16b21c2e036f7ea06cfae03bf391","datavalue":{"value":{"amount":"+0.8005354404449463","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":"Q5920081$C59B8385-2B17-4D96-B836-95EBFCFB5446","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5920081","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5920081"}}}}}