{"entities":{"Q2328327":{"pageid":2339070,"ns":120,"title":"Item:Q2328327","lastrevid":73928352,"modified":"2026-04-14T17:45:36Z","type":"item","id":"Q2328327","labels":{"en":{"language":"en","value":"Solving QSAT in sublinear depth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7115223"}},"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":"Q2328327$5365A452-BCD8-49DB-B46E-EDF0A2991F54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0361e8a5ef1e084e290bff6635cf6861dde989c1","datavalue":{"value":{"text":"Solving QSAT in sublinear depth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2328327$24868541-1556-4FBD-9B74-09C49B45E904","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fc16d81db0a4e15671b5734bb71a5756d8db624","datavalue":{"value":"10.1007/978-3-030-12797-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2328327$F765BC8E-9551-4B49-A1B6-DAA23DD2A642","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d537e7100ab78ceba804180ecd53ee3195562930","datavalue":{"value":{"entity-type":"item","numeric-id":243846,"id":"Q243846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328327$6BE5EFF2-EF6E-4A67-883A-E8F51D7ABEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d51619430e561dec897f5076a0a8a9c980f8b1f","datavalue":{"value":{"entity-type":"item","numeric-id":264542,"id":"Q264542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328327$5DE47533-FC45-489B-92FC-F111A8D592F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab17f69d3731a50d23b4959665885ba4ff0ca8a7","datavalue":{"value":{"entity-type":"item","numeric-id":264543,"id":"Q264543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328327$91F92300-24D1-42CE-966A-3C07B113AB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90530502e578536c1a9a73a261203995fbbd247d","datavalue":{"value":{"entity-type":"item","numeric-id":524282,"id":"Q524282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328327$C55301D9-B17F-464A-8653-AE138E7713DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0379dad7dc51eb0e1c8a2c39df100087f0a1234b","datavalue":{"value":{"entity-type":"item","numeric-id":243594,"id":"Q243594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2328327$93A1909F-4C05-4CA1-A98F-F12292DA42C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77c2137b577d3dd12f1645f7fd6aec4d1ea106d0","datavalue":{"value":{"time":"+2019-10-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":"Q2328327$9AF1D365-504F-4617-AFFE-2A3578A1EA9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a60f775699f5a48a8a6215c9029cae22c22c110","datavalue":{"value":"https://arxiv.org/abs/1902.03879","type":"string"},"datatype":"url"},"type":"statement","id":"Q2328327$A5E3F8E0-B64B-4A34-AFA6-78143A943EFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2328327$FFC6ED50-A0EC-44DC-8C39-AC68ECAF2880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2328327$8EF77DAD-3609-47E0-887E-9A683F32627E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7b2f406617f60788976a8a69dc1cac1d8ff6c93","datavalue":{"value":"7115223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2328327$196E109E-1EDD-4A1A-952A-871FDEB237A6","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":"Q2328327$CF1DFE6E-CEF3-449F-848F-C9F3C48EB179","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2959e42445674db094f4c4a29a43c661701cef0","datavalue":{"value":"W2913101460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2328327$748196CA-7870-44AB-AA56-541302DAD659","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f99c115e072f4bd87b8f2263daf18576cc457c0","datavalue":{"value":{"entity-type":"item","numeric-id":2946524,"id":"Q2946524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d4fe2ce3d7936b7771dadb0c500e4b19b6491d","datavalue":{"value":{"amount":"+0.8675151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2328327$678DF94B-8B7F-448C-A3C1-FE9C0DA96CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1d281aa7421f18d92b916500068b84e6787b06","datavalue":{"value":{"entity-type":"item","numeric-id":1777398,"id":"Q1777398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac4abe21cfb4bc52b8d1d34b6a48b558d1d3433","datavalue":{"value":{"amount":"+0.8616226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2328327$8A54A6F5-86C0-4DFB-AC34-79779EF44919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fa86bb5f67d0f806395b601846298917bf334","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6110cac3cf581461e561109db5f20e2266ee5a1","datavalue":{"value":{"amount":"+0.85893977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2328327$895F4568-7F0D-49F4-B3C8-D69C3454981A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa0f4ee0071d95906118d3a9ac09254bb1a6da7","datavalue":{"value":{"entity-type":"item","numeric-id":2942439,"id":"Q2942439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd11e1b3e628f181123d2ffb38347c86e8a840f","datavalue":{"value":{"amount":"+0.85830677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2328327$CD53BBC5-B16C-4E2B-AE29-0001C25F7CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1527314967d9e0606d598c234aa494f3e88b630b","datavalue":{"value":{"entity-type":"item","numeric-id":896108,"id":"Q896108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc9852d64f56622ce8e0cdf3a4254431938f21c","datavalue":{"value":{"amount":"+0.8583067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2328327$4C7F9AA9-C88C-442E-99DA-5477B07C359A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51778c9f9513bee31c32620d070c3d658ef537bf","datavalue":{"value":{"entity-type":"item","numeric-id":2389634,"id":"Q2389634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f0085913d387dc5f9e77366a73436a9c4c36016","datavalue":{"value":{"amount":"+0.85779464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2328327$D1B62380-A34E-4894-8E44-46F51DC4E824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910c90944a50e1f126224610f0f205ee8986208d","datavalue":{"value":{"entity-type":"item","numeric-id":1578395,"id":"Q1578395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8166fd7756ba98df893bb9a8b4edc5fd971c3c75","datavalue":{"value":{"amount":"+0.8574486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2328327$73918BC6-4E04-4C07-8ED0-7FE8ADC7B377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2678763e4c1a1083d9e73256b582facc8466e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4459906,"id":"Q4459906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d931ce2eae997ec5b050611da556fc7349e10c87","datavalue":{"value":{"amount":"+0.85636103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2328327$39A87781-9933-48CA-A758-355A08F729CC","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":"0078ef3984948b565b6f13229ee35b30ccf83e0b","datavalue":{"value":{"amount":"+0.8561497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2328327$0E820F80-D37F-4F14-85BA-8BA952D29F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491d210f36f4b2420ce7c2fc06e1651b4ffb0086","datavalue":{"value":{"entity-type":"item","numeric-id":3177809,"id":"Q3177809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef95a550f56c8188e7ced48839fd3fa20a4bbbc","datavalue":{"value":{"amount":"+0.8529471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2328327$698A0E97-39D3-4727-9F9B-68AD95ACDEED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving QSAT in sublinear depth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_QSAT_in_sublinear_depth"}}}}}