{"entities":{"Q30117":{"pageid":30173,"ns":120,"title":"Item:Q30117","lastrevid":56307333,"modified":"2026-03-13T06:00:39Z","type":"item","id":"Q30117","labels":{"en":{"language":"en","value":"SeaHorn"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"055abf81aa660da49c45b32db4bc6b81444ef9bf","datavalue":{"value":"18274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30117$173E4C1F-88D6-489A-ADE1-79D2DA47211E","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":"Q30117$08078BEE-68F5-46F0-A765-136493707C03","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"771b1969c497b9725987b76f1819e5ad98b28a3c","datavalue":{"value":"http://link.springer.com/chapter/10.1007/978-3-319-21690-4_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q30117$5DA844E7-D765-48FD-A965-11E0DE8D578C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30117$992B9BCD-66F8-4FF4-A52E-0DFCC2CA3A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30117$DA971803-F003-4940-83C9-CA851C60F80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30117$44B26C2C-0C39-4D39-92C2-BF823CE10BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30117$8BB4A44B-A81D-4A10-87EC-D9B83845DC97","rank":"normal"}],"P1458":[{"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":"Q30117$87278C04-DDEE-4F86-8F58-047C1D73AC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"54abef53d63f84cb9124c80bf7d78ea9465215e9","datavalue":{"value":{"entity-type":"item","numeric-id":37636,"id":"Q37636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$2053D2DE-45C1-4F8E-980D-4AD5E3ABD13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"328e8b4658e01f92db0c38d40715062af9679824","datavalue":{"value":{"entity-type":"item","numeric-id":21727,"id":"Q21727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$9EB02E42-BF06-4B35-9DC2-9217F3A51C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"81c3fae3cbb793c48ed2c1672d4d650e8717c5e2","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$310BFAC0-5572-4D19-84EC-7B16A95C4527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cbf2db6b502474310244d9da74347683ebba2ea","datavalue":{"value":{"entity-type":"item","numeric-id":5974931,"id":"Q5974931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$73B0665F-FB81-4914-9FAF-98274FBC12AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$A21E0F3C-9163-4573-A5E7-E7F9A63F643F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4bd7f70eb24c576b3e3d45c70855bbd63c624f67","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$0F6690D7-796E-4504-B614-4C72DDD477EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$59689292-6836-4A7C-9282-17FE5A895F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$1E2018C7-6A1E-4D90-9947-7FB435AC3C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"529d70c173e3521163c437a2962c46f43140c5b7","datavalue":{"value":{"entity-type":"item","numeric-id":34655,"id":"Q34655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$CE150E6D-35C0-4C27-A3EB-09D9F7FB17C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b9824e6106057a214eddbefec69e7a4e8d315ee3","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$CAA6BD91-1F7A-4EF5-AE2D-E42EA06B18D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e95afde593eeb7d1e61e79dd5d9a0da4ecf2bb9c","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$064FFA15-93CF-4FA5-B550-878BDE070459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$F657B3E1-E8D4-4D8F-8702-039566117AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0c862528104c319162f0714346b07f5cce70fb7c","datavalue":{"value":{"entity-type":"item","numeric-id":35084,"id":"Q35084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$A6E9519E-1CCA-4029-BF73-D830EFE10965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"263af5c0df32ed66fc675fae4932e71337532265","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$69D3D99B-C491-489D-B2FC-107E3694B38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f3491a177e1cfc106ae0e5966e8456137b107ae","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$B2D7145B-8C31-482D-8D2F-F33ACC4A4FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5ef4fcff62d00ff06fc10f6b49bf2604612138ff","datavalue":{"value":{"entity-type":"item","numeric-id":36242,"id":"Q36242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$84B47FC8-7A92-400A-BC35-EC024932C5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f4209ee4132a0402aea6ba8f7f0ce76e877e2a1","datavalue":{"value":{"entity-type":"item","numeric-id":21466,"id":"Q21466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$C18CB3BA-0D22-4122-BE37-7D687D9A06FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2e072a738543502cb1df91e8cb89fd6f06eabadf","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30117$527FB66B-C3DD-46FE-B683-2AA025601C19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SeaHorn","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SeaHorn"}}}}}