{"entities":{"Q2148900":{"pageid":2159643,"ns":120,"title":"Item:Q2148900","lastrevid":71410578,"modified":"2026-04-13T22:05:43Z","type":"item","id":"Q2148900","labels":{"en":{"language":"en","value":"Solving dependency quantified Boolean formulas using quantifier localization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7547824"}},"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":"Q2148900$C7376913-B95D-40F3-80B7-06C147CC484D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd161af9e1c6c37022f7f6a3d3d618ac8b754973","datavalue":{"value":{"text":"Solving dependency quantified Boolean formulas using quantifier localization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2148900$39EC3C84-65CF-4E65-B24A-A2F590A95907","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29d4f65c7dd8486dc18fba71178d81e6027e9fff","datavalue":{"value":"1489.68394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148900$9FF52F00-9726-422B-A54A-62386EE8F291","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5bc4d6e82b7afc7a0a567eff16b5ec870f1c432","datavalue":{"value":{"entity-type":"item","numeric-id":2148899,"id":"Q2148899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$C9A9A83A-4285-45F6-BD0A-041ADA5CFA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"618dff94aec38f24478b8597ebb886639eab98cb","datavalue":{"value":{"entity-type":"item","numeric-id":436416,"id":"Q436416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$BA21472A-B25F-4CDF-96F7-6BD12E466748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1db75fd28708deb9eb1a263b5bcd2654790e13eb","datavalue":{"value":{"entity-type":"item","numeric-id":2118346,"id":"Q2118346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$B22E5045-F635-437B-B792-E2CF8D736450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c827a3a38a662dea5f87c90599612538f5739678","datavalue":{"value":{"entity-type":"item","numeric-id":402121,"id":"Q402121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$423DFAA7-71A6-48CE-AA18-E362A110256F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$0D26D987-5439-404D-9626-22216B834F82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9bbc3a7cbbc97cf0b4e147ebc83c703a8500597","datavalue":{"value":{"time":"+2022-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2148900$084D7BCD-5CD7-4818-9500-BD1E1B41EAE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8a2898cc1cbb7b78aaef02e2d54324c3a157af5","datavalue":{"value":"https://arxiv.org/abs/1905.04755","type":"string"},"datatype":"url"},"type":"statement","id":"Q2148900$9C362238-F5E2-4D71-A8BA-080BAA2D9BDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148900$B2F662AF-6096-44A0-854D-3D6AAF2C84C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148900$4D267F03-BF87-425E-BD61-1B8CC1449CDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea3f59ad26d73bd84e844f4aa3f436340c88e32b","datavalue":{"value":"7547824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148900$76F39978-46FF-4BB6-9640-620FCCA853FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a93b659b7c6f27552e6dfa7a5184d5924c7b5b9","datavalue":{"value":"dependency quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148900$0C4DD051-08B1-41E3-BEB7-B32F37602E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"204206a2f11fac2e164f68d9eaa80872c4d6a41b","datavalue":{"value":"Henkin quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148900$5270A3B0-834F-4013-A7F8-CD8F3CA60505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca9b99a3c93e310b1b5cbfd205483ae55f23eda","datavalue":{"value":"quantifier localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148900$BFBB3797-7B07-4C65-AF5A-F71A6D4DB707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148900$ADDA51AE-3B21-4CE4-A248-B2C707C11EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0bf3c1a1546708929dacf6152ce6b4c3ff4cf7","datavalue":{"value":"solver technology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148900$C5D77BD4-51A6-43E6-91C0-8A85BF1FAF75","rank":"normal"}],"P1463":[{"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":"Q2148900$40720679-555E-4528-98E5-99CAFADD6414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0df53c652e2fbf3e583e50626a3c4405ebff651f","datavalue":{"value":{"entity-type":"item","numeric-id":5974756,"id":"Q5974756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$F3E97C36-F3CD-48B3-A0EF-258ED1BC6F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36ac489b116ea9c72cdd6f5aeb7f35ddb61dc6c4","datavalue":{"value":{"entity-type":"item","numeric-id":37655,"id":"Q37655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$B1DB8A7C-E54C-426B-93E4-8DAB938B8C1B","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":"Q2148900$B908C3E2-8DB6-48F7-8258-683AD7D4EFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$FC8D9F0F-CEA5-4983-A122-FAB24FDDFE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62d5577a6426dd4bc6f53a7537d5e52c18adb6e4","datavalue":{"value":{"entity-type":"item","numeric-id":5974402,"id":"Q5974402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$1037EA53-382A-4E37-869F-4922522FF184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd1df51005918e6ee69c653273b44e12307a3066","datavalue":{"value":{"entity-type":"item","numeric-id":40348,"id":"Q40348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$93EE49B5-66C2-429D-B5D8-ACD61682136E","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":"Q2148900$AE8BCEC0-AE65-4CBD-AD0E-42AF13DB3FAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d4e65782f93f2d8b18bb6a8b75b5b7c3b6f570d","datavalue":{"value":"W3128044797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148900$89768AED-1CED-4051-B5B7-F9556B61741B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f094f60582c711d8c6b82a6fb661b9b6e695cf30","datavalue":{"value":"Q113863159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148900$FF2044B1-5D46-463D-B243-E535BC933E34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38aa065fcb645375906b0784737eaeaa5507ac9","datavalue":{"value":{"entity-type":"item","numeric-id":2457605,"id":"Q2457605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$BAC58C6C-E552-4380-9BFE-1AFC27FA95AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9284108836eae4671f35dda7d4769ecfb1bc9f0","datavalue":{"value":{"entity-type":"item","numeric-id":987743,"id":"Q987743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$2F43354F-830B-4378-BC1D-BB295C100436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$94520C63-1DC8-4816-8264-54A8F4683210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e776f7e9d18209402bda0edf2047c2143eae014","datavalue":{"value":{"entity-type":"item","numeric-id":947794,"id":"Q947794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$1B0735B3-67B7-4F88-A060-DA8E5D3CCEAD","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":"Q2148900$14D1A57B-2FEB-41B6-9D45-7FD30E9677C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3bba5c5cfdb1a4354b8b050debbbdb9e016050","datavalue":{"value":{"entity-type":"item","numeric-id":5948765,"id":"Q5948765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$8CDCAC93-E7CD-416A-8F01-EC4927D729F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f547f09f2d67c99fd8b8b432f051c8e240915b31","datavalue":{"value":{"entity-type":"item","numeric-id":2435315,"id":"Q2435315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$D0462831-AFC0-4D02-BE27-1C28FA5466D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16381af0cca809d96a3239e7f95bab63296fc5da","datavalue":{"value":{"entity-type":"item","numeric-id":2938057,"id":"Q2938057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$617C9E83-1454-4625-90DD-31759CCECD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$FB82F0F8-7776-480F-9CE0-F2FF17742925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05bd662212a529671be38984bdc2774634605ec","datavalue":{"value":{"entity-type":"item","numeric-id":3453223,"id":"Q3453223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$6E0C3E35-1F36-4ABF-8275-30B102391F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be39d3247d69f45a9051d2cd3d04256ad9063be8","datavalue":{"value":{"entity-type":"item","numeric-id":1680263,"id":"Q1680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$D99E122F-FE86-46CA-AAA3-05B10F4C3001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6634fe5c56d92a8492dc0b14f99111a283a93ab","datavalue":{"value":{"entity-type":"item","numeric-id":2181947,"id":"Q2181947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$769FC8A4-B5B9-4958-9CCF-BBD82CF70A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$7BA9859F-1814-4C07-965F-B44B83A5D1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec5d9fad5e9851a2703860274d568a9ea0beaf51","datavalue":{"value":{"entity-type":"item","numeric-id":2118347,"id":"Q2118347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$016FCC0C-35BA-4881-9C42-4A737370886E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7a8c190ec746ff613c3188a92e77820e74bf24","datavalue":{"value":{"entity-type":"item","numeric-id":1680262,"id":"Q1680262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$79505199-A7F1-448D-890C-D0FAAFE874DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f181ad75961b7258fe1216ede0322323c188cb7c","datavalue":{"value":{"entity-type":"item","numeric-id":5713726,"id":"Q5713726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$8786DB2B-7697-4979-89E9-3BAFE7BE865D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3af43ccd72668a9522397c60ddeaaeb74fc078","datavalue":{"value":{"entity-type":"item","numeric-id":3636874,"id":"Q3636874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$103350D6-62B0-47A1-920F-47CAE5AAC7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d60dad0ed0c9b52ceb981500075dad75a13309","datavalue":{"value":{"entity-type":"item","numeric-id":5015602,"id":"Q5015602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$AF94290E-AE12-412A-BA89-E14C6D43314E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dbe6f98569a07d11be32ac1fa0ab7cecc1f40de","datavalue":{"value":{"entity-type":"item","numeric-id":1990517,"id":"Q1990517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$FA9814EA-1FA7-4464-BCCE-198CE62D0CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b547a035157ce87c4240efbe8319bcd1aa2e8e0","datavalue":{"value":{"entity-type":"item","numeric-id":3192073,"id":"Q3192073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148900$9A590C17-933D-4F40-AC1D-AFF39327AA1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2f5477c3fc39b6a8c80782a28d69f6578b7b91e","datavalue":{"value":"10.1016/J.TCS.2022.03.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148900$AF659F1F-8420-4856-987C-ACFBE82C7504","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b48ed177789756d6086d8bec72fa577b58d46b","datavalue":{"value":{"entity-type":"item","numeric-id":5889312,"id":"Q5889312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e5696d64ca42aad2639f82e7bb7a42da9a4433","datavalue":{"value":{"amount":"+0.8743272423744202","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":"Q2148900$14D3CE22-329F-4B23-A7D2-721351F3258B","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":"e857a2afe7975973e74de1003509fe800d955c8d","datavalue":{"value":{"amount":"+0.824859082698822","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":"Q2148900$717FEA5C-C26B-4377-8878-4F4202884894","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":"fbb1e79d6d853289c16bcc7c1f48130bc862114c","datavalue":{"value":{"amount":"+0.8177606463432312","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":"Q2148900$DB230144-60BF-4600-A125-6C005C02BC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06a54f9f58d70b750796b92f3947935b7f23d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b010b8aa786badba7bca3094e4018418de2cc0d8","datavalue":{"value":{"amount":"+0.8089277744293213","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":"Q2148900$C3E8DA20-01DC-4483-86EF-DB90FA3BFACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc51c91a5e47a3b20ee19539a297cbb42ce11e6","datavalue":{"value":{"entity-type":"item","numeric-id":1680263,"id":"Q1680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b165b40816ce4ef114673e611e7e52e86ccaa7d","datavalue":{"value":{"amount":"+0.8077753782272339","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":"Q2148900$BCFA2CAE-6D3E-4C73-94B1-2511A534FC08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving dependency quantified Boolean formulas using quantifier localization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_dependency_quantified_Boolean_formulas_using_quantifier_localization"}}}}}