{"entities":{"Q408544":{"pageid":410311,"ns":120,"title":"Item:Q408544","lastrevid":61681437,"modified":"2026-04-11T00:55:45Z","type":"item","id":"Q408544","labels":{"en":{"language":"en","value":"Towards NP-P via proof complexity and search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6022773"}},"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":"Q408544$1115DC5C-43A4-4AA7-A761-DAF8AE880B18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5d4ec02c790c8ccc25870f1fb7c3c4e38251395","datavalue":{"value":{"text":"Towards NP-P via proof complexity and search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q408544$707561B4-7847-42AA-9124-265CE9C8F411","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fab03234387a6d7e41b8c3d7a82f3285c1266ff2","datavalue":{"value":"1257.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408544$13B8AD27-5024-4EFA-8E28-6A34867527DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$12F35787-BA26-469C-9BB7-E7D1E8BBBE46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$320B3159-80C7-402B-9B17-E0D27C4F8DC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23f7bc3899b33a4c3b235a941fe6fd0e7130556","datavalue":{"value":{"time":"+2012-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q408544$D265B1B1-71AD-4EE5-8ED6-188B0A2A383A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f47ffd63d678559c3d8b137f42c2bca1f68f90b","datavalue":{"value":"This article is a survey of proof complexity with particular emphasis on applications of proof complexity to proof search. The survey starts by providing background and some historical notes on proof systems and the P vs. NP question. It then discusses Cook's programme for separating NP and coNP and provides references to state-of-the-art lower bounds for the size of proofs. The next two sections are devoted to proof search and algorithmic consequences of proof complexity. The first item here is the efficient construction of proofs (automatizability) and current barriers towards that goal. Most proof systems are not automatizable (under suitable assumptions) and even to approximate the lengths of proofs is impossible (unless \\(\\mathrm{P}=\\mathrm{NP}\\)). The second item under the theme of proof search are relations to SAT solvers. In particular, modern algorithmic solving techniques (DPLL + clause learning) and their connections to subsystems of resolution are explained. The last two sections discuss general approaches for lower bounds (as proof complexity generators) and current barriers in this programme.","type":"string"},"datatype":"string"},"type":"statement","id":"Q408544$CE7B8DE4-B4E4-42FF-B535-7F1F59E1BCFA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05654163dab40c5bc0ed91f551d61d996615833a","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$9C4087E5-C277-4AE3-BF9F-4DB4D192B1D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408544$345220D0-9CF9-4AF8-B940-0D26EFFF3388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408544$A011AB87-5C82-4EFE-9B0E-3444CEF4E24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408544$F705A71B-C462-4DE9-AF0C-EF4AEF99FF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408544$392F09C5-2F03-4115-ADA7-BF7E22303513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408544$A23C20D9-1B14-4F96-B167-717F451F3136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408544$DC36D1E9-C8BD-4771-BBF7-C213127AE6BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c71d3c0a1cb05196b21d86ec294f71235e9d636","datavalue":{"value":"6022773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408544$7439A646-931D-4A36-AE24-BB90336EA361","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5180cec501387dd96d6203b519d03a8089032ef3","datavalue":{"value":"survey article","type":"string"},"datatype":"string"},"type":"statement","id":"Q408544$2D220973-A073-4129-AF69-DF45A9721939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q408544$E89FE255-A93D-43E0-A8DD-743284CDB353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q408544$70397185-BD30-41C4-A8CC-5D70FED9091E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q408544$AFDB297C-90E8-44CF-885A-AB783B57B4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q408544$A84AC21A-4460-4F65-B39B-6D72D2F89F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q408544$B7F2C314-4C3F-4EF9-9736-7BE0C1B704C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q408544$6C82B69E-CBEF-4F6B-9FF0-76699AD1B1CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$173A774B-6F4F-4F82-9721-498A65C9C25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$E5C252BC-62D9-4BDA-8282-DAA9C7A0A617","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":"Q408544$E1C68951-1BE4-4CF2-8372-217DEF359AF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"585b61ab1ed9429454697f435def67f1008e56fc","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.09.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q408544$95C3E7B8-F7B8-434F-BF12-3E0054BB88AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54111e64225fd1fca36eba360e0fae4eb353f9f5","datavalue":{"value":"W2202163874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408544$E269F79C-3542-4663-AF02-230923287B46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fac4e2565ff70436792035f55d4254cbea8194","datavalue":{"value":{"entity-type":"item","numeric-id":2817631,"id":"Q2817631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$4BCBC276-1567-4796-B6DB-28E6142D6D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9cb2a4e4fb6a095d91ee24830284f50b193c2fb","datavalue":{"value":{"entity-type":"item","numeric-id":2732273,"id":"Q2732273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$AA3F32C2-326E-42DD-ABA1-68C168D900DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90d78dfa0a6f26ea5458c2aa83c23e0baa0c56b","datavalue":{"value":{"entity-type":"item","numeric-id":3579185,"id":"Q3579185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$D1244F2D-75AD-4762-86BC-C48397AA6AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088d50352df9ad001d77073382165c77d3798fad","datavalue":{"value":{"entity-type":"item","numeric-id":3395034,"id":"Q3395034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$B371AEC9-DBFB-46C8-9992-2C71C2405B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dce6c4e91f261ac3ef4f20f30b6bcb71a22e70","datavalue":{"value":{"entity-type":"item","numeric-id":4681889,"id":"Q4681889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$7916DA69-93F9-47DA-9DBC-ECADAE1D796E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04c59b1468ff9eb03a30febcf55d98359908","datavalue":{"value":{"entity-type":"item","numeric-id":1094870,"id":"Q1094870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$B904F57D-0638-4E5C-B0C4-30B26EA13188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4690405eee8895f3745c3a69ec2e82721cd12da","datavalue":{"value":{"entity-type":"item","numeric-id":5900286,"id":"Q5900286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$A694B282-4A54-4F87-A62C-11D5E7755790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf683bccb67ec1b23a8369baba6e8a33e9794a10","datavalue":{"value":{"entity-type":"item","numeric-id":4650571,"id":"Q4650571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$7698782F-845B-4B33-84E6-4DA3BB71791C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$09F8F060-7918-4C0B-B774-E25C0BDBC2A2","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":"Q408544$C73788E7-1A14-4356-95D0-D8928441C106","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":"Q408544$953D7748-B22F-4A25-8B7C-21B28D5679DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ff96a8af0b3826c1c1a241367cd86785226e25","datavalue":{"value":{"entity-type":"item","numeric-id":3507523,"id":"Q3507523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$41BF2429-92B7-48D2-B071-036BEC553DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f03ded50291ec566e3ea20732155eb198bbf","datavalue":{"value":{"entity-type":"item","numeric-id":626686,"id":"Q626686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$6655A0BD-B639-4AA6-BE34-CEAA14029E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af14d1eea6d8fc364f0aaf35446b8388a288328","datavalue":{"value":{"entity-type":"item","numeric-id":1764155,"id":"Q1764155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$9A82D042-B0B1-4024-B220-F194473B3E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7720c79d9d941dd6aa16b56bd3152d016f5f96cf","datavalue":{"value":{"entity-type":"item","numeric-id":2843321,"id":"Q2843321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$727E003F-1FD5-4B63-A17E-8E47821B8372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770839834e9b2e75c5cac9d85b4f2bbde549b6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4507332,"id":"Q4507332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$29A45EC3-B15E-413B-B1EE-4DCA7FBAA8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46529efbf9c922d6828ac361405a65b66086dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4501551,"id":"Q4501551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$EAE5D241-C1D7-4F2C-8D89-7967F5693F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$6B3E426F-0998-4CCB-8524-802AA0B14351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268508f11a93ad9daf989654e9defbf367898cdf","datavalue":{"value":{"entity-type":"item","numeric-id":1177033,"id":"Q1177033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$BADD1E0D-64D1-461C-900A-00EDA2CD6AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a92b4f123fa4e9d402c12a53dc896b2f39e4867","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$AEC798CA-F1F8-4589-B1D1-431758E7FD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822e3104d6a40cfdd4c15d4f4c0a6e67edb1c659","datavalue":{"value":{"entity-type":"item","numeric-id":4263835,"id":"Q4263835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$F4A0221A-B515-4B7B-B2B6-E2C8EA2716C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b873186fa5e30279e410bea330a6ed356bfc2234","datavalue":{"value":{"entity-type":"item","numeric-id":5943090,"id":"Q5943090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$85D6A407-75CE-47EA-BE0E-0961DF972F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8e8c7e4d2f66af1d6d76f2c025c2520cd9b217","datavalue":{"value":{"entity-type":"item","numeric-id":3623009,"id":"Q3623009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$D127450B-6519-497E-A9A1-41EBFDC58010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa561ac7459cf3efc368cd16b5bfdab0b68ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$DCB15FFC-AD10-4E57-BA84-BC87209E993C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9960520687f36616498bf08aeae5bb829d1327e","datavalue":{"value":{"entity-type":"item","numeric-id":3605524,"id":"Q3605524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$6666F5EF-B345-434D-BD22-92E5F1C5B8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$5801CE3B-2BE9-48D1-AFBF-D8B733A215B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90bc06dbf3731697a67c4cf4f2c88c3e70cd5b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3136460,"id":"Q3136460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$D48F7751-68E0-452B-90B1-E998170D6D71","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":"Q408544$9DF7C15E-1D56-48C1-A507-C538CA40FC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$48823C45-1696-40B7-8792-87389FD4345B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4716e0723208df36dddfadbc0ef754cf22aa74a5","datavalue":{"value":{"entity-type":"item","numeric-id":3759938,"id":"Q3759938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$2599C281-C6D8-4F34-8C45-CE3C29A1DBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$5A9513C4-0F5C-471A-9BAB-2259C4E495E3","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":"Q408544$7D8D1C66-AE6F-4F00-BA13-71948F27062B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5f44899b0072460bc23b0c54cb0c8ad89e2aad","datavalue":{"value":{"entity-type":"item","numeric-id":5704244,"id":"Q5704244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$4A28A150-A3D8-4C60-BFE3-FEB8EBDB216B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$AED31358-5CAC-416D-AAA1-05A0ED65654E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$2B5F92DF-D850-404B-8A44-3F44AE2D30BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7791d91756496d843bafc5b3d805fa565b028460","datavalue":{"value":{"entity-type":"item","numeric-id":1029090,"id":"Q1029090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$7715AEE8-51B1-4C64-AA4E-75B301B8AFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f66b4844bcb79a520b665f58fdec673994d537","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$4BD051E6-6CD6-4C50-A8F5-0C5445A737BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f797a320844c122f0e634739c90a551216022f87","datavalue":{"value":{"entity-type":"item","numeric-id":1959382,"id":"Q1959382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$E748A928-0E16-4C9B-9277-E4FBE8FBE06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$D81E1BF0-04A7-4A74-98E7-956F4B6F6A19","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":"Q408544$09D0BC40-3E06-4D8B-8A13-EC3C2D400F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feba96bee97bf3994b52ec474616bb8389cb60fa","datavalue":{"value":{"entity-type":"item","numeric-id":5494972,"id":"Q5494972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$E39B932F-63E8-4A66-A797-310BE6E54841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18a04cbe4ea162415c8d1f491a129cf88f8a8a5","datavalue":{"value":{"entity-type":"item","numeric-id":3113688,"id":"Q3113688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$2878E739-0680-447A-BD15-83DC1C8AEA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"754652cf2c90b088b8c9da15d520e7b56460f438","datavalue":{"value":{"entity-type":"item","numeric-id":693058,"id":"Q693058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$626AEDF4-71B1-42C7-B4DC-ACC8F38C1B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff4ee6a73fbacbcf6d7da620a82d0b3fbe596a6","datavalue":{"value":{"entity-type":"item","numeric-id":876385,"id":"Q876385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$0BA6D1C6-A04E-4575-A2A6-53910012C782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aadb89586b12baabd090fee59e578386a236b4eb","datavalue":{"value":{"entity-type":"item","numeric-id":5422311,"id":"Q5422311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$7FB1EF97-07E3-4FA2-ADFC-F788A177EDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af1b7852a24d15cb98fd91aac427024f3784b9","datavalue":{"value":{"entity-type":"item","numeric-id":1006613,"id":"Q1006613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$A92BD0A9-B0CE-4E91-8F8C-C8DA71A262EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103a56da6ef202bd58868465f13d09f78ea35d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4530148,"id":"Q4530148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$3AEE1269-7D08-4FC8-A396-AF6217DC9E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$5DDB82E2-81B0-4425-9D7F-28AD055320A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4548ea5d583917c0fa9b6aaa6b1d48c80c1e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1604206,"id":"Q1604206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$59922827-CE1F-415F-A222-D12572162179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5a8ecc2a9e7c46d4f5860dcba79e64e2d62081","datavalue":{"value":{"entity-type":"item","numeric-id":1961057,"id":"Q1961057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$CB15336F-9C50-4FE4-960E-33B1AA1CC0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab5dba2713648d2bb7aed059337b5d1d19a0925","datavalue":{"value":{"entity-type":"item","numeric-id":3444802,"id":"Q3444802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$F556EC59-5D92-48C3-B2BB-0B9470661DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f84a7480c49fc409dbcbf738c5b5d98de37e02b","datavalue":{"value":{"entity-type":"item","numeric-id":5501274,"id":"Q5501274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$00E15CA7-704E-4ACB-BE6C-9FD6F598E3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea825b9dfaf2f8da8d5597506127e8f159f0c00c","datavalue":{"value":{"entity-type":"item","numeric-id":1337693,"id":"Q1337693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$6B7FCFD1-86A9-4B08-9767-6365D574AB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559db777cfd8d3556503f38e6f593a8dea97b362","datavalue":{"value":{"entity-type":"item","numeric-id":1398371,"id":"Q1398371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$91499536-499A-4FB9-AB6B-5AD8E1E4B997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$85F534A9-566C-42CA-AA3F-B5F5937ED6C5","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":"Q408544$79C84095-566D-4950-9AED-FE87B61EE2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$271F630C-E003-4D98-9237-514D506A9A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70e7ced847ef0c7f988c1b5d60be1b5ff4d2f251","datavalue":{"value":{"entity-type":"item","numeric-id":5311724,"id":"Q5311724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$FA1C2699-113C-4070-A505-2ECD4EA71579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441f5812e34a559e1a1e9ab89e4cf3751977c625","datavalue":{"value":{"entity-type":"item","numeric-id":5387310,"id":"Q5387310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$E921C8ED-7179-4CDD-8651-29808FEBF29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e485af0b46b8deb17157f19b42c492e96f08bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4630802,"id":"Q4630802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$0D5E5F79-96FF-4307-B7B7-A8A6B56C61B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb8b81064be6d973a6c25598ebeb9e1adf756","datavalue":{"value":{"entity-type":"item","numeric-id":3072543,"id":"Q3072543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$CD595016-AAF1-49C1-8909-45B4424D5D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$A0BCC291-49ED-4B58-B3CE-82D45D8939B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$E7BBA869-911E-48B2-9AF7-52F5047075BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91529c969d5972ea633712c5269554342df8bb89","datavalue":{"value":{"entity-type":"item","numeric-id":5606570,"id":"Q5606570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$A526E5A6-6B17-4BFA-B68B-D28671A6B9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b91a78383567f1a9e36257c18f0963cf3e7124","datavalue":{"value":{"entity-type":"item","numeric-id":2500485,"id":"Q2500485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$9845BABD-02CC-4B4D-A53A-AF11904C275F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66480778c41f0b53d4641da1dcd6ef1904b44667","datavalue":{"value":{"entity-type":"item","numeric-id":626627,"id":"Q626627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$F6D2DE1F-20C9-4031-937B-9702E727C8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10eed166b8fabc9262253fd85590bac659797300","datavalue":{"value":{"entity-type":"item","numeric-id":1210141,"id":"Q1210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$8AC996C5-C04C-43D2-89A9-D6B1EDBA75CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$BB09F7D0-A79B-414A-86A4-82CBF2DE656C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$47E77450-9F51-404D-BFEE-45AAE1C31DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c91a2d52fb100925548482e5c1cd7bcae9e61d","datavalue":{"value":{"entity-type":"item","numeric-id":3689182,"id":"Q3689182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$37480A84-F17A-4765-91BF-C86DD6506FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4226e3e65547158ea8072512457653ecc8bcdac6","datavalue":{"value":{"entity-type":"item","numeric-id":5417690,"id":"Q5417690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$C8352BC1-AFF9-47F5-A294-82F36126C3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$04473C89-5D4E-4AB9-9ACA-97E693A097B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$1816AC6E-5BBB-4EBA-9025-1149509ED8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5947130569c016d281e39f590cbe6026dbde2352","datavalue":{"value":{"entity-type":"item","numeric-id":2500488,"id":"Q2500488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$5C26B46C-6A6A-4ECD-9C67-B4601E49A5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbe2bfe0d10636cf929d8ea04a35b0746f5915","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$AA7DFDB7-FE30-4D1F-9C7C-188448CF6A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115895ac36a15b77d42781a0dbc3b358c871af3c","datavalue":{"value":{"entity-type":"item","numeric-id":2884578,"id":"Q2884578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$C62B3C6B-0909-4A8C-BECB-B39F833BA6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16379452a4949bf4e97a3cd79c6104d4a7ee9465","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$AB29A98B-0FEE-43D9-A676-8DEFDC0216F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c8e8c45bd30e4d2779b4e28bf2c174478c03fb","datavalue":{"value":{"entity-type":"item","numeric-id":3773878,"id":"Q3773878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$F22F3004-82B3-4A25-B41F-EB5F58F0DB21","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":"Q408544$20B8B8B7-3068-46F6-B421-8838069CAF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a2aaca8b0cf7d27ad61a4e939a844436669e64","datavalue":{"value":{"entity-type":"item","numeric-id":3503621,"id":"Q3503621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$97085920-4AD4-40B9-AA76-F55219E9B94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bace0c2b02e230ca55226bb5bf944706910d6a","datavalue":{"value":{"entity-type":"item","numeric-id":3579188,"id":"Q3579188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$C164B150-2BEA-4108-8094-E860588CA40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942c3ffeac8339c20eccc6667aba9b8af08cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":3758729,"id":"Q3758729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$1C1E6E11-A84B-43E9-8138-9F0687A09100","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":"Q408544$446DEB98-DB57-474B-9C99-65424B727963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d8df2f636bf6cf025358a9786f3f222a9fdee0","datavalue":{"value":{"entity-type":"item","numeric-id":4864743,"id":"Q4864743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$F0B2F094-737E-4B49-9DED-41A38D98C386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408159b1c21249567bf1f15c810c7be66dbe7c68","datavalue":{"value":{"entity-type":"item","numeric-id":1293358,"id":"Q1293358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$CEE34116-8BB2-4488-A9C0-CDD5D2ACD22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fa9806638f3169361acae42df2382cb017ce8e","datavalue":{"value":{"entity-type":"item","numeric-id":1401365,"id":"Q1401365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$90FF3B9A-E2CE-45F8-8EB8-54E0026CE0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14233b39ee81a420329dec23c30f748cd63ce724","datavalue":{"value":{"entity-type":"item","numeric-id":1881260,"id":"Q1881260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$989F4E08-C899-4996-931C-B7E34DCA048E","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":"Q408544$7697B9C3-D824-4ED7-B417-E8F84E27A2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c993d4bcf8f4089ef3ba4f0d9407b1b4e30698","datavalue":{"value":{"entity-type":"item","numeric-id":5422270,"id":"Q5422270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$41008AED-0919-44CA-AE0F-189569102EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0154aba13d18066b6642c001da9e4d3b1784c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3605542,"id":"Q3605542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$65BC1B2E-3F7D-49B4-89E8-CCEA201BAE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2077fad0f8784e4f01900be189b1e93f8a2ad005","datavalue":{"value":{"entity-type":"item","numeric-id":1348911,"id":"Q1348911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$C35CD8FA-BEE8-412B-B1DB-A5A9C167C718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca2e18e22bdceb10ced114e23ee143c1222e350","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$D823A454-7031-4A38-BA50-9EEBD9DF5A7C","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":"Q408544$D299E238-8AC3-4C9C-93FD-9E3D338CFCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764c075c90cc5f529b627cfa105bd25d7bbcfdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3682461,"id":"Q3682461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$86944CAC-1219-4138-A0C8-A80F53F0FCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$714D9B22-952A-4A6C-BDE9-2D7267E40DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$DEFBBADC-48BF-4EFE-A84B-5A8EAF1005D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e6dc1f84dd0187ce4214e5d421c9e0cb62a910","datavalue":{"value":{"entity-type":"item","numeric-id":5387867,"id":"Q5387867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408544$2DE318A5-B8D6-484A-A4A8-0E5C174AE501","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bfc12dc682f8dc6fef04839721d5486649a6a57","datavalue":{"value":"10.1016/J.APAL.2011.09.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408544$873ECD3E-2569-4EBC-8CA3-AF9956CBE74F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbdac3bdf84484ff2d524a478a64d1c45de09cce","datavalue":{"value":{"entity-type":"item","numeric-id":3464626,"id":"Q3464626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f863e979ca43c1f9dd539dbca21348500c977c4","datavalue":{"value":{"amount":"+0.9885983467102052","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":"Q408544$47E60999-A702-4BB7-8A26-EA086BFDC693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580ed2424e9846e9da8bbc3a40e4cf849a4221ab","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413d6bf7028be9dfe1ab8a7817e53cccd6546d1a","datavalue":{"value":{"amount":"+0.7940775156021118","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":"Q408544$C1D95B4F-6F0C-44A6-BCC4-5B0E9384DD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15206a3bee8b23bed92bb8c5ce4de8c19fe37626","datavalue":{"value":{"entity-type":"item","numeric-id":5900979,"id":"Q5900979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413d6bf7028be9dfe1ab8a7817e53cccd6546d1a","datavalue":{"value":{"amount":"+0.7940775156021118","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":"Q408544$E7883092-8C7B-48F6-9C3B-DCAF50320492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e7f0ad797cd6e1343cb88e23bf4234230c9254","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7692e83c396cc75f318b8e32cb07479ee686fb","datavalue":{"value":{"amount":"+0.7893978953361511","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":"Q408544$325BDC18-F8A2-4C12-A218-02692407BD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ccb1f6ef0742336189fb659fba6090275421e14","datavalue":{"value":{"amount":"+0.782711923122406","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":"Q408544$023A3EB3-25CC-46B2-ACE5-C366384CCA57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards NP-P via proof complexity and search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_NP-P_via_proof_complexity_and_search"}}}}}