{"entities":{"Q5408525":{"pageid":7438099,"ns":120,"title":"Item:Q5408525","lastrevid":96218405,"modified":"2026-06-05T10:42:31Z","type":"item","id":"Q5408525","labels":{"en":{"language":"en","value":"Verified squared, does critical software deserve verified tools?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282588"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408525$1494D93B-9281-4D44-A940-87704B3FFD8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2eed38d6a3766563e4171353c57dd3e9edaaa5d4","datavalue":{"value":{"text":"Verified squared","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408525$70496BA1-21A5-4C85-B82B-7DA921459B49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2dc4ad07c1a5a5a7c3142ed577b443390873421","datavalue":{"value":"1284.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408525$2CB3B0F6-ACF7-4560-8AF3-3652AD04FDAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52448d93c957b362e994432faf5d05d6306a5e3c","datavalue":{"value":"10.1145/1926385.1926387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408525$3A255A0D-21FB-4AA1-B3B5-33EF34807AB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b1e35c1c4bff0a8e8e775e8600e2e952b118ae","datavalue":{"value":{"entity-type":"item","numeric-id":848738,"id":"Q848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408525$2E6D7AC4-34FE-4281-B3EB-35E41377066D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408525$E21E2C07-0BBB-4307-A25C-B7911EB9AA3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408525$1BCB4348-40A3-407A-A211-606BAE260AD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408525$6E8AE4AC-7CE5-4E43-9B49-795E61AA81F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408525$AD84310C-F995-4905-AD34-0C35DF5AA9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408525$5ABDAFEB-BD29-41A1-BAFF-132F842E5453","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0394422a3892a6b5b912bed5f4f28339e36bbe42","datavalue":{"value":"6282588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408525$E4B4DA90-3B8C-4CF2-BC34-5680218E4B63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408525$9470C355-101A-4D09-863F-939A37809D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1d503bc3d38d6e61898723bfc6d513f52be4af","datavalue":{"value":"critical software","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408525$C3AA41A4-EDF6-47B7-986E-4050C0671AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df198e9539af8ee1221a27fc303d184b5cc81a2c","datavalue":{"value":"program proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408525$FFE38F63-4DB1-4DC9-B747-1BC2DAEBD6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408525$8CA885E9-9C38-4485-93C6-5A227FA8DEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f91056c7d1db794c614d225cbe58b629d13418b","datavalue":{"value":"verification tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408525$E20BBF41-4FA8-4404-98D6-62796D377376","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408525$EAFE7D26-9652-4375-9DC6-C0BF514DF82F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4d0cbff6312c444d8269cf4982f6a015670b7c4","datavalue":{"value":"https://doi.org/10.1145/1926385.1926387","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408525$5A117EC9-72D2-4B75-808F-0AFF8C79FAE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fc0a2d4cc481ca7c9c8822cae1a457279ec120e","datavalue":{"value":"W4230556465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408525$12098068-9359-42BD-BF28-5A174064F0B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf29e23f53d7c7abc497b6fe67277d16bdb4687","datavalue":{"value":{"entity-type":"item","numeric-id":3000569,"id":"Q3000569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8e38db3309d991d565bd6441dff723b8838a94","datavalue":{"value":{"amount":"+0.7512468695640564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408525$6AF059E1-CDD9-478F-B8FC-6A55BA414E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51455d403e873eceee0b12bd906bf6b494716f7","datavalue":{"value":{"entity-type":"item","numeric-id":5503618,"id":"Q5503618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54349792f34b1194ab8e2de799de07808e609bdb","datavalue":{"value":{"amount":"+0.7430463433265686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408525$BEA7DCEA-6D47-40B5-8D92-AF18CE3340EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7833298f7b4bcee38aad70caa6bfc39f468bd1e5","datavalue":{"value":{"entity-type":"item","numeric-id":2432233,"id":"Q2432233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bac21e3d8daf05e1bdb8b74ee3e211380e6bb6","datavalue":{"value":{"amount":"+0.742392361164093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408525$EC7EFBA7-E1D7-4594-AF00-6BD036F5B6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc892da32762cf308c1b2f78485704bdd7b58565","datavalue":{"value":{"entity-type":"item","numeric-id":3998467,"id":"Q3998467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7165a9065116d388527a9719efa2fbb1fbad4d96","datavalue":{"value":{"amount":"+0.739018440246582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408525$437AB738-75EF-454A-93DF-5AE38F82F8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa06806b52bf94e9c8d7e7159b62a839c7b053e","datavalue":{"value":{"entity-type":"item","numeric-id":5301852,"id":"Q5301852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6032c5efaa53ecb56849377bd3927c0dc6bcea14","datavalue":{"value":{"amount":"+0.7386537194252014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408525$D3A924AB-5F5F-4538-901E-5621195A78FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified squared, does critical software deserve verified tools?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_squared,_does_critical_software_deserve_verified_tools%3F"}}}}}