{"entities":{"Q808685":{"pageid":810533,"ns":120,"title":"Item:Q808685","lastrevid":42706983,"modified":"2025-07-08T17:01:40Z","type":"item","id":"Q808685","labels":{"en":{"language":"en","value":"A practical theory of programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4211477"}},"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":"Q808685$F0C177DE-1105-4330-854D-FF6AF3C430F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20a21bf2b0a4dad5674765fac051a6b7ae20c556","datavalue":{"value":{"text":"A practical theory of programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q808685$DD11A614-5B4F-4BD9-84ED-2C64999643E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50fe21c7eefed18465ff0c9e9591d5edf7287fac","datavalue":{"value":"0732.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808685$1849E084-E419-4825-B2FF-B1FF8289D0F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87aca009d85ee1851b6d41bef09ade625dd95797","datavalue":{"value":"10.1016/0167-6423(90)90018-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808685$4DAEB0B2-63AA-4F11-AD30-DC55537FDB24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"797df0a473afbed23917f097577319b472ccc881","datavalue":{"value":{"entity-type":"item","numeric-id":640291,"id":"Q640291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808685$1495610E-BD65-485F-AFE3-DAB7188F5CAA","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":"Q808685$F0490355-DE27-43BF-8903-7D10E3564AA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q808685$576CCD20-B6CF-4B34-85B3-D6FAE2D086F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1db7d899c332be33571f23ca1676f535ff9fee29","datavalue":{"value":"The authors propose the new theory of programming, in which programs are predicates, programming is proving and termination is timing. The specification of computer behavior to be a predicate in the initial (input) and final (output) values is considered. All well understood predicates are allowed as predicates. Some useful notation from the application area may be defined (for example, if-then-else construction, sequential composition and so on). A program in this theory is a predicate. This is simpler than \\textit{Dijkstra}'s \\(wp\\) and \\textit{Jones}' \\({\\mathcal V}{\\mathcal D}{\\mathcal M}\\). The notion of refinement is also simpler: universaly quantified implication. The problems of sequential and concurrent computations, communicating processes, infinite interactive computations are solved in the frames of this theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q808685$D759DCF2-2900-48A6-B308-284B561C01FE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f329847dc59046f25f46c05e506dbf25dd11dab8","datavalue":{"value":{"entity-type":"item","numeric-id":808684,"id":"Q808684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808685$DB86354E-9FF8-4B9F-A6D3-D4610F3E8B21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808685$E9AA6252-FF22-41A1-A133-EB878410B80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808685$072572C1-E66E-46E4-97A1-35B8ECAB3F05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f902fae9aae8ead8a3451716fd43d074013a3aa1","datavalue":{"value":"4211477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808685$7359327D-C148-4398-B89F-C56664133562","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edb125f5f5c9160776e8c8a46611f0657003346a","datavalue":{"value":"programs are predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q808685$01FF7CD3-DDCD-42A8-BACF-7B1C89B31BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6367064ee586ae9e3fdbbaa2037d05a3ddd1ab18","datavalue":{"value":"programming is proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q808685$757C8590-1F67-4FEB-A8E2-7CCF53EFCF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379ff503221bd03ba64d59edd555714ba786e1fe","datavalue":{"value":"termination is timing","type":"string"},"datatype":"string"},"type":"statement","id":"Q808685$61799C32-CB69-4B49-9641-5EDBD209CFF4","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":"Q808685$63F57B1A-7BE8-46A0-A397-06CFA40DD0C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5b4ce2869b9491d4c6b57d550e1193180d22bee","datavalue":{"value":"https://doi.org/10.1016/0167-6423(90)90018-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q808685$02464872-CB76-43AA-A600-80ED73A9722B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21ba3344675dcaaf26a308b7e3b2e4f207ac541d","datavalue":{"value":"W4212949860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808685$BEBA832F-48DB-4907-B0C9-C4F6787EF45F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e32f17201a4b4ddb93dd811c9bdfb81033028c","datavalue":{"value":{"entity-type":"item","numeric-id":4282663,"id":"Q4282663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808685$1B056773-CB45-401F-9055-B6E82E7F4F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857bb4e37c19dfb57f0503e96fdfda30d8bf40c0","datavalue":{"value":{"entity-type":"item","numeric-id":4373039,"id":"Q4373039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01701cad0271da1267e6030c3197966b56866af","datavalue":{"value":{"amount":"+0.9006695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808685$3F022610-7676-4E8F-B582-19A5AD683D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14296af3e5cd22c3db6fb989270f81401cb36de9","datavalue":{"value":{"entity-type":"item","numeric-id":5869926,"id":"Q5869926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91fb4f5b70c62c3bf49ba84b932ad2e8e3f82d67","datavalue":{"value":{"amount":"+0.8951568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808685$981E5796-85CB-4AC1-8CA2-2A1399F4F852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad398db2afedcb8e8060a47e83c032820b5a5656","datavalue":{"value":{"entity-type":"item","numeric-id":4364533,"id":"Q4364533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87fd59a622f8975b62d9183e1d039fd4ae9ea4d3","datavalue":{"value":{"amount":"+0.8857888","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808685$E41ECD4A-5D0B-4D4A-AAE6-C51D6D20085D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"770d7b7f464a5a060b2a076eb7953f7c70f2c196","datavalue":{"value":{"entity-type":"item","numeric-id":4851524,"id":"Q4851524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8b2942696efbcc2d8432fd9496917c48b02530","datavalue":{"value":{"amount":"+0.87869656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808685$790FE5AB-3A11-4C1B-8476-038334C419DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"760da3d7ae42c1a8a1a96154019c60b6269e8268","datavalue":{"value":{"entity-type":"item","numeric-id":2654965,"id":"Q2654965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4cb39e1f000c04082bf3aa4b3e55b9da89030e","datavalue":{"value":{"amount":"+0.87599045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808685$98A37B38-D6FB-4A6D-A375-3F7CAA790063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcbfa10c51a9c70912e92adba6a0a76644b0d28","datavalue":{"value":{"entity-type":"item","numeric-id":3314967,"id":"Q3314967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67bf9873ef7bf56733b26561376b7ac3d578beb5","datavalue":{"value":{"amount":"+0.8728375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808685$2A1ABEBE-5CAD-4278-A645-1BEF89B59FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acb2c0565dcc3165a29357e1186903ab1734b70f","datavalue":{"value":{"entity-type":"item","numeric-id":4692426,"id":"Q4692426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc7233f384e344246715fff71232349fc5c655e","datavalue":{"value":{"amount":"+0.871934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808685$0CAF91FC-616A-4E4D-851C-8E19440E952A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ece930aaa53f8302e32badf5ec77e1e979cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":1592005,"id":"Q1592005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e12639ffee14fb2b4e162745d297562c468ba05","datavalue":{"value":{"amount":"+0.8708472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808685$BC42D90D-1D8E-44E2-8B05-E30A5E8885D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:808685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:808685"}}}}}