{"entities":{"Q5027248":{"pageid":7056825,"ns":120,"title":"Item:Q5027248","lastrevid":91203863,"modified":"2026-06-04T22:31:43Z","type":"item","id":"Q5027248","labels":{"en":{"language":"en","value":"Reflections on Proof Complexity and Counting Principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7469221"}},"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":"Q5027248$8231B2D0-EA80-47D9-893B-3BA0C3EFEE83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc47231b29c5456d71513e6ca36888caf7a9d780","datavalue":{"value":{"text":"Reflections on Proof Complexity and Counting Principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5027248$F0D1B93B-F339-44BA-AFFB-DEE6DE71B56B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df86df10a83b1648b22b4c245eee4846509e7c2d","datavalue":{"value":"10.1007/978-3-030-71430-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027248$E709E4AA-8216-4793-9349-3367D5873EB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f850ae7df04416aca3352cad84910720264bc00","datavalue":{"value":{"entity-type":"item","numeric-id":2118319,"id":"Q2118319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$3FE45897-B43A-4775-A311-73BB5B0695B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$69CFF0DB-D03E-4445-BD45-5FC66B72FE72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$E81C96D7-02EB-4045-A593-8A016D65C033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2aae6b217c4654571ba2a708c7fb3773e43375a1","datavalue":{"value":{"time":"+2022-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5027248$326C95F4-1537-4D92-B0EA-B746A68F2C06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027248$B17DB242-5AF8-4F81-8EE7-CEE1D032687C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1beff6df43d002c060ee5c11427940bc71c4816c","datavalue":{"value":"03Gxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027248$1E1881D2-6133-40BB-AD2F-6AA61FB85121","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5affbf70f5a5e3a8c89b9569a870ebc0f6403c0f","datavalue":{"value":"7469221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027248$BDE68425-9EE1-4281-8284-5A82FE74A3EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027248$F989EE4B-1627-4C57-B198-88D6DF738E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027248$5DBC56BC-5306-4337-A47B-B18DFF6056AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027248$E137D256-DDB5-4EA9-BD7E-3268B92F035C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa50f60e01d4b4fdf90a3281cefafcf6e4b065a3","datavalue":{"value":"counting principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027248$03682ECD-E138-4C2B-B545-E703ED19BA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bcdadd08b463e1c3ebbef64e54e15cb174a5706","datavalue":{"value":"Tseitin tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027248$CBF2177C-6D12-457A-938B-307DD4251C51","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":"Q5027248$ECDF494D-60B7-4505-B892-9A26BB842F1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89a4465b7d91623fd868fac67af85ade2311b1e2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-71430-7_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5027248$AAFECF1E-C287-41C2-9EC2-B3393D4D41B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"529ca3388e580787ce50aaa304b2ffa428258bb0","datavalue":{"value":"W3165859977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027248$96E97F44-A9AE-41D4-A461-5C524D480518","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98312592a4e8ac87369e3ce3ece0416e99033f11","datavalue":{"value":{"entity-type":"item","numeric-id":6115357,"id":"Q6115357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$ECEC9166-4E60-475B-BB21-DC6CD3B0131D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$421128EB-4082-4952-9EA4-31AC2996EDBA","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":"Q5027248$7843F04D-7239-4A88-9FD3-FFB21B746F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$794B9DCF-A028-4FA1-9B1F-ED2A20CB4A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942542645e3b625a22193b61bdb706b1780c1e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$D136DC04-8D3D-4CB1-A7A3-CBC0B533EFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88395289f23572a36bd4c54ae7a90e6673a30fdc","datavalue":{"value":{"entity-type":"item","numeric-id":3137703,"id":"Q3137703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$6C6BB896-653F-497E-87E6-16088EFF6413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faadf3e656c0b2e9d5e437c670af13fc616dd67f","datavalue":{"value":{"entity-type":"item","numeric-id":1353991,"id":"Q1353991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$CE09523C-2377-4D6B-84B1-9012A8ABE6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aafc4816a3558f2a10d822da2e77efc00799347","datavalue":{"value":{"entity-type":"item","numeric-id":1656588,"id":"Q1656588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$A95A6DD2-E2EB-4282-A5F3-DBB4310C6438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee8fb57a07f9ec7b39019dc31145cee63c491f8","datavalue":{"value":{"entity-type":"item","numeric-id":5092411,"id":"Q5092411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$CA579B71-17BE-4DBD-88EC-571BBCFBE387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eb460d58931676e51733807df783912964924b","datavalue":{"value":{"entity-type":"item","numeric-id":3002781,"id":"Q3002781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$FDBCBB60-186D-4212-A6E6-7ECCF1355696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8e50187a51221a00e96148d3b4590c3646576b","datavalue":{"value":{"entity-type":"item","numeric-id":430830,"id":"Q430830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$5676A231-A95C-4827-A38E-FE109D6D748C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf145945e6351d288a7092df75a6ed9d5c29a594","datavalue":{"value":{"entity-type":"item","numeric-id":4993273,"id":"Q4993273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$972E9614-4348-47BA-9908-4FF0619C4A12","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":"Q5027248$6BFF6C3C-AFA5-40DF-A7A0-9AC984F3DB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0086f5e874fe7e4f38ea6905507c6d71ae7ad220","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$BCF0A62E-89AE-466A-A1BB-608BF1636D91","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":"Q5027248$9C6A2C78-40B8-4F06-A020-BA9C7D38D456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d92fa5008a947cf4d000f7551c40cd38c27e82","datavalue":{"value":{"entity-type":"item","numeric-id":4027856,"id":"Q4027856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$9FA9BEA2-9755-4DF3-B11C-C806D213C502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5865ff2d33453d31523070266b6906b7f0fdaee0","datavalue":{"value":{"entity-type":"item","numeric-id":1430570,"id":"Q1430570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$8C668C90-E0C4-497A-B3AE-953725E9170B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$7B1F8B85-6C6A-4926-AD36-50A00A430AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860324093565e49f158e642dce5b074981e46dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$6CE0CF66-9014-4DF0-A9A1-BC0AE4CE1D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a2fdb06f21d26cb09d5ec5cb36cf8a0aaa5986","datavalue":{"value":{"entity-type":"item","numeric-id":3177811,"id":"Q3177811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$5DDCBFB2-8B89-45F9-A766-4C7A93D597AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9316bc21130945e76158a0803667b9b47faaef","datavalue":{"value":{"entity-type":"item","numeric-id":2557712,"id":"Q2557712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$20E61938-E05A-4116-BEE6-9AFA3388F4A8","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":"Q5027248$BEE04F26-2BFC-4FCC-A58E-D75AD559EA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$A8807A40-7608-42D7-9634-453FB8E25F3D","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":"Q5027248$36DE74E5-9BBF-4E0E-B375-4E770D092F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$C805EE85-BB21-406F-8C23-E460DB74F127","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":"Q5027248$0C025961-D130-4005-AB73-74F3E4EFFD54","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":"Q5027248$9CB10898-064F-4857-B6C4-9215E8A6110B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd01ae611bdc1621b0ff2ccac7d01bf6e7f3b87","datavalue":{"value":{"entity-type":"item","numeric-id":5215904,"id":"Q5215904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$01872564-5FA8-48B7-98E2-C9610B633DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c3fb0ef3c7cbeb1b19e8a3632e3bd5fcfcda10","datavalue":{"value":{"entity-type":"item","numeric-id":1165257,"id":"Q1165257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$3371E32D-691F-4DBC-965B-0211C8499F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35cc55e5b10a424a85f3ddcd5c540cf5328ff0d","datavalue":{"value":{"entity-type":"item","numeric-id":1249435,"id":"Q1249435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$05AD6ED2-9304-42B7-AF2F-B64AC646A351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9274ac63c743f8fc0c271c023f25aa6b86ee147b","datavalue":{"value":{"entity-type":"item","numeric-id":5230347,"id":"Q5230347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$B9E427CD-485A-464B-B0D5-1B79ADE130C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443efeda426d6f16e637d996e2b5c6be619a39fb","datavalue":{"value":{"entity-type":"item","numeric-id":3565233,"id":"Q3565233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$815E80BD-4AD9-4B5B-B5B4-720318B9974F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6c8b2c77388e4584b678679cdf93e1da366a80","datavalue":{"value":{"entity-type":"item","numeric-id":4606697,"id":"Q4606697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$7288B318-4415-4D86-BAB9-4EA6B14A2C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"184948c4f8242e28a56586a18dc4dd7ef1d6a3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5259621,"id":"Q5259621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$9E14656F-A0B3-49CC-9C05-31B01231DE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60239ca3157ed98d51bcfd9900afb82df0f39de2","datavalue":{"value":{"entity-type":"item","numeric-id":5941296,"id":"Q5941296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$96C7E100-29F3-41BC-8324-A6178570BDE3","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":"Q5027248$E90ABD75-3455-4232-A270-360B25D85296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a4b61a34cf2093622fe7c585dba872f88b4aedd","datavalue":{"value":{"entity-type":"item","numeric-id":4640300,"id":"Q4640300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$950580EC-C942-4A3B-8E3E-67615D423692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4be033dc1e037b43c1538205386964bc6ef38a","datavalue":{"value":{"entity-type":"item","numeric-id":3514498,"id":"Q3514498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$F6DD2C1B-6F1F-4051-B0D5-E3192CA9A0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438275382c60cdd1cbf7c33d428e9a05fa871ec0","datavalue":{"value":{"entity-type":"item","numeric-id":3769994,"id":"Q3769994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$1A11E1A9-5000-4323-9F65-1E73310B1C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1144d0b67f8ff771009e4303f5e20097a0e217","datavalue":{"value":{"entity-type":"item","numeric-id":4978005,"id":"Q4978005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$5115AAE8-86A1-47D9-AD67-94D4EE844F04","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":"Q5027248$7ABFFC28-490A-42A0-AFDA-8993E2139DF4","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":"Q5027248$93988333-EE36-46DA-859F-5BA8C1E2B93E","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":"Q5027248$BE7C2DFB-3E6F-4218-9732-2A14885A7E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6422b7a975edbc5da8e346b2346b057177d7617f","datavalue":{"value":{"entity-type":"item","numeric-id":5361868,"id":"Q5361868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$70D3EB1C-8E7C-4A8C-BC70-14748A273F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d37a3ca475cb77acc2d68dd514eedcd93132afb","datavalue":{"value":{"entity-type":"item","numeric-id":5213788,"id":"Q5213788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$87031DFB-BD53-4385-A235-20357A0A3E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ded5c17eacc4913bef738bcb08b7f9ca55610d7b","datavalue":{"value":{"entity-type":"item","numeric-id":4302809,"id":"Q4302809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$05A7BE12-8E0C-4BF3-866E-7BDC0871BE86","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":"Q5027248$35B7CE20-2D8F-4FAC-8CB6-B096AB809C8A","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":"Q5027248$4ED373C6-831D-4389-9817-1C5FA5F392CC","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":"Q5027248$1B806731-319C-48BD-872F-09B5CC25C855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef272d96a58799915f8a0b53fe2d5749a3e79a6","datavalue":{"value":{"entity-type":"item","numeric-id":3883904,"id":"Q3883904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$7155104A-6DFC-4EC2-B520-0D5570307F0A","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":"Q5027248$8848B97F-8EC2-4F99-B2BB-6A676BBF7945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf1cb13533682ea4db81d75690fd1d0d77bc40a","datavalue":{"value":{"entity-type":"item","numeric-id":2399382,"id":"Q2399382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$08EFF6FA-4F02-413A-A422-0395A31530A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509c8c073466afc7f6722bfaf6f12fb08af4e849","datavalue":{"value":{"entity-type":"item","numeric-id":2999857,"id":"Q2999857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$FFB180B3-ACE4-4A12-A894-2EDF39A03A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a581108248954ab58bdb73d04b02d74f7142f7","datavalue":{"value":{"entity-type":"item","numeric-id":1374208,"id":"Q1374208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$003FF2C8-8222-4980-A334-201C297F726C","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":"Q5027248$389FFE82-C9F5-4202-8619-7CE709BAE6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64aeb75c0c62d59211d5133f95345827288a0e73","datavalue":{"value":{"entity-type":"item","numeric-id":1983330,"id":"Q1983330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027248$B332400A-A51E-494F-AF59-4F25D957777E","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":"Q5027248$832A7F37-5D62-48EC-B45B-9C6EA3F6B843","rank":"normal"}],"P1643":[{"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":"0a38fd6f4dd34c424425f02a96941bddf8fddd89","datavalue":{"value":{"amount":"+0.7713492512702942","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":"Q5027248$6FC71D3C-D231-4E2D-B4DE-292A2C330953","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":"490b2d6ea1b4e0354612cce880828abc1c16745a","datavalue":{"value":{"amount":"+0.7636308670043945","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":"Q5027248$E3BEF4AD-3146-4945-8B50-15A86BE68973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33796a6906fd66794fcaa18e20c9ae9d4a4cf4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4699289,"id":"Q4699289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d779d54658421296b4beb7d7ac4376f8d3e78a61","datavalue":{"value":{"amount":"+0.7603148818016052","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":"Q5027248$2133478A-7E33-4C17-8215-37CF260CF571","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":"42137fc42d6179f797a07af7e0acd502638fbe74","datavalue":{"value":{"amount":"+0.7569801211357117","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":"Q5027248$B5CFABA4-605B-4D6D-9FB8-027B34073A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a5ade52fb9e59b6346eb5141b90d5ff43b3c0d","datavalue":{"value":{"entity-type":"item","numeric-id":6064569,"id":"Q6064569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70039550d428f316b52eaf4ad28cef0965441ddd","datavalue":{"value":{"amount":"+0.7452395558357239","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":"Q5027248$494A3648-6C08-41E3-983F-0FBEB5D90E1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reflections on Proof Complexity and Counting Principles","badges":[]}}}}}