{"entities":{"Q5145435":{"pageid":7175006,"ns":120,"title":"Item:Q5145435","lastrevid":91436756,"modified":"2026-06-04T23:09:55Z","type":"item","id":"Q5145435","labels":{"en":{"language":"en","value":"Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298901"}},"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":"Q5145435$B53EF89E-7D6B-4C7E-9D42-C75A79458B43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b3b97dc1094398894ac000143804ce74586716f","datavalue":{"value":{"text":"Can an A.I. win a medal in the mathematical olympiad? \u2013 Benchmarking mechanized mathematics on pre-university problems1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145435$AA08A468-7F6A-4DFD-9B17-F03330412AE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f0ae7f49a09726cea8d55a2c048389c6ae4b3bb","datavalue":{"value":"1462.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145435$691B4A36-E4D1-4A21-95F7-2D91F3F5C446","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"162f0d41af06e4d63017dc3ad213bd70e4a62c7e","datavalue":{"value":"10.3233/AIC-180762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145435$E1CCF500-5BD5-461C-B5D8-4C57BE255DF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2af65f76c296451bcc3a06a07729a4854867e3e4","datavalue":{"value":{"entity-type":"item","numeric-id":2104528,"id":"Q2104528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$6CB857EF-8789-4A0E-8F1A-80807E765084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c97aea211cb349f71795a51921aba049d697d326","datavalue":{"value":{"entity-type":"item","numeric-id":359901,"id":"Q359901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$0428B5CE-F050-4815-BA9F-8A0673CBCA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88f149b55d8cd259840b882fce8f732e6e11f65f","datavalue":{"value":{"entity-type":"item","numeric-id":2799819,"id":"Q2799819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$817F97A7-BC51-4F3B-AA36-61CF9BFF3055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8a20e78ffa70b29f7f51dda303d9cab6a5ff51e","datavalue":{"value":{"entity-type":"item","numeric-id":2817920,"id":"Q2817920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$3DDCFF3D-C823-45C5-A5A5-B488FA035582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a5c31f7a993cda0974ff760f8595cd926eefdc9","datavalue":{"value":{"entity-type":"item","numeric-id":748754,"id":"Q748754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$3313973D-9BDA-48FB-9D71-8E6AE3B87B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a0eb6f9448de9c252868540dd06fa7536efaf8e","datavalue":{"value":{"entity-type":"item","numeric-id":2817921,"id":"Q2817921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$F6772C6E-85AD-4140-8C7B-8E573920EF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d8e6fb359f7bb867c0bb78686e2cc79d110e63","datavalue":{"value":{"entity-type":"item","numeric-id":359817,"id":"Q359817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$5221D390-7715-4BDE-AA94-A01635140460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcd9adcafff3c3e938b5e5e0f052dd5c7280bbac","datavalue":{"value":{"entity-type":"item","numeric-id":672045,"id":"Q672045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$300120C2-3E2A-4D9F-8208-53F62542107B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$8820D8D7-F0BA-4E29-9442-71F055A9DDE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145435$D54141E0-2DE0-4D3A-9F8D-4A4C6502F347","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145435$D369B345-D506-4821-BC4F-7F60925A3E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a2f075e50801fc760168ac8844564b3b0dd07c","datavalue":{"value":"00A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145435$B1ECD1ED-D573-45D5-A3A9-24D76C6DA36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145435$0F7C1746-A35C-4835-8492-C4437EBD4429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145435$2920A3B3-8C73-4899-BC61-86864E6935D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145435$3E318DC7-59C3-45C3-8EF8-C897D1FB3ED9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49c5f49cde261ba9d5e0e59f6f27f40450b26de6","datavalue":{"value":"7298901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145435$85FF60A6-9386-46D2-9DAD-2EBDE71E4C5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5cc8e8184b14b39b555e2997003bf3622dcaf3","datavalue":{"value":"mechanized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145435$A44C00D2-6D5D-47A8-BC95-7D591813AFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e73152273b2643cb0118042fea0e4c5d12d1f00","datavalue":{"value":"benchmark library","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145435$71D09941-0963-41CE-9014-9637541E6D47","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$3B45C3BA-BE80-4167-A713-C52FF7B98F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$40706856-3D92-435F-A98A-0EDAABF69B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3d23f729f2d2f49558629678f0c1088defcd1ed5","datavalue":{"value":{"entity-type":"item","numeric-id":24256,"id":"Q24256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$14246CC6-DC58-47F4-99E2-A8C2C2EA18C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$F7BBBE09-A304-4E2A-9A30-B987FFFB9399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$D3A07A58-FB3A-4930-A720-F626391778A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$ED300DA6-6D68-4B54-B79A-976BEAD98DDC","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":"Q5145435$EFD44089-956E-4C7E-B682-E7E100DD88DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602a31ec5858953936704adacfb1f5bdcaed350","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$A38BFDBB-87AA-4EF1-8DC7-036056898210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a487a3fb672eb98191b9bdbf624338ecd55ae0","datavalue":{"value":{"entity-type":"item","numeric-id":672046,"id":"Q672046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$D9F29A71-080C-4101-BC42-7A6F7B2A8F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb4b93f06f804d36684dbc7c5e9d864e50bd2ed","datavalue":{"value":{"entity-type":"item","numeric-id":2751534,"id":"Q2751534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$7E97DA22-3ACD-4499-B708-646C79B327B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"168b9acf302c041a107ac1e6c2527ce2258e5943","datavalue":{"value":{"entity-type":"item","numeric-id":2931786,"id":"Q2931786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$F1A37C08-219E-4D99-86E1-353E575B4EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c855807aa0ce5c53cc61bcfb635501e89a51b1","datavalue":{"value":{"entity-type":"item","numeric-id":287379,"id":"Q287379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$9BD0EDA0-CA7A-4F71-A175-4BEC2C6C2134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577812c2feec97c90c4f461d53f9350fea08ea18","datavalue":{"value":{"entity-type":"item","numeric-id":5963392,"id":"Q5963392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$2B57D54A-64D5-4416-8C69-EFD605A756D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9009320af21e4f69a9b00e492ca6b43803e82030","datavalue":{"value":{"entity-type":"item","numeric-id":2819742,"id":"Q2819742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$675BF9CF-0BD7-4660-BDA9-9158878F43D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d089fbe1bb0cc6645ee2468cbb9158b4e30658","datavalue":{"value":{"entity-type":"item","numeric-id":5925208,"id":"Q5925208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$0A8E1E79-67FE-4DA8-A414-917C8CE632E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea3add94c698268d76fb9e9bac2d76ab04fafdd","datavalue":{"value":{"entity-type":"item","numeric-id":3225469,"id":"Q3225469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$9A7426A2-50C1-425F-9817-E7D9F2E15FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfdf450746c95865439cf08883bd3a1c78d6c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$F6551D84-2490-42CC-AC88-8DF884AF923A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6b66b14d595bcb43f790972017753783922e6","datavalue":{"value":{"entity-type":"item","numeric-id":2807840,"id":"Q2807840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$6D792517-C4B4-4769-8D21-2478C649E87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$936E8E9E-F396-44A7-9FC2-0EEF09356FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e615433d7c0da849d212b92d36df1a27bb8523","datavalue":{"value":{"entity-type":"item","numeric-id":3183516,"id":"Q3183516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$994B8FAB-0F3F-4F88-AEA0-BE18259B5964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$61B97B1D-1C80-4C1B-AB15-A8CA3F5CF0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ec40c100cce7db8dc18b077da8b92db298f9db","datavalue":{"value":{"entity-type":"item","numeric-id":5119942,"id":"Q5119942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$312D8F32-2645-45D8-A733-478B29BE70EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f66606002f6efbe3a3e8203b9f538a7ecf14416","datavalue":{"value":{"entity-type":"item","numeric-id":384995,"id":"Q384995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$B67D4493-7C7B-4827-A070-F910AE318FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"977975572ce59021a95b94b3ac5f39f4b6c5ec3f","datavalue":{"value":{"entity-type":"item","numeric-id":5898513,"id":"Q5898513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$B92A500E-6F18-4A9D-AB4A-BEC45009DEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da75c76047a20f929b6c0fdd769a501d8944da5","datavalue":{"value":{"entity-type":"item","numeric-id":2807841,"id":"Q2807841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$B69D29E0-D34C-4B55-9705-2DAD1774B293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc2cc187dee1e40907138f7058fe73d83ade45f","datavalue":{"value":{"entity-type":"item","numeric-id":2817922,"id":"Q2817922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$8EAFCB10-D121-4E2E-BC90-72397C71CF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b2b2c45a19e8f0ba2c6666bac22721b8de80238","datavalue":{"value":{"entity-type":"item","numeric-id":3102742,"id":"Q3102742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$7D1F7387-2D36-45F1-98E6-C88E99D1C291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daee47c0fd954ed8db7c6d33b14603ff98274516","datavalue":{"value":{"entity-type":"item","numeric-id":2364883,"id":"Q2364883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$F653FD26-EA3D-4B28-8C49-6651F210FA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028d2cf4d6e161fc8169328d368a9a91ec413498","datavalue":{"value":{"entity-type":"item","numeric-id":5963393,"id":"Q5963393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$4E499AD6-0CE9-496A-8610-0F7D1567E9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$DD2606A5-D3EC-49B9-9428-293CF9D26AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145435$303D0EE9-CC44-4CC0-A023-6DE6A8C8C299","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e41257a26c225a030f6427e62990283e39edb2c3","datavalue":{"value":"https://doi.org/10.3233/aic-180762","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145435$1A54F153-9B58-4609-88B8-19B5DA341859","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b55b653391ab7a97550fc9f3b666a783ef82f8a","datavalue":{"value":"W2797628170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145435$DA6AC33A-F625-4C63-97A1-3CB1906D3839","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"191bf0e4214679528d0c70749dd3109f704c5784","datavalue":{"value":"Q129985324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145435$A438BE96-029D-4765-A018-6B07EB89C23A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b534f3367fc29358f629e51026b219cb436006","datavalue":{"value":{"entity-type":"item","numeric-id":2817922,"id":"Q2817922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e643532de99008e379c519f510b5b60b5115af7","datavalue":{"value":{"amount":"+0.9307275414466858","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":"Q5145435$574A25F7-A362-47AA-8608-50C413D28162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f103237e1b4889a22b078c6687a2ac0c70875b","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0050e698d9d4ee8b0539c5d2ff80866876e1fcbc","datavalue":{"value":{"amount":"+0.7480990290641785","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":"Q5145435$1B589CF8-0F91-4783-80A9-E3E0ADB22FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159bd6faca957f5522efb19b6eed2950d55a034b","datavalue":{"value":{"entity-type":"item","numeric-id":294381,"id":"Q294381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e28b13f590b7a4d175a05d5cc74fe422915a8d9","datavalue":{"value":{"amount":"+0.7208701372146606","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":"Q5145435$9F6DCCC6-E952-4A48-95C7-BE5D8F04CAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08bc092646f99bba99f2129ec2336dd916e34b09","datavalue":{"value":{"entity-type":"item","numeric-id":3452371,"id":"Q3452371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f385224cb03173a4263a6a15c2dd7736e565130","datavalue":{"value":{"amount":"+0.7138896584510803","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":"Q5145435$5959A700-7A8D-4EBA-96C4-71BD29E19F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b168262f9e1b4514313a24dfabf8223d2ad31a3","datavalue":{"value":{"entity-type":"item","numeric-id":556682,"id":"Q556682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed98a64eaf7dce6dbfe7ef404391625cd8db06e","datavalue":{"value":{"amount":"+0.7039802074432373","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":"Q5145435$B7D691DF-0377-4CB0-AD45-89E19C9320B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems","badges":[]}}}}}