{"entities":{"Q3681904":{"pageid":5711810,"ns":120,"title":"Item:Q3681904","lastrevid":50100109,"modified":"2026-01-12T22:48:03Z","type":"item","id":"Q3681904","labels":{"en":{"language":"en","value":"Program transformations in a denotational setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3903939"}},"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":"Q3681904$B07AFB65-1B3F-4841-B0F2-38624E604278","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6210e4932bcb1b768d91f0ba464da6baa62cbd03","datavalue":{"value":{"text":"Program transformations in a denotational setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3681904$4FA9D010-2832-4BE9-AE3D-8CEF581DD904","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a1a78562e3261bc53ad30e39645491c937c8c83","datavalue":{"value":"0566.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681904$9AF64141-63CD-463D-ABE9-6BC7065ABA67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8a94c1bd4ab66fea9947508e17cd21ff445766c","datavalue":{"value":"10.1145/3916.3917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681904$9737F7C9-B3BF-4BD3-BFB0-F02B2073F992","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3681904$2FE9F677-F9EB-4DD2-BEAA-A6EA1D3A7D3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3681904$EE51E67A-6E0D-4C0B-BC31-B08B4D2FA842","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3681904$636D05A4-F49D-488C-ACAA-E083B1BC2884","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"842a875662a7bb2d09af1e1fc3c71dd2e1145a33","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.582.7408","type":"string"},"datatype":"url"},"type":"statement","id":"Q3681904$E9E3782B-7D20-4BEB-B95C-86DED285492A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"11c9fd7026b46b5a07dd5cbbe0c7321a30b79459","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1985-7/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3681904$99A33214-590B-4095-8F25-9BE5C81D8CEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681904$FF0D6564-D981-4BF2-BC08-68AFE84E18EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd5b912e2b6900a4c287ca899769ba34ca299ff2","datavalue":{"value":"3903939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681904$31CE88C3-4CA1-4C5D-911E-73C77BF7B5F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681904$EE839031-3363-494B-837E-4E960021FB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681904$ABC8EA0A-AED1-43A0-8B80-F8D7D3A888B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8b893a5ef932ad0806d6ef25dfd71e3275acc87","datavalue":{"value":"Program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681904$CDD2BF92-3F17-4568-8F7A-296428FCAC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e2beba1c99276db0c98f2f9fbb2227c2c673336","datavalue":{"value":"data flow information","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681904$82ACF7DE-EF0C-4FBC-B4D9-85DFF4760C4E","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":"Q3681904$0B876C5C-7A08-46DA-A5D8-19C617CF54DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2812f1ea50889557f1a2966d30ffa341282bed7d","datavalue":{"value":"W2032277118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681904$0247BAA6-8A1D-4DBB-845F-D15A4132D7CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c6407bd166397d7230c433ce203b5500c8c930","datavalue":{"value":{"entity-type":"item","numeric-id":5714452,"id":"Q5714452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b98c9cbff77126816419ce8e07378d12297ee81","datavalue":{"value":{"amount":"+0.773618757724762","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":"Q3681904$9D57F982-B535-40DC-ACBD-FD780DFE10C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4376ed257cf5ca39ecce42945abdf9ab55bdec9","datavalue":{"value":{"entity-type":"item","numeric-id":3975938,"id":"Q3975938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"879bfc50b2b04c5a4e047a0e5df9be2e6990bccb","datavalue":{"value":{"amount":"+0.7473767399787903","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":"Q3681904$193B28C1-77EE-4C4B-8D3E-CF0E6E17C29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4622c54f1f5ecacb0db2d7a93e67c440db0260","datavalue":{"value":{"entity-type":"item","numeric-id":5055762,"id":"Q5055762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"879bfc50b2b04c5a4e047a0e5df9be2e6990bccb","datavalue":{"value":{"amount":"+0.7473767399787903","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":"Q3681904$05CF874E-F43C-4279-82DA-4469B056D54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592b4d62d243849287e0d7c39f511b3c955ce973","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83891201b080a8b72f55dd0b2cc8a05859159afa","datavalue":{"value":{"amount":"+0.7399660348892212","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":"Q3681904$D2C00C03-977D-4061-832E-703DA8E34B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed11266756d71bd08587ad6265735132aee5fca","datavalue":{"value":{"entity-type":"item","numeric-id":1196298,"id":"Q1196298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1bda153fb560f4b9ce7330d0158e240ce86c5c","datavalue":{"value":{"amount":"+0.7236416339874268","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":"Q3681904$CE4F30E6-6A1F-4645-80BB-59EB49C6FECB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3681904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3681904"}}}}}