{"entities":{"Q2981952":{"pageid":2992677,"ns":120,"title":"Item:Q2981952","lastrevid":85293167,"modified":"2026-06-03T06:47:03Z","type":"item","id":"Q2981952","labels":{"en":{"language":"en","value":"Analysing the complexity of functional programs: higher-order meets first-order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713863"}},"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":"Q2981952$A885A50C-543A-48B1-92E9-94C7937AA544","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a55a0a12d83acd0fab316cca8d306f59afb2b856","datavalue":{"value":{"text":"Analysing the complexity of functional programs: higher-order meets first-order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2981952$F0F42003-0617-452F-AAFC-5FA6E37114F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"945373ec898f46872ffa06f2bb8af74ac6f8e03c","datavalue":{"value":"1360.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981952$02E6CC5F-B0B2-4504-94D5-F37BBE709E2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57cb363a3c77588307e4684ba0a0c73f24e10349","datavalue":{"value":"10.1145/2784731.2784753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981952$483FFE54-56C0-478F-BECE-2F41028FE842","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fd57590e3725be1c9d85f29a22c0bc47d438fee","datavalue":{"value":{"entity-type":"item","numeric-id":276249,"id":"Q276249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981952$A4881D4F-6875-4939-B41E-0814784BE4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981952$AB941158-01FA-4E8E-B3BA-65ED555F8EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72dabc59d6ac55abae8a5d41136834dd0407ff86","datavalue":{"value":{"entity-type":"item","numeric-id":276250,"id":"Q276250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981952$F04B1AE0-4605-462E-8DE7-A43AEE1ED648","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"958b9d2649c5f166ed12d91711a9f2d3feb923ea","datavalue":{"value":{"entity-type":"item","numeric-id":2945523,"id":"Q2945523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981952$B5103B16-55EB-435E-8757-9A75AF7EEADD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2981952$31A8104A-7046-45B5-8B62-02A438E1C7F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73e959c714b02a986c62056c4a1bb7dad7e010d7","datavalue":{"value":"https://arxiv.org/abs/1506.05043","type":"string"},"datatype":"url"},"type":"statement","id":"Q2981952$8113620A-7204-44C9-858E-D888B639731F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe5c249fa618d4989d1cfb3a13728c8ecaa41cd1","datavalue":{"value":"https://hal.inria.fr/hal-01231809/file/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2981952$E98FCBC2-52E8-4A9B-86E5-FB9A92337D62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981952$35014F1C-E5DC-4B65-AD11-2AE376288BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981952$1FD0B19F-57E4-43B6-9459-9AEEC81981EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35c6f5429dc79865921a76fc2dd5dd6e690bd4cb","datavalue":{"value":"6713863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981952$795EBD21-8089-4A59-8BD0-2B524EB33ED4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"847bb1552ce355035baa0edee2084f51994c88fa","datavalue":{"value":"defunctionalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981952$21FDA012-BDD0-41E5-B31E-8E19F8B05968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981952$B25CFE0F-E190-4A30-AFD1-D310B32CA792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981952$6214BB91-FD5A-4BE3-B84F-2019F0A9409F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa7cc37f86335fb7423a2c5d21be826c9a998205","datavalue":{"value":"resource analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981952$EB09DC40-794B-4C3D-8A88-88A49129F4CC","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":"Q2981952$A9806180-ACE4-4BAE-87F1-4FBD72D17B2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20c50ce4b7447b8973865760d57f01069a61907a","datavalue":{"value":"W2020692742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981952$B64260A1-31F4-4473-8177-7831BE51E3E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57bdb34d86fd207ad4fa4dc02f57b9ffe4d1ef3c","datavalue":{"value":{"entity-type":"item","numeric-id":4649538,"id":"Q4649538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58bc06c5bc63031183ebfa64f054b8a468fe885b","datavalue":{"value":{"amount":"+0.89984524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2981952$0C521552-E55B-4D6A-91E2-64EA8039144D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6c7a4004257d1e116adb1c7aaa0c07889fba0a","datavalue":{"value":{"entity-type":"item","numeric-id":276254,"id":"Q276254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58bc06c5bc63031183ebfa64f054b8a468fe885b","datavalue":{"value":{"amount":"+0.89984524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2981952$BB3E2FA1-852B-40E2-A842-8A9667C81AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ab4c510ef083e83de4aa739e7989de6f525d9c","datavalue":{"value":{"entity-type":"item","numeric-id":4281545,"id":"Q4281545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd4ae3859c7738b91f457f541626f0b25dc97ab","datavalue":{"value":{"amount":"+0.89632094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2981952$0DFC5F54-BCA3-4B61-BEBF-CD34B573A45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29edb4775a7bb76c9b7dd421e258598b41167e20","datavalue":{"value":{"entity-type":"item","numeric-id":5747632,"id":"Q5747632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1aa74f0886b905fed4b7f965451cd788c9aa19","datavalue":{"value":{"amount":"+0.8868705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2981952$28AB239D-5BAE-41F9-8712-751CF29DBF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6f13673604c697f60328849c656c56bea8944c7","datavalue":{"value":{"entity-type":"item","numeric-id":557798,"id":"Q557798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3bd8901df1f391ff30beffc3246fe95d516ae23","datavalue":{"value":{"amount":"+0.8850665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2981952$897EB2A3-8B37-4A88-93D7-0D8123973C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7db53ae5dfe42e2941ee36e1113e1a4338c18e","datavalue":{"value":{"entity-type":"item","numeric-id":5493392,"id":"Q5493392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b2c0af98e198e3f32a4139f56e7d6abbb4e393","datavalue":{"value":{"amount":"+0.88154423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2981952$9A5E9BEE-53E5-43F7-8141-3FBA8A00F6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83626a1f3a0ff9cdefea3aae74c3879c116fd6b1","datavalue":{"value":{"entity-type":"item","numeric-id":3105105,"id":"Q3105105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18cb6945ff9643275def030c473fb7e091748a08","datavalue":{"value":{"amount":"+0.87678266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2981952$A1FC12F8-9365-4C1F-A0C0-83481F31F98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a15b8f5419752eaf1ff699f3837ab6807b571b3","datavalue":{"value":{"entity-type":"item","numeric-id":879358,"id":"Q879358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e150cbfd70410ae617f4d2e77fc30e622fdbddf","datavalue":{"value":{"amount":"+0.87335986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2981952$C12C3516-3C8D-46B2-B696-CBA0047D566A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e7df9e410a17e7a9fe82aa9b0252d2244f09cb","datavalue":{"value":{"entity-type":"item","numeric-id":1029815,"id":"Q1029815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c517ca8d00693eb507aad23b71e11035ba3173f2","datavalue":{"value":{"amount":"+0.86578465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2981952$1EF7352D-C57F-498A-B09C-C9CA3F1BA874","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analysing the complexity of functional programs: higher-order meets first-order","badges":[]}}}}}