{"entities":{"Q2695364":{"pageid":2706108,"ns":120,"title":"Item:Q2695364","lastrevid":82793189,"modified":"2026-05-06T21:57:07Z","type":"item","id":"Q2695364","labels":{"en":{"language":"en","value":"On algebra of program correctness and incorrectness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7670527"}},"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":"Q2695364$EBB17CAF-873B-4F33-9A97-E59E3DA28DD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"541f20102e6766f1a4cf47c61945bca43ef76d1b","datavalue":{"value":{"text":"On algebra of program correctness and incorrectness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2695364$81A34A26-DAFC-4AA8-9E4C-5CEA6FBF73B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fe28a78fd6e85a9a66b9faf9f0b13eb7205aeec","datavalue":{"value":"10.1007/978-3-030-88701-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695364$90AC9F4B-3D8C-4389-8F55-70A7720FFBC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$0164F5EE-E36F-4E63-A8C7-E697D28802A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$2B3F78CA-FBD8-48E5-8CD8-222880C01532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$88391BAB-714F-4445-9CCB-6A66530B6FCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55ec59bb5a9318d90bccd7149395feea6793e4e5","datavalue":{"value":{"time":"+2023-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2695364$AB07C535-3825-4FA6-A69C-078870C3940A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695364$CF721441-C62E-43E6-9073-187E245ED520","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3524b9891afa6fd34684affc136b21f2a34672b8","datavalue":{"value":"7670527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695364$73C9E706-744D-4515-B4F8-7C322BD597CD","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":"Q2695364$437A860C-D443-4139-8740-CCE5CC4EA1FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cc82965e5e1b4442fc312b7b4dba4b7e632a514","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88701-8_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2695364$DBA9FD63-3D9A-49A3-A673-A871DEE40E10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6ee888dec237d3f8288ab4736cac202a989aca5","datavalue":{"value":"W3208160860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695364$B2EC2142-6807-46D0-A516-F2959D157EB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$F0CB0C46-5A76-4D01-8666-AEC72BB17304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35ea5e5703bc4fc3d109aa2432fc865a417557b","datavalue":{"value":{"entity-type":"item","numeric-id":4286527,"id":"Q4286527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$5087CBF8-E608-4603-9280-27F96A0334D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794037096bca89e0c0feb3c2e3cbcabd6db55712","datavalue":{"value":{"entity-type":"item","numeric-id":5716599,"id":"Q5716599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$E275AF37-392E-4A14-A8A5-B19FB3812494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6395c36fdba5d99e6b0bff006ed37dfd7c4a6f","datavalue":{"value":{"entity-type":"item","numeric-id":4213379,"id":"Q4213379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$98199FF9-792E-42FC-A5DB-D598DC3527DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb6ff5311a74b34184b2722f45306b1bbefaa27","datavalue":{"value":{"entity-type":"item","numeric-id":2550288,"id":"Q2550288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$9FC5BF79-B153-40F6-B03B-A8C8DD127AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$6F7CD059-4B2F-46EE-8DE3-41230D5A79BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4781d0cda5a9f9bbd11012b801d35ad22aeeec4","datavalue":{"value":{"entity-type":"item","numeric-id":5549763,"id":"Q5549763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$815F64E2-105A-4A52-8DCA-914E3B6FBB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$0F01348B-9BE1-4624-9065-17C2DD4BD273","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":"Q2695364$666B5F3A-43D4-4764-9136-F3CBAD852CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$F75739E3-036A-4FFF-9F51-909FD82584EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd24e7c80419127190f2caab38cc190688321ee8","datavalue":{"value":{"entity-type":"item","numeric-id":1941861,"id":"Q1941861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$64012E85-8D7D-4A18-952B-E5FA0B6E8FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b505b8d56ce32f5bd927de5ce0f364ed7bc3b98a","datavalue":{"value":{"entity-type":"item","numeric-id":1371311,"id":"Q1371311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$5327DC2B-BC97-4B9D-B1CF-08DDBCAF9FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$E9F1895E-8E93-4330-95B6-BF8810AD901D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$4AD02BFE-54A8-48C5-8FC4-CE99BE2221E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$1939C6AA-1BE3-4896-B54A-D51104382FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1713746a21acf2d1323fd1403fc527bf6ca8721","datavalue":{"value":{"entity-type":"item","numeric-id":2226739,"id":"Q2226739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$F6EFBFD0-8780-4467-B5AE-69E434302F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4079be32b0d120cadac73eddeda20cd9afa6c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3095238,"id":"Q3095238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$ED7F18AB-341E-471C-A943-99550B925B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$5A96E423-338B-4CE1-B156-8C4F229EEB2F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695364$75F92B4E-85D0-4403-A625-4957136AE0C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On algebra of program correctness and incorrectness","badges":[]}}}}}