{"entities":{"Q25978":{"pageid":26034,"ns":120,"title":"Item:Q25978","lastrevid":56265249,"modified":"2026-03-13T05:49:49Z","type":"item","id":"Q25978","labels":{"en":{"language":"en","value":"GNATprove"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"ea3150ad43cb177be1324063065f4512993bb229","datavalue":{"value":"14069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25978$A0A80351-B4DD-4A61-B731-5EC863EFBE66","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":"Q25978$259A7CF0-AB61-46BC-A613-6B6DB117CB50","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"3e5d3201c67744b1dffe1ceb5c2e7d4070e7b550","datavalue":{"value":"http://www.open-do.org/projects/hi-lite/gnatprove/","type":"string"},"datatype":"url"},"type":"statement","id":"Q25978$C6488CC4-35FB-4EE0-993D-85BD0890002D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25978$5130B25F-D2B4-4733-B191-0C35CBA4FF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25978$4E2AB2A1-3C20-474B-8729-DB551AB17193","rank":"normal"}],"P1458":[{"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":"Q25978$69BB33E8-A9A7-4053-91E4-2A343C0F7BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25978$2300FB36-46D0-498A-9527-486336D91910","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":"Q25978$E8672C8C-6F24-48A1-ACF1-4D54C30B8466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"412f991c4e5c8f43e2b7e75843fb5c452a29b015","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25978$6D49958C-2A10-474E-9AB5-B8CF52CBC8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"910c0d56c707b627677af77ef9434b6a948b9a46","datavalue":{"value":{"entity-type":"item","numeric-id":20426,"id":"Q20426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25978$886A911B-5233-4876-A92D-4AD21E232FF3","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":"Q25978$55211F3F-369F-42BC-912A-BCB170F137D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb0bb7298ee3f535da596bef22c2f5c7449c7dc4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25978$9178291B-5CAA-4F24-A9BB-45620C373F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c195af50e80468f67dc4da60cdb75aeae8b71623","datavalue":{"value":{"entity-type":"item","numeric-id":5974985,"id":"Q5974985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25978$8E8F00CF-2D10-449C-AEBF-A402550D6737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e9c074eb294a1065b6f245322c58d492f8d56f57","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25978$10597513-2011-48E7-A347-D3022831C531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"07eb0f28b45c8f9b5cf112bbf02e95717fb938ca","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25978$78DAF929-C295-4737-8E53-6C167D8E8D64","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":"Q25978$26C47B73-C4EA-4515-9523-8A6E47EDC344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"58b7db8fc76587ea3a78ffc871ea1d19f8a2e269","datavalue":{"value":{"entity-type":"item","numeric-id":25828,"id":"Q25828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25978$F8F2F92A-78E9-4B32-935C-A40655D258E0","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":"Q25978$89F6FD2C-3CE1-4E47-8CAF-4E74FA5B9669","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":"Q25978$588E9E0F-3436-4449-AFB7-F4B62F573FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ddb5d9ba8c7b12a5f0945a2de007119f1615e0cb","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25978$4B79FC0B-A814-49A1-BB03-2E05C21175D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fe616a883aca9f9c9389de1c5544b9a6e3b5a6a2","datavalue":{"value":{"entity-type":"item","numeric-id":21152,"id":"Q21152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25978$52561EE7-8804-43E9-AE34-B2FADCE2F936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4301da28a68a9f571a75de585e4cbe8c4e4f40d2","datavalue":{"value":{"entity-type":"item","numeric-id":34510,"id":"Q34510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25978$CF6D1521-7E05-4C06-88B5-DAC647A53718","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"GNATprove","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/GNATprove"}}}}}