{"entities":{"Q65951249":{"pageid":65580393,"ns":0,"title":"Q65951249","lastrevid":2034780036,"modified":"2023-12-23T07:25:03Z","type":"item","id":"Q65951249","labels":{"en":{"language":"en","value":"How Did Software Get So Reliable Without Proof?"},"nl":{"language":"nl","value":"How Did Software Get So Reliable Without Proof?"}},"descriptions":{"en":{"language":"en","value":"scholarly article"},"nl":{"language":"nl","value":"wetenschappelijk artikel"},"ml":{"language":"ml","value":"\u0d35\u0d48\u0d1c\u0d4d\u0d1e\u0d3e\u0d28\u0d3f\u0d15 \u0d32\u0d47\u0d16\u0d28\u0d02"},"hy":{"language":"hy","value":"\u0563\u056b\u057f\u0561\u056f\u0561\u0576 \u0570\u0578\u0564\u057e\u0561\u056e"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f"},"fr":{"language":"fr","value":"article scientifique"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q65951249$9a827f49-4679-8516-bc64-6763a24ba209","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"d97373f398418fd88df97c38115d35f3803733d4","datavalue":{"value":{"text":"How Did Software Get So Reliable Without Proof?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q65951249$c48c6176-4c8a-231c-ed8f-2691b57643d5","rank":"normal"}],"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"08ca96fddc4468d3752a7de2b79d8250ce568ae5","datavalue":{"value":"10.1007/3-540-60973-3_77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q65951249$6d95c861-4f03-3dbf-4a38-f289c6c9abb2","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"1537e3f9208576adeb5ee99f02e69ca9cb456d3f","datavalue":{"value":{"entity-type":"item","numeric-id":92602,"id":"Q92602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q65951249$00748972-4d08-5b1e-aad1-aff98b6302e9","rank":"normal"}],"P953":[{"mainsnak":{"snaktype":"value","property":"P953","hash":"7955321118eda2aad73d154e5fdb065deb429c15","datavalue":{"value":"https://www.gwern.net/docs/math/1996-hoare.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q65951249$f18ee2f6-4e6a-e7e7-3d24-8370de209ce3","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"54d15143d3cc6bfd9c5d63d0037c89f2b167cbe8","datavalue":{"value":"conf/fm/Hoare96","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q65951249$E02B2A92-EA68-45DE-909F-FD6B009A9ADE","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P921":[{"mainsnak":{"snaktype":"value","property":"P921","hash":"3e973c5589a5e7c378cda8cc41699404a083b781","datavalue":{"value":{"entity-type":"item","numeric-id":7397,"id":"Q7397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q65951249$C3DDBED2-C069-4F43-A663-0BB23C4812E0","rank":"normal"}]},"sitelinks":{}}}}