{"entities":{"Q3612468":{"pageid":5642374,"ns":120,"title":"Item:Q3612468","lastrevid":50601086,"modified":"2026-01-14T12:59:09Z","type":"item","id":"Q3612468","labels":{"en":{"language":"en","value":"Dynamically Partitioning for Solving QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527210"}},"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":"Q3612468$6A1E23D7-6AF9-4DBE-83E3-18F8D136B6BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bff9d4432cbe9b0bb08fbdc052449ad9efe7f4d","datavalue":{"value":{"text":"Dynamically Partitioning for Solving QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612468$8832F2BB-8E39-4105-BD41-29AACA971FC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e60d7afb0422fffa178402b6e8c77aee8f968c13","datavalue":{"value":"1214.68373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612468$D874C904-309F-49F6-A052-561E9EEADB58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aaf08cb6f745fe76fb3a185e84e0431b0859fab0","datavalue":{"value":"10.1007/978-3-540-72788-0_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612468$3ACC1A56-FAEA-4104-8BAC-AE9C6CAD5AB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c36537daa507899538e7c1050c58bec7c9307b","datavalue":{"value":{"entity-type":"item","numeric-id":205121,"id":"Q205121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612468$9755B918-B859-4AF3-BE68-892445DE47CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e72237755cee80f4100dfa096b99fdb0fefd7fe","datavalue":{"value":{"entity-type":"item","numeric-id":835824,"id":"Q835824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612468$A1920465-FD29-41CF-9D54-57B9158020E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3efd11b40e1cc120a7f890fafbe829ad3d505a77","datavalue":{"value":{"entity-type":"item","numeric-id":3612451,"id":"Q3612451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612468$E19A7131-C20A-42D7-9AF8-AF7FE8047D7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612468$3AFE9DF4-DBC5-4C5A-96D2-FF4E4A6A396F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612468$AF0EBCA1-5102-4C93-8D2D-AF609AB56E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612468$A887D05D-F764-4A59-A791-5CAE70FFE66D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"846884692cdcfd60108decf8e82067178e73e80f","datavalue":{"value":"5527210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612468$E8D8386F-D12B-44E0-BF2C-B7C259AE4EF1","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":"Q3612468$1D74CCCF-EF59-400C-9026-4E51D02FD03A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b3f498fb1cdb1bed571a03881bdb599f4bfca7b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72788-0_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612468$ACB96BB5-3AA5-4BA0-ABD4-56336346E5CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47dd8d12e129f4357fe5c5e1033a06646c7fad79","datavalue":{"value":"W1807142225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612468$A738B6F2-72AB-4020-847A-00012AAD6720","rank":"normal"}],"P1643":[{"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":"c6a2210e3709303e86ab9287a507e4b8ffed4383","datavalue":{"value":{"amount":"+0.8111458420753479","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":"Q3612468$35F3CC7F-A792-4F8C-8C29-BB8B8D00AB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b0db0006f6b601a4d415d7b7169c2b11c227d1","datavalue":{"value":{"entity-type":"item","numeric-id":5713717,"id":"Q5713717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8074030858886e7991739f6ce846d608f95139ef","datavalue":{"value":{"amount":"+0.7897341847419739","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":"Q3612468$160D6C08-8A28-4079-B039-DD49675CFB34","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":"f93a597a3c0cc714c41f522e22d0b3383e34e63e","datavalue":{"value":{"amount":"+0.7844868898391724","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":"Q3612468$14B23F4D-A5B1-46DC-9DD3-89A05C3620D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f184f1cf865a7b7f1a029ebbf618959f768865","datavalue":{"value":{"entity-type":"item","numeric-id":3524206,"id":"Q3524206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1bdadc851ecd2fa55e670ded593420f323981b8","datavalue":{"value":{"amount":"+0.7831185460090637","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":"Q3612468$C7CD28EE-DB55-4EF1-8512-DD58ADD22B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6fbc682f28add89108b0fee67fa7dc2b69aabf","datavalue":{"value":{"entity-type":"item","numeric-id":5713750,"id":"Q5713750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e630713926ef003a1f496260b1adf9a9fa3ed173","datavalue":{"value":{"amount":"+0.7822666168212891","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":"Q3612468$78296343-B105-458F-A6A7-50E18F9B5E84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612468"}}}}}