{"entities":{"Q5145651":{"pageid":7175222,"ns":120,"title":"Item:Q5145651","lastrevid":41219644,"modified":"2025-04-20T16:50:05Z","type":"item","id":"Q5145651","labels":{"en":{"language":"en","value":"Lower Bounds for QBFs of Bounded Treewidth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299485"}},"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":"Q5145651$2206DD17-24E4-4228-9169-D09946AA1E1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dc188caaf9e5d9659fe282b77dde9ff182e206f","datavalue":{"value":{"text":"Lower Bounds for QBFs of Bounded Treewidth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145651$22BC1E45-18AD-4E8F-BA24-08DA83401AA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86df335cb4afb4f103c48bd2b917a221c283212e","datavalue":{"value":"10.1145/3373718.3394756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145651$D028971E-1BA6-430D-95C7-20B28ECC75AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1231c9ffdd6fd18a27526f5f9b2ee5db0f5e7a7b","datavalue":{"value":{"entity-type":"item","numeric-id":1647689,"id":"Q1647689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145651$3E59ED36-3F00-4B97-B987-E875C6703D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ad042a5aa549a448aea28a7c63c386d0f68b470","datavalue":{"value":{"entity-type":"item","numeric-id":1647690,"id":"Q1647690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145651$BCBC17A2-5615-42EA-B1B7-7751551B2656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b25f660413993e782d2ee610c2c97aab855883c","datavalue":{"value":{"entity-type":"item","numeric-id":1749131,"id":"Q1749131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145651$881D6FA1-FC34-4B8D-83A7-7F9E19B7A463","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145651$CFE0EEEB-2554-4950-A165-0EEADD3359A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145651$4BAF1626-18E6-4618-9E3E-69801D3BBC4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f472ec764c5397ce61a6dcd15dfe3a948c6486b2","datavalue":{"value":"https://arxiv.org/abs/1910.01047","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145651$270AF39B-1980-431A-9D83-936A8AC7D850","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145651$B4A58055-88DA-4B40-B7AA-4511E6CC874E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145651$7CFC86D1-8122-4C4E-9296-DD7EDA1340D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a08553f84585214243ccbb64be175a24c8a5a6ea","datavalue":{"value":"7299485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145651$44A1AFDF-7F56-40C1-9B07-1A97A90E6F9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3788be294e4acd194229e75d45e18c168a0e6529","datavalue":{"value":"ETH","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145651$EB2857C5-3871-41FC-BE9D-620D7B2D94BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145651$288EC59F-A3D1-433D-9242-86297ED847F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145651$BFF99E69-7518-4D35-82AC-B227A460675E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f458d393b772a7cf36a53976d2b5be911e683d","datavalue":{"value":"pathwidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145651$23B9D0F5-F162-43F4-B354-99E37A031A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145651$BCDF9854-C5F3-4013-AC71-77BB8F1260BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145651$72B08BD6-01F7-406E-BD10-BE9B1198B816","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":"Q5145651$F5983F6D-75F4-43C1-99C6-BD9A5EA06144","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f6e5519fd43034324b32620d2cfebbc4b321e89","datavalue":{"value":"W3030023697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145651$18D7EA52-D0AA-42B3-AA75-0573B6716807","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c7196de95d5f96779d40709dbc09563877ed98","datavalue":{"value":{"entity-type":"item","numeric-id":6184352,"id":"Q6184352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1a632f76a5e9c6cdbe8754a428fc6796cb9219","datavalue":{"value":{"amount":"+0.9064361","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":"Q5145651$FCBEE8AC-2442-43BB-B83F-458D0B2E596F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469a5f97baeb23c4bd551e5f67e87e650c9a2988","datavalue":{"value":{"entity-type":"item","numeric-id":549673,"id":"Q549673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5977c737778b80b6c5d3ae30fba034af14e22bce","datavalue":{"value":{"amount":"+0.8964756","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":"Q5145651$EA95FD91-55AB-4766-877B-5F680CFD6AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"818312de47ed209980e429f75a71fe2e3f967122","datavalue":{"value":{"entity-type":"item","numeric-id":6184391,"id":"Q6184391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6140455df431e497e53961eaa8e763be520519ef","datavalue":{"value":{"amount":"+0.89562887","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":"Q5145651$0A2511A8-CF8D-4424-9807-91190D717F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edefe33cce038e0abc6689d5fd84cfcf3e83a13c","datavalue":{"value":{"entity-type":"item","numeric-id":4290918,"id":"Q4290918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6140455df431e497e53961eaa8e763be520519ef","datavalue":{"value":{"amount":"+0.89562887","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":"Q5145651$B03C2681-6714-44D1-B9C5-7AEE642C348C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6c58846c1437e23cdcc1f5d8afe4fe19ed1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":2687056,"id":"Q2687056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562a99683ecb1d9c1c5d9182cd3cff0b5f4d7c14","datavalue":{"value":{"amount":"+0.8886968","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":"Q5145651$0203CF70-99FF-4C07-9772-4BAB3E330938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2fbd894427e15a95a40f98cd341c0571afe6781","datavalue":{"value":{"entity-type":"item","numeric-id":5111886,"id":"Q5111886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f424288d9a7c84ba557bbac8137b945ba2cb769b","datavalue":{"value":{"amount":"+0.8853753","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":"Q5145651$6888264E-2EBC-4BD8-B2D8-BAD034FA3330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36552accf57401e43f029f0f3b2bcad86a873f98","datavalue":{"value":{"entity-type":"item","numeric-id":1987510,"id":"Q1987510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beba182152c452935b3f502351a8d5a369e38c83","datavalue":{"value":{"amount":"+0.88433695","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":"Q5145651$9E37E442-C525-4045-94EE-F72C840FF076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2371f93b46006cf8b5540248b92ab0b244309f7","datavalue":{"value":{"entity-type":"item","numeric-id":5387797,"id":"Q5387797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d40e040cf4e886382c06808be68df297b1051c8","datavalue":{"value":{"amount":"+0.88068986","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":"Q5145651$3011A260-62DB-4035-B566-1573372D615E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ef6b6ac71b7c0f6b80b700cc23b0757dcda7721","datavalue":{"value":{"entity-type":"item","numeric-id":2058390,"id":"Q2058390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa9a8bcfca4c3a04d246e8a8d32bf771902614f","datavalue":{"value":{"amount":"+0.87924","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":"Q5145651$4C2CEA36-75A5-4DAA-A931-A8C37CEFED04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b38b032959164aba5a4ab319ecc6c30c30f72f96","datavalue":{"value":{"entity-type":"item","numeric-id":5301380,"id":"Q5301380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65743bdb942952752d7bdd65dcdf8ac3b9c7e8a6","datavalue":{"value":{"amount":"+0.8777031","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":"Q5145651$0367DF0F-C386-42C1-B55D-28059E05A9E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145651"}}}}}