{"entities":{"Q2870136":{"pageid":2880856,"ns":120,"title":"Item:Q2870136","lastrevid":51906503,"modified":"2026-01-20T12:40:27Z","type":"item","id":"Q2870136","labels":{"en":{"language":"en","value":"Long-distance resolution: proof generation and strategy extraction in search-based QBF solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247443"}},"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":"Q2870136$9FE6A812-1674-4F73-B6A6-4C39C4227466","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04d589c606efe44fa1ca60f1fcae7d90ac30d50d","datavalue":{"value":{"text":"Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870136$BBFD26D5-2B25-4212-A970-6E464915FD1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32266966d53feb83a0ff6c3224cb45b08d636770","datavalue":{"value":"1406.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870136$53D6949E-0792-4A7A-9048-C7873BD75B53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53bb3797dfd41a26e3123cbc13145cc36b3dcfee","datavalue":{"value":"10.1007/978-3-642-45221-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870136$F5CE120B-5146-41B3-9B04-21A3A9687370","rank":"normal"}],"P16":[{"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":"Q2870136$D78C25BD-3A6C-4ADA-9BE9-6892B7EDDCFB","rank":"normal"},{"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":"Q2870136$0F0551AA-54B9-4B2C-BBD9-4041A086D9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0220313ef97ab14147e47f1737cbbd6398a6b7da","datavalue":{"value":{"entity-type":"item","numeric-id":1749132,"id":"Q1749132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870136$DD8B162B-CDDE-4113-8B18-F54DC8DADE89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870136$89F308BE-1B41-4B49-B74F-CDA7F2D651DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870136$8DECA901-4DA6-4CBB-A3E4-712E75F766DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870136$DC030856-3ADA-4E27-9B6E-F9BDF8B5FD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870136$68B7065E-C086-4B60-8B14-5C68523A1A9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc87094740b5ab9eac2438c7ba3b64dcca79c5fa","datavalue":{"value":"6247443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870136$C2B8C5AC-DF03-41AD-B61E-9536BB89C6CF","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":"Q2870136$55B25567-9C8D-4DED-BEA0-5D569A8AD92F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d00cf02989728b75e5e905c709e2c9455e86637","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45221-5_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870136$C6990DDE-C6D3-4257-882F-DE51A596EB3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fbe3213b175f02872aeedd0c29dd51f9998b4c5","datavalue":{"value":"W54881092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870136$D179FFEE-FF10-4755-8E3C-720ADB8F6202","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddcde5f4e4a2171300e4cab254f7e5cb783126da","datavalue":{"value":{"entity-type":"item","numeric-id":2417950,"id":"Q2417950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d258185e80e08a6a31978ab0021245107dc43f1b","datavalue":{"value":{"amount":"+0.8643467426300049","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":"Q2870136$0AF86E71-76D6-454C-A17B-195E73F73A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487fdb88b4b8dfa48031ce258c66063ac968c424","datavalue":{"value":{"entity-type":"item","numeric-id":2818036,"id":"Q2818036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5681e0b6fc905da3d9cead8662de2780aaf9e8ca","datavalue":{"value":{"amount":"+0.8490137457847595","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":"Q2870136$F31893E5-721A-4F43-9A20-8972DCB893BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa89057f4906c43e874fd26e87e45b702550108","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949ebaa2b294c8b2e8750604d0719dfb1a38718e","datavalue":{"value":{"amount":"+0.8153195381164551","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":"Q2870136$89BAD9CA-37D0-4564-A41D-6360E6777E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da4ca07195f953618787af54e45813ed9fde13d","datavalue":{"value":{"entity-type":"item","numeric-id":1680260,"id":"Q1680260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7fc5497fa0940a1a0f2328f7874bafe7fc8f17","datavalue":{"value":{"amount":"+0.8055537939071655","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":"Q2870136$D2243B65-8F4D-4F55-80EE-9CB4B945EB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f031ed256f3d563e0627626f4bd694df65f87b","datavalue":{"value":{"entity-type":"item","numeric-id":2181942,"id":"Q2181942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd17767905f877de246a9a2727d0f010c035c759","datavalue":{"value":{"amount":"+0.8036847710609436","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":"Q2870136$337BFC2A-83B4-41FC-BADB-49026AA6AA42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870136"}}}}}