{"entities":{"Q21553":{"pageid":21609,"ns":120,"title":"Item:Q21553","lastrevid":56229627,"modified":"2026-03-13T05:37:02Z","type":"item","id":"Q21553","labels":{"en":{"language":"en","value":"NuSMV3"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"2bab05d6bbcb447bbb1f2e423313766be91b42fb","datavalue":{"value":"9572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21553$5BC6AED4-2E66-46DE-A9B1-6C1F670C58BB","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":"Q21553$175C670A-4CFE-4396-A772-CB35B4904E3D","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"a751e7a68718ac316b79c484c9273004b9901b3c","datavalue":{"value":"https://es-static.fbk.eu/tools/nusmv3/","type":"string"},"datatype":"url"},"type":"statement","id":"Q21553$78FCC3F2-3BF8-4E8C-B503-E6F3CE3CABF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21553$D2BC3447-397D-46D8-AEDF-CFB3C658143D","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8d3ae6b55e9e20844caaf8bf6a12e368e99b1d1d","datavalue":{"value":{"entity-type":"item","numeric-id":21551,"id":"Q21551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21553$C8EB6942-E1B8-4FE2-9A6D-1E9A04E9330E","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":"Q21553$851B212B-B671-4D3D-B3D2-7B698FBB64FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"538b08c86828f747022959525bd443917bae7c98","datavalue":{"value":{"entity-type":"item","numeric-id":21552,"id":"Q21552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21553$632C845F-DA0B-4EE5-81A9-502485DABE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a562a43d8b1690cddba79a1cc7d9977c384f2843","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21553$FD972DCA-5CF7-4F11-8E8D-E4699245B40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60b0b9c91adb8d09f1c02fbec7661becb3b46ed9","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21553$317FAE0E-188F-47C4-AED7-C9E3464ACD64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"NuSMV3","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/NuSMV3"}}}}}