{"entities":{"Q16770":{"pageid":16826,"ns":120,"title":"Item:Q16770","lastrevid":56211795,"modified":"2026-03-13T05:23:56Z","type":"item","id":"Q16770","labels":{"en":{"language":"en","value":"Isar"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a21fb91dbbf132276dd7d1b7e976d53981959149","datavalue":{"value":"4599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$75DC0523-7A51-4229-9D5B-4F2401789E81","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"c2e1321181a487651906d8375b9d0e2c4abfe6ee","datavalue":{"value":{"entity-type":"item","numeric-id":4790652,"id":"Q4790652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16770$830589E7-3E8A-4929-A87A-CC148284D8AA","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":"Q16770$32E7CAF8-6CFD-44D7-B840-1F2F0A725F0C","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":"Q16770$9A444F4F-857D-4AD3-A641-B5FB47B74D87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$3CD09FF0-FD7F-40DF-B74A-213A29560BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$6E620AC9-4365-4BD5-A0B6-6CF5886D0BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$85CAAEDE-3A88-4E0E-AC86-6231825FB2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$FDEF2BEA-B852-4FE6-AACD-94408BF19984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$0AD127F6-501C-4A5E-9569-4FB2D6433CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$97C6B8C2-AF1D-424B-8BCF-68584EA4B1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$78EAF354-B885-41CE-BAE4-6420DD2711E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$2E168663-E27B-406E-9316-26AFEE729567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd4f0694ac7a00e4fadde328cdb4437f6c066de7","datavalue":{"value":"14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$9F381271-3110-47A0-A2F5-F34EE45A494C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$ECEE7D33-73CE-49D5-80E4-DF65D02EED31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$7C97529E-5B90-4DA1-AC99-2E8BEDB508CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3fc854b328c20f46440ca61d9e1a4ed6cfc55e8","datavalue":{"value":"22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$00106593-1DF3-4CB1-8107-98B5F4E2FED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e00b180d44759253e9628090c3cb2c51b1a6ee8","datavalue":{"value":"35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$BAE763FE-70D4-4B2B-AFBC-1673485953B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca97ab6736a2cf36b4aa3171cbf7b0139773b03d","datavalue":{"value":"46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$2AD6BBA3-A07A-41F7-84A7-7202E635DCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$93B2157F-CF14-4242-8612-44A859C13385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"43c1a4db523e8d5ed4d9f898b1f0303e17a6e259","datavalue":{"value":"53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$2165A7B5-2B14-4014-A2D1-09268F5120E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb0bb3315ea6d324166d2a3b9e8cc481541ca3cc","datavalue":{"value":"57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$DDCE876E-9565-4CC0-85AA-E098730F18BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$684F79F0-C195-41B0-87B4-BA7FB88403CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$51CAF6A2-6F3D-4729-A34E-08F200B6925D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8765ff2acd582c5d837fde50b2a0cf51b0c3e2a2","datavalue":{"value":"82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$1906B119-57CA-4DA8-A1B3-0F8E5D017349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"70815976aa44d316576d629b9a9b2ae7fe77d360","datavalue":{"value":"83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$AE9D8182-EAF7-4F21-A871-BBF39C3FD9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$22CB8C9D-00A5-4915-BF8A-0AFE76EAC459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$972E1149-0D48-46E2-B10E-B889001F6586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$3460BCDD-CFA3-48AF-BAF6-96D146F26777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdd04b3c5243643f89ff1bab2287589642562be3","datavalue":{"value":"97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16770$0ABC0E93-5138-459B-BCB1-8343391F7849","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":"Q16770$EB1F7DE3-B012-4EB0-9611-3C95423972D9","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":"Q16770$DCE2566A-0FAA-49CC-873A-8D859EF49505","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":"Q16770$700BE49C-04AB-46DB-B808-0932A1B42E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18e15e946a9b8db60c88d8c0a9a054a3d76ac633","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16770$9807DAF2-BFB8-4B41-8DEF-5719E4479FEC","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":"Q16770$B565EEE4-4275-45C7-94F8-5368A44B91FD","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":"Q16770$17D9E515-2215-4154-9E21-F47F0D289E58","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":"Q16770$9C52C8BE-B2E5-45F9-A864-16C58128AB9D","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":"Q16770$AFD630AF-E03E-480F-A5D0-97E4E1FF2ECA","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":"Q16770$357407BE-FA77-48E3-B234-75DEE4A91C0C","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":"Q16770$D04D4ECF-4D37-4F15-8F32-7A71EE3895ED","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":"Q16770$34DE7522-009B-4603-8E5A-F0A2CDDF1D2F","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":"Q16770$FDDBED62-5E77-4986-8554-1F74A5D11743","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":"Q16770$54DF0696-C9AF-4448-B654-E40D2A962DFC","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":"Q16770$240B2509-375C-499C-8AFB-3E1F2587B062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16770$70A183B4-2FA7-4D29-BB3F-34AE25B97BFB","rank":"normal"},{"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":"Q16770$C5176E37-3618-48A6-82FC-AE164796C64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f756f019005243c78675258773d8af1c07719cf8","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16770$977D31C2-5AA4-42F1-B6C3-3ADA9242E418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16770$501E941E-2B89-4C22-B7C9-D34FAB491409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f01c83a5a54fee889f3ec90409eea63e50d19053","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16770$A95CA50D-49A7-409E-8CFB-7B1C3CC47EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bf1a18ce9caf66819337a110934cb3723b5e15d9","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16770$19DA9256-517C-4418-B3E5-95967227D7FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isar","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isar"}}}}}