{"entities":{"Q3192089":{"pageid":3202797,"ns":120,"title":"Item:Q3192089","lastrevid":52096241,"modified":"2026-01-20T22:33:24Z","type":"item","id":"Q3192089","labels":{"en":{"language":"en","value":"\\(\\mathsf{MPIDepQBF}\\): towards parallel QBF solving without knowledge sharing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348080"}},"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":"Q3192089$8A538EBF-3232-4F13-8E58-B8D917901CE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"831df0c25ce0eb0b5907712af2d9befe23e40cae","datavalue":{"value":{"text":"MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192089$2DC79D4F-608E-4FEB-AAE7-F187C74278B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae8f6a55d7b12b17c1d0a893d2bbbc63a8bb2818","datavalue":{"value":"1423.68455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192089$7B40336B-DE5D-4ED2-BAEA-13714DDD5093","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4b8b798df1dfa898f56d1409a8ae34b93e111af","datavalue":{"value":"10.1007/978-3-319-09284-3_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192089$F211946B-7626-4BF8-8133-F97AA5BFEA79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97b4c37f2e85790409f79f5597bed4025abaac0a","datavalue":{"value":{"entity-type":"item","numeric-id":440004,"id":"Q440004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192089$3319A1DD-833E-4F20-A933-CFB26FEA992F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9e3377d5a8683b76c323c193459e77e78f68c1a","datavalue":{"value":{"entity-type":"item","numeric-id":555654,"id":"Q555654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192089$297FD324-C1AB-4A5C-89B0-2BB2FB3F307C","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":"Q3192089$B3DA8D0F-51E8-4B0A-B701-50D8B336FB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee4845e86e5811d62c9668c255c85eabfc67a62","datavalue":{"value":{"entity-type":"item","numeric-id":286395,"id":"Q286395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192089$4A6248C1-68C5-46B2-B016-E4D0F943D1B2","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":"Q3192089$0AE1ECFE-92B9-4C79-AB73-C2317E6F4078","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192089$7C4F05B6-40B1-4BC1-8CAF-0BC076326916","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192089$99BF16FF-48BE-488A-BD06-83B34674E1C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"772cc722cedf1b6138870a16a4951092808fc31d","datavalue":{"value":"6348080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192089$DDD54142-5CE7-4122-B320-3ED663926AD0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b0c0b6f7df3b8593ba973ede6d815c565b9b733","datavalue":{"value":{"entity-type":"item","numeric-id":23398,"id":"Q23398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192089$21E626F0-A008-4913-9E5D-BC4967FD1327","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":"Q3192089$00D69F23-EE1F-457C-817E-3E16059592FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ef83bc65a4e27e40a0f15cc6aef8f4086b5991a","datavalue":{"value":{"entity-type":"item","numeric-id":23327,"id":"Q23327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192089$69CB013E-87ED-42F8-ABFB-870761D92188","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":"Q3192089$0E06A55F-6448-4208-A7A5-AF1D4CA5CBDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b406183c28dcf6a9ddddadc3535ce38966fd5c18","datavalue":{"value":"https://doi.org/10.1007/978-3-319-09284-3_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192089$A425629D-D1CA-45DC-8E69-C1EC1760ED68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4e2274882cf3bf2fbe4dc9460357c7dd6de8181","datavalue":{"value":"W288696217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192089$CA531DC7-2C4E-49F6-B602-4E2BC6B9732E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016a9550eb8e6a793cb647136e43682fe7319f57","datavalue":{"value":{"entity-type":"item","numeric-id":2818039,"id":"Q2818039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d927be977d353ae579d7b279f76f125058c47d0","datavalue":{"value":{"amount":"+0.799723744392395","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":"Q3192089$4113A3F9-6DC9-452C-8A56-DD7DF60942A5","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":"bce489ca010e2dc23e354da5bc8a42ff3510005d","datavalue":{"value":{"amount":"+0.769354522228241","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":"Q3192089$755F710E-EF9C-41D7-BF33-10B382157D3A","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":"a6d69e3cb39216c50c1ffb99aebb952acf6a4df2","datavalue":{"value":{"amount":"+0.7566605806350708","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":"Q3192089$EF4C87C3-DBEC-4A88-A6AC-D5EB5D8423F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c9097c0abbb8a5f5ce5b0404989f66285a38ec","datavalue":{"value":{"entity-type":"item","numeric-id":3612468,"id":"Q3612468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584e24422a65b3d6c7fea9ad38e126addee18ece","datavalue":{"value":{"amount":"+0.7519741058349609","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":"Q3192089$4DFFE3C6-5944-4A99-886F-31910830C493","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":"ad543bcc4b8bab2d8b33cc1d152998790e40f447","datavalue":{"value":{"amount":"+0.7518956065177917","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":"Q3192089$79E2812C-1926-452F-9866-6B236FDC6402","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192089"}}}}}