{"entities":{"Q2351392":{"pageid":2362135,"ns":120,"title":"Item:Q2351392","lastrevid":72576483,"modified":"2026-04-14T05:51:47Z","type":"item","id":"Q2351392","labels":{"en":{"language":"en","value":"Mining circuit lower bound proofs for meta-algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449226"}},"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":"Q2351392$F4AA3FCE-DB97-43BD-8BE6-8CE6339D796D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e9c215e624a764921930514053f387bb6aee68a","datavalue":{"value":{"text":"Mining circuit lower bound proofs for meta-algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2351392$23BC45FB-E465-4343-B82F-935B47CC905C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c6804b7a950e50f1329ab0abfafdfb0f0f5b899","datavalue":{"value":"1401.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351392$C4F78DE9-CF68-4C0B-B91E-E513D1FD12FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b5c774289cb06728394ee7f2c45036601a893ea","datavalue":{"value":{"entity-type":"item","numeric-id":334921,"id":"Q334921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$AF0457DD-5D0F-426D-A3E6-F9043EA41175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d2539da0629477438d7ce1d3087216415362d1","datavalue":{"value":{"entity-type":"item","numeric-id":230568,"id":"Q230568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$94B70396-D2EA-45C7-9A30-9A4164B8B199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d33dbcf1c53e85929fe28108a0d752643d16a11","datavalue":{"value":{"entity-type":"item","numeric-id":1412836,"id":"Q1412836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$63EC91B4-1B95-429D-A3A2-56B9E30DDDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"256705a197690b134d5b3e203b26d7eb8b836aa7","datavalue":{"value":{"entity-type":"item","numeric-id":301522,"id":"Q301522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$D9242A23-C988-4558-A70F-C712C617F0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e9247244d7c5a83ff00535a80d8b3489fb0336","datavalue":{"value":{"entity-type":"item","numeric-id":294713,"id":"Q294713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$8F397C43-36BC-42FF-8864-2F44516891C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$7640B017-54AD-43A6-BEB7-86CCE9D2234E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c61f53f8f8d7719eaa1ef54a22f9b50ec39aa46f","datavalue":{"value":{"time":"+2015-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2351392$6D339FD7-BBB2-47D5-AFED-76963A32CC12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351392$A177C920-05B8-410F-897D-053FDF51CFFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34c2e67025ecec90a954ec67814203c25aea015e","datavalue":{"value":"6449226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351392$8332006C-6674-48A9-B36A-7B1F5B173E87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da31d00cc624e87fe8e916de9db9313b428dd512","datavalue":{"value":"average-case circuit lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351392$FF9FE346-C002-4886-B7DE-471F371C7107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84eec3eb6bd32fb83ae4ac09026ce151c59e1dd8","datavalue":{"value":"circuit-SAT algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351392$9A4796D4-A57C-42C5-89D3-5F917F1E0E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f8dd5c493bcfe457a2c05cd0b9ce65be151090","datavalue":{"value":"compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351392$2C169997-C871-44C0-BDCA-61D17573D511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239f0ecae6df862ea077b2c97b2632360bddb38d","datavalue":{"value":"meta-algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351392$87DF6395-E5A8-4C92-B73C-D55B292DE84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a438ae63f7b70557c95bd9a62144ac209317515c","datavalue":{"value":"natural property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351392$70CCA2DF-5697-44A2-A17F-762E0FC34BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b23e8839b5b25ed2c28e12b6d70e4e4d60d612ef","datavalue":{"value":"random restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351392$420299F9-CC63-49D2-A806-CA7F6EC840C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a68a597f8df995a9148343be0345d741cdd6bb","datavalue":{"value":"shrinkage of De Morgan formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351392$2D83AE8C-D770-4A73-ADBA-3B58771F6FF1","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":"Q2351392$BDA664B0-AAE3-45E0-87E7-1D6B17685594","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"500425a51eba3eac66dc4948b8d7a267669a7187","datavalue":{"value":"https://doi.org/10.1007/s00037-015-0100-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2351392$748EB04F-9660-4F43-80B7-A3E56A875A8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2cc75ece8941c386a57cd4f0e5301c4e10af866","datavalue":{"value":"W2053658780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351392$A33952A2-A400-40A3-B08A-7B1D6884C131","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"740ad9d785348e47204954eed75fd96cf0adfa52","datavalue":{"value":"Q113906247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351392$E755E421-1365-4E1A-8BBE-FE33097E8582","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"972538628c05b3b88f05e4996f430b37797ade8a","datavalue":{"value":{"entity-type":"item","numeric-id":5897760,"id":"Q5897760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$F01751E0-9002-4B35-B768-B4EA9034C6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b77eec5c9c6a43ad6b380ed444f38129edb7d5","datavalue":{"value":{"entity-type":"item","numeric-id":3614150,"id":"Q3614150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$9F24AEF6-1C3A-4830-80C6-4A4FF02555BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a3c4a236e1a86a9306468a70629484f76019f1","datavalue":{"value":{"entity-type":"item","numeric-id":4014640,"id":"Q4014640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$A9DBEB22-8848-4EF0-997F-815A62B19A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f327bf6a0755d2fce21f5d5f350286e2309c464a","datavalue":{"value":{"entity-type":"item","numeric-id":3772136,"id":"Q3772136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$51037547-2320-4F48-A163-E15C5A901249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"460a7d56c9002563be5b888d0342c1492ebca797","datavalue":{"value":{"entity-type":"item","numeric-id":4938624,"id":"Q4938624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$81C28705-4E19-4F24-93DF-2C7BA8AF085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$F620504B-B073-4BC9-8B52-06CE3740E38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbcaf40421e67c7641ec8bb2f68d80afa858cfac","datavalue":{"value":{"entity-type":"item","numeric-id":3654376,"id":"Q3654376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$E4383B7E-AA64-4C65-841C-6075D9A3BC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a581f96e8cabd60b98280dbc93b840cb31eb7421","datavalue":{"value":{"entity-type":"item","numeric-id":3339289,"id":"Q3339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$9D2C7F52-C37A-41C5-8453-1C7E6B78AAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b87d4d660be017ed3a655c9578140dd400c43c7","datavalue":{"value":{"entity-type":"item","numeric-id":4385519,"id":"Q4385519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$096DC5FA-3A78-4069-9F41-21A20CACA8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80f354b54f554d250604eab5d2a5e1e5b8a6705","datavalue":{"value":{"entity-type":"item","numeric-id":3579633,"id":"Q3579633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$B17FF3A3-6E75-4EBF-822E-2B791543A0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a4c23b508911cd4dee06950b209c7fd3b1801e","datavalue":{"value":{"entity-type":"item","numeric-id":3656852,"id":"Q3656852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$EBFDFBE1-0FD0-41C8-BBF1-2E5F3867F729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b22089ce50104577f0db808daa988efd3e7d3e","datavalue":{"value":{"entity-type":"item","numeric-id":2922605,"id":"Q2922605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$F620A594-59FB-4167-AB38-F3AA64A1C379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a80eed9f379f185c9ca92aab1fa2ad3cc4463c9","datavalue":{"value":{"entity-type":"item","numeric-id":3887227,"id":"Q3887227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$35445637-58C8-4B89-88D4-07FEF064E24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$C8874E7E-D3B7-4034-97A6-03C31F690BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f442ad88543763a7485036316226ee23e07cc75","datavalue":{"value":{"entity-type":"item","numeric-id":5920702,"id":"Q5920702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$EF015248-CBEE-4965-B74E-E7BE426F6C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9013ed2421ed06db0afaadbc9f18e7ddc959ec6c","datavalue":{"value":{"entity-type":"item","numeric-id":5307579,"id":"Q5307579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$27B3D8FB-8B4D-44A8-8EB7-4B3CDFCF112F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$444F9CD0-E3DF-4B45-9097-58848E3D69DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82eabf1953bf771767a4d5caec1be24a9726d404","datavalue":{"value":{"entity-type":"item","numeric-id":3167425,"id":"Q3167425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$E78C4D12-401A-4FEF-894B-1221F8DD89C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c78aef7bac193edf6a3b764f955cc3f17406a6f","datavalue":{"value":{"entity-type":"item","numeric-id":3588437,"id":"Q3588437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$7B58498B-495E-4CF2-854B-A94705A01F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13b685ebea75fca73a69c0d8054a0ad9bcc269","datavalue":{"value":{"entity-type":"item","numeric-id":4388862,"id":"Q4388862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$B2AD5766-02B6-41D0-AB9A-C954DA93A1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454365720643dfded828f337324cf7a01ad906df","datavalue":{"value":{"entity-type":"item","numeric-id":4268715,"id":"Q4268715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$5C671552-AF34-474F-9725-EA3835D419E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a1bce69a33139ec859758c4b116b3c648bdce2","datavalue":{"value":{"entity-type":"item","numeric-id":3942397,"id":"Q3942397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$20255B93-DD43-4376-8C65-64A60E5EB64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f82b9cf19e79b70e93fbc8bedcd5979716c701","datavalue":{"value":{"entity-type":"item","numeric-id":1872732,"id":"Q1872732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$556F493B-7A5A-44EF-B2C6-CBC052AB9A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351fcf8547cbdfeeae47fd4ed591a61bf10131f0","datavalue":{"value":{"entity-type":"item","numeric-id":5743451,"id":"Q5743451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$8E059823-4318-49FC-B480-C4FD7AB6BC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad2a1cdfb01f4ab80ef167fe0e2faa2068c03d8","datavalue":{"value":{"entity-type":"item","numeric-id":5244384,"id":"Q5244384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$94B162BF-265D-4B34-B05E-AF25561E62C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc79bbac2f848100a966a182e11ca63cddd39c35","datavalue":{"value":{"entity-type":"item","numeric-id":4526985,"id":"Q4526985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$1F4E7B37-F423-4563-84D0-84689095D3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a567a0bd5149009c58baa277d371437f0fed769","datavalue":{"value":{"entity-type":"item","numeric-id":1213733,"id":"Q1213733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$87844A6F-BA17-4474-AFB2-21EA316DD74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$4AF25EBC-6E9A-42AC-BF73-FA563EDD9B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f83a675042851e7def46e661d9c9c229da873b3","datavalue":{"value":{"entity-type":"item","numeric-id":5956013,"id":"Q5956013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$71A891C1-95AA-444B-951B-2EBD45730680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9973175c5d8b59b8a5a43ac3eefc19a8892b7cf6","datavalue":{"value":{"entity-type":"item","numeric-id":3191973,"id":"Q3191973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$D4CBB670-0BE8-4D4F-8E88-E7D6BA6F7ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509e452b6dd0f8e036244daa5f6ac10d798d6bd2","datavalue":{"value":{"entity-type":"item","numeric-id":5916126,"id":"Q5916126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$F2B6C8B6-1AAE-49D7-8363-BCA29B66039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83904af4ce7c3045229ccaec38d75eff59e768c","datavalue":{"value":{"entity-type":"item","numeric-id":3323851,"id":"Q3323851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$A38598EB-AC36-4D2D-83DF-24B695E51476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8dc761e172b44b69a16106e23f09102d065daa","datavalue":{"value":{"entity-type":"item","numeric-id":428873,"id":"Q428873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$0346EE24-F318-479E-8E18-03A1BD3A3CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dd209926dffada2c198307b6a94ad83b7b0576","datavalue":{"value":{"entity-type":"item","numeric-id":5495787,"id":"Q5495787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$D47AC275-938D-40D1-BB53-4EA338436391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daae0bb83cad646c82bd4e30eaf4258cdff2c05","datavalue":{"value":{"entity-type":"item","numeric-id":3140018,"id":"Q3140018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$14713478-110F-4206-9A4C-F841D04B93EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db3468346fcce29d2fe703e3816d1c0ffadbf3a","datavalue":{"value":{"entity-type":"item","numeric-id":1224109,"id":"Q1224109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$8118BAE8-75AD-4D88-9152-DACAAF5D6866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f72c1bb8934d46b798a845138605928f9aa008","datavalue":{"value":{"entity-type":"item","numeric-id":3249579,"id":"Q3249579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$19204BDD-EC6C-4610-A80F-546818EEE1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514b291bcc18717499c847de12de372fe9e5cca0","datavalue":{"value":{"entity-type":"item","numeric-id":5545524,"id":"Q5545524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$7E001AAE-2A6E-49C8-BF85-87C617B08F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409306bdf364930adcbf624496cede43048b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1337458,"id":"Q1337458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$AB7279C0-3947-4740-91F4-04D3F7B2A557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af4f87cf38c71954b63db4f3fc97a1994b3c553","datavalue":{"value":{"entity-type":"item","numeric-id":4696225,"id":"Q4696225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$C62A4A21-460C-49DE-A977-6885FE6E8B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bcea5dd1838c0d984c13b6934f789fdae7a8f76","datavalue":{"value":{"entity-type":"item","numeric-id":4138140,"id":"Q4138140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$DB904557-2EFB-4746-B97F-936B5B8E0534","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":"Q2351392$A06700F2-6EBC-400C-A145-6B7BF6297B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9f0fecc35bde4269719ed65d8692abf049c091","datavalue":{"value":{"entity-type":"item","numeric-id":4850554,"id":"Q4850554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$0E6B1CC4-5C2C-4D9C-9BDF-19353FB236B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072e91014367104cf566b8b67a728f68b171a4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$E658617B-53E6-4F07-B236-4C7D96DE2CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b32593d22280aa2ec565c645acc5643aa966bac","datavalue":{"value":{"entity-type":"item","numeric-id":3918047,"id":"Q3918047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$F44B7904-A208-4509-A8C1-877A1D1AA621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38eede2620f0805f80f7cd0dc2238e609c55480b","datavalue":{"value":{"entity-type":"item","numeric-id":354655,"id":"Q354655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$AC612604-D680-49E7-96A6-CB2F222A0E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0867e5b8e568040593883afe89ddea2141d6360","datavalue":{"value":{"entity-type":"item","numeric-id":3281059,"id":"Q3281059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$67B377F1-67F1-4571-BB0F-E0E8CE8966D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7245189c72bc8c9dd27e9b8865184045dea116c8","datavalue":{"value":{"entity-type":"item","numeric-id":5943089,"id":"Q5943089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$7671B693-F98E-47F7-9774-FAD9C4FC6DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47794241ad9ed7958a872d9f9662094d793e967e","datavalue":{"value":{"entity-type":"item","numeric-id":5495034,"id":"Q5495034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$3E78E33C-88AC-4E7C-AC1C-E5CD25A0B731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$802AF089-EC8C-4FDC-8E55-F585F06AB7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"417a74fabe64c2e6ef842d1903746d473548071e","datavalue":{"value":{"entity-type":"item","numeric-id":2875149,"id":"Q2875149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351392$AB8DACC1-F716-4835-8067-E925FD225FC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03bb269f7858350ca32a7c523d0be8e2f572b468","datavalue":{"value":"10.1007/S00037-015-0100-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351392$C0449354-EC5A-475B-A279-BFEE2E5201F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c2374536506f2ff7ba2cf41e125144dcbf38b2","datavalue":{"value":{"entity-type":"item","numeric-id":4696224,"id":"Q4696224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4a4500e2604ba47731d06ecd3169b59336be97","datavalue":{"value":{"amount":"+0.7675784826278687","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":"Q2351392$55BB50AD-721A-43AF-91FF-946CE2701F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d651b360b4365766b87ca606c6116029521aa2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4696225,"id":"Q4696225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7080f82cb0e4863feb58557a8a0050b5329e419f","datavalue":{"value":{"amount":"+0.7668435573577881","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":"Q2351392$9BCDD33B-6A5B-44B4-A871-2F2B003A6568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03fcbbccec1114dc48e9a5fd0a2ea21d1445b3f8","datavalue":{"value":{"entity-type":"item","numeric-id":4325332,"id":"Q4325332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc701e167e68a1d533d9e3721b1d3bbef575fab1","datavalue":{"value":{"amount":"+0.7668433785438538","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":"Q2351392$14D41D3D-4A64-4640-888C-4348F1A0CAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64634d4227effadbb5870ad5311b4f307937aae0","datavalue":{"value":{"entity-type":"item","numeric-id":2768368,"id":"Q2768368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dcd832fc57041f2e92fa974b9e593dde98fe43f","datavalue":{"value":{"amount":"+0.7656582593917847","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":"Q2351392$F58BAEDD-CB59-45FB-BE58-69DA55631351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55045e196beadd299c75337c16622bf191dbdbe3","datavalue":{"value":{"entity-type":"item","numeric-id":4904160,"id":"Q4904160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12f3afa6b567a25a3df2b1e5bb9a44c2f44e835","datavalue":{"value":{"amount":"+0.74946528673172","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":"Q2351392$C11E6BC9-50A2-4785-BAF3-7194133A93E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mining circuit lower bound proofs for meta-algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mining_circuit_lower_bound_proofs_for_meta-algorithms"}}}}}