{"entities":{"Q1189258":{"pageid":1200007,"ns":120,"title":"Item:Q1189258","lastrevid":67053375,"modified":"2026-04-12T14:37:08Z","type":"item","id":"Q1189258","labels":{"en":{"language":"en","value":"Weakest preconditions for progress"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 54868"}},"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":"Q1189258$ED32AB21-757B-4510-A6D3-8A7D7D00E56B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb42535bff9734bdaffd16136a5d1b339639809a","datavalue":{"value":{"text":"Weakest preconditions for progress","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1189258$3CDC0D15-D33B-46F1-AB44-E5D40460264C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f6dc7f642f7f127aaa41c9a47f779f714d1e440","datavalue":{"value":"0753.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189258$17A48274-D990-4266-A864-78E871FBDEC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b200b04fa83c32d5596532bf8d700ee43badd48","datavalue":{"value":"10.1007/BF01212336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189258$0A0630EE-279C-4267-B13B-08C7B689A504","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad14923617bc15d86e2bb27951206de679cb8e9","datavalue":{"value":{"entity-type":"item","numeric-id":777056,"id":"Q777056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189258$D2C3AE18-4240-4EE6-8F6F-F7FF44B61D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7cca814c6c22ae0d80459c936151789f68dc2f1","datavalue":{"value":{"entity-type":"item","numeric-id":753490,"id":"Q753490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189258$BFC86660-DE3F-4AAE-83AE-BF2355888273","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189258$9F9E055D-4F37-4990-9840-7B7E263F2480","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1189258$647A0D07-8AD0-4EB0-91AC-9740DCD6E291","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14d1f1979dec0db2dd3a95c4c2f2be862c0b4cf9","datavalue":{"value":"The authors begin their study with an overview of results on predicates and predicate transformers as used in this context. It provides the notation and terminology for the remainder of this paper. Next, they link a predicate transfer for expressing progress properties to an operational interpretation of program execution. This leads to a set of requirements that seem reasonable to expect from any predicate transformer that satisfies the interpretation. The authors define the predicate transformer by induction over the program structure, and they establish some theorems about it. Finally, they repeat these steps for another progress property and its predicate transformer.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189258$3EA13A51-B840-43DE-BAD1-E89AE52A0932","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0a88a6971b5b4b6c7f660951ec547d3191ec51e3","datavalue":{"value":{"entity-type":"item","numeric-id":753809,"id":"Q753809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189258$41211DC9-614D-41C4-BA8E-82386B008B81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189258$888A546D-9085-4BEE-9D1B-4C6D17BE82F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189258$B5E27C39-1618-4542-A425-C37A9DE7E879","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ca5dbdb24c30fbd1e1d7e3f3512e737ce11d0fd","datavalue":{"value":"54868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189258$0E5C6200-05B1-40A7-878A-AA1CCA42868F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189258$16EDD05C-0BFD-4EE2-A355-A904D775FC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82ca9731b8bcc52a986538b6239b20722b2057a0","datavalue":{"value":"progress properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189258$4F48FDC9-43EC-4A1F-B04A-511F7C83EFE0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189258$62FDB6E4-0662-4F5F-B4A1-FDA41E082E0E","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":"Q1189258$21F1B55A-5A90-4257-9B26-185BD34CC1B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189258$59394000-1B7C-47FA-9F80-BA261784446D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189258$517FB483-46A9-45F0-9A0D-CF9DB05022D4","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":"Q1189258$AB29FC78-2DE9-41C8-A51D-39C84B1544B3","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":"Q1189258$7A309310-5B00-40AD-864B-22C3E3D94253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c986951684afca59da5887a88fecca112f588c48","datavalue":{"value":{"entity-type":"item","numeric-id":1120264,"id":"Q1120264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189258$B64A274C-BE15-4993-AE40-4750C8E30033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189258$CB309FDD-7ABE-4ADE-A585-8BCF481D6739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189258$F9DD72D1-AB81-4BED-A8A6-2EFA2B27DD4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"351fd31817e797071908557fe04636356ebf3968","datavalue":{"value":"https://doi.org/10.1007/bf01212336","type":"string"},"datatype":"url"},"type":"statement","id":"Q1189258$284A5717-3D2D-4295-B110-0C360DA8216E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6302c7059e3315d6e09886d4b44a45a922ac5b8c","datavalue":{"value":"W2101027003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189258$505D68B2-3254-4440-98D2-66B4643B441E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8dc0768ed895d6a3ffc287f233b51a4fb52df3","datavalue":{"value":{"entity-type":"item","numeric-id":909441,"id":"Q909441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18cb8cb50cc92f089d20b7172d04cf7379f587b","datavalue":{"value":{"amount":"+0.8529776930809021","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":"Q1189258$0F7AB66C-7A00-4F8C-8B2F-646C5210535F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8d10b553c9bbb6f16d119f8887f78011cca761","datavalue":{"value":{"entity-type":"item","numeric-id":1377323,"id":"Q1377323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e87c8cbb4fe374f4e58add481cc9a8ee58738c","datavalue":{"value":{"amount":"+0.7837300896644592","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":"Q1189258$7C6426A5-0B51-462C-BAD0-A7C986D5EF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25ec6b4aa330c9adf2f3ce4c1155d4b952dce02","datavalue":{"value":{"entity-type":"item","numeric-id":4513575,"id":"Q4513575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01728ae7d4cec9474736279697aa1616af6ac19b","datavalue":{"value":{"amount":"+0.7716553807258606","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":"Q1189258$FF876563-10A4-42DD-B45B-63B3C6291506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cebf6e7da34aeae987f3dff714aef8e1677d8af7","datavalue":{"value":{"entity-type":"item","numeric-id":1195491,"id":"Q1195491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68faa33b7fa299d36ae9f2e47e3dee0a5c482121","datavalue":{"value":{"amount":"+0.7622514367103577","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":"Q1189258$2503BB81-5606-4B47-B54E-C9FDFC3BDEC0","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":"7db77895702bf22c275546d79097b674a87e4edc","datavalue":{"value":{"amount":"+0.7590993642807007","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":"Q1189258$CE2D2DFA-18A0-4F07-B8D6-B618B496DE84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weakest preconditions for progress","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weakest_preconditions_for_progress"}}}}}