{"entities":{"Q28413":{"pageid":28469,"ns":120,"title":"Item:Q28413","lastrevid":56299566,"modified":"2026-03-13T05:58:45Z","type":"item","id":"Q28413","labels":{"en":{"language":"en","value":"EventB2Dafny"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"d9a9546f9518b227e122451b8ba88b0cd5e4436d","datavalue":{"value":"16544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q28413$BD5EA60C-F3DE-46DC-960E-276B653D86EC","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":"Q28413$AB3EE122-05D7-4DA1-B196-CD016069D839","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"21155f6ff8b73c7349b1c89a4820d53817d95828","datavalue":{"value":"http://poporo.uma.pt/eventb2dafny/index.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q28413$AC8251F2-8D13-4F45-8D12-16FB5C6EBEC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q28413$54E5AAF1-73BB-406C-8004-5A39D28439A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q28413$54FCD852-EBFE-4F27-932E-BF633E670ACC","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0ddbde69b2a268285fa6ad8863ac28942f69652","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q28413$C24BAE52-FA07-4BC9-9E16-B11192E0A0C5","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":"Q28413$DC89C580-0D8B-4B66-BD15-8666D617B7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aea0ab4aa185418a08316853dcad4681c058166","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q28413$8C9758A6-3342-4CB5-8859-0087226110AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ef3a824eb9130b28d1a6184768da0ec4c2a5b1a4","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q28413$C360599E-CB44-4879-98A1-C14E4543B03E","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":"Q28413$E8B05FB0-CD48-4B9F-94E1-EA2DB88A57A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"EventB2Dafny","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/EventB2Dafny"}}}}}