{"entities":{"Q1961862":{"pageid":1972604,"ns":120,"title":"Item:Q1961862","lastrevid":78155771,"modified":"2026-05-06T10:55:13Z","type":"item","id":"Q1961862","labels":{"en":{"language":"en","value":"Combining relational calculus and the Dijkstra-Gries method for deriving relational programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394724"}},"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":"Q1961862$8BF788BD-63B4-478A-A23E-D81A484AB1F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e055b613d25d24ca6806c604624389a4901dcf69","datavalue":{"value":{"text":"Combining relational calculus and the Dijkstra-Gries method for deriving relational programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961862$B1F4FB04-B0A4-4705-B0EA-3C3BB7216F9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21b0aed86bbd3852df1ae64680894fe19114aaaf","datavalue":{"value":"0943.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961862$3138F599-DB6D-42BE-AB2E-57130514E38C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeb3e565e3d77fbcf0b4988efbb3ee4433e34c14","datavalue":{"value":"10.1016/S0020-0255(99)00012-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961862$40B2B8E2-1EAA-4741-B03C-69754CDB12E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"299080fcb4d10db6bc9f243afdb0b2f6a4f09785","datavalue":{"value":{"entity-type":"item","numeric-id":246438,"id":"Q246438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$DB7283AA-3C52-44B8-861B-D9FC406041EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$902A94A4-B2A1-4618-8D09-D75DE54FB14F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a55f3aff8e421376e6a53544327002c7c786556","datavalue":{"value":{"time":"+2000-01-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":"Q1961862$6D64BFCB-6B83-494B-8BBA-EAC6BE913FA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961862$413818DF-8E13-4592-BFAD-6FB9C55D22A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961862$DB6A6578-40BF-47D4-AC1C-4216DEFED67E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a480ca4271835003a0045372b4884ce26f39670","datavalue":{"value":"1394724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961862$FD4F2445-1E7C-40C1-9C94-AF733A4D7BD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8469432c7e2e4cd59d964f83e69cb11b07596610","datavalue":{"value":"imperative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961862$EF15808A-6919-43F5-8A59-BC64196EB3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"405af8bd606fbeb546b5fcb6c67ddc17c10dcb44","datavalue":{"value":"Dijkstra-Gries method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961862$3E3989E6-C47C-48F9-BC47-51FB1F75DCD6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cedfd091c2258943cadcffdadbd4749dcfc2b02","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$3EAD2002-C9D5-49F2-A819-3736F7862B47","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":"Q1961862$3B51F5A0-B407-4C90-A3FE-093EDA150CA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"265094ef24355b6ec775ee7bb2f8ca7f71fe5619","datavalue":{"value":{"entity-type":"item","numeric-id":1330443,"id":"Q1330443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$FCC22991-D9DC-43E2-B4C9-D121B14520ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b00fbb135f376803d5eb08d289fdbd34b5c680","datavalue":{"value":{"entity-type":"item","numeric-id":4213376,"id":"Q4213376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$08B86B20-E09B-4E5E-A691-71E200C01498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e905e1f59ff46e7fd4445af32e0277d0506ae207","datavalue":{"value":{"entity-type":"item","numeric-id":4362883,"id":"Q4362883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$71C6EF19-D2CF-44E8-84AC-062299851F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e69c2d21b2a4e9a6b7c883246f58486a3267868","datavalue":{"value":{"entity-type":"item","numeric-id":5810602,"id":"Q5810602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$5CD3C70A-D422-4708-829B-0C96958B307F","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":"Q1961862$E9F68600-6ED1-4086-B629-F97DA6F59DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$78A895F4-36C4-4697-AE66-4307BCEB8463","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":"Q1961862$C273DF7E-EE7C-4DDC-AA9E-CCD4AD28FF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$E9176B13-2B31-4C36-8D5E-DEBC0CACC2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645be4db2f9ae6c77efd2643c379d46b69eea6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1838028,"id":"Q1838028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$E84498BD-6315-426F-AB5A-456B1642C66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d964a2ad0c16ee27066da712bce811b8a40c1860","datavalue":{"value":{"entity-type":"item","numeric-id":1077919,"id":"Q1077919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$9CFD1637-1DF2-4A04-AAC3-555F4A22A12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"835a104c973ec409cdd8c36de454c1ea8dd89ffa","datavalue":{"value":{"entity-type":"item","numeric-id":685621,"id":"Q685621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$86EB760E-D68E-4F69-BF5A-B61EAF36A7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f312dec40c97e4826ecea655ea5a020eced212dd","datavalue":{"value":{"entity-type":"item","numeric-id":1330455,"id":"Q1330455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$46F94D6C-9DA4-4BEE-9FFA-B8CF07BE0603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d6f89901bb1264c7e9f22a16224fb694fab3c0","datavalue":{"value":{"entity-type":"item","numeric-id":3943982,"id":"Q3943982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$29096C77-0C3F-49B2-9BB3-2E72DDD190F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$B00E5108-8182-489D-81C3-61AF8C49B3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43106e7cd8675ab5cbda8e4a2d8a5f7b0e9898de","datavalue":{"value":{"entity-type":"item","numeric-id":3939195,"id":"Q3939195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$1869E573-EC3C-4C13-B1B3-154E984B6F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f2cb66128c8b7bd039fafa7632703579718118","datavalue":{"value":{"entity-type":"item","numeric-id":287022,"id":"Q287022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$93E91DEE-71E8-499D-A170-DAB19374C511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6315d9cda93162c2aba33a1d3e5ec00f12fd74a","datavalue":{"value":{"entity-type":"item","numeric-id":5729523,"id":"Q5729523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961862$350B1272-DEC8-4A99-8030-EBEFBF6BDE52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab34415cfe0af6610ab19c081e98b2b2a5abe83f","datavalue":{"value":"https://doi.org/10.1016/s0020-0255(99)00012-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1961862$735EC6FB-7FEF-49E2-A56D-7A4BA36E6B42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfd9d8fe033695b1df785fc52bb1b56fcc90623d","datavalue":{"value":"W1970275691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961862$5E595B5D-2157-43D8-8811-81578DE5BAB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad487622bff9a6c88f7cd41b1bc496c19ba1068c","datavalue":{"value":{"entity-type":"item","numeric-id":1330449,"id":"Q1330449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a995da8665801e8cc9ad69214eacb0ace23ae5c8","datavalue":{"value":{"amount":"+0.7925027012825012","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":"Q1961862$2C0D9938-80E3-40D0-965D-A40D8C539C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f313acf52490eeb6c5ae2109e43e36b7a27858","datavalue":{"value":{"entity-type":"item","numeric-id":4037329,"id":"Q4037329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c2ac088b72855366e50aac2efa12000efbbdb1","datavalue":{"value":{"amount":"+0.7856438159942627","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":"Q1961862$066F491E-85BC-4316-8FE9-9E547FFB97F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c2ac088b72855366e50aac2efa12000efbbdb1","datavalue":{"value":{"amount":"+0.7856438159942627","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":"Q1961862$4D1CDD8E-D1DB-4BC4-87FB-BFCB9D4B1D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8527e9c32a31963ccec17f255ff33d7396e7cd4c","datavalue":{"value":{"entity-type":"item","numeric-id":1581059,"id":"Q1581059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb5cea1434f725b4aad75525a81cb0dcf55fc1b","datavalue":{"value":{"amount":"+0.7598446011543274","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":"Q1961862$8A564D8E-631F-4A11-BAA2-74DD0DF7F11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb685e2aa3a0c73ad56ea1a10cd579f453c9290e","datavalue":{"value":{"entity-type":"item","numeric-id":4281669,"id":"Q4281669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6ac54f3c7995ef6495193fe1602586e7982a44","datavalue":{"value":{"amount":"+0.7585489153862","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":"Q1961862$8CBBB7A4-0C2F-43ED-8240-D1A6CAEBFA89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining relational calculus and the Dijkstra-Gries method for deriving relational programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_relational_calculus_and_the_Dijkstra-Gries_method_for_deriving_relational_programs"}}}}}