{"entities":{"Q4932639":{"pageid":6962221,"ns":120,"title":"Item:Q4932639","lastrevid":51097745,"modified":"2026-01-16T16:02:11Z","type":"item","id":"Q4932639","labels":{"en":{"language":"en","value":"Transformational programming and the derivation of algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5796603"}},"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":"Q4932639$B76A7419-5EFA-45F4-8D1E-A5226C0BA28A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c13cfec114ce637896b7c5a46e44a60b80995014","datavalue":{"value":{"text":"Transformational Programming and the Derivation of Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4932639$57BE0628-3A83-495C-92E0-C22776FDAB6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f2b254d83a8c1a0509c6423340557209bf2dcfd","datavalue":{"value":"1202.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932639$90B2E5A3-6E79-453E-8C61-7B75AE3DE2F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76ddc001b7a2b2c2f4ac50b08aaedea3930df6b4","datavalue":{"value":"10.1007/978-90-481-9794-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932639$85313391-1B11-4A7F-9CB0-D6D20BE854A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1da6219749186da9b109d5d624f9dbc91e9540be","datavalue":{"value":{"entity-type":"item","numeric-id":736839,"id":"Q736839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932639$84A7D67B-1DC8-4C05-9CAF-57152EBE5ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaba274761d641033c5366f150e7046109eb456a","datavalue":{"value":{"entity-type":"item","numeric-id":716294,"id":"Q716294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932639$FD8E45C4-F89B-459C-BBE1-B87A501D94EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e99109af1b0c63e6ad2c33b5a3b7ebcdd55ff29","datavalue":{"value":{"entity-type":"item","numeric-id":318843,"id":"Q318843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932639$D9CBB828-E020-45D6-9CD9-2FCB4C475816","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95d18b46fedfd0a4265c850fd91377eb31609d3a","datavalue":{"value":{"time":"+2010-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4932639$1292CD38-CDAF-46E3-81A4-05AB6171FE2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932639$1E0D3A28-A7FC-43B4-867A-45B7A1F180E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932639$4A97F151-89FF-400D-A7D3-2822B6DAEC86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c2ab6f9ca7752eb75b3f2f6656829d0a9a91a57","datavalue":{"value":"5796603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932639$B7487E58-E2F5-4A88-A814-252D7397A930","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4932639$D8EA8B0F-392B-49B7-B3A0-0AA3F5575275","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":"Q4932639$87976AEE-DCD2-4AB6-9A01-55086751524C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"726ae9014e2cecfa1af3668af9d0eb15843d06f8","datavalue":{"value":"https://doi.org/10.1007/978-90-481-9794-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4932639$616ECBE6-7C94-4D3D-9464-C473AE5E9B5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f39a3ce387ef124c124c236b0c0392f06ffc39e","datavalue":{"value":"W2161513153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4932639$40574285-FB6E-4F91-AA0E-6B2AA7C5EE1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d563b33a97ae532ceb4fa7611f2c0c8a02aa021","datavalue":{"value":{"entity-type":"item","numeric-id":1019025,"id":"Q1019025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932639$02B73167-6833-43B6-9DDB-E7708502BA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f815bf2ad909de0fa6e89988501157b6f777d2","datavalue":{"value":{"entity-type":"item","numeric-id":5554728,"id":"Q5554728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932639$8E88EDBB-0CD8-42C3-BE5E-1E774092E705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4932639$6827AA1B-5CEA-4DA8-A495-D55E2E7AD338","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbd5bc9f9db4a8c8f5d78463047c2c327809d9c","datavalue":{"value":{"entity-type":"item","numeric-id":736840,"id":"Q736840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a358f94d7c96f9d9c60d17bd6536cd8b730fe80","datavalue":{"value":{"amount":"+0.8265985250473022","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":"Q4932639$5D934AC9-FD77-4B5E-B867-B9ED1358D387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc70a58961e4d99bd3f3f152dbb03a054d3bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":1081295,"id":"Q1081295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1d3f6539d07162a92517d49247e7c441d0e3d7","datavalue":{"value":{"amount":"+0.7975818514823914","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":"Q4932639$C98A01B2-65AF-40A1-B1A0-B0355B75AAFB","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":"8be6c064a9ecad96f6e64fb226f2f2e11f11cea9","datavalue":{"value":{"amount":"+0.7529637813568115","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":"Q4932639$140BB7CD-FE3C-4E63-96A4-F927EFA6684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a90a523a188b733806afa5cc8bc6c9093f787e","datavalue":{"value":{"entity-type":"item","numeric-id":3815517,"id":"Q3815517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47919c133891138bb7c4eb365dca7f54e0145b71","datavalue":{"value":{"amount":"+0.74375319480896","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":"Q4932639$B809589C-8949-4449-A909-AB65FA062E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a604b87fb7ef94b032b4b96941ce0b8264da896","datavalue":{"value":{"entity-type":"item","numeric-id":1823657,"id":"Q1823657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eac4f604e6a96fad4b2bd9fc69bd9ea14f9654f","datavalue":{"value":{"amount":"+0.7431521415710449","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":"Q4932639$95AF3D6A-4BEC-4BE1-BB58-4DECE1DDB9FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4932639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4932639"}}}}}