{"entities":{"Q2338161":{"pageid":2348904,"ns":120,"title":"Item:Q2338161","lastrevid":56787615,"modified":"2026-03-23T14:46:39Z","type":"item","id":"Q2338161","labels":{"en":{"language":"en","value":"A novel SAT solver for the van der Waerden numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7134422"}},"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":"Q2338161$724E9490-DD6D-42BB-9013-EC5A3D6DE30D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"968448e8b993991ab9a3c2091844b375f7f24194","datavalue":{"value":{"text":"A novel SAT solver for the van der Waerden numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2338161$6D9051F6-53AC-44EA-BC8D-FDEF6146A4B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfe732c09372474770cb8470400c1e534f20e5f7","datavalue":{"value":"1493.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338161$5234244E-317C-43B6-9A1A-3DA79E8152D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6e11394b11fa06e0e1eba9317b3ead828048767","datavalue":{"value":{"entity-type":"item","numeric-id":2338160,"id":"Q2338160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$D364DD4D-4319-4111-B7BD-151127B6C9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8932a09d17588b829f9c1126b2fad337d711dce2","datavalue":{"value":{"entity-type":"item","numeric-id":2306350,"id":"Q2306350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$F042C120-B293-41F7-8996-A21A05DC93B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc854c7d3729575162ec18a1f06cdc4605d69319","datavalue":{"value":{"entity-type":"item","numeric-id":246651,"id":"Q246651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$37E8B7DB-8C2B-43D7-9CBE-4F6469A9E880","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df8a8a76ae09508c8444c01bbacb33e3edfbee9a","datavalue":{"value":{"time":"+2019-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2338161$93173DDB-C4C9-48AE-8F4F-8FD39BF8F93E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338161$A50624F2-C82B-4F9C-B6E3-CEDB55AC47D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338161$9AF1C822-2C75-4A6C-A0EA-03A44CAF79EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338161$593FC52D-05DA-4B26-8B0C-80258627C37A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"175a5511c5b0ce7a8fe5930652c4b2800a2f8110","datavalue":{"value":"7134422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338161$4E9F1015-8699-4969-9B07-5D7D3E0E6883","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338161$66A23525-979A-4F00-85BD-A281C0AE9CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3b41129645715417f6ad8e6605de808d12fb6c8","datavalue":{"value":"van der Waerden numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338161$3BA308F1-F3DC-46ED-B481-A62448A59E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7ac674268224c9b1b4b60f07b959745a70f08d","datavalue":{"value":"DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338161$03559D6D-621F-47B4-9B68-07587A0F67A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338161$09F14CAF-324A-402F-9D8E-C9A35B7BB96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b43086052f8afff7325b397e262afafd02d888d","datavalue":{"value":"MINISAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338161$237A0214-8AF5-48F5-974E-473901E40F3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$40FA00FC-3B40-4DD4-831D-B4E61A7DD525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$EF4B6FEE-EBB8-444D-A398-4727DC13475B","rank":"normal"},{"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":"Q2338161$958B5F9A-4AE8-43C1-916C-520F6683E9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2f0b31250797678e3420b122681f55dc3e6bbe4d","datavalue":{"value":{"entity-type":"item","numeric-id":37652,"id":"Q37652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$B86C4035-9626-425F-BC98-A16E6CE21AE8","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":"Q2338161$1CE35627-D481-47E5-9A79-37EE8E26A1FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6af15d22f92f223e1781bef4893bf134fc1d8b83","datavalue":{"value":"https://doi.org/10.1186/s42787-019-0021-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2338161$524BEE17-137E-47BA-B40F-3993313D6360","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7408850052c45112041a6e6bbbbb759c08b34c6b","datavalue":{"value":"W2967270406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338161$554F1C06-8754-4BCA-BBD9-28F78003269C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$7994BE52-AF72-4B1F-BC23-05412E260663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49219eb1b49337fa12e7740d5cbe67a3fb9b9b50","datavalue":{"value":{"entity-type":"item","numeric-id":1883655,"id":"Q1883655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$A34D1630-30D1-49E0-BAD3-AB2C7D50586F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4806fcbbd1ff71d20a5916d02f58c9b0979438e1","datavalue":{"value":{"entity-type":"item","numeric-id":4933451,"id":"Q4933451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$64DE18AB-FCB9-426F-93A0-2D5E984AE250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$870C958C-74ED-48F1-89D4-2B6FA8A72031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf7a93d9fd055f21d4bf9911f205499faf8d773","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$7402AF98-7040-45B2-9CFC-F3C159E6CFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8741fd1be544ecd31cc9c2c81feeedc39ba0bb","datavalue":{"value":{"entity-type":"item","numeric-id":754205,"id":"Q754205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$06417BFF-91F7-49D6-A6A1-B17D504E61D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30bc125421999969ba2f186689a9c83cd75ca08","datavalue":{"value":{"entity-type":"item","numeric-id":3546251,"id":"Q3546251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$7DDBAD02-B521-4855-97EC-A00276DBC5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7befa8f79d956ceaa43b6b91990d99b705391c","datavalue":{"value":{"entity-type":"item","numeric-id":3377514,"id":"Q3377514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$37C315B8-E13D-4E5D-AA77-AF94259ED141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c3f5d6931f34b6cb61ea0d9e21b0db31cabd630","datavalue":{"value":{"entity-type":"item","numeric-id":3619878,"id":"Q3619878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$DA5C5D26-D69A-41A7-AE31-7A0ED23726A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"267b89fa4864980f676f7cf86402466ca4e72188","datavalue":{"value":"10.1186/S42787-019-0021-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338161$34595689-2EAF-4444-B230-58D68483ADE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d5e41ef3ab04c2a780750337440541058ddc099","datavalue":{"value":{"entity-type":"item","numeric-id":5325846,"id":"Q5325846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cb95cf9d135c48bf752cadc35da68f436b573a","datavalue":{"value":{"amount":"+0.7489736080169678","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":"Q2338161$C7DA1E54-EC98-4FF9-A374-7EFE709F6B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9a63fb66cbc5d876d45a265c2b55d1a852d3cd","datavalue":{"value":{"entity-type":"item","numeric-id":5713706,"id":"Q5713706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e446e6c935b4338b55c4433d4ac1eabc05cff4d9","datavalue":{"value":{"amount":"+0.745223879814148","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":"Q2338161$607DA701-9E80-4224-A7FB-2C9187439B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b98a829b361e52219b99fa2188c2cca2243948f","datavalue":{"value":{"entity-type":"item","numeric-id":1883655,"id":"Q1883655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49affd41ed021de90c20da45f457a7f5e2b6fbfd","datavalue":{"value":{"amount":"+0.7434054017066956","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":"Q2338161$2F0FEEE5-B524-48F4-9062-D574EAB4D34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6747e4235b0950802245f76c2781fcdbe6ae8740","datavalue":{"value":{"entity-type":"item","numeric-id":400514,"id":"Q400514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0423ca2629da5da4ef3f26b188314f55278b4c47","datavalue":{"value":{"amount":"+0.7015792727470398","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":"Q2338161$2D6E7BFF-A67F-4E04-8E3B-95DBDD0EAA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3183fd4d00b8287185181665f8626e4cc43580eb","datavalue":{"value":{"entity-type":"item","numeric-id":3634956,"id":"Q3634956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc34e8c28128f8046c63ef8e3bf8c76c242d2ca","datavalue":{"value":{"amount":"+0.6997767090797424","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":"Q2338161$AF499531-D7D6-4117-A300-8DE42178D6A7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338161$19D09DD4-E6BB-440B-93CF-6C76830F166C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2338161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2338161"}}}}}