{"entities":{"Q55218":{"pageid":55274,"ns":120,"title":"Item:Q55218","lastrevid":56415576,"modified":"2026-03-13T06:29:58Z","type":"item","id":"Q55218","labels":{"en":{"language":"en","value":"KeY-ABS"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"cd62fc78ea82cda47c9751aed1ec964e9259b6bd","datavalue":{"value":"39518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55218$F7A2DF61-8E33-425F-8A13-823F2787EEAC","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"f9edda8ffa6d9d949864ac7d5f77785968b37a9c","datavalue":{"value":{"entity-type":"item","numeric-id":3454119,"id":"Q3454119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$D8E2793A-3142-42F3-94AB-2B4208765FF0","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":"Q55218$9D7271BA-2794-40A3-A83D-785A22406B0C","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"cf11833450b87045ccf19dfc15af2c12bfd938a8","datavalue":{"value":"https://abs-models.org/tutorial_pdfs/KeY-ABS.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q55218$CC995BE0-2EF0-46A7-877E-FF3591E563A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55218$06E83EEF-0057-4176-A6FF-90C5B06A2BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55218$5D65BF9B-95A5-415E-AB55-CB9A41C989C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55218$81F25992-5936-4C63-9F9D-1DAC897C5A27","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d187c3cd59849d94b47e3dcd11420074cb2bc4a4","datavalue":{"value":{"entity-type":"item","numeric-id":33022,"id":"Q33022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$7E885E69-2D42-4488-A800-4C4F2BA31D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d03c375b1fbbe0a810fb04a9f9434b8658bd9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$ABC57134-9815-41B2-B5EC-8909F1BB735F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e44bc0efd7af4ba0b3561058b85795b8021e0eb7","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$C9147A50-ACBE-4C10-8508-BFA70F2385B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c595a2a957b7f1c54df0e2561abe52acf5494d97","datavalue":{"value":{"entity-type":"item","numeric-id":21403,"id":"Q21403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$25F503A4-DD49-4319-B363-D907CDD74979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3addc111b3aea65620ebda544b2bf1d7010afbeb","datavalue":{"value":{"entity-type":"item","numeric-id":30913,"id":"Q30913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$D6AE2684-E54A-4E63-A7B4-78F5E779D9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c9ddce5784b714a7351ea1f2a20061d69637a876","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$39173923-0917-4C05-B745-57721AE87193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c625c929aeb116b39a7a17e5b4d98415fa83a321","datavalue":{"value":{"entity-type":"item","numeric-id":34457,"id":"Q34457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$83FEF0EC-FC59-4F7F-8FAF-3BB9A9CB5E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5337fe6ba7324647eb246a2706914658c9403cc7","datavalue":{"value":{"entity-type":"item","numeric-id":33020,"id":"Q33020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$82BF2C19-F248-411F-B5A1-3F9D8DC36999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"592f86d7ba87017d6a458f15be93223d16310b03","datavalue":{"value":{"entity-type":"item","numeric-id":44019,"id":"Q44019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$3101D3CC-9C08-4703-94A3-E3405F4F2BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"eedd14766074808473889d29153532f85ca212ec","datavalue":{"value":{"entity-type":"item","numeric-id":17185,"id":"Q17185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$5B038A8C-72EC-48B2-8E95-7988AB3FB217","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":"Q55218$FF271412-2F4C-423E-90A8-8620F3949E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7acbde963fc9453c60408e38c82c41fbeca60c43","datavalue":{"value":{"entity-type":"item","numeric-id":5974820,"id":"Q5974820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$AC44C0B8-701F-4680-81F2-69DA8B12E8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"45a2caeb1681dd1d2512eef805e014130a771c33","datavalue":{"value":{"entity-type":"item","numeric-id":20537,"id":"Q20537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$51801AE8-F1DE-41A7-9E95-E5FFE30DD1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bc63b18f29e81036c5e8291dd57d82490deaa954","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55218$4662EDAC-2404-42E3-BFA0-47510DDBF144","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"KeY-ABS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/KeY-ABS"}}}}}