{"entities":{"Q12950":{"pageid":13006,"ns":120,"title":"Item:Q12950","lastrevid":56602284,"modified":"2026-03-13T12:06:29Z","type":"item","id":"Q12950","labels":{"en":{"language":"en","value":"Dafny"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"68c71cd41dc38e30c7b8913d395ce4db062481cc","datavalue":{"value":"183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12950$95FF4D12-5423-4650-B0CE-3D6AED91828E","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"b6b513cf4e480d656e5bfe0be506e1485936ba88","datavalue":{"value":{"entity-type":"item","numeric-id":2891425,"id":"Q2891425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12950$F3B7343D-3DBB-449E-A4C0-A89005414E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"ce24e06283e9e2fc169b94d5b555babc7bef74f1","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12950$0B29454B-A724-41C5-9E65-32FBEFA82C17","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":"Q12950$1DB386CD-C8CB-4F29-9FB8-38E819284EC9","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"7f692505ae30e60202600b3ebcca11a22923500e","datavalue":{"value":"http://research.microsoft.com/en-us/projects/dafny/","type":"string"},"datatype":"url"},"type":"statement","id":"Q12950$AADCB269-1BD4-4A4C-A960-758B6B0E73EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12950$2E9B2BAC-709C-4515-98FA-5E0AF820657E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12950$178728DD-32C2-4505-9D92-E3FF4B96D34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12950$48F3727B-1F45-41A9-9B40-5339CC46395E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12950$88092A04-8514-463F-B220-BE01EB12700D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12950$9F2E4877-B0BB-4588-8683-865D299BFC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12950$CEDF68C8-63B5-4A68-AE5C-3282E7CE951D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12950$D734D73A-87A6-4809-B416-5BC0C7DFAA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdd04b3c5243643f89ff1bab2287589642562be3","datavalue":{"value":"97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12950$FDA1D059-0471-461B-9B9F-FC2FABE96C37","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":"Q12950$620AEC95-E592-4629-BCCD-E80281EBEF28","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":"Q12950$B8D2F5D2-31F8-4CCB-8BBB-D4916697960C","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":"Q12950$7A36D370-4C5A-45F3-9916-DDE436D8B12B","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":"Q12950$2134F906-4444-4F8F-9DEB-975B8309183D","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":"Q12950$8DC9A826-A688-4D38-9B1C-AD7FB94033F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"750318cfe328b0c4f7914e491e85258c103e5abf","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12950$C1A42B65-AEE6-42F5-83B3-EE83EE3F3CB4","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":"Q12950$C19ABC6A-D20B-46AC-B0FB-969E5056A332","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":"Q12950$42A5F9A1-4A0E-4A4E-866F-107068894E0E","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":"Q12950$4DE6ECF9-ADA5-49A3-9F5D-FF633E107872","rank":"normal"},{"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":"Q12950$887DA7C3-291D-4E82-AA69-3508756904FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e09694fe3792b5d00306e3d52d45d5816179ce38","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12950$F4809329-8A9D-4CD8-AE5D-0C42FEDAEFF6","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":"Q12950$B3DA1DAD-55CC-41AF-A24A-8530E068555B","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":"Q12950$8526DE70-7FD2-40A6-BD51-154325C1713E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c8fb36de817fa9ce0fc2b79d62bc8a47f881acf5","datavalue":{"value":{"entity-type":"item","numeric-id":26932,"id":"Q26932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12950$5B5795DB-A8EF-4029-AF4D-00A8E68D5D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"66834767b6ba7f24478d14889793f15bbd31421e","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12950$9E139049-63A6-4CFA-AFA6-2CC31FE59F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b37a8a80b69a51617bb49d05d0c34a944056f381","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12950$10CBE3CC-3630-4F44-9969-262FBA4214AB","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":"Q12950$1C68B84B-FCF7-4D22-B95F-9B245F52466A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12950$8CD0005D-3A15-4407-A874-24E17937A10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1682e4f3c5b07f98f0ac9d21e07e98858926fb0","datavalue":{"value":{"entity-type":"item","numeric-id":5972585,"id":"Q5972585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12950$D57F5EFB-2177-4F29-A45E-F77476DD0567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bd0a78f92a43d7d4b9fb28d11c52d211df965f7e","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12950$BF0AD739-C8AF-4044-B48E-E404EC1E7F9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dafny","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dafny"}}}}}