{"entities":{"Q5886517":{"pageid":7916068,"ns":120,"title":"Item:Q5886517","lastrevid":101846591,"modified":"2026-06-06T03:00:13Z","type":"item","id":"Q5886517","labels":{"en":{"language":"en","value":"Hardness Characterisations and Size-width Lower Bounds for QBF Resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7672669"}},"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":"Q5886517$DA2F6B61-F3A6-4723-9761-F6A55EC9F0E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a9d0e3a1459f8719ce6e514f8940d85e72889a5","datavalue":{"value":{"text":"Hardness Characterisations and Size-width Lower Bounds for QBF Resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5886517$D4121FF2-5FAE-487F-82AB-44C5AD8B59BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fe5787e076bbc7134cdb4ebedf39df0b2588b69","datavalue":{"value":"10.1145/3565286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886517$EC2E9BD6-5B00-4C5C-9B86-FC92318AAF21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$921964CB-D519-4B66-8237-47E13311EB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef950d398e713f13e50d18170d592f5e03fdd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1680257,"id":"Q1680257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$0CA7251C-5D48-419D-886B-ACD13B9CDE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"255779f34e1857f1e1d5d34372c6a4a28e1cfdd7","datavalue":{"value":{"entity-type":"item","numeric-id":371192,"id":"Q371192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$F73BB4A5-0391-484B-8E4E-66B43AA53072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44a7661dcb421346e6d54a3423b58fd3896ae0e7","datavalue":{"value":{"entity-type":"item","numeric-id":1656582,"id":"Q1656582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$688A8410-DD6B-48EA-ACA2-D3639EAC0D1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$17E91993-4412-473C-B30A-2ABD1008894F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23081f3ff1efacf6ecefe15d31667096d2415dfa","datavalue":{"value":{"time":"+2023-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5886517$7B1817BA-FDB4-4E3E-8E4B-A7D561526DED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886517$6EBC5A17-F3EB-4928-8832-81DC493D4D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886517$EAC0805A-4810-421A-A08C-532EC81234B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66feb59edf2dbcf78a0932a04336defe3a4c5cdd","datavalue":{"value":"7672669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886517$CAF2FA1E-A513-4EEE-AABD-E257EFF13697","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886517$03EEBA73-3F06-4532-9F64-126594B967F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886517$CA63683A-F5BC-4BCB-8548-40BF66FA465F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1faf11126e5683195f5e61bd4c4076899f01dd8","datavalue":{"value":"size-width tradeoff","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886517$A95DAA1D-018C-4283-87DB-1D473743AE8C","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":"Q5886517$F4E5750B-AF15-4EF5-AD23-12CECBD244D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f25cc5d881805a0d31ee562efe3fa5bf92a867c6","datavalue":{"value":"https://doi.org/10.1145/3565286","type":"string"},"datatype":"url"},"type":"statement","id":"Q5886517$66DD3A5A-E96E-4A2E-86E5-24F203B19B55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ae4ec100c43d2556eb1be74acae46f596c58268","datavalue":{"value":"W3013210104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886517$99EC616B-99D1-4788-B2A2-74697E8EBD87","rank":"normal"}],"P223":[{"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":"Q5886517$F6724D3C-DA21-4CA5-A00B-1DC3EEE62AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f5f642d34b86085d7b9145b61316e312fd268","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$B5E8BC4D-48FE-4328-8DE2-81F2290AD156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c70b318395c4ed2d5675bb48c8ac58ac36b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$C834C7C5-5DEF-4F85-BDD6-6B5FA54ED8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$EB0A0740-B44E-456C-82B3-AFDDB64C7497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f810fcfb753207e78a3aa47daed5406a72625356","datavalue":{"value":{"entity-type":"item","numeric-id":3619867,"id":"Q3619867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$A252027E-0A9B-41B5-BBDD-BE57B65C1BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c1425331244edab5d5c3eea9925db8c385ca69","datavalue":{"value":{"entity-type":"item","numeric-id":4625702,"id":"Q4625702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$E1B5213A-F356-46BA-92F7-F65D2F5478CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186fb58597719ba9662a9164df91ae3f701697fd","datavalue":{"value":{"entity-type":"item","numeric-id":5145632,"id":"Q5145632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$325ABA8C-FB4B-4898-A556-12E3DFC35A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9aa645a19372cb1ba6d08bac7b7f2329fc96427","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$CEF12F10-8EE8-4B44-A456-B885E5B776DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c9f74c9e2f323d6a6a8fb50accb2001547c77d","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$1F9AD7B1-0D81-450C-8612-BBB8D09C148B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca94ae032d3cfe3b72112ec4150fa2e5f4c2395","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$E34C3992-A215-4740-8C9E-DE0D37C49F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e1991b57af1236465e3fc5b826bc609c184e61","datavalue":{"value":{"entity-type":"item","numeric-id":5270089,"id":"Q5270089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$644270B7-397C-43F8-8204-2FE3BE3B1B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be0601b487f13aa440cbc3982ff84dc3a040998","datavalue":{"value":{"entity-type":"item","numeric-id":4608723,"id":"Q4608723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$3420579E-E7EE-439B-9924-1C9AE55CDCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fee5e31c4438384877b269874fb6e747d09fd8","datavalue":{"value":{"entity-type":"item","numeric-id":2424676,"id":"Q2424676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$BCDCF02A-47E2-4BD3-BBC1-1CE7014F380E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76bdf390f8550d14f7ec88391ce9c9eb5f716e9","datavalue":{"value":{"entity-type":"item","numeric-id":5053061,"id":"Q5053061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$9CADEBC9-63AE-468E-B81D-021A67486ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45100dc6dcc8b18e4142785bf10505ead6fb706d","datavalue":{"value":{"entity-type":"item","numeric-id":553297,"id":"Q553297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$00B702BF-885C-4D68-8D65-E7D9D403EB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc0aa5894d70095df9cae9bea04a6713c68fbff","datavalue":{"value":{"entity-type":"item","numeric-id":4635870,"id":"Q4635870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$9DB3E450-79BA-4A51-B7D3-9607E92915D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6462a3ea0dd633bacf406331b389bb5d1ef53d","datavalue":{"value":{"entity-type":"item","numeric-id":1847366,"id":"Q1847366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$19DDD960-FE71-478D-B837-CC198EDC4957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2e5035e8c49172e2a82144878400bd13d858ef","datavalue":{"value":{"entity-type":"item","numeric-id":408544,"id":"Q408544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$3F90FBCF-7BC6-4E64-B3DE-3FF77E3A3C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed9cf3819147d1dc715507d9b4416d6e5c07d6a","datavalue":{"value":{"entity-type":"item","numeric-id":4973892,"id":"Q4973892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$09C11FB9-CE37-4C7E-827E-B0729304613D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c657d169fa99722cd020cd8a5082ae1a39d115","datavalue":{"value":{"entity-type":"item","numeric-id":1653019,"id":"Q1653019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$8D510DD5-A4ED-4FA8-A23A-D76C08574182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$17352616-837C-4995-B1F2-89E68BD28672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$98D23575-9E31-490A-AC8D-A59A73836089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50c9d9aa61f974c5f6695b189187a5aef7851430","datavalue":{"value":{"entity-type":"item","numeric-id":2398267,"id":"Q2398267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$723E709E-3B33-4A8A-96CF-9E268C388FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4ba72b99f6b7c8f1619ec42b1fca7ba63faae2","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$41277E7A-EBCA-4E12-8A93-D9077D7CF632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"debdc80e243d285b50a44b4bca90d8ff20b6cfce","datavalue":{"value":{"entity-type":"item","numeric-id":4625658,"id":"Q4625658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$ABA8006F-6612-4A67-A2AF-271476AC1920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$DC963DFA-00CD-436B-8B3A-5DE500945F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9def7d0498f9f5ca8cd1639afeef0ff4343ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2818030,"id":"Q2818030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$C2D704AC-4B48-49F4-914C-DD7577C28A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a64f5d8bb8796d929b170b9a451b694680664c","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$06CDC237-6F28-4D5B-B6A9-BA98A00B1524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$E6C1B851-F09A-4ADF-A309-350B00E3CD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$1AF80AC3-3B26-4CA6-9D42-24A957A4E3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd55d3e58beab41f7a8d39497abaeaa0b0600681","datavalue":{"value":{"entity-type":"item","numeric-id":853647,"id":"Q853647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$AC76D1E1-7480-45DD-9D3B-2042F4E77104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032df01f28f162bce31f286b49927a49618249ee","datavalue":{"value":{"entity-type":"item","numeric-id":1799077,"id":"Q1799077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$A41B247B-47F2-4B5B-8A0A-C522A2993570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c19b1fa5db68c7d404cb2711fd5159ebf7cef9b","datavalue":{"value":{"entity-type":"item","numeric-id":5326456,"id":"Q5326456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$95FC1050-CD44-4EA7-84EF-D816875EDC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777869f77ea42374cb6bd56298ec9252c09c58d6","datavalue":{"value":{"entity-type":"item","numeric-id":2818032,"id":"Q2818032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$65BFE039-0B05-45CB-8E9B-87E5AE00609E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9091a2338bd062ad434831f51a87fced6ec19bf0","datavalue":{"value":{"entity-type":"item","numeric-id":5280739,"id":"Q5280739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$C9BD5DC9-D871-43E8-B428-5B927A02477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c07e39edb1ccb52e81245ff4646e9302f6b66c6","datavalue":{"value":{"entity-type":"item","numeric-id":2321317,"id":"Q2321317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$EB47A7AC-1FB0-42B6-B379-FB9734735FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ffb7c4897464eade24b984dc253233d6968fb77","datavalue":{"value":{"entity-type":"item","numeric-id":1095871,"id":"Q1095871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$B5B552F3-2C8A-4731-821C-475AF8D484C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$C3F45664-3FF7-4781-9044-4ABF105789FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$0A33FC0D-2077-4E5F-AFC9-DCA5F67EBF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b84fc01ec7d99ba6fecc5c648223dc64c7c076","datavalue":{"value":{"entity-type":"item","numeric-id":5868872,"id":"Q5868872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886517$E32476B5-F390-4BEF-8E0F-207A7ED14F1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be27cb011c2b316d969f24d656bed1628df0864","datavalue":{"value":{"entity-type":"item","numeric-id":5145632,"id":"Q5145632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q5886517$F4033A96-A750-4149-B3C4-ACA572B60A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce90d13d4e18b12fc2cb127f32b95c58d30a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f938353a5a9dd3f8c9f2be3ac0cc821da8fb7585","datavalue":{"value":{"amount":"+0.9100896","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":"Q5886517$96208413-9625-4845-A8F9-D8D1BE6831C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f21b62d6f5a132d14e9d9226e3f1ea566d331b8","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1edd10fd415f080941cfcd3df86aa0cc0013f17","datavalue":{"value":{"amount":"+0.89642763","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":"Q5886517$7B2181ED-75C0-46CA-86C0-69D825AB14F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b18c271c8743eb600072663ce550fa9143eea8","datavalue":{"value":{"entity-type":"item","numeric-id":6488807,"id":"Q6488807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979718479e1a491cd3342d600b52629ab6ef71e6","datavalue":{"value":{"amount":"+0.8949995","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":"Q5886517$30D8BCAB-4DDB-40CA-B571-E6B98261A3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cf8913ac50ad9e68e9a71a924b65862bc3326f","datavalue":{"value":{"entity-type":"item","numeric-id":2118289,"id":"Q2118289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b984bbd11e62b51f0612b8d5351db86ef7a9e0a","datavalue":{"value":{"amount":"+0.8868182","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":"Q5886517$C83855D2-BED0-40DF-BF9E-39DDA182CD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa89057f4906c43e874fd26e87e45b702550108","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a73a9f7b21e9a740a0f00f0e62bad49122674143","datavalue":{"value":{"amount":"+0.88671666","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":"Q5886517$A169A8E9-7366-435C-8B82-AE8FC4CEABA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7be744affc9c6686f03df0308d2d8f6df4382b","datavalue":{"value":{"entity-type":"item","numeric-id":4625702,"id":"Q4625702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d8768df72dcdb547176d9583b9a467e5707695","datavalue":{"value":{"amount":"+0.8768612","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":"Q5886517$5DB8A55A-B8EE-4CC3-8675-7F760523D8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f32fecee0e36e344d819841cfbcc22be43022f","datavalue":{"value":{"entity-type":"item","numeric-id":4993272,"id":"Q4993272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453fb8bd0a7faf8fd6c3c6bde9625230b7b2acc3","datavalue":{"value":{"amount":"+0.87533414","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":"Q5886517$A8D79F7F-609D-4380-8927-665B0B5E28DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4d79417665ad48382e786fe4291ba05840f209","datavalue":{"value":{"entity-type":"item","numeric-id":3304126,"id":"Q3304126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2550b209218fe9e894f56123e2e543b5fd8b00e5","datavalue":{"value":{"amount":"+0.8695641","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":"Q5886517$C87E2D9A-9C34-4927-968E-D112F6520244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b2af068f7eec6e63ec2ba3f511392a617e2796","datavalue":{"value":{"entity-type":"item","numeric-id":2818030,"id":"Q2818030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6bd0dfb68cbf4c908d4410bc97efe21554892c","datavalue":{"value":{"amount":"+0.8690866","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":"Q5886517$9BF50291-4064-4FFE-AA87-FD7EEB83F1DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hardness Characterisations and Size-width Lower Bounds for QBF Resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hardness_Characterisations_and_Size-width_Lower_Bounds_for_QBF_Resolution"}}}}}