{"entities":{"Q3304096":{"pageid":3314804,"ns":120,"title":"Item:Q3304096","lastrevid":86844428,"modified":"2026-06-04T10:00:05Z","type":"item","id":"Q3304096","labels":{"en":{"language":"en","value":"Lower bound techniques for QBF proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228393"}},"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":"Q3304096$80CE4A07-47E5-44F9-BAE3-E075BC42767D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"347e22cb70e62e35c02a2430787a068aa9ef7608","datavalue":{"value":"1487.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304096$991AB52A-843B-4521-BC30-F53F879AD9DE","rank":"normal"}],"P16":[{"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":"Q3304096$A5659C07-5B09-4780-A82D-86BF28C5F804","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-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":"Q3304096$EBF9BE42-02D7-40DB-8EF3-F70788848233","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304096$BCAA8043-162C-4DB2-AE29-826B707BB2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304096$E57F0BAB-250C-4E1B-B0D4-B06170381AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304096$8679AEF1-5BF6-4F74-93BE-5E944D6A0005","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6fbc0165c46c12337f3c260c8cad9af0be1d12d","datavalue":{"value":"7228393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304096$E9C063DB-A1E0-4F40-B073-6A1D77666A77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304096$A3B9FAE1-EF1B-4B88-A831-20AF49756A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304096$736EB2B2-2924-431A-B79A-63BDE10610D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304096$D0D76364-1E51-415A-8160-3F99AF0D0DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7daec4ca65180985ce11628f27176a5337eb9355","datavalue":{"value":"lower bound techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304096$329A6365-1971-4C3B-8436-788F9ADB91E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ef83bc65a4e27e40a0f15cc6aef8f4086b5991a","datavalue":{"value":{"entity-type":"item","numeric-id":23327,"id":"Q23327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$193499BC-88F2-4EA1-B032-0A7D8C8FE46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca9a3b7221d86f39ba625c5cdafb4b84300080f1","datavalue":{"value":{"entity-type":"item","numeric-id":13515,"id":"Q13515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$45284BFB-5F37-4303-AED4-AECA191E286F","rank":"normal"},{"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":"Q3304096$E2B7B2A5-9758-4EC6-AEA1-0B3B36EFDD82","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":"Q3304096$6351BF90-9CA1-4110-AA8A-4CECDB066E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$24FC350E-3A69-4E66-A273-5560E885FF6A","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":"Q3304096$516F64AE-6DB0-488F-BE68-F0A4C9DFBC7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e608320df31f8e48c84ddb3e288d0df61ecac3d","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$BAF56EEF-ECF3-4D61-9A90-EC4DD947AAB1","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":"Q3304096$46A12A92-05A7-4C7B-8990-8C982CFEE5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df79eccf9b3fe480906a64470a2d0251e219797","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$AD2DE843-238C-4057-B5A3-F7AAAFA0A758","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":"Q3304096$6AE3FCBB-ED8F-46FD-9035-00B908266CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b0bf2d56b79ab6e0b3047921557a41dd143b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3304106,"id":"Q3304106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$660CA744-D4DC-4F33-8465-A38D6A9FCFAB","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":"Q3304096$79C7257C-E367-4BF7-936A-6FB4A2246A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c9dc9e7a7e7ba60691fd7bebd8fdd9e32563f8","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$A4162DC7-1DC5-417E-8E33-9FF9BAFF4E66","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":"Q3304096$D629E724-701C-4B77-800E-A2ECD817D9DC","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":"Q3304096$E1A515CA-6C88-4BA6-B7AE-B3FEF8A7981B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2b7bc968d0022ba4821507b1570d3b6507fc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5136303,"id":"Q5136303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$E6398724-0D0D-4085-994C-98314EA836A6","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":"Q3304096$4A50D5D6-5517-4C51-B551-03F9FF08E8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2dcdf769969c9e2053606978646882985217ff","datavalue":{"value":{"entity-type":"item","numeric-id":1610666,"id":"Q1610666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$5FD750D2-98F9-4B93-920A-50A6242D3F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$ADD12C0A-3165-4875-8655-0815D110E69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa3c7b6019916192168ed35411ab583608988f2","datavalue":{"value":{"entity-type":"item","numeric-id":5492981,"id":"Q5492981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$B5288978-DB28-44FB-AAA0-D6960F65330A","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":"Q3304096$67D9B232-CB7C-4386-9E29-6A5D2681251A","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":"Q3304096$E4D64A0F-7CFC-4A35-A796-EC1AACAA00A0","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":"Q3304096$66BB3299-04ED-4AF8-8FB5-2686D1EF0A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8e7aa6809d54e2ccf2352967b475ad93db72d0","datavalue":{"value":{"entity-type":"item","numeric-id":4930584,"id":"Q4930584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$3C169A88-E113-4462-9ECE-41FA14692904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$7423C491-2458-4338-BD21-9E19525FD1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$66BBF225-821C-4125-AAE2-3866E925C50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84865bf0bb8459da6bb92c4b58937a5a1d134569","datavalue":{"value":{"entity-type":"item","numeric-id":4336120,"id":"Q4336120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304096$8AE47277-06FD-4694-BF9C-5747736229D0","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":"Q3304096$336C43C1-D4E6-47F6-ADF5-0FC6156C5FC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"034eaf04147ea552027ae629652ca41caeb45bd4","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/8536/pdf/LIPIcs-STACS-2018-2.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3304096$4535A608-E172-4A29-BAD4-2B3677B6A1DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbb636f2efec56611e11be72cc6cc0c7d67bd784","datavalue":{"value":"W2789336854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304096$74942C07-962E-45DF-A340-1D459712420C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"966de8b83316393d8050c0a0d9107d7236e650d2","datavalue":{"value":{"text":"Lower Bound Techniques for QBF Proof Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3304096$E8DF030B-3C34-44BF-BCE6-FDBF64E37200","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15588472e731c4b1af5051abb43b6a800302da22","datavalue":{"value":"10.4230/LIPICS.STACS.2018.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304096$284B4D78-BC89-4272-B2CF-CAAD9C690A21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cf41f596b930f7a683c9f042edf9877d0c3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e693087481315e3430f235e3b096bbff4b3774d","datavalue":{"value":{"amount":"+0.8704176545143127","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":"Q3304096$C0B80693-B945-4B64-9182-2185F6E9BCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5198cfa13681174cbc78a60ec4742ffc9b4b6a86","datavalue":{"value":{"entity-type":"item","numeric-id":5053061,"id":"Q5053061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3601afbb824aaa9afdd68c703e9f1b7ec03bb7f","datavalue":{"value":{"amount":"+0.8606486916542053","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":"Q3304096$4CA6784A-D5D1-45CC-8934-F73D7E3EF18D","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":"267acd66bc36b5f180af267dc102e2463a57af85","datavalue":{"value":{"amount":"+0.8558390140533447","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":"Q3304096$87B6DC32-3B12-40BA-9702-C991297D0CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec40f5cb86fb2828fdd2637c742e85534e14189b","datavalue":{"value":{"entity-type":"item","numeric-id":5136303,"id":"Q5136303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e230f83a6e1c494fc14b95b2a8d60e1f21eef412","datavalue":{"value":{"amount":"+0.8511651754379272","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":"Q3304096$44DB897F-02CF-4829-977D-FA2D762A754E","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":"573aff45e697c932d2f8a16e69f9cbfa3d15fc60","datavalue":{"value":{"amount":"+0.8348414301872253","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":"Q3304096$C9C9050D-2908-42FA-8A71-CCB6398C71BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower bound techniques for QBF proof systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_bound_techniques_for_QBF_proof_systems"}}}}}