{"entities":{"Q6053848":{"pageid":13188003,"ns":120,"title":"Item:Q6053848","lastrevid":102381095,"modified":"2026-06-06T04:19:24Z","type":"item","id":"Q6053848","labels":{"en":{"language":"en","value":"Lower bounds for QCDCL via formula gauge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7753654"}},"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":"Q6053848$BE083BD5-5082-4D81-932A-9A55900BC209","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f0d39bacd477c18fda20adfb84998913285d71b","datavalue":{"value":{"text":"Lower bounds for QCDCL via formula gauge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6053848$A7C14744-B295-4D13-AAD7-D957ED54110F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8e5ef8f8bc12759805e4c2ae243e949fceb4bf3","datavalue":{"value":{"entity-type":"item","numeric-id":537764,"id":"Q537764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053848$7E64F015-6A5F-44E1-B9BA-2A64A5A7655B","rank":"normal"},{"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":"Q6053848$69DEC481-FCCC-4754-848D-BF21340C2C3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053848$3DCB09A3-AE3E-413D-B899-C2E815989F39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc38c107bfbe3d21f38c865385857570a4bd451a","datavalue":{"value":{"time":"+2023-10-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":"Q6053848$4468067C-EA51-4EEC-9F50-5FCD767C8A14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053848$AA6D5C6E-EC22-46C3-A5DF-B8A8696ECEC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"067a454a0be029b3de98fee64a2237ddd9409495","datavalue":{"value":"7753654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053848$E63521ED-8064-40FA-AB7E-7C1B809E1140","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053848$FF8027E0-CF7D-4D64-B91F-C01C56DCC301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e9f8634e1d80292d6e6e6f298fabface0a58664","datavalue":{"value":"QCDCL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053848$5A30EF09-68D3-4CF7-82FC-274A3FD8458F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053848$A78CD87E-C37D-488B-8592-EFDAB8640177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053848$4317FD48-7517-4867-8B28-CA7FCCC170DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053848$689613F3-E30A-437A-8247-D3AF5238E82F","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":"Q6053848$71A7CD72-23E0-40C0-8684-69E54861DF4B","rank":"normal"}],"P223":[{"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":"Q6053848$8F4DE51E-F776-4F60-9AF3-07B6E48C5725","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":"Q6053848$8EAA372F-79BF-467D-A3A6-2698A2BE6414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053848$759EA3F0-96E5-4C23-A8E4-34BC55C2A617","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":"Q6053848$691F6015-0E65-4731-82D2-9F49C9A2324B","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":"Q6053848$57A7E7C1-DD82-4C4F-94B8-65BD95C0CD0A","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":"Q6053848$F9C2BCF8-10FC-4224-B97C-DDAB00F987F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"710e58c0bf3dcdc281e62a5c8528369d11bdfad7","datavalue":{"value":{"entity-type":"item","numeric-id":6135750,"id":"Q6135750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053848$1E0ABFF2-E43D-4A5B-9CC3-1E8892B2EA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca85511458d1e8ffc3112b636b30e90d46ee5ec8","datavalue":{"value":{"entity-type":"item","numeric-id":5133965,"id":"Q5133965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053848$54070CBE-F09F-4674-A817-91F0910806DC","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":"Q6053848$9EE71640-4C0C-4396-8D5A-8A3C7630F856","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":"Q6053848$0B53990F-388D-43DF-81DA-24CBA6631406","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":"Q6053848$30852BE1-BB2B-4BD4-8987-EA9B21894506","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":"Q6053848$9DA32D3D-0E59-4FD7-96B5-A3905728956F","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":"Q6053848$03178794-64B0-4E36-8012-3592A63D9195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce322979b3aa20d661238d85bb8f9d8c520cc4ba","datavalue":{"value":{"entity-type":"item","numeric-id":2118284,"id":"Q2118284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053848$4C696185-FF78-470A-BFC0-38A08B32D1B7","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":"Q6053848$8AD692B4-DA64-4029-9C74-2E11D3E2A9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa44e7477708cf15aafbeca2fb67e3a90886b530","datavalue":{"value":{"entity-type":"item","numeric-id":2870136,"id":"Q2870136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053848$59AD2A8B-6887-427F-88D3-9B131FA3C5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb5c9d0b0d6ff42b8fb3510f341e870a8e3d24","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053848$2ED562D2-B809-47E5-BAC0-4B0A6408BC3A","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":"Q6053848$AEC49B6A-006A-4750-BD35-342C03B5499C","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":"Q6053848$0F5A4360-B7AB-49FD-BBB9-B00C497F966E","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":"Q6053848$A087D624-4F85-448E-9D10-2B2E6529FE28","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":"Q6053848$BE8334AC-EF7D-499D-91C0-913616D2AB8F","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":"Q6053848$FB1BBC2F-92D5-4038-AF45-93C6DD89924D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a555c78e813a5bcccbb1c854682ba4748e2c2baf","datavalue":{"value":{"entity-type":"item","numeric-id":2405263,"id":"Q2405263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053848$8B20B51A-A5D3-411C-810E-1BD0C4379292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc791ea6031f9274a6c599a5a61a3da3960fb26","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053848$5F61339A-8C21-4D3B-A4CC-19E52D7246D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053848$085B8525-52D3-4D56-9288-E00548166BE7","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":"Q6053848$C2BA1A2E-BFC1-4197-B2D9-9FF0F9FCCD12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b59d1045de551a11d3a0b0be1c418cac1c92763f","datavalue":{"value":"10.1007/S10817-023-09683-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053848$C569739F-8EA3-481C-9FA8-A46D1CA4F1B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3416a9e8557e10c95eaaf5b2b042e7e9c2d4441f","datavalue":{"value":{"entity-type":"item","numeric-id":2118284,"id":"Q2118284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","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":"Q6053848$A59C0B7C-BF8F-4BA1-BB80-2BC323E262A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1768555edd955d2a0f9a23331d503b374f21e4","datavalue":{"value":{"entity-type":"item","numeric-id":4978064,"id":"Q4978064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5bf4b1b204a54f60e455163955062c899ff9739","datavalue":{"value":{"amount":"+0.8853941","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":"Q6053848$C140D0A1-AECE-4999-ABC0-2E3A7DFF1218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819db908498e286a040826728e79ef3eb68e8744","datavalue":{"value":{"entity-type":"item","numeric-id":2784465,"id":"Q2784465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a31df1a81d6473e5372262b34d2e7da3fa194f","datavalue":{"value":{"amount":"+0.8626603","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":"Q6053848$45AC5246-3CD1-47DF-80A5-328BCE1CB0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e477ceeee7202aafa7ec64b6edabee4cd66a0b27","datavalue":{"value":{"entity-type":"item","numeric-id":5895206,"id":"Q5895206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0bff9ed384c8df230ac32be8990f5b75fddd89e","datavalue":{"value":{"amount":"+0.8366773","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":"Q6053848$401A6E0E-5B30-4107-A9E6-157EBBCC9F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec383eaca03bd377ad218d22ec0a2b45a083c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5894821,"id":"Q5894821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0bff9ed384c8df230ac32be8990f5b75fddd89e","datavalue":{"value":{"amount":"+0.8366773","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":"Q6053848$EC267D55-A45C-4CA1-A3D2-77C38A0FD766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb3a2f60f308787677dbc3d72858c257dfa260c","datavalue":{"value":{"entity-type":"item","numeric-id":5441359,"id":"Q5441359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb7efbb9d37c1157d8967eeba44e7b1382994d2","datavalue":{"value":{"amount":"+0.8321314","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":"Q6053848$22C37262-0646-4917-8F48-A29B35B2A26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c7654e3281a0e311dd00d508265b221a100606","datavalue":{"value":{"entity-type":"item","numeric-id":1944121,"id":"Q1944121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54448a8a725dfc1236d503a24afa534c7e2f41f7","datavalue":{"value":{"amount":"+0.82919735","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":"Q6053848$D0040271-D5CC-47DC-8A67-319558CC993B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7106f6e470cfc1610ef8ff3a63e73a5909d7c727","datavalue":{"value":{"entity-type":"item","numeric-id":3304106,"id":"Q3304106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f617909d2d2d2833ad5a7d62b33f0faa501e49c","datavalue":{"value":{"amount":"+0.82652307","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":"Q6053848$0B1B3C58-FC3F-4DCB-AB28-7EE1345E8D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041886e33d814b050c9163bb6340a82153804d0a","datavalue":{"value":{"entity-type":"item","numeric-id":4321552,"id":"Q4321552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17018b295823cd3e3641e567a9beecb784f406aa","datavalue":{"value":{"amount":"+0.8262819","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":"Q6053848$24DC4990-D5E9-450E-93CF-C29209EC215C","rank":"normal"},{"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":"24c2ff3f311237ba34e1cc2e1eb5370832dbb261","datavalue":{"value":{"amount":"+0.81798947","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":"Q6053848$3086D2C7-09CC-4010-A7BB-6B55CF7974B7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053848$EE46B75B-372B-4688-B100-39D2DC44EC76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower bounds for QCDCL via formula gauge (scientific article; zbMATH DE number 7753654)","badges":[]}}}}}