{"entities":{"Q19722":{"pageid":19778,"ns":120,"title":"Item:Q19722","lastrevid":56238096,"modified":"2026-03-13T05:41:00Z","type":"item","id":"Q19722","labels":{"en":{"language":"en","value":"VeriFast"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"cb7ed09678303686e51f4484aa0b56d0977b6263","datavalue":{"value":"7705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19722$361274A0-F9DF-40BD-9D8E-399AF3C04D46","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":"Q19722$DBBDD2A2-5609-4D29-A656-AA11CE1E044E","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"50b91794a43bfadcad7b827bf3f8745472220bbf","datavalue":{"value":"http://people.cs.kuleuven.be/~bart.jacobs/verifast/","type":"string"},"datatype":"url"},"type":"statement","id":"Q19722$1F089201-624D-412A-BA2D-BDD736591A6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19722$9CA4C3E3-E0CE-496F-BB83-B143B7DE0A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19722$C4C53DA7-09FA-428A-9C12-4E79EE2284BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19722$0338A1C1-4F6B-405A-89DE-A9C4CE3399D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19722$FC6CFAEE-AE2D-44C0-99B5-A4A6EBF987F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19722$79676DC9-EEE8-4FEA-B460-240E7041D4A1","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":"Q19722$2C077168-0350-4273-8312-DB736C4826FC","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":"Q19722$0F3C9BB9-999F-4698-83F0-00D14D19769C","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":"Q19722$0F956B11-5F71-4AEE-82A1-2032CC9BABAD","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":"Q19722$D8C0EBFC-B37C-4D2C-8853-A04824C8CBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"644b1044004575e184b926ada38a7928e2552cf1","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19722$9CA9E35A-89A5-47CE-A6E6-90E117D356C9","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":"Q19722$C32DF9B9-1415-4925-B288-8AF9374FF69E","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":"Q19722$716D2E9E-37A2-4F0D-8067-56C1DAED3026","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":"Q19722$72731BCE-26AC-4322-B417-B132EB1490DA","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":"Q19722$06F9A73A-7CCB-4432-A22E-2E78654A22DA","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":"Q19722$D36E18B2-FD72-4D08-ADE4-D7C5DC65EB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fbe7804e0191ec908033ad7251324f9c5ac63c27","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19722$100E5E40-6614-4A1A-945D-6DEBF4A119E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1286389c58ecdb69c422604e3e1f0dbe5e0370f0","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19722$13B3CA50-CD6C-446C-ACEC-9DEBE637DB37","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":"Q19722$BF6E4E9F-9B17-4D76-95BE-BC6F2CFC97AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"95e5f1158f96f22279bdd9d9c26433e98a490641","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19722$F57F22EC-E527-4E7B-A7A9-63A8EFC86B6A","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":"Q19722$B52FE5AF-8553-44DE-B749-8C853223AE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f4faa0188f148027ddc8cce1eaa9af5a053cee82","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19722$A668756E-BD29-418F-B614-6F4305FAD03C","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":"Q19722$C3A65125-332E-4DE2-B9CA-D3DECE05BB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f1213ea108daafd9303dc27995eb65ef91cce89","datavalue":{"value":{"entity-type":"item","numeric-id":21691,"id":"Q21691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19722$3A694356-6D41-42DC-B1AA-F77EED67C9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce03adab3824b2bd8d40bfa76fbfa3ad461b08ad","datavalue":{"value":{"entity-type":"item","numeric-id":23205,"id":"Q23205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19722$9BCB9DF4-AECC-401A-99FB-4A4350E6C975","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"VeriFast","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/VeriFast"}}}}}