{"entities":{"Q3599177":{"pageid":5629083,"ns":120,"title":"Item:Q3599177","lastrevid":50558642,"modified":"2026-01-14T09:44:15Z","type":"item","id":"Q3599177","labels":{"en":{"language":"en","value":"Proving Properties of Lazy Functional Programs with Sparkle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5502134"}},"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":"Q3599177$0135E96C-C60D-4FB7-B141-94AD05990BD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f03d178883e0da4dd8608ea1fa07eb0808c0279","datavalue":{"value":{"text":"Proving Properties of Lazy Functional Programs with Sparkle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3599177$C7631D05-EE1B-4117-B2A8-8017E44D63BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37b3192c4c4f57c80f1b7c9e29cc722fa21f7348","datavalue":{"value":"1170.68420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599177$29ED91EE-EE94-4208-9065-3F8CB3831675","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac1532c53ce94a8e648241394e4f354889fb1155","datavalue":{"value":"10.1007/978-3-540-88059-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599177$00DF3C75-A17E-454D-93D2-C79E30692386","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63e47a0b518dc24883997e8f64fd82b097e1d815","datavalue":{"value":{"entity-type":"item","numeric-id":3599176,"id":"Q3599176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$E99C7BDD-A6BF-47EE-BE99-F2A68C11AF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28b20443e0c0e944e5c0b4cc8d53f5c5f768c554","datavalue":{"value":{"entity-type":"item","numeric-id":617921,"id":"Q617921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$C321A084-AC2A-4AB8-AF3D-C66DA5C32DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f3dd6cba28b99e2a4fd3210b8e739e85a45fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":596983,"id":"Q596983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$BEAC07B8-A94E-489D-B03D-63101EB77CE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ce688cd9378f30194a6ce4b8e05c40510488358","datavalue":{"value":{"entity-type":"item","numeric-id":3599174,"id":"Q3599174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$358CD336-DD52-42B1-855F-0C676D2A19B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8252c9bc11ad46ff65a647eb67c4c4f635569088","datavalue":{"value":{"time":"+2009-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3599177$49D651FD-4D31-4E50-83DA-1C8022141C42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599177$3EC7BB95-B973-4F44-86C2-5321B4860568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599177$792D7A06-6E8E-45ED-B925-5EE379629442","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b163383fe5c5d5386a579cbbb0c6307b5e9fbc26","datavalue":{"value":"5502134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599177$C30B2AE4-88C2-4969-933D-7E9783786A58","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d0e89c904b4336aa9c702b0f719264b030c9d8","datavalue":{"value":{"entity-type":"item","numeric-id":14086,"id":"Q14086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$CFCEB799-5C86-4191-8DD8-F4A89414D920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$A225587C-C7AF-4EDB-91CB-1B474F6055F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$88306F12-8977-4546-9227-D052BE5AB648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea69f7dbfd2a676b6524dd7bfd837316d1d269e","datavalue":{"value":{"entity-type":"item","numeric-id":21782,"id":"Q21782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$3139C05C-142F-4007-B026-B78ECB98BED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4443c48263c15dcde9442a6613e16da1041f4bd9","datavalue":{"value":{"entity-type":"item","numeric-id":21784,"id":"Q21784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$8029FA8E-541C-4BB3-BC4E-D0284BAF467E","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":"Q3599177$5714ACFE-45E9-4970-8EA0-EDF57D1BCDF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5154d65c78aaa36314efb64e42375fe2d80e1a9e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88059-2_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3599177$38499518-55DF-40E8-90BF-DF43C8153F39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84f7b356aee40860506f0be82e7f107494ae385d","datavalue":{"value":"W2100685418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599177$F84C2BE9-DCC8-4A56-942D-CB032FFD7A6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd08e7c41a6c2ead3e3812132df00499e980150","datavalue":{"value":{"entity-type":"item","numeric-id":4951112,"id":"Q4951112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$804A49C1-97B1-434C-9A82-A13723856C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666f6c4b95b228f7f7863896a3d81de5061e0a95","datavalue":{"value":{"entity-type":"item","numeric-id":3771589,"id":"Q3771589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$510F3EB7-BD2B-4FEA-9D7C-0CFC58EBF15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa67ec29a8999f2f9b6bf5de27dab4c97c83fa4","datavalue":{"value":{"entity-type":"item","numeric-id":3026318,"id":"Q3026318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$CF784DBA-1E43-4F39-B716-F6BA90F8489A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bf008515bec4a541c77b23820f6e1423fe3b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4736977,"id":"Q4736977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$1DFF7BC1-9F06-47AE-8E65-821709DA3C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567c965207130078300d6c2483ceecef116d0f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5348924,"id":"Q5348924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$E6692083-0CC1-4F21-8061-3159CB88CF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceb6360318aaea8cb4795698dd5dd5d3f94d2651","datavalue":{"value":{"entity-type":"item","numeric-id":4736975,"id":"Q4736975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$67D4CE3B-C6EE-4157-AFE7-7742F3E33274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888bbd6585cbbf83e8d41461b934b5f8b50b0748","datavalue":{"value":{"entity-type":"item","numeric-id":5423552,"id":"Q5423552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$5E9F5255-F05B-4488-B197-06A0F3A32C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd75c7353be06e140b223225de0ecd826d5d1e7","datavalue":{"value":{"entity-type":"item","numeric-id":4222760,"id":"Q4222760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$41B6A4DB-E24C-4365-916F-F0F2AC35BBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$DE0105BD-FBEB-47F5-8DD9-1AF14B355D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704743e29df44a64171d2e9a479dd2089b106063","datavalue":{"value":{"entity-type":"item","numeric-id":2769620,"id":"Q2769620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$BD4A8AEA-EAF9-4275-B09E-B4BEE498B05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$51FDCEDE-F46F-4540-95B8-60C5CB1151E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c3491ad2c05915255ccec86bc9c770e938c9d2","datavalue":{"value":{"entity-type":"item","numeric-id":4023829,"id":"Q4023829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$0D06947B-46DB-46CD-906C-1BE28A198830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd7bc78b23f44b320b7fe75945cc8d1f488651f","datavalue":{"value":{"entity-type":"item","numeric-id":5475626,"id":"Q5475626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$6BC0E99B-2106-4300-A639-3E24BDF72CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba580116a4f7ad65b76e0471fa738ccd5feb2044","datavalue":{"value":{"entity-type":"item","numeric-id":4236759,"id":"Q4236759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$513DF5FB-44D3-4202-A15F-2F6EEA717B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5810792b74141ccfc6f5dbd4c267aa44a0da5ec","datavalue":{"value":{"entity-type":"item","numeric-id":3623948,"id":"Q3623948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599177$83635BDC-DF93-4969-BA6B-2839F0CB37A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a262fe827c993d3cac9909c66d75663722234c","datavalue":{"value":{"entity-type":"item","numeric-id":3623948,"id":"Q3623948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d6e5744954c68c29a6fdf1540775bc2c597d9f","datavalue":{"value":{"amount":"+0.7400684356689453","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":"Q3599177$D93CE1C1-EAC0-4C29-922E-E6DCBA96AFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1087657903b65039c78beb3de66c4e1c94e2108f","datavalue":{"value":{"entity-type":"item","numeric-id":4736975,"id":"Q4736975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0644e7b27a2e433ca71f1577d0615c6a1f7ecdd","datavalue":{"value":{"amount":"+0.7089818716049194","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":"Q3599177$60D1EEC7-4D1C-439E-A2DA-2BA3744B68A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23915a8e6887120cb73d57870fe2262b5f12ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2914731,"id":"Q2914731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86579cc15d470f22a5a394cc29e02c2930a2fa8","datavalue":{"value":{"amount":"+0.6669194102287292","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":"Q3599177$AB57C5CA-9BD6-4DA2-80F0-3E7B342CF3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c59f12e99fc5145d2c3b5f187adbedcff5528d","datavalue":{"value":{"entity-type":"item","numeric-id":5195259,"id":"Q5195259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1d4f9fac1cb9785b105decf754b445f2810d46","datavalue":{"value":{"amount":"+0.6556753516197205","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":"Q3599177$16DEDB1D-46B0-407A-9CE7-57B22EF12987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9564fbc26aa84919584d31b80771f8b6cda49a26","datavalue":{"value":{"entity-type":"item","numeric-id":3075245,"id":"Q3075245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b710504ba84e27443579381757ce0516fa3a8a","datavalue":{"value":{"amount":"+0.6553028225898743","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":"Q3599177$BAEAA1CD-2760-4BAC-A470-B24E631FF8B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3599177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3599177"}}}}}