{"entities":{"Q3460072":{"pageid":5239472,"ns":120,"title":"Item:Q3460072","lastrevid":52431458,"modified":"2026-01-22T15:28:44Z","type":"item","id":"Q3460072","labels":{"en":{"language":"en","value":"Enhancing search-based QBF solving by dynamic blocked clause elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528797"}},"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":"Q3460072$F7DE5801-3A65-42D1-94A1-20ECAE2CE85C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88632d73e349d6eaecf7c3024135bb16a7de2ba4","datavalue":{"value":{"text":"Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460072$3BA8D2FA-C16F-4898-BFE5-8F39CD7CC185","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eecf4040686c1aeff33b4b11d936f5cf1f70277","datavalue":{"value":"1471.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460072$F6F00E0F-4863-4E15-8E41-478DA7F868A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6952b96d9bc231528f9260371f31590eefedfa05","datavalue":{"value":"10.1007/978-3-662-48899-7_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460072$69FD0E8F-541F-41C8-825F-26C1C9CF33FD","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":"Q3460072$F44CDE80-4D7F-4DFB-B24C-DEC5D13ED4D4","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":"Q3460072$25F94984-3A7E-4D0A-9DBD-5BD0F3C50C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460072$A4CAFDAC-39F3-4284-BCAC-19D67EB32F5C","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":"Q3460072$E7C5DE5D-9B78-4C7E-932B-2E13E24C3AA2","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":"Q3460072$A40DEADC-1521-489A-85F6-D1AB474A7E84","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":"Q3460072$CEB9BAE7-B3D4-4469-ACEB-406577245149","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460072$BEF1E399-9CE7-4E3C-B1AB-710D53A100FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460072$9BD5C2F4-0AC9-4758-9DC2-6482A1CE6F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460072$88673E8D-3417-4C83-84DC-05824F61E342","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b25c018b2f3c9dff809bde0f2e5d5cb352c45bcb","datavalue":{"value":"6528797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460072$28159245-5601-467D-B826-16D44D4A05D3","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":"Q3460072$09E58833-D436-4F55-A966-126413263DE1","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":"Q3460072$B6027CD4-87BF-4ECF-838E-2115D51067F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a01f408af245059a10038108c06b3d00770cfdf2","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460072$E57526A9-80A8-434C-9434-FD034EBA8C2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2173d361eb3918377518bfd9ca6a0471713be54","datavalue":{"value":"W2294843272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460072$BAE76DC9-FFF0-40AC-B5B2-7385EA31B65D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735e4a7593e2aec0066ffe9438847f1c6adb8fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c62717c2fcc31f55faa709d1225347bfcec7b2","datavalue":{"value":{"amount":"+0.8454765677452087","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":"Q3460072$2EE04393-30ED-4017-AC55-4FD7F136E969","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":"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":"Q3460072$A79AC3AF-1395-42DB-9581-DBB2A0BCF7F0","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":"68a2295153adf8245f429315a8e320ad9326d99f","datavalue":{"value":{"amount":"+0.7924452424049377","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":"Q3460072$BF6DB4DA-DC7E-4467-8F1B-0B8D8BE186B7","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":"920a9bcd1f0309c91c65dbbaad0967ddf74e8c3b","datavalue":{"value":{"amount":"+0.7921186089515686","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":"Q3460072$CE9537D4-848A-4B21-B15B-DF6CF651D693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db7f57505a4a5149a46c14f89c4fb20314fac17","datavalue":{"value":{"entity-type":"item","numeric-id":2870148,"id":"Q2870148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c6bdf51a89ad2de3bfdd6f738edb74b0b33108","datavalue":{"value":{"amount":"+0.7849653363227844","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":"Q3460072$35D4C78B-9698-4677-A6A2-18FB522F3F3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460072"}}}}}