{"entities":{"Q5388976":{"pageid":7418550,"ns":120,"title":"Item:Q5388976","lastrevid":51452735,"modified":"2026-01-18T07:37:48Z","type":"item","id":"Q5388976","labels":{"en":{"language":"en","value":"The correctness-by-construction approach to programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027442"}},"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":"Q5388976$369364C3-61EE-42AA-9428-4E7A1C16F519","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b6b19c35141565d08f557affd938fefd40f5106","datavalue":{"value":{"text":"The Correctness-by-Construction Approach to Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5388976$47814C58-297E-4210-BBAC-9339B89152C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8cce8d4ad19f3450b9e0a41b0f04870b413b290","datavalue":{"value":"1278.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388976$F19513A0-375F-4ACF-932D-DA5D4DA8DFF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeef297e9dbba518afc693bdf66ac2bf640f27a7","datavalue":{"value":"10.1007/978-3-642-27919-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388976$AF04F0DB-B2D0-4DCC-A10B-B2EA0F7BB807","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85ed9f287d2ea9a2dac92419860840c9949df976","datavalue":{"value":{"time":"+2012-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5388976$ED8F1922-B588-48E6-85CD-0B256D5A2066","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388976$D0A16E0A-AAC1-4314-894A-4EAEB2520A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388976$2762281D-C826-4981-8562-12BF2D3E8139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388976$E1B2A994-4E79-4D11-8ABF-9E84C146B2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388976$356FE9A0-C9DB-4162-B76D-C1F4B443C756","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9f8ecea058d575f437ca27bc75a4d0d977c1b28","datavalue":{"value":"6027442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388976$AF51C3FE-98D6-4511-93D8-8A2FF535C3B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"428de1b5a4dff51bdc86942b767fd3815b09ecfa","datavalue":{"value":"correctness-by-construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5388976$07F4FCBA-694D-4FBC-B7F9-CFBE8A3A098C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q5388976$D6CDD459-73A7-4C6B-BC6F-EEB3FB7EEA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f613ddf3a54ab55448fbddf9dac4bafa4e3a72","datavalue":{"value":"programming-in-the-small","type":"string"},"datatype":"string"},"type":"statement","id":"Q5388976$6E04730E-46D6-4FE7-A941-1F8B04D3C777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f85335f454fc766a158a875e76ae70cb3dde56","datavalue":{"value":"program proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5388976$24EB1721-A7F4-4A63-BCCD-3C9A8634F8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6f76a9cffde7819012ad89732d35e0301ab94","datavalue":{"value":"elegance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5388976$EF849D5D-9B1D-4706-BF54-F600D78F988F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5388976$94C0634C-F49B-463C-9639-606B10A78DC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec41abf911ce18de3a957721e8d8125d55e25bc4","datavalue":{"value":{"entity-type":"item","numeric-id":1001806,"id":"Q1001806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388976$095174A8-86BD-44EA-8B1C-8093D8B0D944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce11e304b12ce8eb4001d7c8da082d7623115e0c","datavalue":{"value":{"entity-type":"item","numeric-id":722213,"id":"Q722213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388976$542720A5-23B3-4268-B743-3BA218AB7A7E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5388976$0EE71BEE-62E3-4FA8-8C12-1B359AE92EA6","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":"Q5388976$42914EC6-A210-48A0-9482-9035F59D5D08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b84b939e22c2015570a5f77052fe4dc897e08684","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27919-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5388976$A48C2D62-310D-4673-9EC0-7334B28D2FE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3c63f8b3f18d22ae1e4629e0a2d7dc5f4804d21","datavalue":{"value":"W4206365978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5388976$E1E9C2A2-4140-4C91-ACDA-4DDD52E3C2D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947a2e72ea690199ea0027ef486290925282d471","datavalue":{"value":{"entity-type":"item","numeric-id":3994464,"id":"Q3994464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66de4e02b69ef83d8ffa68c5834589530896f124","datavalue":{"value":{"amount":"+0.7929980754852295","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":"Q5388976$9C974BAE-4476-48AB-B7A4-83286E4E0A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a012828af28715095621720ac7318dde4d8f552d","datavalue":{"value":{"entity-type":"item","numeric-id":3157875,"id":"Q3157875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2345869976f7f32f63cd81e6addc1769b250ce6","datavalue":{"value":{"amount":"+0.7888200879096985","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":"Q5388976$9D3CD6B3-70A9-4970-8FAE-C6E8767DAC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acdc20cbc7435370cb8a3fdaebe58b8f1106679b","datavalue":{"value":{"entity-type":"item","numeric-id":4390387,"id":"Q4390387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf59184dc0fe669fec95459a727ff39a6ceb453","datavalue":{"value":{"amount":"+0.7824268341064453","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":"Q5388976$8444BC35-9CF2-4C69-BB11-77B4F20496D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e1e2d17c308ab188254653bd47a2f155406871","datavalue":{"value":{"entity-type":"item","numeric-id":3783489,"id":"Q3783489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf59184dc0fe669fec95459a727ff39a6ceb453","datavalue":{"value":{"amount":"+0.7824268341064453","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":"Q5388976$5CF1E333-1632-491F-8AAA-685AAE573F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee371577c67d4b614a19df5ffaabc82774f74045","datavalue":{"value":{"entity-type":"item","numeric-id":4004235,"id":"Q4004235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7657a6b2adf343b7e775634d2ea7e6b7222e75c8","datavalue":{"value":{"amount":"+0.7700356841087341","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":"Q5388976$F192F115-1146-4F8F-B8EF-AC2B86299C5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5388976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5388976"}}}}}