{"entities":{"Q40302":{"pageid":40358,"ns":120,"title":"Item:Q40302","lastrevid":56357724,"modified":"2026-03-13T06:13:26Z","type":"item","id":"Q40302","labels":{"en":{"language":"en","value":"Meta Model Isabelle"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"6fdad49e92d4a3147cd07b2677ceec826b7928ff","datavalue":{"value":"28588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40302$FA3787AC-9061-4505-9D1D-A684E5FBAF18","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":"Q40302$826BD7FF-0C34-4260-A058-B06B295118D3","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"9143c2329a4ad2aa4c020f2e2ec59d097e6af91e","datavalue":{"value":"https://www.isa-afp.org/entries/Isabelle_Meta_Model.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40302$A01C99E7-43CD-4C75-82D2-E7CD5D92998D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40302$C5096722-F143-4872-8F0A-5C539E3DA73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40302$004B9E55-F75F-447B-9AAA-43E81A8E7CFA","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a073d1e3162db58b1a890386d8dbe9eebb4637c","datavalue":{"value":{"entity-type":"item","numeric-id":40373,"id":"Q40373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40302$85D88EE6-5038-4853-B57F-65C76FB9C86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40302$AD7806DA-225C-4052-9310-E340151A0438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40302$20B57F5F-93F3-4882-8D0E-634671E08770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61cc083e9a177fa86c24a170431d1f0e1e30054d","datavalue":{"value":{"entity-type":"item","numeric-id":40301,"id":"Q40301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40302$F9CE761E-40AF-4E77-9F66-640368FA9E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"111587595dcc1eee5fea262a7657c51bbf2afd7d","datavalue":{"value":{"entity-type":"item","numeric-id":40274,"id":"Q40274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40302$B33CDC64-8BBC-429C-B705-CAA64335E8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40302$85B4E56B-788A-44D8-9122-EF37D8E41575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"914c9c33527696be944efdfa1211e2c8f38443d9","datavalue":{"value":{"entity-type":"item","numeric-id":18673,"id":"Q18673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40302$6740D17D-3411-4790-A1F9-85C29587F02C","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":"Q40302$89B944A9-99BF-414F-8AEC-BF848B4AA1F6","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":"Q40302$6B8CECEF-7954-49E8-BBC7-A91BDE64E85E","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":"Q40302$172198E8-60E5-4D1A-975A-3625E3F0F996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40302$349862DA-A2B2-4A2C-9891-27837C552994","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Meta Model Isabelle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Meta_Model_Isabelle"}}}}}