{"entities":{"Q4884666":{"pageid":6914245,"ns":120,"title":"Item:Q4884666","lastrevid":46441917,"modified":"2025-12-24T19:20:33Z","type":"item","id":"Q4884666","labels":{"en":{"language":"en","value":"Program derivation with verified transformations \u2014 a case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 897301"}},"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":"Q4884666$0618BB98-9BCC-4D19-8EAF-51AB43B79E09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acbcc356e5504bf9430b76548162a016feb659d7","datavalue":{"value":{"text":"Program derivation with verified transformations \u2014 a case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4884666$87E0E1A8-6037-493A-8CA9-9FC23376E9ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e98b897f96b3e4a2cf2908f7a85326cea287c67","datavalue":{"value":"0853.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884666$276E9D3C-B27D-4ED7-A00C-A076F3E4149E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c22ab6e6540355a2ab561fe85469410018fab286","datavalue":{"value":{"entity-type":"item","numeric-id":2710688,"id":"Q2710688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884666$E9B90047-E8E3-4DC7-90C6-6C953C4103C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d0a0f4d441f41c02aa052090c85a5addb26ea66","datavalue":{"value":{"time":"+1996-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4884666$2AE2F638-0643-4DC8-8515-E528541EFD75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884666$2B52019B-A5BF-4DC1-8EE1-C08DAEF1FC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884666$8582B4CC-338C-4A02-8DE5-CAA4EA2318F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"189af7de5c7f44458713a0a2a18a3ac4f317b98e","datavalue":{"value":"897301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884666$0DFADC31-41BA-401F-AAB4-D733DC7D2ED9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e850b7ce3d83906a6eb369dcec274f8e1072823","datavalue":{"value":"verified program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884666$390A0473-561C-4366-A041-335EB0D36777","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884666$BBF508D6-95E3-4D94-A577-7A9F537495DB","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":"Q4884666$912329F8-5C1D-4798-BEB3-2DAE2BD2F14E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f077f1b1d65ef96420b70900bb413575e8cefd25","datavalue":{"value":"https://doi.org/10.1002/cpa.3160480906","type":"string"},"datatype":"url"},"type":"statement","id":"Q4884666$1F1FFC61-602F-4D7F-A129-598E6E0FF021","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e399eec5185d56b2575f12521e6ac6d622ed5c9f","datavalue":{"value":"W1983828041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884666$43EC352F-C5DF-45B3-B4EA-9EE8AB174577","rank":"normal"}],"P223":[{"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":"Q4884666$26AC246F-07E0-405A-B6BD-4791E0C11419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eda67b28e4fe08a90d3e7f5f03f153de57d0f86","datavalue":{"value":{"entity-type":"item","numeric-id":4134923,"id":"Q4134923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884666$C818A5C7-5546-4F9A-8445-E907D6739442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884666$76A5D45A-FB0D-4367-BB34-3BF86D09976D","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":"Q4884666$01D28C3D-10B8-48AF-838A-759A075E774E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884666$193B0C42-6918-42D0-B6A7-F183102B5707","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":"Q4884666$597BFC28-DFEC-44C3-9490-B6DC7E6693C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884666$324B4995-293F-4574-915A-80FF24410BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b227139edcde8ba98c5977b5b993c30a5f9faa71","datavalue":{"value":{"entity-type":"item","numeric-id":4261731,"id":"Q4261731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884666$7B5CB97A-1599-45B5-B8B5-740E23271DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521c0250b9163b250ac460187d37779a0aa2bb78","datavalue":{"value":{"entity-type":"item","numeric-id":3899465,"id":"Q3899465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884666$1ACB8227-AB03-4BE1-A4A3-05FC0A1600C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2cd6f520ecb0bd9b2e2ca98762e8451ee00ad0","datavalue":{"value":{"entity-type":"item","numeric-id":4077428,"id":"Q4077428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884666$C555F960-B5F9-4C45-A2E2-4D972563527F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f38f03c6887d40db0efe17b75e1585b8b3e72f","datavalue":{"value":{"entity-type":"item","numeric-id":3741005,"id":"Q3741005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884666$0755D0A8-36CC-43B5-9215-4F567926274A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884666$8654510B-4342-4AC1-AF8E-683DEDDFEEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c5fb9d97c5d446f02006b2be894c2d8a22b05e","datavalue":{"value":{"entity-type":"item","numeric-id":1221484,"id":"Q1221484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884666$BFF3C3D5-0C07-4FD5-B28A-63CB8ED95DB3","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":"Q4884666$F797091A-10FF-41F5-9924-53035B4C4B3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d3abacc6cb970766c639375289fd49a17055434","datavalue":{"value":"10.1002/CPA.3160480906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884666$8712B801-DE9A-4C9B-84ED-79053601C7D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00554e14e2494e96367dcb40e4edcafaa636fdbf","datavalue":{"value":{"entity-type":"item","numeric-id":3034803,"id":"Q3034803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4061c17a80b8f7f5526519e7281fcabb4f2586","datavalue":{"value":{"amount":"+0.7956259250640869","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":"Q4884666$52D5685D-39EE-44D2-8B0B-0FE5AC67973E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f259d395fb34ce400f4eb8524b11aaf0e69184c9","datavalue":{"value":{"entity-type":"item","numeric-id":437674,"id":"Q437674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806ab07e8bcee0938518d6e932f6f32d082a6661","datavalue":{"value":{"amount":"+0.7541883587837219","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":"Q4884666$68183FF7-22FE-4868-9F4B-E9C1346B9EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18931be3e49ebde41134e6acd73ee8fe0581ac","datavalue":{"value":{"entity-type":"item","numeric-id":5016216,"id":"Q5016216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bac38cf08f5d403810da7f13af14d1324f9e07","datavalue":{"value":{"amount":"+0.7396606802940369","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":"Q4884666$491EB641-2132-432D-8082-60F8306DC925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f916edd1fdfc353e2c4e2b983a5961a845cca9a","datavalue":{"value":{"entity-type":"item","numeric-id":3578393,"id":"Q3578393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8c1a08fb7572da7b164a9195c97b852303b4ed","datavalue":{"value":{"amount":"+0.7391257286071777","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":"Q4884666$A08E7AC1-BBC2-4905-882F-16C41D60E427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0498392e58a4be01e08d437fa20944327eb683","datavalue":{"value":{"entity-type":"item","numeric-id":5210798,"id":"Q5210798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06109c8a73278784ee48ea03a7e843d95572cc18","datavalue":{"value":{"amount":"+0.7363678216934204","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":"Q4884666$3D0CB2FE-5105-41B2-9C06-A0D023BD5DC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4884666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4884666"}}}}}