{"entities":{"Q627189":{"pageid":629037,"ns":120,"title":"Item:Q627189","lastrevid":63073965,"modified":"2026-04-11T10:25:31Z","type":"item","id":"Q627189","labels":{"en":{"language":"en","value":"The shrinking property for NP and coNP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5853817"}},"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":"Q627189$D5836B94-5219-425A-B72A-2F3840065F43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9efd0e6076f9e630fa96cfc0f1aedd82fc5886b","datavalue":{"value":{"text":"The shrinking property for NP and coNP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q627189$BB2FDE7F-2205-43EB-A0BD-E82114B492F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63ea594719282fd336236bc78fd205b2a18ae88d","datavalue":{"value":"1223.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627189$C61C6BF8-C833-4BCA-A332-CD3DDD8602B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee513048e71adb22fd9a8a028448fe040165ffe","datavalue":{"value":{"entity-type":"item","numeric-id":306279,"id":"Q306279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$64CA166E-8173-49FD-8132-50AA337582B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"543f6454a8d53c051b12a5ab6abb1f28f0dd7186","datavalue":{"value":{"entity-type":"item","numeric-id":627188,"id":"Q627188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$1467970E-5A8A-42D7-9EED-DF415D966D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6f4952b674055246aabc00ad86b88076a60bdf","datavalue":{"value":{"entity-type":"item","numeric-id":949620,"id":"Q949620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$BF28131D-E4A8-466B-A235-0A061EAE1B19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$A33ECDA1-DA15-49C2-BDF5-70155B4F320F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a57a1d265a3ee40f730aaa4d5af28fb13b1a54e5","datavalue":{"value":{"time":"+2011-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q627189$66B68EAE-D49D-428E-B267-8396BB2CA70C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d69f579af5bf05b9a4f7dda55e6a60455f47a3cb","datavalue":{"value":"A class \\(C\\) is said to have the shrinking property if for all \\(A, B \\in C\\) there exist disjoint \\(A', B'\\!\\in C\\) with \\(A'\\!\\subseteq A\\), \\(B'\\!\\subseteq B\\) and \\(A\\cup B = A' \\cup B'\\). The authors prove that NP and coNP do not have the shrinking property unless the polynomial hierarchy is finite. This solves an open question of the third author. After further results on the shrinking and separation properties, they prove that the assumption \\(\\text{NP}\\neq \\text{coNP}\\) is too weak to refute the shrinking property for NP in a relativisable way. The proof works by constructing an oracle. Its explicit existence solves an open question by \\textit{A. Blass} and \\textit{Y. Gurevich} [SIAM J. Comput. 13, 682--689 (1984; Zbl 0545.68035)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q627189$EC410E58-EC91-4D0C-8CB0-9F083D950DCB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"be9b7bf9cd273aeaf91ec2e38cce549e5afc8f07","datavalue":{"value":{"entity-type":"item","numeric-id":192024,"id":"Q192024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$FF281776-8BCC-4DDF-A3A5-8E9D25A31D23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627189$E26DAD04-AF9E-4EAC-98DE-F3D8C44B86F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c51ca75704fefed61c03c6b8ed9f1bb19d99379","datavalue":{"value":"5853817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627189$40F9A9CF-6A9E-4ACC-8097-E86DDC14270F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21fe88656c0a64bf179593d1e9021b46866c852","datavalue":{"value":"shrinking property","type":"string"},"datatype":"string"},"type":"statement","id":"Q627189$6A818B7E-41EE-4F88-807A-B4924566BBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c016621abfe8965879d06c6c7c95d9a281610fb7","datavalue":{"value":"separation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q627189$DE32FC04-8DA3-4907-9B3B-C89EFECAE671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q627189$014D9BA1-5C59-40C4-9E92-6122101A603B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834c45d526445b63ede129bf0252d3b47bed13e5","datavalue":{"value":"NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q627189$5D9ACF70-AE47-4047-9F9A-A57F958DAAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9312c5bd19bd292f1ca8773c9ae4198ab6a1cf9a","datavalue":{"value":"coNP","type":"string"},"datatype":"string"},"type":"statement","id":"Q627189$8D279540-9A29-45E4-9B5D-089C0279A848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d4664433e67efc14ada4ec9c4b88e83a8aaebb","datavalue":{"value":"NP-pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q627189$BD640693-3599-4A95-8AC9-3A33E5E947AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6514f1d10679dc137921957a18ad026115c215b0","datavalue":{"value":"multivalued functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q627189$E4A39520-4222-4D98-AC67-86D8397C4877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614df2eef9d19f613dc58b9a839d36c396f0c37f","datavalue":{"value":"P-separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q627189$2F0121DB-7824-48C9-B0C6-B04B74EBC0C2","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":"Q627189$4AA5A913-CBF8-4D6D-B00F-CF13B735CEB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffc5b9ebfaee4d84687a09be0ecaba2d3ab253b4","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.11.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q627189$72BEA237-2A52-40A4-AF4D-625A840E7E6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"148b0ef12443a5e3ded837aa73931625ef117c76","datavalue":{"value":"W2053175898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627189$69848FCF-9129-47CA-8AD4-97668BAA7283","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"892283fe09c968126fe32e2cc334b1a5b454e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":3499770,"id":"Q3499770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$C439A56F-43D8-4656-87B2-BFD1B5CDDF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e3771f8171656e0aed45bf0777afe8aad7a3a9","datavalue":{"value":{"entity-type":"item","numeric-id":3902480,"id":"Q3902480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$3E9D4BFA-EDE9-4342-8873-66B002A63A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f2c613ba4e4163d44243004931f62c5b492055","datavalue":{"value":{"entity-type":"item","numeric-id":3334986,"id":"Q3334986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$0E650D5E-D6A7-4609-8695-A9B56CE5C586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab0bbeb503b6269a452e86ee83e6a8c71fdfdfd0","datavalue":{"value":{"entity-type":"item","numeric-id":3734382,"id":"Q3734382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$83887AB5-DA7B-4496-B50A-89910E3EB5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b866bba96ae151ad3a477a3bb46c2f09c1a0b68","datavalue":{"value":{"entity-type":"item","numeric-id":5596785,"id":"Q5596785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$FFEA207D-EA10-4E04-8254-BCB4AF9F1E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ee1410bd306d6722cc2c176479c826bbb0715d","datavalue":{"value":{"entity-type":"item","numeric-id":3722415,"id":"Q3722415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$9B9026FE-B9EB-4DCB-AC30-C5AAFBA4396F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8481b383524bbb1d42d352020c18ea39581b9e","datavalue":{"value":{"entity-type":"item","numeric-id":3888962,"id":"Q3888962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$3F9157D9-3D2A-4E61-B83D-B19884A70C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5613ec75f7529c859b1044ac559c162c4a5d5f","datavalue":{"value":{"entity-type":"item","numeric-id":1426007,"id":"Q1426007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$EE3EDEB4-3D30-4725-A4C1-C811D8FA682B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2020bf8b79948e4b38865754307e475c32ed99d4","datavalue":{"value":{"entity-type":"item","numeric-id":4525727,"id":"Q4525727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$2FF0A617-26EE-486A-B031-68B598C9D631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc283cbb13a176d780f8137d59680445cd61ca02","datavalue":{"value":{"entity-type":"item","numeric-id":1430571,"id":"Q1430571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$4BE357E5-2B62-4604-8BC7-DBF3B0655E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa96b7c0ec9bc7a683e7636e258c3fded01e42","datavalue":{"value":{"entity-type":"item","numeric-id":3787917,"id":"Q3787917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$D7D06331-E3A3-44A4-8BAB-B4EEC70287B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a760f095688d2bf7862a2ab8001af7aaa0f1a76","datavalue":{"value":{"entity-type":"item","numeric-id":2387199,"id":"Q2387199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$561F0410-1E77-4932-B426-F5CCD11C5FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d6d960e351c80be000f302db6efef14ab7325b","datavalue":{"value":{"entity-type":"item","numeric-id":4651518,"id":"Q4651518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$6FE074D5-CDC8-439C-96E9-0980419668D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f088d70552dd4e305bc5d1eef20fd15bf1455d","datavalue":{"value":{"entity-type":"item","numeric-id":4867411,"id":"Q4867411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$5B859291-DA67-4D82-BA47-BECD7191F245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7157215551a53e3d2bb43a0adb63609698bef765","datavalue":{"value":{"entity-type":"item","numeric-id":4525684,"id":"Q4525684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$FC104BE1-DC9F-46BF-8362-CEEB5BC06F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060af8f3e101d9cd6773c46ed2fc74ebc353bcf0","datavalue":{"value":{"entity-type":"item","numeric-id":4895826,"id":"Q4895826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$7CDAD5F7-42E9-4028-A183-CE0A65567099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2daa63b45c7f3211b3d345ca4b37d012f1fd20a","datavalue":{"value":{"entity-type":"item","numeric-id":1190988,"id":"Q1190988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$C8BD30F6-4987-415C-9E9B-C5DEFF2860DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c56e5f3d04099429d7abf8e0094315eba6ba178","datavalue":{"value":{"entity-type":"item","numeric-id":1332843,"id":"Q1332843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$26BCB001-D96F-4342-BA85-BE8F7B1C8BB1","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":"Q627189$B5F5BA20-1B4E-4E70-A9BC-043A49ECE2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b1467cec4213a61ec0ebc12388ffe49aa6af66","datavalue":{"value":{"entity-type":"item","numeric-id":4645178,"id":"Q4645178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$238586D7-1B1E-4AF6-A705-1FA8C0C1E426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2120b12ab96678ee03b84909ec3e390673400419","datavalue":{"value":{"entity-type":"item","numeric-id":4210150,"id":"Q4210150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$EAECDD57-4149-4D4E-902D-18E726FEC09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559b573117f7e12a42ecf0962d842f293dd56c83","datavalue":{"value":{"entity-type":"item","numeric-id":3318768,"id":"Q3318768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$2D6CEAC9-B4A0-4F55-8DE8-30ECF6BA4FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$0050E0F0-46C5-4010-9492-5012B97179A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919b666d01bddfdfe2de67c465124747c0f2af3c","datavalue":{"value":{"entity-type":"item","numeric-id":1274991,"id":"Q1274991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$0D8BD7C5-F879-4FE9-8109-065A58C0B674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eecc3b6d7dd71b319d9179536e3a71e5676e3a6b","datavalue":{"value":{"entity-type":"item","numeric-id":2366687,"id":"Q2366687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$6E058634-6A0D-4E4B-9EBB-7588EB975B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683216a55837ad090f7ccc5703c9de7c068979f1","datavalue":{"value":{"entity-type":"item","numeric-id":4779177,"id":"Q4779177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$72F2AF6D-428C-441F-9E4A-54C79D57946A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$2CA1766E-610C-4D4C-808D-084FCDEC16F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bd93f050a29505d9954e41ab03268b153e49a7","datavalue":{"value":{"entity-type":"item","numeric-id":4190619,"id":"Q4190619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$EE6CC859-4B2C-4357-8F41-8F0E55EDB310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4deb7c1fd6aec1e8e612790ee50bc72b95bba1ba","datavalue":{"value":{"entity-type":"item","numeric-id":4942622,"id":"Q4942622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$3F1249AE-8720-41E0-AAFB-912536FC5936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527bc19ca28994e4f1cbc67acf1065ec21b6602a","datavalue":{"value":{"entity-type":"item","numeric-id":1329166,"id":"Q1329166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$A754CE9B-E6DB-430E-9FEA-053BEC5D46E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f45ed9d579b31edaa88cfa0c455d686d74db092","datavalue":{"value":{"entity-type":"item","numeric-id":4836056,"id":"Q4836056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$870D5B9A-A751-4771-AC8D-928C64E274B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1874f2b184e5addb0c03d6629032c1967bd5231d","datavalue":{"value":{"entity-type":"item","numeric-id":1127312,"id":"Q1127312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$4F59E6DD-B929-4AF0-BB00-DC8C92219F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e1f0f3e88198b8da4c864cbb660fc675ebaabc","datavalue":{"value":{"entity-type":"item","numeric-id":4936674,"id":"Q4936674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$7E82791B-0ED4-4BCE-AB98-A8A9F6959C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0231ae7aee5a01a478166d53e89a5ca3c3793afe","datavalue":{"value":{"entity-type":"item","numeric-id":5428250,"id":"Q5428250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$1FFE5187-0C5B-42EC-BD29-BF0BE3F27EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c31347e0874bf4f234db4b820417cb5d89c234","datavalue":{"value":{"entity-type":"item","numeric-id":3538855,"id":"Q3538855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$904D0F9A-6A17-49C3-8E2F-63163EC2857C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b01a7213c08624817100e0af4977428202caafc","datavalue":{"value":{"entity-type":"item","numeric-id":3290719,"id":"Q3290719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627189$CE1CD782-50F9-4A10-B27C-46903E78B1FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ae2d491cde5a9182a50705d4a9b872ba79dbf8d","datavalue":{"value":"10.1016/J.TCS.2010.11.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627189$A5D284DB-2DCB-4857-9319-6BA02FF3EF20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8df0ac52b72474a99378aa21c793c2a5cc46421","datavalue":{"value":{"entity-type":"item","numeric-id":3507436,"id":"Q3507436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q627189$8E7E9D88-2233-42D4-9E96-17EBAAEC1207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfda87f9f5386008577d17085714b77627640fb","datavalue":{"value":{"entity-type":"item","numeric-id":6064009,"id":"Q6064009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c319483087911a9c9f7c35409cbc5e174afac38","datavalue":{"value":{"amount":"+0.86128086","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":"Q627189$C8387CAC-B953-4B2A-B564-AD399A61776D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c835c4c8a305a0354c09fff59b3881b3f89fce","datavalue":{"value":{"entity-type":"item","numeric-id":3739139,"id":"Q3739139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e6491678be2253f44d30c08daba627dac23eb1","datavalue":{"value":{"amount":"+0.84924936","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":"Q627189$28510BC0-9748-448F-9A11-064AB988D1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db36b8e8c41690687cb5edd947a4697602098eb","datavalue":{"value":{"entity-type":"item","numeric-id":2921395,"id":"Q2921395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6d0333393df17005d49808080bd9a124fbafef","datavalue":{"value":{"amount":"+0.8485532","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":"Q627189$41323697-57EC-4933-9264-1822A808B5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3309b1f6ce2fd8514b756fb16faefe336c1979ef","datavalue":{"value":{"entity-type":"item","numeric-id":2970458,"id":"Q2970458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6d0333393df17005d49808080bd9a124fbafef","datavalue":{"value":{"amount":"+0.8485532","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":"Q627189$CB76B7A1-7311-45AD-822E-854A007951FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a432c70f5a67d2e9413d3204031ad5b5c52de7","datavalue":{"value":{"entity-type":"item","numeric-id":1894448,"id":"Q1894448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b177e65d9db853a41708e485b2cc531aa66a3d9","datavalue":{"value":{"amount":"+0.84669006","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":"Q627189$01DA47E9-1F08-49EC-8353-C2518A987E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca1d4bf186a5055fb963dcacdb8efad4554212e","datavalue":{"value":{"entity-type":"item","numeric-id":3304139,"id":"Q3304139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62e119b7a7bb83bdecd0e0d54771d4793c69227","datavalue":{"value":{"amount":"+0.8441745","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":"Q627189$485AF9E8-387F-4ED4-BE84-76C79FC6CF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9e0dcb2d3f0a5ce5cdd994ea9b7ba1309ec567","datavalue":{"value":{"entity-type":"item","numeric-id":2158296,"id":"Q2158296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62e119b7a7bb83bdecd0e0d54771d4793c69227","datavalue":{"value":{"amount":"+0.8441745","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":"Q627189$F18729CB-3257-4E1D-8786-CE48C21B0D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95911920f409341b0364aebcc3908fd1bc8b762","datavalue":{"value":{"entity-type":"item","numeric-id":4889464,"id":"Q4889464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30522625bbea11f8f1e5340527fb75b6d9b8f32","datavalue":{"value":{"amount":"+0.8401158","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":"Q627189$DEFB6060-841B-4EB4-AA73-56DC49AAEE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b01bb63d7b81267f901f59e301a7a7b7b9fa75e","datavalue":{"value":{"entity-type":"item","numeric-id":581427,"id":"Q581427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f707801180fa4667c2259dddcb2ef96aee534b","datavalue":{"value":{"amount":"+0.83779615","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":"Q627189$874DBD19-D227-4E5D-84B7-895427E55ECC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The shrinking property for NP and coNP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_shrinking_property_for_NP_and_coNP"}}}}}