{"entities":{"Q685524":{"pageid":687373,"ns":120,"title":"Item:Q685524","lastrevid":78189524,"modified":"2026-05-06T11:00:03Z","type":"item","id":"Q685524","labels":{"en":{"language":"en","value":"Calculating with procedure calls"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417421"}},"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":"Q685524$D58849D2-3383-4D94-83A7-FD670E1776E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f4bfe2e4e6c06dac0177bef6da3537f4f5bc89a","datavalue":{"value":{"text":"Calculating with procedure calls","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685524$2889FD8E-7258-4B3B-AC2A-E5CC68F8D804","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc942662394ed7b8a2cf6158ccd57d10cda1ef67","datavalue":{"value":"0791.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685524$2E30DCC8-2686-45A2-9EA8-E777CC15FD77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e1b9a5e918f56221da0170f519de5b6a4b3aa50","datavalue":{"value":"10.1016/0020-0190(93)90098-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685524$72898B73-0D44-4B42-BF6B-3FA04370EC84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40652b17d4e74c410674384aadc2536d52890102","datavalue":{"value":{"entity-type":"item","numeric-id":685523,"id":"Q685523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685524$48AFD483-2F5D-4AC4-B010-EF34643D37F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685524$A16FECE2-3FE0-41F8-8F15-C84788CC98E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea9458ce3029a7f683c04e43e886fdc910ea299c","datavalue":{"value":{"time":"+1993-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685524$1524906F-5470-4E6D-87F1-1F8593FC4BE9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea3e879cb14d3daab5e5722d873cd723df68a738","datavalue":{"value":"Various proof rules for procedure calls in weakest precondition semantics have been proposed. The author gives a proof rule that is very easy to use, but does not yield the best possible answer for every specification -- only for a large class of specifications called normal specifications. In the Appendix, he shows how every specification can be transformed into an equivalent normal one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685524$BFB237D8-D87D-4A04-BD22-170A1A2B05CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685524$33B1DF77-3232-45B5-AD15-F835D6C12647","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3af328f326ce7b9dc1252756ff58f3dca574d25b","datavalue":{"value":"417421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685524$1E6D804F-13CE-4D0B-9A49-9E5C02757072","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q685524$B78D055B-A1A6-49F5-A3F3-31AB02B5E3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q685524$16105B21-0CAB-4D8F-9CEF-4BA111B2FB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q685524$B5E356DC-C9BC-4922-AF82-0B359A761DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2fc9f56209eee2454e3cbbeeba04e4d47883a9","datavalue":{"value":"procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q685524$839EFA74-D991-4BBB-961F-0BDD145937BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3719ed41893672db063f7cdecb5bcd68172db4a4","datavalue":{"value":"proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q685524$07D835E3-F1D7-4AD7-92E2-CFF543C0F3EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a99cc43754442bd871d0e4e19845916a0a9ba924","datavalue":{"value":{"entity-type":"item","numeric-id":1230772,"id":"Q1230772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685524$8ADADB25-AC1C-4EB3-88AE-EB8B2B9C880B","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":"Q685524$BF932C07-346F-464C-918A-67FC2C23C5EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d2e6fd26eb18539c5f0512d34bc03ce1c27649","datavalue":{"value":{"entity-type":"item","numeric-id":1104730,"id":"Q1104730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685524$8202F589-059D-48B3-9BCE-825B292C6E9C","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":"Q685524$1F661293-CB98-43DB-A3C7-130B928FABDF","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":"Q685524$D7A5B591-2DC5-4892-8A96-6F1A455CF0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73afd4a8b9c57c125e3b479571ed5c961d82ebe0","datavalue":{"value":{"entity-type":"item","numeric-id":797986,"id":"Q797986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685524$2CE8503D-9A6D-4FA3-B1E3-4EE11C86EBD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d932035335d749d660478dfb0023e91de1c3b81","datavalue":{"value":"https://doi.org/10.1016/0020-0190(93)90098-t","type":"string"},"datatype":"url"},"type":"statement","id":"Q685524$8877D590-2085-4382-9C41-FDD23C0A3AE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7e7a42d8d4cf5eacab39de02a825c8a8b9566e9","datavalue":{"value":"W2129304035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685524$08353DE5-12A2-47D8-9F5C-148098D9E5AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac17b4741b790f27b61e6cb95d287bee9ad47cc","datavalue":{"value":{"entity-type":"item","numeric-id":1104730,"id":"Q1104730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d4559da9c0fd6a483fd313c5f3bf5557d8b411","datavalue":{"value":{"amount":"+0.8425675630569458","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":"Q685524$D2A3DD7A-4CDE-4C9E-97CC-14DB50B70D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07cf766789bd770230e4ccfc7d996aad8f04d818","datavalue":{"value":{"entity-type":"item","numeric-id":797986,"id":"Q797986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362bf7122d65ae62f019573cf5ce61fd29833c10","datavalue":{"value":{"amount":"+0.8100852966308594","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":"Q685524$FCA0D64F-B351-4968-B646-F1CFD59084E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaaea0cc3fa6a8d30716da35caf95fad192a27c","datavalue":{"value":{"entity-type":"item","numeric-id":1329196,"id":"Q1329196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115851791c3efcb542d717c30dae31fff102cc89","datavalue":{"value":{"amount":"+0.7807142734527588","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":"Q685524$EC0C0178-FFA9-4A7F-B95D-76A6D28A4A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20ce930fd9c71c609518a930b12704562e8d0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1903075,"id":"Q1903075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5969a9d82c57e551fc69e439c59dc329321298d4","datavalue":{"value":{"amount":"+0.7760628461837769","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":"Q685524$DC590D34-D50C-4A32-9BEC-7AD36BAAD389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448edae281ed28dec112773a705388e3bbb075c1","datavalue":{"value":{"entity-type":"item","numeric-id":1578396,"id":"Q1578396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5880b56b85cf4e1a075ce55f822cda393a5fff12","datavalue":{"value":{"amount":"+0.7736530303955078","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":"Q685524$1EF37697-E371-4DA6-B15A-3C8F90897181","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Calculating with procedure calls","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Calculating_with_procedure_calls"}}}}}