{"entities":{"Q2405263":{"pageid":2416006,"ns":120,"title":"Item:Q2405263","lastrevid":57897678,"modified":"2026-04-03T00:15:36Z","type":"item","id":"Q2405263","labels":{"en":{"language":"en","value":"DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778415"}},"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":"Q2405263$67FA2CE1-46AF-43F2-B174-60AF3144A569","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b23b32703a6ffc8c2d5fe8f9fe852ffe9e034d7","datavalue":{"value":{"text":"DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405263$58AD896B-3646-4E7D-B8BF-FD1E00ACE9FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d72c2a248b6ba80874c165f56b3ad40173dbc5b","datavalue":{"value":"1494.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405263$F5D8EB3F-E341-4FBB-8F60-7312C716F282","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05b434a830bb430638fba45491a684fdd5adeb2d","datavalue":{"value":"10.1007/978-3-319-63046-5_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405263$645DF2FE-7E27-4A0E-A1DB-DF730609D7CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0a3b9db4e00166cd3cb753494ad16f6a97e6dd","datavalue":{"value":{"entity-type":"item","numeric-id":286394,"id":"Q286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405263$9175A7F5-BACA-4FE9-9F7E-AF62ACB34754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405263$46CF9EB9-8596-46B3-90CA-75748458BFD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405263$DB6A6064-3538-4FFE-A773-65E32123C6C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0140abf99be450f7628e7e14dfee3be0723150fa","datavalue":{"value":"https://arxiv.org/abs/1702.08256","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405263$1A9932C5-4DAF-4DF7-917D-357BCA735830","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405263$B878C7B4-FAFD-43B9-B117-A8A00CD6480A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405263$FD6C8D33-FFEF-47CC-8605-C4774D643014","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bb6b686c88db725485d46344f99f075d0030fc8","datavalue":{"value":"6778415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405263$0711809B-7807-4EAC-8F5D-DD83651BCE76","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405263$1963983A-C6C8-4441-BE90-E3132FD2242F","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":"Q2405263$11CC7BCD-F6F0-4DF9-828F-944917F409D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ed9fefb26d53baad4b8f8964299ffca898f50df","datavalue":{"value":"W2949458057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405263$A4D20429-3C38-4377-9156-B9461D66AB4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06a54f9f58d70b750796b92f3947935b7f23d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e44f73ad6d240ecede3d24b0f64c5af7eea15c6","datavalue":{"value":{"amount":"+0.8847348","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":"Q2405263$A04889EA-67FC-4B86-87C0-8A7C3B52F6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31b3868b35c8adfea7f296c098db6a941e819fc","datavalue":{"value":{"entity-type":"item","numeric-id":2879140,"id":"Q2879140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca9786d1674c3b99fb4f4877170879313283d99","datavalue":{"value":{"amount":"+0.8791851","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":"Q2405263$7E97B15F-D8BD-42B7-B0F2-21E9E7175566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd59fe52cfdcc9ce0c690e13935dc1360068227","datavalue":{"value":{"entity-type":"item","numeric-id":2321317,"id":"Q2321317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c0628bc270af4355c1b202e461a58417be76b4","datavalue":{"value":{"amount":"+0.85617435","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":"Q2405263$8062EB65-9839-41FE-84C7-F87CBC3D0BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fbf79c7cef7b43d8c2871e490a5b7d3d7beafa","datavalue":{"value":{"entity-type":"item","numeric-id":5170277,"id":"Q5170277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0672931de8885c29f0f46ddc290f398fe7baa7","datavalue":{"value":{"amount":"+0.85145104","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":"Q2405263$14963548-FDA8-499A-97F4-7B7D3821CE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0168f567a5e2627419edf0d05b23e662370a8fe1","datavalue":{"value":{"entity-type":"item","numeric-id":6135750,"id":"Q6135750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741b89ac449be47daf29902e3cf14875ae38c903","datavalue":{"value":{"amount":"+0.846987","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":"Q2405263$8D8C6039-104B-45EF-B620-70282F939C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45acf569684e5407f555d4b998b43616c79e474","datavalue":{"value":{"entity-type":"item","numeric-id":5492981,"id":"Q5492981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed0252de1a72c81d2d4722914dabdddf219ff9f","datavalue":{"value":{"amount":"+0.8448822","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":"Q2405263$9BDC1631-3DF6-4B3C-BE1F-8F3B7DAA67BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4381427977ff5f7ecae9b21009f38a9564b868","datavalue":{"value":{"entity-type":"item","numeric-id":4930592,"id":"Q4930592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b71c293b870775b3239f850d59fa83a53c8a8fd","datavalue":{"value":{"amount":"+0.8401127","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":"Q2405263$19761643-F99B-4EEF-A182-2EFC503CB4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc51c91a5e47a3b20ee19539a297cbb42ce11e6","datavalue":{"value":{"entity-type":"item","numeric-id":1680263,"id":"Q1680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bcd3eb2735636537cc11a13592272dac556b4ee","datavalue":{"value":{"amount":"+0.8391608","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":"Q2405263$B6F67910-4E2F-4CF3-A944-83C68943CA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3fa43ea9a72a83663cc0ab045250bfd2bb9f05","datavalue":{"value":{"entity-type":"item","numeric-id":3460072,"id":"Q3460072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1299f54f85754ae5059ebeb690a9770145136cde","datavalue":{"value":{"amount":"+0.83879423","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":"Q2405263$272017C4-47BD-4FD2-A15D-418F25DDF3F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2405263"}}}}}