{"entities":{"Q5255076":{"pageid":7284644,"ns":120,"title":"Item:Q5255076","lastrevid":91719779,"modified":"2026-06-04T23:53:49Z","type":"item","id":"Q5255076","labels":{"en":{"language":"en","value":"Static determination of quantitative resource usage for higher-order programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6445098"}},"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":"Q5255076$BC60EE96-9AE0-4068-B8D7-BDEDFC773ECB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5a3f76b4b7fbda87787bac25739bf7f5effc3d3","datavalue":{"value":{"text":"Static determination of quantitative resource usage for higher-order programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5255076$3BEA5B1C-9549-4A91-B7E4-38ABD87A67FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a0278489c20de9725d14b9b65abb14487d35397","datavalue":{"value":"1312.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255076$27411E26-8987-4A39-B72A-87FE3D559117","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65e0e9de38fffe25f51d41082613bcf869b91c3e","datavalue":{"value":"10.1145/1706299.1706327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255076$606DB2EE-FE51-45FB-A7AA-686B503756FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3eee02b3435de9df7803ad05ce1f6b032bb186f","datavalue":{"value":{"entity-type":"item","numeric-id":2398173,"id":"Q2398173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255076$74A660A6-4188-44CA-91FF-F12A42320CFE","rank":"normal"},{"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":"Q5255076$B02C9354-4101-4746-B52C-24D92F7B476C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255076$1FCC42FF-8124-434F-B1F1-4A3C8F3E36FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48c83a006ad04a231123636e10733cff431ab658","datavalue":{"value":{"entity-type":"item","numeric-id":2463559,"id":"Q2463559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255076$2E8442E1-368B-4DEB-B020-F48D454AA09F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5bbee3666eee3a652778234a38c4005afc7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5255055,"id":"Q5255055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255076$4AFB0AED-25AC-4081-83DE-DDD4600A0678","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5255076$001166C0-05A9-42BD-B71F-5FFF29C1D145","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255076$36DD11DB-D4D6-44CF-858C-B0F08BA9A01F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e64291e871948532e52ff10c5189a9b15a39b65","datavalue":{"value":"6445098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255076$B286AAAD-0CB0-4553-BEFB-742DFFFFB7F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255076$F3D36C05-86F7-4499-B421-6971EC8265DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa7cc37f86335fb7423a2c5d21be826c9a998205","datavalue":{"value":"resource analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255076$D5734AD3-C433-4824-8E31-E50CE4693CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255076$B8C2688E-3AEA-460A-AE6B-A4B7A62E8A59","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":"Q5255076$2994E139-4786-4D61-BF12-9E0B0A23E620","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fc14ca7376f74a4aca1452edf1233b38edf47c1","datavalue":{"value":"https://doi.org/10.1145/1706299.1706327","type":"string"},"datatype":"url"},"type":"statement","id":"Q5255076$99002654-E344-469A-8F88-384D030767E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60df48048d22b973704724ae7b4518258553a642","datavalue":{"value":"W2112969535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255076$73C009DA-C5C8-442E-9E14-100F9A9F5A29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c968463b51da458432038916243b9383e5b69420","datavalue":{"value":{"entity-type":"item","numeric-id":5370874,"id":"Q5370874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf28a037a00a6d5a45a7205d22dedf812d456ed","datavalue":{"value":{"amount":"+0.8133037686347961","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":"Q5255076$2EAFC859-6405-403B-9576-929650A3EA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6e8990deabb0e7ffcf6ec082019013db4e1157","datavalue":{"value":{"entity-type":"item","numeric-id":2802433,"id":"Q2802433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4a275239016a7ea32ebb4284f5f127c98dc65b","datavalue":{"value":{"amount":"+0.7855969667434692","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":"Q5255076$094ACDC4-7778-4AB5-B718-099DF0028B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89b481af36f516e073227c33647f7f5ef6d6d85","datavalue":{"value":{"entity-type":"item","numeric-id":5170708,"id":"Q5170708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9044ddcf7832d14fa058205010891ca28316970","datavalue":{"value":{"amount":"+0.7827596664428711","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":"Q5255076$08935BF7-6731-4E72-A42E-053F8191965F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3ebf1c7e2b0f04ec3de2ce5d6cc1db0b34aab3","datavalue":{"value":{"entity-type":"item","numeric-id":5371954,"id":"Q5371954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563feee3beaff806562d54e9752aa5fad45af6bf","datavalue":{"value":{"amount":"+0.781531035900116","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":"Q5255076$F985D004-D81A-4310-8DB4-B23CCCA6818D","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":"bbbe9714587258f8e078596103f70e834fd23657","datavalue":{"value":{"amount":"+0.7766830921173096","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":"Q5255076$B355A2D5-910F-4EAF-91D3-FC7EC03B2D20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static determination of quantitative resource usage for higher-order programs","badges":[]}}}}}