{"entities":{"Q14553":{"pageid":14609,"ns":120,"title":"Item:Q14553","lastrevid":56563605,"modified":"2026-03-13T11:06:54Z","type":"item","id":"Q14553","labels":{"en":{"language":"en","value":"Isabelle/Isar"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"1eeb80c828d6d091f17875820644c1d1d44a2e7e","datavalue":{"value":"2006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$62890F84-6279-477A-9702-CDC915579BFA","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":"Q14553$C9AA1725-15A9-4A0B-9E0D-A6CB1014A97B","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"be62fddcf950d87aa26768da21f24de7539cb31c","datavalue":{"value":"http://isabelle.in.tum.de/Isar/","type":"string"},"datatype":"url"},"type":"statement","id":"Q14553$B23D59A3-96FD-4AF0-953B-494E8044D02B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$0C730CCB-88CA-49F2-AC00-2D455C26F1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$ACD4BD18-B1C5-44E1-BCDE-4F585D35A0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$9BD6E64A-7BD5-4713-BC22-899C73C29E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$72A79B5B-CDE8-4DC9-917C-CD78E67F941F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$2D8F3F3E-F689-462B-B1B8-6CE87AC7BE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$155042AD-9039-4DD3-97D5-7137F2F43287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$15C8FDE5-23F6-4EBB-A481-56158D7EF86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$5356A7F1-96BA-4C9C-815E-00E15E1D0E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd4f0694ac7a00e4fadde328cdb4437f6c066de7","datavalue":{"value":"14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$F7AC2A9A-87C4-46FB-964A-53EA3F97657D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$7CCFCE7A-E0F0-4849-99F3-1B3135E5422B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$F4C858F0-EADD-4382-B29D-79F30D48762B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3fc854b328c20f46440ca61d9e1a4ed6cfc55e8","datavalue":{"value":"22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$6B876DA3-1F6F-4B16-B0BA-A528547A2178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be5267d4895a58dcc5cf7a7e416f12795fbbed35","datavalue":{"value":"28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$66F85298-40A8-4055-B5EE-D1F62D651A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec41e560e80ab9e1fe0c779a012b3e380525af3f","datavalue":{"value":"30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$01D8CAFE-B3CB-4FAA-8612-6132ECF3BEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"548cd6c7cff28cd8fda861211c4340790df54fa7","datavalue":{"value":"32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$D8654E16-CCC4-4EC2-B55E-FDDB53FC191D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$C1656CD3-2BA1-4A71-A566-245253C2C31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$CFF623CB-390A-4151-B48F-3A3507CA50A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb161afac2a132ba3ff878220cc5d73379a399b9","datavalue":{"value":"52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$49880FDE-2185-475E-96B3-D93A3244BDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"43c1a4db523e8d5ed4d9f898b1f0303e17a6e259","datavalue":{"value":"53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$729BAABE-1CB6-44A9-83E2-03EA2BCC40CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$F056B2AB-B342-450F-8A69-2E72DB39AE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"70815976aa44d316576d629b9a9b2ae7fe77d360","datavalue":{"value":"83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14553$84EFF312-9C5B-4A18-98F0-6311B0CD7385","rank":"normal"}],"P1458":[{"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":"Q14553$AF010048-E981-49F3-86FD-47D99CC12DB5","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":"Q14553$CFDEE550-DB15-441C-8D2D-EF4969EA1CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14553$AFC48C3A-5AD8-48F0-8A1F-D6ED445B20F5","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":"Q14553$A9191D0F-3588-49E5-9656-3D4159D1CED8","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":"Q14553$512CACD9-5C64-43BD-8216-CFD8E65C9EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14553$7E2B58F6-9660-46D7-9FDF-0B8D28A59F3D","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":"Q14553$A14389FD-C821-41AC-9B47-3EC8112E13FF","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":"Q14553$68043073-B848-459C-AEE5-4EBAB11091D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14553$2DDA07B1-F0C6-42FB-BA1B-4DFF1B9E96C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14553$00314F24-DA8D-4FB7-A2B2-F89500ABD95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a7a8db67cdbad1c61eb28b6dbc688bcdfd970f50","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14553$773F440B-1130-4E4F-81D0-D9BA61C0B9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14553$F5EEFB79-02BB-4388-B89D-CE795E4FBD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dc75b1f4f41a196c347c039c5eec89b08662123b","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14553$F3B1DA2F-EA5A-483C-8810-73C06C34313E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14553$604D878A-F594-4756-A6D7-9E9D45E21627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ec62e09023b4499a5f32d5b66aa8722181c9532c","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14553$50FC1C2A-D3BF-4B74-8379-5C435ECE983F","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":"Q14553$C8F15858-862F-4216-A465-BD11B8A02559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14553$DC66F31D-D8BE-4ED6-88D8-09A23B60D6A2","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":"Q14553$E12ED2DA-D463-44CA-B8E9-3FFA886C7190","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":"Q14553$1167E1F4-0906-4CBD-84D5-B6D5FC95CB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14553$7FDD8A04-4469-48F8-AC7A-59B5F0EE0740","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isabelle/Isar","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isabelle/Isar"}}}}}