{"entities":{"Q2879140":{"pageid":2889860,"ns":120,"title":"Item:Q2879140","lastrevid":52085066,"modified":"2026-01-20T22:02:29Z","type":"item","id":"Q2879140","labels":{"en":{"language":"en","value":"Incremental QBF solving by DepQBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341329"}},"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":"Q2879140$73F0B6E5-4A82-43BC-AD53-79922D92CC62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05a448df6cbc9a3620a4f77a178f21856b6a4b98","datavalue":{"value":{"text":"Incremental QBF Solving by DepQBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879140$BDB767B1-54AE-43B0-8209-52971D1F4401","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56d11f4c7d43c33c6e34cbe95ca575f7cd3f71ac","datavalue":{"value":"1434.68547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879140$0E8FF304-CD01-4919-8962-AE4030F9298A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"feac9cfe76b1cc3d292de5970d4d9ff2834231f0","datavalue":{"value":"10.1007/978-3-662-44199-2_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879140$E1CF131B-3BDC-41EF-B524-D9C085250CA0","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":"Q2879140$DA656BC4-B89F-44ED-B200-1C3D9652F39F","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":"Q2879140$9736DCFE-AB79-4186-AF1E-C600822FE0A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4ac82364f0ef37674b402ad685753171835f31d","datavalue":{"value":{"entity-type":"item","numeric-id":2879087,"id":"Q2879087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879140$336BAA03-677C-4AB8-A248-721328BE156B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879140$ED0DB864-BC47-4931-A0DE-085FD9A7F990","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879140$9ED880A9-15A1-4701-BF0A-4719C1957F14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f764ddcc3cf82844ad000d668ee74a95edb81fbe","datavalue":{"value":"6341329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879140$B13A3CEA-79E9-429C-8370-DE72EDE7DC41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a17d9c20fe73a9246a43e2e469966c5ac1c3ce","datavalue":{"value":"quantified Boolean formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879140$734FF0A4-18E7-455D-8791-53688BED394D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879140$AD6AB49D-313D-4FB8-BB6F-45FE07793D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22d1d3f46804399b90454aa8bb06ca37d8f0ba5","datavalue":{"value":"search-based solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879140$6DC46E96-622B-4EE5-A039-E8ABE3A3A99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d2bc307fd2c88f5393329efed40fb2e06ad4cff","datavalue":{"value":"Q-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879140$0161C269-DC38-4225-BB92-63057633FE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca44acbc5038983dd7ac8efedcdb183aae9bf10","datavalue":{"value":"clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879140$565EE450-E2F7-4428-84F3-A73768911F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f28efca8e8361ca6c179391572372d756719b6b7","datavalue":{"value":"cube learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879140$1775A93B-ADC7-4DE8-862D-75D008ED07F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0e832a5bde61949515b8772264d6296609056f","datavalue":{"value":"incremental solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879140$0557BFBD-8140-40B9-96B9-8B49E31116F0","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":"Q2879140$995A23EA-4C68-4E32-BB42-D531868094C1","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":"Q2879140$802B221B-8B37-4E38-8CB7-A8CC465E7866","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4aff7e2a359ba9c368e8a67b371600f4ee8a6f04","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44199-2_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879140$E0016B22-3BAD-40BF-95DB-93FBCC4D46F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d954a663692e31140755c6c3279b38224e323f83","datavalue":{"value":"W99748905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879140$BD18EF23-3DD8-4670-8D07-03BD34CCF464","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d467a109f219e937eec475a5e2589f3d9785fa97","datavalue":{"value":{"entity-type":"item","numeric-id":2398267,"id":"Q2398267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb55b28499620d3c0a5e6b0fa5be1e087cda774","datavalue":{"value":{"amount":"+0.8657922148704529","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":"Q2879140$2A9031CD-9104-4D98-B3AF-B96F220314BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bdd479d71d2b8e30d5b19fa6bda2c8d2c693b3","datavalue":{"value":{"entity-type":"item","numeric-id":2405263,"id":"Q2405263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37374d195a2c88ff3b1b5f683315481278d6d2f8","datavalue":{"value":{"amount":"+0.8392499089241028","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":"Q2879140$24573E79-7A0B-463E-A964-DEFD4116A432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9e04a5281dad58360fba33cee7ce694420be2f","datavalue":{"value":{"entity-type":"item","numeric-id":1680261,"id":"Q1680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26619c90be2bcc9963bfc4d4a66f50a6fef11904","datavalue":{"value":{"amount":"+0.8249460458755493","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":"Q2879140$70D98CA6-FED6-4C81-8406-0F6E3043CB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396e9f05d4ad3751d8cd083836d121e6398060a0","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9c01e43642935241af468f0747142f466b8c30","datavalue":{"value":{"amount":"+0.8158305883407593","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":"Q2879140$EA74318B-6FE9-480C-981F-134058915B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce1fcb06b0c1223160a39dcef1f6b076a95dd86","datavalue":{"value":{"entity-type":"item","numeric-id":4589096,"id":"Q4589096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb534dd4e3aec2217e4f54ec7889252d3b90bb2","datavalue":{"value":{"amount":"+0.81568843126297","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":"Q2879140$E88AA022-0202-4E7B-9BCC-41A346710F26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879140","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879140"}}}}}