{"entities":{"Q16063":{"pageid":16119,"ns":120,"title":"Item:Q16063","lastrevid":56602806,"modified":"2026-03-13T12:06:33Z","type":"item","id":"Q16063","labels":{"en":{"language":"en","value":"KeYmaera"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"113bad659e7655bc74d638583c8cc2fd6fcf64ee","datavalue":{"value":"3709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$EC4766D1-592C-4F8B-A360-6B14707EB645","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"559692cc3966dee90c6605a4b06f1d7b2cb3b420","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16063$EA227402-EC52-44C2-9CEE-46E086CE2E73","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":"Q16063$ABD1B1BC-7EE3-4C1C-8A4F-34A34254C0A7","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"88d6205a068b52c337730ac3c713400cd9904b0c","datavalue":{"value":"http://symbolaris.com/info/KeYmaera.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q16063$B160DD05-285A-4F76-B358-1514C5C28240","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$FC8BAD8C-FC32-47AB-BFEA-CB393EE9346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$92E54985-B9CE-49F9-B651-91B53FD7FDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$43CF2530-5BFF-406E-B38D-D7DD9D5791AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$958E8B03-0A7D-424C-BC88-B7D6F6BCC955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$D838C890-60C7-49B1-B178-04BF733FACCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$845713D7-63FC-41CA-B635-3BF3F7A29A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdcc80d920f5e4d163108380bb0c7de24bca08b4","datavalue":{"value":"26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$8E6A46C8-43FD-4590-BFB8-23094034D79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"01c8c566de1600f59b5f8122a428964fb913122a","datavalue":{"value":"37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$BA25E235-FE51-49E1-95DF-57EDC77E6D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c36f543604e3fdf981f5fb6ed78b53d6c52253c","datavalue":{"value":"47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$1573BA75-CCE4-41F8-82C9-1F8B4E8C39AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$C8741708-14F1-4D24-9FEF-AAF9FD139390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"41a6e0246acf8e32baa5cd8f5a0d05b7b1326a3e","datavalue":{"value":"80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$939568C5-6D65-4B38-8840-C3608F9F3D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$7B98E7F8-A19E-44BF-9962-5D3D183C71AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16063$D0BF3657-5D46-4D91-9299-1C1F2BDC7FAC","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a84cec67941530633e685a8ee56a19ae6a02d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16063$E018273E-0982-4F63-854C-8A8CEBA06DE7","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":"Q16063$0BA7291A-5870-403A-B30B-29FF7E6004EA","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":"Q16063$D501452E-0519-4EB1-ADE4-D3BBC309159B","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":"Q16063$82CF4757-656D-4288-8EE7-45B14DF1772D","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":"Q16063$00555BB7-980D-4C86-B42A-A4D3A65F30F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"455b00859381b416e797394b11a7dbe1037097fa","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16063$4BB437F0-C3A5-4870-A837-BF1CE15826F4","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":"Q16063$97463693-3596-479F-94FC-0087F3B6B7BD","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":"Q16063$5FA9859B-0E51-4E2D-93D3-EDFE3C30D7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"44b611c2936fa5ecd3aea8a8e2c38f259f8f1fa4","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16063$17F8EB8B-3EAA-4811-811B-C7131C74C7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c3be1c438e4864369b4d5a6931d6876f8be0f087","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16063$36847559-CF54-402D-B4BB-A69BFAFA4622","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":"Q16063$2B358B50-7F31-465E-A618-D8CAEA157B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"229be6d35e6a6cc9b891b0ad25e96d0e6b080e7b","datavalue":{"value":{"entity-type":"item","numeric-id":31986,"id":"Q31986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16063$2683CBD7-A984-4C19-AA01-D14844DBA146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"654080dee7524f5000d195afeb10c1de4245a272","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16063$FF39F776-C4AB-4436-B8BD-AEA5F7A634E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2bed52c12846524e56d0544dbacb479fba82b177","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16063$1FE400E2-141D-4A78-BCE6-19CE0DB38B6E","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":"Q16063$3E8DC628-114A-4CC6-9716-ED36699F7EB4","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":"Q16063$EDA1F9BA-3479-44D3-8980-4A71A68B10B5","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":"Q16063$EBF24C80-58BD-4A0F-BF35-3832151DEAFE","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":"Q16063$2566A7EC-0422-4FA8-B680-77677797C4EC","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":"Q16063$339FDB05-3758-4E48-A737-1345CD014573","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":"Q16063$644CBA08-D280-4B30-816D-E2CFBA76B076","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"KeYmaera","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/KeYmaera"}}}}}