{"entities":{"Q40550":{"pageid":40606,"ns":120,"title":"Item:Q40550","lastrevid":105427187,"modified":"2026-10-09T10:07:03Z","type":"item","id":"Q40550","labels":{"en":{"language":"en","value":"Data Refinement IBP"}},"descriptions":{"en":{"language":"en","value":"AFP entry DataRefinementIBP"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"28b1098059f77ad09ebf3ba9cbcb527657b8bf5f","datavalue":{"value":"28836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40550$A65BA4FB-B450-4A4F-8E1C-A8F1AFF8B548","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"6e3737bc16aa97248ee92dc17fdfc71c40ad456a","datavalue":{"value":{"entity-type":"item","numeric-id":2994494,"id":"Q2994494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$977A4E11-A35D-4DBF-A84D-CFD355FD3533","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$7010F0C0-A31E-476D-BF9E-08F0CA22D538","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"93f44802c1d810880a8a4d9b9e5e8703f3017823","datavalue":{"value":"https://www.isa-afp.org/entries/DataRefinementIBP.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40550$C78E2759-C0BC-44AE-8C3D-3DA178F1002D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40550$074CD29C-10FA-49D1-A24D-AA28541DF420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40550$A89CAE1D-77A0-4942-8805-91C6AE305817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3b239c63b36fd93cbe6e3308cc767d48330171cb","datavalue":{"value":"6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40550$1E5772BC-CFF2-4A2E-932F-5802B8931B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40550$85A7B72A-6B1F-4AF3-B5B3-A33DD4A2E5F3","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$6F4802CE-F8BA-4C0F-B130-453E0C10185F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"550b0c59c163733aa81531570f2ff942f1e5255d","datavalue":{"value":{"entity-type":"item","numeric-id":40551,"id":"Q40551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$A1068B73-718C-46A8-BD30-A590787F902B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$F31DCD23-1F3C-43FE-BCC0-A3D71E5339B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4dbb74ff1cdc4e4c0fedd3a9296a45e8afa0df3c","datavalue":{"value":"https://isa-afp.org/entries/DataRefinementIBP.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40550$4C3ECE76-DD02-4236-81CD-53743BC518F6","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"e58535bbff9a4f8205212cab6c53fba3387933bb","datavalue":{"value":"Viorel Preoteasa","type":"string"},"datatype":"string"},"type":"statement","id":"Q40550$6CD38773-E631-481F-907F-E5F7654E0031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f5bcdbc1ab6fbccb1a72887ac2bb67ff77bf5262","datavalue":{"value":"Ralph-Johan Back","type":"string"},"datatype":"string"},"type":"statement","id":"Q40550$D89746E7-0D45-49C0-A60C-D2EE1C66165C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a3349d10b67211e59063b81620c8898a8e9f546","datavalue":{"value":"The invariant based programming is a technique of constructing correct programs by first identifying the basic situations (pre- and post-conditions and invariants) that can occur during the execution of the program, and then defining the transitions and proving that they preserve the invariants. Data refinement is a technique of building correct programs working on concrete datatypes as refinements of more abstract programs. In the theories presented here we formalize the predicate transformer semantics for invariant based programs and their data refinement.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40550$4CDDB52B-C881-48FA-BCE2-BC5527A01ED0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ffd403e24d1010da4c87211ba27f91cf64973d","datavalue":{"value":{"entity-type":"item","numeric-id":3878739,"id":"Q3878739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$D2832986-3651-486B-8C6A-870FF05B0E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$C8EF8423-D421-4734-B6DC-6BD5E08E34ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135af0129bd5600ceebf0463cd399deed754d959","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$E8FACDDD-5B44-4260-9710-0F3E1BB0460C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894b153525483d659921aae617ccecc6f7826fb5","datavalue":{"value":{"entity-type":"item","numeric-id":2994494,"id":"Q2994494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$9C46C91E-D3A8-47CD-A385-9A3A1CE85F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1c3fa2453c158ab62a094f5481e2295dbbd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5528168,"id":"Q5528168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$7C070A51-5BAC-4AA9-B3A5-D6D2057A39B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d0dd9350793171b1d4c029f4c515e1e2ec3a8f1","datavalue":{"value":{"time":"+2010-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40550$15DC2113-A72E-4C40-87E4-2C6C34CAA55E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"675829d039f3f3653ec94443ad195ef1da8e1af4","datavalue":{"value":{"text":"Semantics and Data Refinement of Invariant Based Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40550$D280337B-4F72-4067-87FB-E5A706539D2E","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$D8A60A53-45EC-47B5-BFC8-DA78E575D7C5","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"aa4063b6762439611785d47c082c0b40208f0442","datavalue":{"value":{"entity-type":"item","numeric-id":7361523,"id":"Q7361523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$AE6DAC3B-6B5B-4567-8462-A3752E53D6F6","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"aa8f6bd5a2b4440f838b34acf103bdf45fee4f56","datavalue":{"value":{"entity-type":"item","numeric-id":7360797,"id":"Q7360797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40550$5425FD2B-4E5C-4EDF-B12B-1EB595B2D0DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Data Refinement IBP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Data_Refinement_IBP"}}}}}