{"entities":{"Q53612":{"pageid":53668,"ns":120,"title":"Item:Q53612","lastrevid":56409834,"modified":"2026-03-13T06:28:35Z","type":"item","id":"Q53612","labels":{"en":{"language":"en","value":"Imandra"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a6be8e88868f22a8260cc77472ef425d06963533","datavalue":{"value":"37911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53612$BEFFB2C4-BC2D-4839-83A6-127C394478BA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$17D72B77-1B7A-40E8-BDF0-BC73FDC16C7B","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"ce22e2f094cb199ba6883c59374abfbc01a01d28","datavalue":{"value":"https://arxiv.org/abs/2004.10263","type":"string"},"datatype":"url"},"type":"statement","id":"Q53612$9F39D608-0166-4238-9757-99658059C920","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53612$10114DFA-460A-4482-A7C9-0F388CF9144F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53612$1A275DEC-71B0-47ED-A086-CB8E208250C9","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$01AA3D6E-0A17-4FCF-ACCC-9A31F47B05AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$44FFCA59-B474-4FFD-A49D-12CBC67BEA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a9d8290e41959fd20567a86db49aca3a1c26ed7d","datavalue":{"value":{"entity-type":"item","numeric-id":19752,"id":"Q19752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$6954D128-F9C6-4EE1-83AB-6FC74072394F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$54116DE6-28C9-4318-ACEC-77B55A0D7789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4d7f4b76492a75780585d40fb718d00d42a05322","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$13F5583F-FCA2-43E3-977B-612F05B52CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$7D4BC1F6-737F-407B-AEE2-8DF5702646F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1f660bc310305b62230cc3a480e6654c975c304a","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$8157B22A-67B5-4F9B-8679-045A3E803F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$9F214A0C-E917-4D39-8FA5-1B9D5D3910E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$6E19D51B-032F-40DB-BD29-93E2CCFB9909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$388DF4F8-6548-4824-BEB2-6090AA0226B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c1111a4af73946d995c6025450c33305be35b38","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$F6464580-D044-47F1-94BD-5AD25E479222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2065e4f07c2a87daeeb1b05b87906496fa0b2af8","datavalue":{"value":{"entity-type":"item","numeric-id":19753,"id":"Q19753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$726865B8-80D2-48F6-9B60-498A40C41EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$56502360-E8A2-4B8F-B73E-107A198E0931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$3E87DF4C-D1E4-4294-9213-9249B884C1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"003cd7577cbdd5706b0f34f3fb357d93ceed7d1c","datavalue":{"value":{"entity-type":"item","numeric-id":42649,"id":"Q42649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$DAAAD616-8C9F-49CA-9BCF-E3D69A593098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e0c5c8a1d0309e558c534e571fadb7aa6007b617","datavalue":{"value":{"entity-type":"item","numeric-id":19195,"id":"Q19195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$BB11CE72-38CC-4034-82FB-4510147064F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a84cec67941530633e685a8ee56a19ae6a02d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$395A0E04-DF70-4C3E-9E76-52B0D0981EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60d5b957f38cd972a444d1b9310ddd08274b2418","datavalue":{"value":{"entity-type":"item","numeric-id":56247,"id":"Q56247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53612$21250AE7-786F-43CE-9FEF-1D0C707EB655","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Imandra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Imandra"}}}}}