{"entities":{"Q4847377":{"pageid":6876957,"ns":120,"title":"Item:Q4847377","lastrevid":90959180,"modified":"2026-06-04T21:53:50Z","type":"item","id":"Q4847377","labels":{"en":{"language":"en","value":"An Intensional Semantics for Elementary Program Transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 798906"}},"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":"Q4847377$9B531130-2AA6-4265-88C0-BD1F1072B5F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d084242e93d5fa8881276568c5162352c51d99c","datavalue":{"value":{"text":"An Intensional Semantics for Elementary Program Transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4847377$3200AE88-D4BD-4B8C-AA62-A51029040485","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c27bb673f2745252e3db8e070f146bff0f4d2ef0","datavalue":{"value":"0833.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847377$009E92F5-032A-4A82-82BB-C0FC74CEE898","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2407d166abf2752782a88ad6526ca336d664a72b","datavalue":{"value":{"entity-type":"item","numeric-id":706505,"id":"Q706505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847377$F20C9E34-9DFB-42FF-9B13-FA96AF8E63A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39befa412b6f184069f2e562a37f7fe841b3f444","datavalue":{"value":{"time":"+1995-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4847377$B00F78DB-DBA4-4462-80C9-4794CBF54175","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b904822b58bdeffbdeaeeb6d2e4ff1d092aa282","datavalue":{"value":"https://semanticscholar.org/paper/c615dfcaccda1e1ed4766a5c1bce18a16a31fe67","type":"string"},"datatype":"url"},"type":"statement","id":"Q4847377$CF61FCAF-10CC-496D-AEE8-24C0AB4916BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847377$0B1C9AEF-4587-4780-9972-5DDB655C748C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847377$DB73EA6B-EAC0-4080-A9AD-5B96ADD6398C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847377$C68050E9-67C5-4BBD-9FF1-413023BF58CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0c31d933a409705661b3c703bc6e0c5f0cc4124","datavalue":{"value":"798906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847377$B09FB6F7-A759-4EEB-BE11-9EB3DE6B73C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847377$71A121C3-BB97-4C7C-BE4E-B47F3F160F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847377$8692D881-8700-4C29-A4AD-FF7947696500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a427fce7f8576c44fab982c3915c01f61c05f379","datavalue":{"value":"intensional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847377$A3CEDFEF-487B-4DF8-8D74-B0E217F7EC85","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":"Q4847377$F16719F6-350A-45DE-95C8-385972FDE440","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22e66331a7deef25f6262097c11f42c6788774de","datavalue":{"value":"W2033410400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847377$3C5260B4-941C-4A90-947F-1CCACDA17905","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2ace93f93a2d9de6a42839c7ea0ee0d32224816","datavalue":{"value":"10.1093/LOGCOM/5.4.423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847377$F8323070-CC0E-458B-8E86-A8951589398D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847377$DB93F1D7-167E-4781-ADEF-FB69BA8F3F1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233a68f668ca909b075e48b5d4cbac003ab4b215","datavalue":{"value":{"entity-type":"item","numeric-id":4847375,"id":"Q4847375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0ab9387eadfe7844fa75589ae9ff6af3cf7c7f","datavalue":{"value":{"amount":"+0.8916206955909729","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":"Q4847377$49D96540-4511-4FAE-9C5C-9B4CB8144AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc96c9ad53a919a83810b6d00e87298a4cf43a65","datavalue":{"value":{"entity-type":"item","numeric-id":4841288,"id":"Q4841288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13779d68f0b60f6fd4e115f0ac9f614d5d3d43cf","datavalue":{"value":{"amount":"+0.7606786489486694","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":"Q4847377$4D69A5A3-4625-4F44-9660-00E03357F758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08bddb4a79f7ee198ff8c99d161d63ff5788c0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2939022,"id":"Q2939022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ee72f9b4eb4527c2f3ee2ca3253b3337d9fb99","datavalue":{"value":{"amount":"+0.7173377871513367","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":"Q4847377$A50E4398-4ADC-4711-BB56-E95C94C9C5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3469f3e5bb650f7d98de513d1221f93db3a0069e","datavalue":{"value":{"entity-type":"item","numeric-id":4513599,"id":"Q4513599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1d8903a25b2ec7bcab2634137839e753d251b3","datavalue":{"value":{"amount":"+0.715263843536377","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":"Q4847377$9BDA86DF-ECF8-4EC4-B578-311B4DBE2025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18c7c555f29a399853b7a38eb8ffc75cf8a5f02b","datavalue":{"value":{"entity-type":"item","numeric-id":578898,"id":"Q578898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223fd4618729ec19f22df98b64a46ad0bd3a4304","datavalue":{"value":{"amount":"+0.7132465839385986","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":"Q4847377$4410F04A-10FC-40D6-936A-B960EEBAED58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Intensional Semantics for Elementary Program Transformations","badges":[]}}}}}