{"entities":{"Q1916368":{"pageid":1927110,"ns":120,"title":"Item:Q1916368","lastrevid":78012080,"modified":"2026-05-06T10:34:22Z","type":"item","id":"Q1916368","labels":{"en":{"language":"en","value":"A relational calculus for program construction by parts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 896519"}},"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":"Q1916368$8567D0D9-6B3B-45DF-9358-5E4C29C52A36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1a494313f23990e6f6f6434ed385b27d0dff7ad","datavalue":{"value":{"text":"A relational calculus for program construction by parts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1916368$AF871374-2FB4-43E4-845F-F402CD7F60A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"759a5c1893b4189620f7a907e23fa5839bc60004","datavalue":{"value":"0852.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916368$D7844A35-9DB6-4461-8946-F40825EF7B90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3425262f23f5d4bd3e150765fc3b67497be924a","datavalue":{"value":"10.1016/0167-6423(95)00028-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916368$C5669767-178A-4C64-8CA8-0A00F41C3AA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e2502d555044057b433878309d4bafe6f0f848a","datavalue":{"value":{"entity-type":"item","numeric-id":736834,"id":"Q736834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916368$C9BD528C-ABEB-409B-9EEF-A5D80F413429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc91625cf26d9f38636af1785664b029e077bed","datavalue":{"value":{"entity-type":"item","numeric-id":797984,"id":"Q797984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916368$37669AE4-3ED9-4E5E-8959-A191298F741F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89efc04017073bfb8c5d7b0cf7f25e439024bbb","datavalue":{"value":{"entity-type":"item","numeric-id":406443,"id":"Q406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916368$6A46643E-6D47-42B9-A1E7-9C043E60F9A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916368$1A3A251F-64BE-4C90-879E-8826F2DC9645","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8bc2e68a7a4ba958744d9a0d3480daad10515d7","datavalue":{"value":{"time":"+1996-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1916368$BFB16783-FBB4-40C0-BF4B-AEB06CF96129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916368$D0D0F0D2-BEFE-4FDE-8EEA-EAB0EAAC045F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f341f5be55bc5ca9e13f078711fcc65403ce0f1","datavalue":{"value":"896519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916368$37132169-A9EE-44B6-B307-8CE6FC1FF4E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8638e03254cc8dc737b4abf2db09a93d81fc5b5","datavalue":{"value":"program construction by parts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916368$7D3CF17D-707B-40E9-B9C1-374DF3A926A6","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":"Q1916368$D6C3C87D-80DB-4B83-8B1F-3E7586841A89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b1de9974c8b8300e3e63c6108be456465240f6f","datavalue":{"value":"https://doi.org/10.1016/0167-6423(95)00028-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1916368$8089E295-C771-4174-AF56-567DB4BED935","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0e990e36ac7a72b37f00dc57924bbfc2ae0db20","datavalue":{"value":"W2059487638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916368$C431BFC0-79BE-418E-8BCC-0BD560813859","rank":"normal"}],"P1643":[{"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":"e2c0383d33bd66935ba3ae802a694def53d13c52","datavalue":{"value":{"amount":"+0.7574666738510132","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":"Q1916368$1B38FBAE-6350-470B-BE1E-30D883E85D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a42cd6b7e97c314ae1771a73529d698a390665","datavalue":{"value":{"entity-type":"item","numeric-id":1961862,"id":"Q1961862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a4555d8fe12cd48cbcd63fcf8cc0e31acf22c1","datavalue":{"value":{"amount":"+0.7528035640716553","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":"Q1916368$907BD1A0-C87C-414D-BF6E-B3AF85373F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8ef9d4240389554e81d67996e54fe22f675992","datavalue":{"value":{"entity-type":"item","numeric-id":4273429,"id":"Q4273429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267fc4ab1993b014e7061e64ad05d64a8eaec8ce","datavalue":{"value":{"amount":"+0.7357198596000671","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":"Q1916368$BC855138-6C3E-4AEA-8A11-BFEB8F837C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf40fe6e41abe507700f2b9818bffab569481e9","datavalue":{"value":{"entity-type":"item","numeric-id":4281676,"id":"Q4281676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f73f0f580ec77dfaaf3b5f868524522fc31169e","datavalue":{"value":{"amount":"+0.7353757619857788","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":"Q1916368$D601CBD8-28F3-41A1-B539-B6B2442B0335","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A relational calculus for program construction by parts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_relational_calculus_for_program_construction_by_parts"}}}}}