{"entities":{"Q5302889":{"pageid":7332463,"ns":120,"title":"Item:Q5302889","lastrevid":40747174,"modified":"2025-04-04T13:34:21Z","type":"item","id":"Q5302889","labels":{"en":{"language":"en","value":"Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5491993"}},"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":"Q5302889$B122CEE2-B20F-41DA-A389-A75559EDB31F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fce742da94a193a73fe730d1a8acf9434d63a98","datavalue":{"value":{"text":"Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5302889$387EDDC9-875C-4A81-A432-F7087F14C4FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9cbfd826bfb0cc306da9d4614c9bd8b66526478","datavalue":{"value":"1156.68332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302889$A738A373-290E-43E2-BD76-1F8076F4CE49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdb97054e8cc544b4917c400bd9a2ce169b27a1c","datavalue":{"value":"10.1007/11894100_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302889$993DB60D-9274-476C-8C31-F14E2346583B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9cbab8cb9619eb1f53de501c60c49def4220f6e","datavalue":{"value":{"entity-type":"item","numeric-id":604858,"id":"Q604858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302889$688BDD16-6D89-4441-8F6C-212ABAE18540","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":"Q5302889$A15F98E1-07A9-4FF1-A362-E887F19EA9E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5302889$2A7E6D02-6228-48DF-8E8B-1C87CCC840E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302889$64E265BE-E473-4B4F-BF80-0F59CA5E3D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302889$0B5BE01C-35CE-4C1B-A141-B7709B58CC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302889$0C98FEF3-1ADC-45E3-A7E5-D34F1160B812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaa2e0fadefeb7a0d76cbb22e545924d7e899c60","datavalue":{"value":"5491993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302889$0327CC34-680B-4B23-A231-4DA868F46F38","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302889$7C2EB3CA-C06A-4EA9-A721-BA8A429006A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d56aaa8b61bd2eb58d79a5b19ae81a9cebd14366","datavalue":{"value":{"entity-type":"item","numeric-id":15452,"id":"Q15452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302889$7426759C-2A67-44D4-9D28-02E96402ED9C","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":"Q5302889$BE3AFE32-0509-4BEF-91A6-5D0D27DC5F4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af1a2986ec5e311d92d68980540c5302cd33b900","datavalue":{"value":"https://doi.org/10.1007/11894100_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302889$0595A479-E40F-4866-B870-AC8D7CC1CDA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64ee94d94844e03a7ce2e48440b3c3aa00969c1d","datavalue":{"value":"W1608754516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302889$EFB352B0-6531-44A7-86BA-638860981E57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e292ce148979381cb52d0ea0dbc928a985d587","datavalue":{"value":{"entity-type":"item","numeric-id":5448647,"id":"Q5448647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8b9c8f61bddc1cd495fe56460d83a27dff40d5","datavalue":{"value":{"amount":"+0.88324547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302889$6F68EBEA-7E42-4602-BE76-C8896BF6F8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2276e9662259187f5700d51b37303f8d270b80f6","datavalue":{"value":{"entity-type":"item","numeric-id":2763567,"id":"Q2763567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04cfd88d0a68deda6f473ae4487e6ba880a8531e","datavalue":{"value":{"amount":"+0.85009605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302889$ADD124BE-DB5C-4EEF-BC1A-7647D81390C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f5fe67bcd503573fb74f4e202348fe098af0d9","datavalue":{"value":{"entity-type":"item","numeric-id":2942856,"id":"Q2942856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e8aca9db6d74879e2d59406a4e7cb5359d9d0c","datavalue":{"value":{"amount":"+0.843307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302889$23C77768-638F-4D02-9638-0DF71D7CE034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110e44de3f5ac523da75a1cc5b91b1ebc6215eb2","datavalue":{"value":{"entity-type":"item","numeric-id":4918241,"id":"Q4918241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5466347948adcd1dd0ffeae51196f3fdf5527fd2","datavalue":{"value":{"amount":"+0.84070605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302889$25238552-5B40-4948-B8B9-696B4F5F702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0313533aa131b835a36163a745c606de2beb938","datavalue":{"value":{"entity-type":"item","numeric-id":2936798,"id":"Q2936798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538ab9f8d43811bd043a138de2c9c0044662b441","datavalue":{"value":{"amount":"+0.8406381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302889$03D31C68-51D4-4716-9EB9-E50490C0522A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29821f0ff4fac8dafe88128c2be8c42705b9301","datavalue":{"value":{"entity-type":"item","numeric-id":1818071,"id":"Q1818071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd42d4e563d05b46f26779995be0a26cacc14fc","datavalue":{"value":{"amount":"+0.83988816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302889$A3CB3BA3-B26A-4D7D-BACB-A9507CBC509F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e1c65891041d7fece34aa3a78beecc56e69da0","datavalue":{"value":{"entity-type":"item","numeric-id":4982630,"id":"Q4982630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef60455a076cabc450896baae854f3701b0b906b","datavalue":{"value":{"amount":"+0.83981633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302889$22A5DF8A-F6A7-4E82-A10D-857D7D625F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1bfc4ce1232f218f043d0164b8ced3edf78d5c7","datavalue":{"value":{"entity-type":"item","numeric-id":3558228,"id":"Q3558228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38060e1d89a46bd265045ee8ae117f3148e2901f","datavalue":{"value":{"amount":"+0.83904546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302889$664C7094-447E-44B9-AA88-99A070A5E941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0988e6dac291b7ace70ae49182570e8acf806940","datavalue":{"value":{"entity-type":"item","numeric-id":5176969,"id":"Q5176969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b792527048b3954b1066ad11b42e0503c7806a","datavalue":{"value":{"amount":"+0.83890384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5302889$1907934C-E957-480A-9EE3-3EA386E86540","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5302889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5302889"}}}}}