{"entities":{"Q3525076":{"pageid":5554980,"ns":120,"title":"Item:Q3525076","lastrevid":50456984,"modified":"2026-01-14T02:37:35Z","type":"item","id":"Q3525076","labels":{"en":{"language":"en","value":"Stepwise Development of Simulink Models Using the Refinement Calculus Framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344402"}},"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":"Q3525076$6A8FBCAA-0EDE-47C1-B8DC-8CC171B7E82E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"437bfce8aa485fb6b475fa1a18a0685d6fd947e6","datavalue":{"value":{"text":"Stepwise Development of Simulink Models Using the Refinement Calculus Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525076$B181E348-6186-4D24-94EE-B61473F993B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f7b8a9a1d9022b2ee5c1babe2d6212051588ba3","datavalue":{"value":"1147.68826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525076$5CDC7250-723D-4BE1-9FD5-14B8141D79B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f0bde31e0a9b33dbb6539b79e2f3a4b6cf11197","datavalue":{"value":"10.1007/978-3-540-75292-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525076$4D9A1757-8265-446F-A52C-59AFBF890AC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"188e7886b9442e90abeb5652d81c54a4dc39cbe7","datavalue":{"value":{"entity-type":"item","numeric-id":282100,"id":"Q282100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525076$10D02562-2431-4F55-B976-FB7D75F6E3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e02f0780442b4c098786792a31987215c88c983","datavalue":{"value":{"entity-type":"item","numeric-id":3163903,"id":"Q3163903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525076$461241A7-A0B9-47C5-AD86-150CAAE7B02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72ff7b4767d6a16050c67d67e66b8e4a533413dc","datavalue":{"value":{"entity-type":"item","numeric-id":172357,"id":"Q172357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525076$12D5FD55-993A-4453-973B-E55F3B992661","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5455e2a6e277df376db235f9f0e564aaed31de9c","datavalue":{"value":{"entity-type":"item","numeric-id":3525071,"id":"Q3525071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525076$3702A4B6-D6BA-473B-9F47-1E035AE765AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c6c778a05329d7667480e28a68302bbad05fa7","datavalue":{"value":{"time":"+2008-09-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":"Q3525076$EBD9E021-E240-4AF2-AF73-9F144A1A719D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525076$430949F7-BEF5-436F-AE24-411270597CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525076$998988DC-3B45-4FD9-B594-9608DBE64B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525076$A0E2B4B2-D5CC-4F8A-B80E-EBE940E37A2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3faad18916f32ebf4064564c40d81381a53bbbca","datavalue":{"value":"5344402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525076$F1CD1D3B-4145-4E56-8265-4E1F6A7A9024","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525076$22AC114D-7410-4BC7-AC37-A27D925DAAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525076$4762DE52-0294-4404-BAED-D8602DDC2B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d35d778fc1b80756177ab82e8bc9e25b1533e10b","datavalue":{"value":{"entity-type":"item","numeric-id":18468,"id":"Q18468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525076$63B67087-23E0-446B-9A5C-DFD8E3871790","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":"Q3525076$58E29E7E-6E8D-41EC-BCAA-C696DD95131F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e578d559e366a46fcc702f13f7ffc948f5453e3d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75292-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525076$2CBAD787-F319-4ED1-8EC7-009D267A71AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0395a201fa5365a33ece94c7004eed12f27503e4","datavalue":{"value":"W1605734336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525076$38955576-B47E-4DA0-894A-9A14919707EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d87b80ce8d5950a98f07729c2de0632ea0a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":2249297,"id":"Q2249297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6eccf97e33b786c805f6ac027c423315e9b460f","datavalue":{"value":{"amount":"+0.7309312224388123","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":"Q3525076$726521A8-E798-4C2D-912E-4295D63CDCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cae4234a690ec3b7c0cb86f54875c1cd67a1d26","datavalue":{"value":{"entity-type":"item","numeric-id":1037245,"id":"Q1037245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a49b84ba14b8413ecfd5ac3693dff38f2c065f","datavalue":{"value":{"amount":"+0.7270594239234924","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":"Q3525076$9CE15F3B-7332-4704-83E9-4B2208273CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a466a7e069df0a9ae10a21b7ba92349a11cfb0","datavalue":{"value":{"entity-type":"item","numeric-id":5045389,"id":"Q5045389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b95a7bf7dde81ba247bcdc2d23c3d208b55155","datavalue":{"value":{"amount":"+0.6963993310928345","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":"Q3525076$68995250-436E-4ACA-80C9-6FBBB533F407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624951c163b7ff6aa5c3b4c96bc35b8e36777ec0","datavalue":{"value":{"entity-type":"item","numeric-id":436420,"id":"Q436420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ce4b2fe15f827c280bee8bd543b68bb1bae64d","datavalue":{"value":{"amount":"+0.6891189217567444","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":"Q3525076$8955364D-7EE6-424A-B939-0F6000AE3EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87eb2f6a8bd13457f1064f94b52ca561fd0a3f16","datavalue":{"value":{"entity-type":"item","numeric-id":4709121,"id":"Q4709121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb96b804a0e36033df3c5dbd0d7177714dbc23ec","datavalue":{"value":{"amount":"+0.6802818775177002","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":"Q3525076$554343CE-64F1-4C6C-B221-5AE7AF65F24C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525076"}}}}}