{"entities":{"Q56258":{"pageid":56314,"ns":120,"title":"Item:Q56258","lastrevid":56426268,"modified":"2026-03-13T06:32:32Z","type":"item","id":"Q56258","labels":{"en":{"language":"en","value":"KeYmaera X"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"06112af3477298bdea835b90176e2c4f6c325328","datavalue":{"value":"40558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56258$C91BEADF-1899-4478-9C4A-3CD7B1A70FB6","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"25d88c20d96cfc36ccaa54fd83206046f5252c87","datavalue":{"value":{"entity-type":"item","numeric-id":2104559,"id":"Q2104559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$6E9E39D4-8E49-4DAC-B692-9CB78C084B6F","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":"Q56258$F7368FE0-0B0F-4CDD-88F3-F8D30710C036","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"ab2514676b968ff9dccd1af2aef8144d35b58250","datavalue":{"value":"https://keymaerax.org","type":"string"},"datatype":"url"},"type":"statement","id":"Q56258$48828AF9-7A5D-4B7D-B9BF-3D44C6ECF5A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56258$0E1F1FCD-94E6-43C8-9B9B-464D558EE566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56258$74E451FC-7F52-4EE8-B679-2FF88E5B5E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56258$2EC4BF8E-4DFF-475E-9EC0-5A417A6DA6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56258$AE8BE32F-03CC-4041-B245-32ECB545B5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q56258$9DEDB4A8-9012-4441-9A00-A6451203F9CC","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6ea1daaaad60197d0d83fc7ac701579957406893","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$055CD70D-E8AF-4905-B285-8F78ED35E894","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":"Q56258$7E003F6C-CB77-4E30-A874-CDFB249B2A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"20f24b35928b1dd8019717de94ed50292b94fae9","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$55E9D911-ACC0-4A2F-930C-403707107247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f659a0f84020c7c9cd05ca15cec41dfa781088c0","datavalue":{"value":{"entity-type":"item","numeric-id":35704,"id":"Q35704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$50A52EAE-8000-41F3-8591-494E6179C66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"960a6e9eefc6046e7851d8a4fd1dcfc8411fcac1","datavalue":{"value":{"entity-type":"item","numeric-id":35705,"id":"Q35705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$A53E3A2E-D70F-44BB-B990-DED97F447C71","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":"Q56258$F98FEA3C-89E5-4242-BBAF-BADBA286B9A4","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":"Q56258$F94F1FC4-A65D-425F-A135-804AD1E75822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"14c9bcf9c514f08bfce65561dbbcf4b9dde98592","datavalue":{"value":{"entity-type":"item","numeric-id":31984,"id":"Q31984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$C34B4D88-DEEB-4A6E-B095-20BF3ABC9306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"24c387ececd24fa7a9a4716819d51e1718cd572b","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$66E726FF-2C6A-4A76-A209-12B8F43E751E","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":"Q56258$1AC6E859-EA8D-457F-9F48-C5BD590D844B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4f1354f7ba5a86f7e41a391f9f0526d019ac3e89","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$504B0637-37F4-4B0A-8FFF-BD859AD55F2B","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":"Q56258$A0D659EA-AF34-4AFC-98E2-F95CE2701BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fef5119cc276a651ea287663b7bbac85166163c6","datavalue":{"value":{"entity-type":"item","numeric-id":37397,"id":"Q37397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$8632C9CE-9806-41FD-B50B-1B2014BAB538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"20caaca1f89646713ff3f131e07a3cf187574efc","datavalue":{"value":{"entity-type":"item","numeric-id":17701,"id":"Q17701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$CA9DC16F-D253-4790-9BA7-E8466C692A0C","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":"Q56258$A0C568A6-9B29-44C1-9FF8-EEBA64F582E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"faba020dd5002b435d2295ed59494070f5de5bcd","datavalue":{"value":{"entity-type":"item","numeric-id":39931,"id":"Q39931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$BAA89A6E-9DC1-4C5C-A83B-035538036DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"66834767b6ba7f24478d14889793f15bbd31421e","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$06E5ED63-AAD1-456B-AA5B-448544D295B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"750318cfe328b0c4f7914e491e85258c103e5abf","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$D05D4CCE-5277-45D3-BB8D-B06360425B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"44e63d7d9e3cb67f6121e38758b14372d09ee4d9","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q56258$0E9A9077-AF4A-4405-B728-E7EA0736EC1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"KeYmaera X","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/KeYmaera_X"}}}}}