{"entities":{"Q5743597":{"pageid":7773148,"ns":120,"title":"Item:Q5743597","lastrevid":52453115,"modified":"2026-01-22T16:40:39Z","type":"item","id":"Q5743597","labels":{"en":{"language":"en","value":"Combining top-down and bottom-up techniques in program derivation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6539457"}},"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":"Q5743597$2BDDBFFF-0607-4199-BF65-AAF93C2CB19A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7eeb61e74bb4f5491a96d109bc0a8551c3d09517","datavalue":{"value":{"text":"Combining Top-Down and Bottom-Up Techniques in Program Derivation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5743597$74042550-A5DF-4B02-ACC6-96D3053AA39C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3e9151083112fddbdb113efdf68ea95ebacc94a","datavalue":{"value":"1362.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743597$B8F0B3F1-38A6-461C-906E-EB4F0D51AED7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2c215a23e4aa9eb2c9c4dd91db785adecfc48cb","datavalue":{"value":"10.1007/978-3-319-27436-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743597$536EF543-8092-4FBF-922E-6A91B2DC3997","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ea94ab94fbe8e5d524056fac890d9676fc8ef43","datavalue":{"value":{"entity-type":"item","numeric-id":2628301,"id":"Q2628301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$CC0BBE8B-2DA3-430B-91A4-D671A3F96B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d80ec0ef345fb92dfff3c06c2aea09723ddeb4d9","datavalue":{"value":{"entity-type":"item","numeric-id":1426214,"id":"Q1426214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$FCC94B93-3637-454C-8C14-D49CAD26B5A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$CB42E2A2-1BF1-4C6F-BB84-DC4604BD89B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0ea7e5c9a7ba33c3596f194c797c176cf41e4e9","datavalue":{"value":{"time":"+2016-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5743597$7343EE62-C32E-4B8C-920B-7D15A618E513","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743597$8487763D-2747-487E-A6C3-AF5E3E40AA0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f94e30ee9e3d07472c806db7def79ab700039dd","datavalue":{"value":"6539457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743597$A9118563-80C4-45F3-AE4D-4FAD1855C5B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4fdda8e35fe98de6ec4b472bb210a39fda3841","datavalue":{"value":"calculational style","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743597$24FB8226-7F14-4F1F-8263-B95D604D9E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5743597$2CF6FA23-08B1-4D02-9855-D90F74119352","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$386DA1EA-ABCC-4278-AE6A-EB9FD665E06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$447E3EDD-65DC-479C-8AA1-4F70C738E994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$7E64B762-F6B4-44D1-BF60-335F9EC850E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$E49BABCF-93D5-409F-83EC-7A110D2ED9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72973e2f3c2b37eaccccd6859e905abdf48d99e4","datavalue":{"value":{"entity-type":"item","numeric-id":17040,"id":"Q17040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$D9822CEB-3312-43E6-BEF1-EE5C7C0CC4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c962fd76881301afbd42f71c2f8da010324f80d7","datavalue":{"value":{"entity-type":"item","numeric-id":12910,"id":"Q12910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$653F9B91-AA1B-43A5-99FF-7B444C7F91A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$0F8C4980-63CE-455B-84D6-2B23809D2A3A","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":"Q5743597$156C8546-5232-4EBF-BAAC-DB0CC2E9C312","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b912de1b9e5b7de1a1bac5d9982819b0440dc8cf","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27436-2_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5743597$0CA3FAD6-A2EA-447D-8373-F005F8F259B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a76959fdc1c22a58dd4770e8332a8a94f677288a","datavalue":{"value":"W2396953794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5743597$DF445427-E4B0-45AF-9A69-EA018DC724EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$FDB60288-37F7-4088-9E26-830C0EAA0A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf1a15d8c40ee6ae10f43a602449a6c651ef479","datavalue":{"value":{"entity-type":"item","numeric-id":3618815,"id":"Q3618815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$60098B98-BC3C-4593-B88B-B5BBFFA98135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d477cb1d0b0bee82fdac2c311a16209970b537","datavalue":{"value":{"entity-type":"item","numeric-id":1272759,"id":"Q1272759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$DDC984A2-B826-4E49-AB9B-70226C3965F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$F33BB704-4533-41CC-9FB9-C92D28922319","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":"Q5743597$B53C1877-8464-4B79-AD5E-EB767589DA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$AB596B33-4E37-4DE7-8A4E-AAB90DA8E82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d88d85069bda7dbd90118ecf6e4901084bb2dd","datavalue":{"value":{"entity-type":"item","numeric-id":2711194,"id":"Q2711194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$98E7D16C-FB62-4673-BDDC-36654D492114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149ff32ca36e33fdae222d2078b5f41470083e61","datavalue":{"value":{"entity-type":"item","numeric-id":4721623,"id":"Q4721623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$F49007A5-5BDF-4CF0-BC4B-BDF2694B812E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992009231a3ccf90d1f1c83b557e5dfa4622a42d","datavalue":{"value":{"entity-type":"item","numeric-id":921907,"id":"Q921907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$5F1B60C8-9077-48FA-94C4-840CFB454766","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":"Q5743597$366C9289-F7D0-42A5-99DC-EF0495FA29BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49bddd3d8758939d2c56cea336fa15d4d01af13","datavalue":{"value":{"entity-type":"item","numeric-id":4809064,"id":"Q4809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5743597$1EBC1D09-8F32-4B4A-BB96-6A0396F5C14C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"194571408dc72e713ba093e315f1b1afa6c7a61a","datavalue":{"value":{"entity-type":"item","numeric-id":2628303,"id":"Q2628303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fae483aa5fdf5d7ac9236b2c6ab526ce3b28d1","datavalue":{"value":{"amount":"+0.696689784526825","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":"Q5743597$5571F606-F4D1-4556-932E-C271EE348768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bd7d9f056dfa21515b25733dc5c332b454e096","datavalue":{"value":{"entity-type":"item","numeric-id":3769945,"id":"Q3769945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"672d2403b0836b00cd4b9d8454f3ebb3c4983a34","datavalue":{"value":{"amount":"+0.6932836771011353","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":"Q5743597$C95682C9-A62B-4E0A-9D29-B744350AC0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28daaeeb55a564356e97b341e6a578a537fa39e7","datavalue":{"value":{"entity-type":"item","numeric-id":4707742,"id":"Q4707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5fcedfc37b91eabffa9b8518ff6b57b6f4e0ddc","datavalue":{"value":{"amount":"+0.6890892386436462","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":"Q5743597$0848C6D3-49A5-4362-B441-AD521C27C38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e7df1b0c78b6165a85ac2ed3fa576a581f45e5","datavalue":{"value":{"entity-type":"item","numeric-id":4247305,"id":"Q4247305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5fcedfc37b91eabffa9b8518ff6b57b6f4e0ddc","datavalue":{"value":{"amount":"+0.6890892386436462","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":"Q5743597$8A659CDF-7E86-48FD-98E3-6F90C539023B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc37b4d453055f6335894286714e36d829c634f","datavalue":{"value":{"entity-type":"item","numeric-id":4250660,"id":"Q4250660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b05344d4eabbf2dadde6ef1696cfe5af730c8a","datavalue":{"value":{"amount":"+0.68510502576828","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":"Q5743597$5687925B-6E4B-4ADD-AA57-E3B5AD08D762","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5743597","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5743597"}}}}}