{"entities":{"Q607408":{"pageid":609184,"ns":120,"title":"Item:Q607408","lastrevid":51134219,"modified":"2026-01-16T20:54:18Z","type":"item","id":"Q607408","labels":{"en":{"language":"en","value":"An elementary and unified approach to program correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5817992"}},"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":"Q607408$BAE767B5-64CE-4E65-9FEE-82837B763A1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"675dc96dc89dc076e690c22c3fc23c9e9c5226da","datavalue":{"value":{"text":"An elementary and unified approach to program correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q607408$80053F78-5EC7-402B-98A0-3A9709A11D11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a79e246f42874abec849079543c5c0dd0a19f1c","datavalue":{"value":"1211.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607408$8AF4089B-0413-4E49-A98C-0D60A7770D7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$904B3F36-AA00-4001-9D41-73A34D3E223A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0597dd9f38cc744686ebfdde0ab7e717b4afd491","datavalue":{"value":{"time":"+2010-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q607408$A3AFEC9D-C71B-484E-948B-CB69AF840A05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607408$0065FF45-0DD6-4CAF-A2C0-9F87D1CD91AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607408$1BB62CA6-4650-4B55-BFEC-7131A97F5C19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f6de7f244dfe8036c776460e0f148d5a53f17c1","datavalue":{"value":"5817992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607408$2A62DE80-FD52-42A4-A92B-BDAA542937B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21efc3b38ad34c0130375983f81a325f839d196e","datavalue":{"value":"programming methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q607408$982A4F9B-AD83-4D22-90C6-1ECF7374917A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q607408$321792B0-48A4-4F55-85D8-A5306DD57404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q607408$9354B48F-4D99-4E1C-907A-8D75246FB33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q607408$730792A8-AC91-4640-88C2-31BEC41F5166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf818a4c59419140f56f5f89f139bd942913299c","datavalue":{"value":"Dijkstra-Hehner language","type":"string"},"datatype":"string"},"type":"statement","id":"Q607408$FA2780B1-E9A5-4AB3-9E66-4A48E65CCB9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2338fe15d009e9934d7b1220675853115dbc2632","datavalue":{"value":{"entity-type":"item","numeric-id":1049738,"id":"Q1049738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$D543BCA9-9673-49C4-8F42-9D9813D8A89C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bc08cca12dff13e56e887929c6b1a5688c3f92b","datavalue":{"value":{"entity-type":"item","numeric-id":21739,"id":"Q21739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$69CC76A2-E025-4913-8266-ED6CDD9F7881","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":"Q607408$B0EE9689-3CE4-4FCF-8C08-E949D8F5A57D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b79a24efa9d77694a31b11b91ccb0bbc15d55506","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0137-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q607408$BE24C375-4247-4AED-9A41-D039A4EF7EA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2a82bda269c6d896660582037e41214881f02f4","datavalue":{"value":"W2017923582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607408$3736B5E7-43C7-4077-A9FA-AF2522D952C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$61F6F2B4-CD29-495C-85AC-07F7A4D19BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62bd7bc249df2a3c1ae40bb949af0635fd32eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1607084,"id":"Q1607084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$E7E83616-DFF5-478E-A432-9BCC508E95D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf1a15d8c40ee6ae10f43a602449a6c651ef479","datavalue":{"value":{"entity-type":"item","numeric-id":3618815,"id":"Q3618815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$58E8610A-2DEB-4FCB-B4C9-CC3A20B09AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d0931ceeef3492f212789c7ad622f38eeffe1f","datavalue":{"value":{"entity-type":"item","numeric-id":5436982,"id":"Q5436982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$7A3B7774-3E13-4333-B6D9-AF39C86F31E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fab12d427e9447fe7b1d2e015bbcf76487413e9","datavalue":{"value":{"entity-type":"item","numeric-id":1049739,"id":"Q1049739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$9FEDFC15-F12E-471B-B5DE-466D56782FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$2D0542E9-A81A-430F-84E9-78AC625B8384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$B68A76B4-F774-4098-B4B7-5D9F1B3FC8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$43F7B5F1-CDA5-4210-A306-55BAF903D25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a436623514761506e85caba9c2fc4382730031","datavalue":{"value":{"entity-type":"item","numeric-id":3965549,"id":"Q3965549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$36B237B5-6AC0-4F0F-BC58-2BC65273A9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$76F4A310-2477-4CBB-AC1B-658673B8B710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$21F212E4-68BF-423F-8C8C-3E635FE33133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82ad10c73e928271f482901deda0f097caa8289","datavalue":{"value":{"entity-type":"item","numeric-id":3723675,"id":"Q3723675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$9CB59251-7860-4367-8E51-B31DDEBB311B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc474b97bf58673fb5d3311c2f358b1d99bb6b18","datavalue":{"value":{"entity-type":"item","numeric-id":808685,"id":"Q808685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$17020FB1-CECE-49AB-94DB-25AA4B83FC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be47411c7b94409ea2eed4e89868a5ae7d1c4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5307471,"id":"Q5307471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$E63F53D1-A6B2-41F2-A5CC-FD95FD69C7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed24753c6cc2436c52e6d9ab3529d0f79274f","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$12BA06F5-BA39-4F90-AB83-11C0DF242D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$230C2AC0-E3EB-4A80-A374-695BB54E31F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e36306e3367786752603029959f3c466b6fb71","datavalue":{"value":{"entity-type":"item","numeric-id":3347251,"id":"Q3347251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$9B7642C6-2885-4A2F-8CAA-D89C7DD2EDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b0c5b64a6c0c0b9767f7b0713a698d896bdff0","datavalue":{"value":{"entity-type":"item","numeric-id":5688938,"id":"Q5688938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$C61F84BC-E397-4ACA-A1A3-2BD5B52C3D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992009231a3ccf90d1f1c83b557e5dfa4622a42d","datavalue":{"value":{"entity-type":"item","numeric-id":921907,"id":"Q921907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$1CBED5D0-97DD-426C-804B-9BF22E531844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5f8e999697be8803aeb1a5a951716367d93da9","datavalue":{"value":{"entity-type":"item","numeric-id":5957914,"id":"Q5957914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$DED5431E-3891-44DA-8DF3-F8921E4508F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$E8CFB1D3-E20E-4441-BC92-189729BB6AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4da737dd056aad92c33746040cc8d553be9695","datavalue":{"value":{"entity-type":"item","numeric-id":3881899,"id":"Q3881899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$CDE3A029-140C-45B9-BE48-0752C53DB240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$2B1534CB-3603-4569-82DA-122080276B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b357ed776b1073cba2f8ffa2b85568fa33612104","datavalue":{"value":{"entity-type":"item","numeric-id":1057303,"id":"Q1057303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$71C514F3-ED11-4C83-BD8D-8CDFDECB0D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1661e278d4b3115deddc8fd22a4bfcf611c20cf8","datavalue":{"value":{"entity-type":"item","numeric-id":4282659,"id":"Q4282659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$31DCAAB2-E1FC-40BD-8CD2-4F27721DB4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e9c8c0f1a29bc2ad0dca22b983d7fa8a788a3d","datavalue":{"value":{"entity-type":"item","numeric-id":1188723,"id":"Q1188723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$F772663D-EBD8-48AE-A10A-E0FED909ED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q607408$A2C2B2D5-432C-407F-9876-4B85758193D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"756ad3bad1a490e2f1752b7e14f5c93853292353","datavalue":{"value":"10.1007/S00165-009-0137-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q607408$6CF9A095-53EA-41B5-BEC2-AD573895F23F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac980332962b0979544846d3b225088364b6a8a","datavalue":{"value":{"entity-type":"item","numeric-id":1284701,"id":"Q1284701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e489bcac61c949569609b4b2ffc387b365659601","datavalue":{"value":{"amount":"+0.7554399371147156","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":"Q607408$F14CF91E-5BD6-4614-A69A-5D9710DDB3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b588bacdb26ecbea497a360fdb146b234a8ac682","datavalue":{"value":{"entity-type":"item","numeric-id":793507,"id":"Q793507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e489bcac61c949569609b4b2ffc387b365659601","datavalue":{"value":{"amount":"+0.7554399371147156","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":"Q607408$B9870BD6-2392-4DAC-822E-08CB0977E979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e1110c715fd7eb83db24aca9faa5abc83ce3f4","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48261217d69a5df430d0784dcce83f074eeee1a","datavalue":{"value":{"amount":"+0.7530510425567627","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":"Q607408$7E8C3928-9A4C-4EBE-BD0C-446948431919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad830adf215314f88d85a625d9beab8493dd4c12","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc71fa2cf61a0b52d8fd8eb8e0a6ebba73206be0","datavalue":{"value":{"amount":"+0.7501230835914612","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":"Q607408$08F23C2E-95FE-4A55-A115-A224087E928F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51262ac56a18dec16fbac760c9f4aba47e0e8bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4899919,"id":"Q4899919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2bdb36d7199c2c6ff218565bcc6c62b0c3ea58e","datavalue":{"value":{"amount":"+0.7443615794181824","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":"Q607408$53D8ABE1-AA12-4D3D-949C-B1A71DA0C7A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:607408","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:607408"}}}}}