{"entities":{"Q2118284":{"pageid":2129027,"ns":120,"title":"Item:Q2118284","lastrevid":43520570,"modified":"2025-07-30T13:38:03Z","type":"item","id":"Q2118284","labels":{"en":{"language":"en","value":"Lower bounds for QCDCL via formula gauge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495565"}},"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":"Q2118284$6166B5D4-9E76-40DF-995D-96B1CE2EE326","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":"Q2118284$5112AC20-F6EA-41EE-A703-52066734CE6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eedc5864ba1c23e9ec728259d063d94c9331dd44","datavalue":{"value":"10.1007/978-3-030-80223-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118284$5FE7F060-0217-40A7-921C-F5AA014BC01C","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":"Q2118284$6B198274-32A2-483D-9B9C-BC6FADAC1BA1","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":"Q2118284$E507823F-603E-4E12-973A-7982CC7942E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118284$872C8A47-FA49-4213-AE09-727983A6CBC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118284$81DA9A2B-1A4D-4ACA-83DC-B97A68026169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118284$EDA9F279-A31B-4C15-8104-255A9DF2D563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118284$D1DAB464-8327-4E57-A04C-173DDF168BF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50f378552436e7a9e83265c9b4c0ee0e83daa0e9","datavalue":{"value":"7495565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118284$3B7E5585-9193-4259-B3D7-87742058F99E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118284$3F2D0D6D-FAC6-478F-91CF-E4389E4DF15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e9f8634e1d80292d6e6e6f298fabface0a58664","datavalue":{"value":"QCDCL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118284$99BDEF8D-EBC8-46D0-933C-E61676FF0B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118284$228A6548-9E63-4B9C-A24A-A597DC03B0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118284$3E873FBA-68DC-423A-9ED0-8E4F7AF1CD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118284$02652F03-E537-4E78-9B63-353789D42FF2","rank":"normal"}],"P1463":[{"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":"Q2118284$BF1FA0EC-B2F8-41FA-B044-E54E293C7650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118284$F048E13E-6F25-4C6C-93C0-0FC1B0CC96B0","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":"Q2118284$15005CDD-65E4-4820-8D9A-A8E3E1DB7AE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59677823026d82105f95467cfe2d43a22bcce697","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80223-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118284$5963E04A-2B35-48FE-8929-3139AB5DA740","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0045abb284bb0cd1fc1f9f7e93a92683e525eb7a","datavalue":{"value":"W3186139236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118284$8A0D0249-C21A-4431-84CB-D03153627947","rank":"normal"}],"P223":[{"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":"Q2118284$8488CBDE-9BA6-46CF-A80B-379AF1D25DA4","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":"Q2118284$3930421C-8FDF-4AE4-86DC-46312BE0FE6C","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":"Q2118284$D0E19992-B1A8-4467-99E7-AB58FD6548BD","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":"Q2118284$C8069BB4-8158-4B47-A844-169A7BA43C0C","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":"Q2118284$A1AE99C6-6A59-4D9D-8B2E-CE911095945C","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":"Q2118284$7182390A-006B-4F41-8374-81CED9D5A89F","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":"Q2118284$42C28671-6A16-459A-A32A-756EE1321765","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":"Q2118284$6728F269-BD45-4E76-8A95-66E7FF8870FE","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":"Q2118284$18B9160B-0E33-42BD-A0AC-DBACE195FF10","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":"Q2118284$974BC26C-60F3-4469-8E83-AEA6DF1DAA41","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":"Q2118284$EDB964CB-1C50-4C47-82AF-7E02963AA98C","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":"Q2118284$84D253E9-A35A-49FC-9687-2202341D9157","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":"Q2118284$F8500014-D9BF-4598-A57F-790BE0895544","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":"Q2118284$189BA5D4-BB9A-4FE2-B306-FEC336480E0D","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":"Q2118284$D76CAD5B-0BDD-45ED-9287-20258B9D7334","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":"Q2118284$EB2312BD-15BB-4BD7-A270-39E94A8652C3","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":"Q2118284$07DA1289-0519-4ABB-8A9F-9404F21C2DBD","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":"Q2118284$92E92896-29A2-4075-8122-4DC6EFEE4165","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":"Q2118284$962AC273-9960-42D2-81E1-000A97D5F168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118284$980456A0-90A9-48F3-B05D-583D406A15CE","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":"Q2118284$428F8DE2-BBC1-4E30-996A-7CE395B8036D","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":"Q2118284$B968F40E-7D21-4DFF-A2CF-14652A69551C","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":"Q2118284$5DD6445A-EE05-4B57-8B28-CCCBBA03B6FD","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":"Q2118284$9C49B835-7851-4E2F-A6E1-89D442EE0862","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":"Q2118284$7F060957-E04E-40DA-AF14-10CC8251DE16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118284","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118284"}}}}}