{"entities":{"Q5055312":{"pageid":7084889,"ns":120,"title":"Item:Q5055312","lastrevid":100264124,"modified":"2026-06-05T21:43:16Z","type":"item","id":"Q5055312","labels":{"en":{"language":"en","value":"Reduction games, provability and compactness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7632518"}},"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":"Q5055312$A54FB467-1DB5-4260-A267-D053ED71DD31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"105e1301e802ddbd0570c65b5d483d78d89d345b","datavalue":{"value":{"text":"Reduction games, provability and compactness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055312$14B21850-6CDB-41B0-A54A-EFE379D3A2EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"836fbd5829e4adcc4642c4fc2807af0c2dec17b7","datavalue":{"value":"10.1142/S021906132250009X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055312$67E69803-7843-4ECA-80D8-7F9D2F0325CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df47b160552dc894c1aa471ca705195c5906bca7","datavalue":{"value":{"entity-type":"item","numeric-id":375887,"id":"Q375887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$3840A22C-9480-4160-BB6D-23B189BC618A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de07eca08fd275b43aedd5c0b45bb2e3e71c52be","datavalue":{"value":{"entity-type":"item","numeric-id":456803,"id":"Q456803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$CA9E18EF-2D8A-4ABB-BB2D-FF5B7DE9311B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"059a8d8455fdcec50bd52820617e351296ed6f27","datavalue":{"value":{"entity-type":"item","numeric-id":2108577,"id":"Q2108577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$C4E36BE6-F6F5-4DDE-9FC5-BB3DA9C91F32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$AEA5ACCF-6859-4D4C-94B4-2DED045E1E5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f21f8283973d2781c6e9c387b8c1b8b99e604be8","datavalue":{"value":{"time":"+2022-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055312$407B1A90-0619-455F-8FE5-F18047D97675","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e325c44b4f0d32c017a738ee818ceb426503af4d","datavalue":{"value":"https://arxiv.org/abs/2008.00907","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055312$C5AE11DC-2944-476F-9323-FA2F2FC39341","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055312$413B63B3-46A5-446B-B10E-EFDC7D24A491","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3f5a231ed729f02c87072bbc28a888c7b248712","datavalue":{"value":"7632518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055312$1664C95A-A794-4DCF-AF46-D945142FC9AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055312$A1CB9C1F-9259-4E2E-AAC5-CDF2A9A68624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec7d38b01cab877cc3a6ed7feff1334358a66c8c","datavalue":{"value":"weihrauch reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055312$64DA6E62-4ED0-4D02-83EC-97649021E829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20eda67c7c3e3bab05d1c51e7c045ef8440f9184","datavalue":{"value":"computable reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055312$59A5C18F-E955-4AEF-B160-4A5A42FFD6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c85b5f3fb6ccee9b6a3bef19bbf2b66989a01607","datavalue":{"value":"reduction games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055312$E71EDF93-F054-452D-AD50-E9C35D25FF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055312$F17F846A-7BEE-4D04-A497-888D128EB09B","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":"Q5055312$F2404B72-B071-4AE3-8437-AD11DFBFA90E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c589af0492650e76c0f2575326e0c63802045e35","datavalue":{"value":{"entity-type":"item","numeric-id":5101353,"id":"Q5101353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$48CA8997-895E-493F-A262-8A29FC7D1FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde0b0b6ea6507d8973acf5c3c6e7553bf547170","datavalue":{"value":{"entity-type":"item","numeric-id":424541,"id":"Q424541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$B0BA3A21-F501-4D8E-9464-4B46B3544250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ecc516e4e3501a91385648ace01ad9621e6acd0","datavalue":{"value":{"entity-type":"item","numeric-id":5024577,"id":"Q5024577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$E9FCE127-80B5-4F21-BC7E-291BCE733CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c1ccb39265cccb60011fcf9ee90ea2c85e4eab","datavalue":{"value":{"entity-type":"item","numeric-id":4553287,"id":"Q4553287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$85AAB610-FE43-4214-AAC1-E8F38A279F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c833b542e9fb8bb3e367cbaa0347635e2d40b13c","datavalue":{"value":{"entity-type":"item","numeric-id":4600456,"id":"Q4600456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$3B62E46A-4E94-4EF8-9B8F-02DC3DF61EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$BFA9F2CF-3B14-4AD4-82FF-D94A6B77EA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98141c0b7bac404be991952cad15029858b4f57","datavalue":{"value":{"entity-type":"item","numeric-id":3550582,"id":"Q3550582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$0C0088F7-A5A4-4C33-A9BB-47AC67788E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c36d3f2be7827491b5673d0e04c23217f1388","datavalue":{"value":{"entity-type":"item","numeric-id":3190948,"id":"Q3190948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$1C857D36-A7D9-401F-ABD1-E9D61F1D1AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad30dcf51cc217162bdb5a03b006ed2d9c1e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":2796522,"id":"Q2796522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$99C4517B-7446-486B-86EA-76C1C19209D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d51f1ffd2c31ce24839af48f40653487ad2243","datavalue":{"value":{"entity-type":"item","numeric-id":5496327,"id":"Q5496327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$120757C6-DBB9-43A2-BF66-3E4581F9D3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6766101a18afa97939c3aef4538a06b18c58606","datavalue":{"value":{"entity-type":"item","numeric-id":2976339,"id":"Q2976339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$E4DC64D9-8559-4A2F-9BB9-BA7D583DF7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783b9fac2baabff5e51cc0fada443666d71a3c55","datavalue":{"value":{"entity-type":"item","numeric-id":3144869,"id":"Q3144869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$314CAD50-1C36-463C-BEA4-D975D64B2E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$F2D84259-E719-4795-8375-36B02CCA0A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a39409e450161ef82421b3aefd08398a69b377","datavalue":{"value":{"entity-type":"item","numeric-id":3191150,"id":"Q3191150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$3780E5A3-4CAE-49F5-B42F-A06CD6EDF59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c37ae4ea7122cb7fa2c62942e3cb2b4db3687ccc","datavalue":{"value":{"entity-type":"item","numeric-id":3186057,"id":"Q3186057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$1F2959F4-9168-4DF7-A3DE-2E1551FF4022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e172ce80cb42a286d92f691e17015febc427c38","datavalue":{"value":{"entity-type":"item","numeric-id":3642694,"id":"Q3642694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$FD613AC8-5E7D-4EBD-8ADB-156B2BBAA56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbee67ab8c44770293b5eb16031c6aabe2ec7054","datavalue":{"value":{"entity-type":"item","numeric-id":2274133,"id":"Q2274133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$1AB63E5F-E0F9-4164-BCEA-94B7D09E9620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$41A6EEBF-8A94-4598-9178-04C5B7A169A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3445cbb9a5649fd555b9d8b5631a77550a7653d1","datavalue":{"value":{"entity-type":"item","numeric-id":4205426,"id":"Q4205426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$F67BB4BF-E974-4335-A688-C16FB3760799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de29eed033479d0e6af0494b3e99f1851f05f2c","datavalue":{"value":{"entity-type":"item","numeric-id":4600462,"id":"Q4600462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$0B4AB7F7-ABC4-4927-A627-1FA92F364D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fb736f458b2aeab58080f0e52c0d0c817b151a","datavalue":{"value":{"entity-type":"item","numeric-id":2048618,"id":"Q2048618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$9E3BAA08-608F-4BDA-8010-90C1C112AE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5fc1aa24ee16b117f46abe64eadd7b04019539","datavalue":{"value":{"entity-type":"item","numeric-id":4579817,"id":"Q4579817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$A5BF6D28-CE7E-451A-A615-4A377E850B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78972e0dfbf7207842dca7100ccec8637ca3e796","datavalue":{"value":{"entity-type":"item","numeric-id":1679677,"id":"Q1679677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$7CC74850-98E8-44A8-A5FB-0CDE84E530A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f1fc95af4e7f827ce8fddd2751ad977836baada","datavalue":{"value":{"entity-type":"item","numeric-id":5346692,"id":"Q5346692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$30AE1240-649F-4AE0-8BBB-13507E12A7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a2154fb3ad41c80120b50bf3a939097ea843c7","datavalue":{"value":{"entity-type":"item","numeric-id":503277,"id":"Q503277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$48CA82F0-DD4D-4FAB-9404-1FBF8C1BD86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4784d480335811cf6b44f54b1f76218c4500680","datavalue":{"value":{"entity-type":"item","numeric-id":4643953,"id":"Q4643953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$FDB573BD-FFD8-4EDB-8545-47379D109789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$1B074641-0C8F-42CD-A839-BFFB6AF97D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$68458366-D0C3-400F-9C3B-67B7E5A7A53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47a2b9d13405189c02127187179ae3a2b67315a","datavalue":{"value":{"entity-type":"item","numeric-id":2864221,"id":"Q2864221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$06C33683-045D-44C5-A372-0805F65FDFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec227ec1221c88cb71bf97806a014560adb97452","datavalue":{"value":{"entity-type":"item","numeric-id":5000259,"id":"Q5000259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$C60A96A5-4ED6-4698-B2C6-56C3B4D4CD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7ceb5698ee0d4d27e8d083746cab0f1780e9fb","datavalue":{"value":{"entity-type":"item","numeric-id":4876410,"id":"Q4876410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$AF5266A6-311E-4CD0-8BCB-8DCEFF4C1BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad2d295d3b80e90629534d8868df981338a19b8","datavalue":{"value":{"entity-type":"item","numeric-id":4995605,"id":"Q4995605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055312$286ED540-03C3-4C53-ABF1-0DE86F751CA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d54a2ab5ba353bac63519ce2425c7930bbd271","datavalue":{"value":{"entity-type":"item","numeric-id":3186057,"id":"Q3186057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5add7c74312ee6dbd5912f8e93d1442366f3833c","datavalue":{"value":{"amount":"+0.7625645399093628","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":"Q5055312$47D82EB3-F09C-4C6E-94A2-322EA452A8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72bc3f7edf69d97c8cb4ba859e4a2658a0a8b2ef","datavalue":{"value":{"entity-type":"item","numeric-id":4650280,"id":"Q4650280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba0c0c574805aeca3b90b7f6eec8bc927d7157e","datavalue":{"value":{"amount":"+0.7273539304733276","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":"Q5055312$DAA63F07-6339-437B-8E71-A081603E384E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e27f2c6ad47edd57bcd8f9c241427b29b336b39","datavalue":{"value":{"entity-type":"item","numeric-id":5477362,"id":"Q5477362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d4eda126ec3ce8dc89f21b525aba511d280efd","datavalue":{"value":{"amount":"+0.7234007716178894","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":"Q5055312$E317F858-BD8D-4FA4-A7D9-37ED1902EA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6358cd7d724508033daed245b956e336f7343b","datavalue":{"value":{"entity-type":"item","numeric-id":636381,"id":"Q636381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f299d43e89aede834ba65e4fe08ac9885706744","datavalue":{"value":{"amount":"+0.7206006646156311","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":"Q5055312$133E3D49-FD08-41DD-9017-49CC7E131389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8494cd6330f32b72f914cc05d9e143b7e3f9d459","datavalue":{"value":{"entity-type":"item","numeric-id":636360,"id":"Q636360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf1697940551cbadca2f0f7807d86902aa1fba9","datavalue":{"value":{"amount":"+0.717749297618866","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":"Q5055312$3DF05AB8-93CF-4401-8F53-89A17C432AB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduction games, provability and compactness","badges":[]}}}}}