{"entities":{"Q656858":{"pageid":658707,"ns":120,"title":"Item:Q656858","lastrevid":63374031,"modified":"2026-04-11T12:25:55Z","type":"item","id":"Q656858","labels":{"en":{"language":"en","value":"Hume box calculus: Robust system development through software transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5997562"}},"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":"Q656858$6EB1A247-C674-4293-9D1B-F4384854EA4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2630d31fdd078f88d2750fc8fd8349e716ae2955","datavalue":{"value":{"text":"Hume box calculus: Robust system development through software transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q656858$A11D9A63-6E69-4236-90B4-6DB838FA6D10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0ba53d5a44a87dc4a7d5c123d8d7e5fcb538fb3","datavalue":{"value":"1234.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656858$3914361E-701E-4177-8200-A6F22B0A0A94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51b90353512d814f6655789de8fa8f4adf362ca9","datavalue":{"value":{"entity-type":"item","numeric-id":656857,"id":"Q656857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$9077C621-ED5E-4460-AB05-B75A2E118DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3114771da7bc0f83ad33ad528ec2042dba0b510","datavalue":{"value":{"entity-type":"item","numeric-id":604859,"id":"Q604859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$49C59D71-59B0-4D6D-9B6F-F7B290CC32DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$8CC93549-AD36-4BC6-A39E-E896ED8B073D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"838e4cd92c3bfbf203f9466fab8ca1f8d1cd6888","datavalue":{"value":{"time":"+2012-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q656858$89877450-FC68-4FAA-B35B-426B7F345B5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656858$DBD07EB0-0243-4DB2-855F-FF4686CEB679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656858$B34E9705-0266-4C00-B33C-EB7C5F5C5674","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5360b4d429e402fa4e70bd3a65ccaeb3859696c9","datavalue":{"value":"5997562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656858$F196943D-BAD1-458B-96D5-4C308C2FF72D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c0d3fa33ea7773e88d53c4915312fea79c22d10","datavalue":{"value":"box calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q656858$6E55653C-1CE0-4B6E-9C75-F7F9FECF03EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad400cfc1eab948d46375ffc158c6f5c7fab24e","datavalue":{"value":"hume","type":"string"},"datatype":"string"},"type":"statement","id":"Q656858$5C116555-193B-45D1-81E9-43353CB8AE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q656858$4BF9BE8B-6998-4FCC-9F42-B02480D09A07","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3893e0ce793c9528ea5b2aaf59f97586c50e6414","datavalue":{"value":{"entity-type":"item","numeric-id":33981,"id":"Q33981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$C98C5E96-5BC8-4B0E-978D-95F4E0D0B290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2dbc46b6c12f66b3d8eb1d4ab6390cb03b2095f8","datavalue":{"value":{"entity-type":"item","numeric-id":33983,"id":"Q33983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$2A228227-3FD0-4593-B8B5-D3E212D4B581","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":"Q656858$48A23AF2-39D5-4D9F-BA2B-2D058770C560","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"201eb06236ef009272195e60ba060ff83ca18c8f","datavalue":{"value":"https://doi.org/10.1007/s10990-011-9067-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q656858$7BB59FE1-70A9-4637-A55F-66A42481A890","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b407c98171d2cd016101533f12ea975438d4cd59","datavalue":{"value":"W2057774885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656858$A4237B8E-7EB8-4ABE-BE1E-0A68CD610E35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$3B3F8064-E88F-4E3C-818B-580A147B1E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30bf0233edd138281dab876b51260403b4c9190","datavalue":{"value":{"entity-type":"item","numeric-id":2744172,"id":"Q2744172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$D172C780-B308-4B63-87A0-09AF9F25CE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac30db14f6465344d333a95818936cc903dad05","datavalue":{"value":{"entity-type":"item","numeric-id":1781995,"id":"Q1781995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$71F60AF5-1CEE-4E66-9379-344703AA0426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$31F62FCB-58A2-467A-8853-D398EEC92A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$4BE211A5-7DB7-4305-9D6E-23C81A4F4B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d9a7c5cc6c1810531fcc6a995ecec2777404c6","datavalue":{"value":{"entity-type":"item","numeric-id":2576573,"id":"Q2576573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$0E06928F-586C-4223-81A4-3C3290BF050F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca3faec2ca92ef841976667e44214a22e7a1ee3","datavalue":{"value":{"entity-type":"item","numeric-id":1399968,"id":"Q1399968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$4AB58D3E-F27B-4F7C-8A57-7B068B00B2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3832b0c7d5dbd4a20b3b3c5eae088a1374ce93","datavalue":{"value":{"entity-type":"item","numeric-id":4708513,"id":"Q4708513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$342FDCC4-3E43-4D4A-A64D-F5C449F88942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$971BF7FE-D266-4819-A8AB-F756FE97B2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$B862427A-3B9F-4EC4-BC8D-ED8354534B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f04d51b8aeecf4789e09ad9581a71f4265366f5f","datavalue":{"value":{"entity-type":"item","numeric-id":2744176,"id":"Q2744176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$3BA4820E-2D54-4D7E-B0F2-D1CA8088A888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$47402AAB-58C2-4A74-AFBA-8B730F77C09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004b6322713c93ba5975d66d08cf938b57dc11ff","datavalue":{"value":{"entity-type":"item","numeric-id":2432218,"id":"Q2432218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$02E0E97F-E0A4-4E76-8AF8-1B876425339A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba580116a4f7ad65b76e0471fa738ccd5feb2044","datavalue":{"value":{"entity-type":"item","numeric-id":4236759,"id":"Q4236759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$07F2A1BB-84AD-44D6-AEAB-397976C894FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4acd72c1e9e1c1e1affed03542de8df1198fdc8","datavalue":{"value":{"entity-type":"item","numeric-id":2456575,"id":"Q2456575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656858$8BAD55F2-A049-4D2E-ABEF-031EA3495F2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39c89380ca13188eeaf4d5242d4952832c76ee16","datavalue":{"value":"10.1007/S10990-011-9067-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656858$01EF1EFA-5564-47DB-B310-B22D2D0B8E31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6e0e54c9a5430ace437596f258b2278f7cb408","datavalue":{"value":{"entity-type":"item","numeric-id":3460507,"id":"Q3460507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897fafb915f70bf9c320b8292b030f46b3d0922e","datavalue":{"value":{"amount":"+0.6749504208564758","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":"Q656858$B4B60EB0-A2FC-4C8A-A133-FE3D6F98D702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68c6ba27890b708523170dfee09c845f188ff6d","datavalue":{"value":{"entity-type":"item","numeric-id":672869,"id":"Q672869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe4095eabe119affd1ff5b55b96730550066646","datavalue":{"value":{"amount":"+0.669772744178772","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":"Q656858$CBF00EC0-C232-4B90-907D-4E794B03D54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23bba72f15b961f83b44b1b1fb119560cb526c8","datavalue":{"value":{"entity-type":"item","numeric-id":3339255,"id":"Q3339255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229767df71a653e61c8a738a0e897a6217897022","datavalue":{"value":{"amount":"+0.6688494086265564","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":"Q656858$864A4CE9-4343-4148-A408-F664FCBD38F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3146751f8c8f7e0894d3c7c900bfa9813ddeeda","datavalue":{"value":{"entity-type":"item","numeric-id":1276245,"id":"Q1276245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f4dfa526add12cb449c556ab0ac7dc469327a8","datavalue":{"value":{"amount":"+0.6681922078132629","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":"Q656858$765C4C3B-38A1-420C-B555-688205E4F450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6e00a64e6fe3eb25de7584292e8f9ad53b4681","datavalue":{"value":{"entity-type":"item","numeric-id":1581063,"id":"Q1581063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159c7c69715b1d55cd056ab7f26ed8cdce6f7c5b","datavalue":{"value":{"amount":"+0.6628750562667847","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":"Q656858$57F2B5D7-6D16-44EC-BF84-95C09C3FE194","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hume box calculus: Robust system development through software transformation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hume_box_calculus:_Robust_system_development_through_software_transformation"}}}}}