{"entities":{"Q3453239":{"pageid":5232639,"ns":120,"title":"Item:Q3453239","lastrevid":52400465,"modified":"2026-01-22T13:46:02Z","type":"item","id":"Q3453239","labels":{"en":{"language":"en","value":"QELL: QBF reasoning with extended clause learning and levelized SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512584"}},"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":"Q3453239$92C54C63-6A3D-46AF-99EC-021BFFA9602D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edac19fcffb721014bb598c3c143d38fb0d35b14","datavalue":{"value":{"text":"QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453239$EC2C7190-A46F-40C5-BB33-2F9775D6492E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8c0633a0298dc0797bba80c2bb9e93957cd8934","datavalue":{"value":"1471.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453239$F773E29B-09EB-4287-A70C-D934106B0F8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecd9c047ed1a8ba84435083d0d7f41256ea4c8e9","datavalue":{"value":"10.1007/978-3-319-24318-4_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453239$363E36C8-2602-4782-877E-843FA788DBF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcd7990ff69e13f55b878f120c07da73f28a7ff3","datavalue":{"value":{"entity-type":"item","numeric-id":3453237,"id":"Q3453237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$D300D55B-5FA2-4E6C-9778-C5F4C5EEF857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7536bedd863e29619656b3b0ca9bfd754ea0f88a","datavalue":{"value":{"entity-type":"item","numeric-id":3453238,"id":"Q3453238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$19678861-F38A-45B2-B857-65210E43A5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d108f2cc75f223419614b9663d463900e39edb7c","datavalue":{"value":{"entity-type":"item","numeric-id":2435314,"id":"Q2435314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$3CCFA172-E59F-4A7D-ABA5-A1B0D4934023","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$A1A9C953-775B-470B-8ED7-5C7746BDED95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453239$0B054F46-8E85-4174-8D52-05085432DAEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453239$C3A8912D-432B-43AF-8EB6-BCF1BA34EDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453239$45698C74-B17D-4CB8-81B3-BCC33FD4DF82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b92ec31d1e2362902d4a995bf052633ef395f680","datavalue":{"value":"6512584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453239$22DED43E-F93C-47BB-9652-0AB1F65E20C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51a313bba85d083d332055ca3bb709d116ecc30a","datavalue":{"value":{"entity-type":"item","numeric-id":21559,"id":"Q21559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$E6BFB482-DFA4-4B9F-969B-7F8D3BB7D991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"792849c5bee9f07de54f2fa4f04f07c6aa639097","datavalue":{"value":{"entity-type":"item","numeric-id":21562,"id":"Q21562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$46837724-2455-4CD1-8245-2F067423FF05","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":"Q3453239$60438A57-6BBF-4607-84C1-C3507A3BABBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f977d90147989768e21daaa75bb9e675b4c21143","datavalue":{"value":{"entity-type":"item","numeric-id":5973448,"id":"Q5973448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$F48D89F6-ACD6-432F-8E4D-83F74E3D93AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$65176627-BFD6-42CD-B04E-B02709630443","rank":"normal"},{"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":"Q3453239$C256AE0A-E0E9-4A1A-BCA7-8232F06B2244","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":"Q3453239$573F9C44-571C-4248-8234-7E67DE30298B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"956ef60794861f168c08b30a1bc927c78fcc695e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24318-4_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453239$B75554EE-FF10-4757-8977-77CDDC268DE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b0d8d46d84288bccbfef3b1849059ad3205e61d","datavalue":{"value":"W2280623821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453239$49E9CD91-DE0C-45FB-89BF-1EE18B4C3903","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a650df3daffe41a5463985884e68be23fb4743","datavalue":{"value":{"entity-type":"item","numeric-id":5705931,"id":"Q5705931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$350CB4AA-08AA-41ED-9AC4-2F0C6705BFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926ec579a6e1751bee4f751c2a20e927df8e0825","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$D42EF9D4-F338-4C92-BEE1-57CB9697B213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c9f74c9e2f323d6a6a8fb50accb2001547c77d","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$5EBC9BA8-D7F7-4A5B-BDFA-20DE8EE3C670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f5f642d34b86085d7b9145b61316e312fd268","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$1E70BA43-D5F3-4C95-B5E0-D6084A6C7F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df79eccf9b3fe480906a64470a2d0251e219797","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$3B083D3D-679A-4902-88C7-78173A48C3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2dcdf769969c9e2053606978646882985217ff","datavalue":{"value":{"entity-type":"item","numeric-id":1610666,"id":"Q1610666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$0F915E63-03F4-4428-8022-1AE06CFCAABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0870e13c4a5dd2b1ec6ccf0eb8fddafbaa000d2","datavalue":{"value":{"entity-type":"item","numeric-id":5713732,"id":"Q5713732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$6AE8D9D9-094B-416B-8ACC-B0C3764B1507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$65F4CCB8-559B-4163-BC16-0D0DCA6E1E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d65273ac0a2691022709201414d95eebf793fe7","datavalue":{"value":{"entity-type":"item","numeric-id":5326455,"id":"Q5326455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$C5298974-0956-4498-A66A-9A2F3AAC8B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb5c9d0b0d6ff42b8fb3510f341e870a8e3d24","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$BEEFEC7D-C299-4938-B95B-12D17208BF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330ce073a559eb014c24d439e8bed6879ab9c0af","datavalue":{"value":{"entity-type":"item","numeric-id":2843327,"id":"Q2843327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$AB0500ED-E76E-4E96-8065-AD40B92900B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3686a074c7686604cdf852bc86af741c152a6f8a","datavalue":{"value":{"entity-type":"item","numeric-id":3007686,"id":"Q3007686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$869033A5-A177-4437-8661-220DFF34A217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$4FE4CE04-27B7-4C06-A8CC-07BC41DAD6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8e7aa6809d54e2ccf2352967b475ad93db72d0","datavalue":{"value":{"entity-type":"item","numeric-id":4930584,"id":"Q4930584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$95F77895-E8DF-4A6C-BB4F-0AFB54EF5235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$2B62C3FE-CA04-45F4-930F-2BA0EDE8D336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c0f6e16691d3be7f09aeb1f46536b8cc5b9c84","datavalue":{"value":{"entity-type":"item","numeric-id":3524206,"id":"Q3524206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453239$A17C3A5E-7D47-4891-A5F8-686953CAEF9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c733211105b38a2a26b9dc19b8b9e469ed3ff78","datavalue":{"value":{"entity-type":"item","numeric-id":2058378,"id":"Q2058378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b41c397f02833a3dd5d02558dde283128f4fc7","datavalue":{"value":{"amount":"+0.8478793501853943","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":"Q3453239$CC8FC3E0-2E05-4805-B8ED-1CA61C0C2889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1758042405434138d14efb0c0f39ea4481adfe4d","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3038b470628d603ccf18bdd74783b26ee847db1","datavalue":{"value":{"amount":"+0.8348577618598938","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":"Q3453239$A2A21546-8EC2-4A60-A0F6-0F08425BD088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c1ce1d6bf11719e28f5edfd7ecc6954ab51d37","datavalue":{"value":{"amount":"+0.8315367698669434","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":"Q3453239$E757C668-8377-4220-B96C-55CC86BFFFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd56edf54f27508795f985fdb8fe850a23e1491","datavalue":{"value":{"entity-type":"item","numeric-id":2164249,"id":"Q2164249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ab48fdd7a23e54b105fe5b7d71a28e9ab6cc12","datavalue":{"value":{"amount":"+0.8247336745262146","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":"Q3453239$D5F32E6B-C572-4EE0-878D-D3EA4B3758B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf5f255dc196baa877f80fa7eecbb34d744fe54","datavalue":{"value":{"entity-type":"item","numeric-id":5326456,"id":"Q5326456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23457fe4551d7dda7efb33dd479d4a6e06867c47","datavalue":{"value":{"amount":"+0.820522129535675","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":"Q3453239$DD25671C-E7FF-4A5C-BB93-F6FBD7B88844","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453239"}}}}}