{"entities":{"Q5222979":{"pageid":7252549,"ns":120,"title":"Item:Q5222979","lastrevid":41756691,"modified":"2025-05-08T00:30:16Z","type":"item","id":"Q5222979","labels":{"en":{"language":"en","value":"Automatic Space Bound Analysis for Functional Programs with Garbage Collection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076887"}},"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":"Q5222979$045CEA32-AE09-49A5-854A-B09FB02E8798","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1925558d45dbc206a34b4c981f6cc095b4b2155","datavalue":{"value":{"text":"Automatic Space Bound Analysis for Functional Programs with Garbage Collection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222979$87AFB546-5A19-490B-BCF6-698ED8B16E3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6a9541ed5a5300679384cedb20ae3259de78518","datavalue":{"value":"1415.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222979$632E5C90-9E6D-45F6-8D7A-5C1F637C32FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0dc770f9a48eb0245997e1b7ca4b2cd6c8aa88e","datavalue":{"value":{"entity-type":"item","numeric-id":5222978,"id":"Q5222978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222979$FEAA0090-C7F8-4D83-B8A1-545275D4E454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88be69c40b517dcf95562e728bf82dd0b4372ca","datavalue":{"value":{"entity-type":"item","numeric-id":372958,"id":"Q372958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222979$FE158208-D496-4B9D-9EC9-3E278D15AEED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222979$0FB0D216-ABE7-4127-A06F-74A0A1DC0765","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222979$4ED7EFD5-672C-420D-8E79-0EE30D05718A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222979$51FB5F98-0953-4F2E-B2FD-98F7DE5FBE8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9519cd04551bf79877fd6e879ddd3334333c253f","datavalue":{"value":"7076887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222979$1FBC7434-B5A5-4B82-96F4-5A2AAF1CCF2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec37da8502f5286d6e407b7d5b29adece889aef","datavalue":{"value":"amortized analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222979$C3178C9F-415A-40FF-855F-E66980FE3E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26afd67aad5d8cbf8447e913a40ade8a2e294fca","datavalue":{"value":"cost semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222979$CD318583-EBD7-48DC-8DD8-D751D19B5437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba813033450a4388c099d98e1235b855f629520","datavalue":{"value":"garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222979$33426583-0697-43AF-A4B4-30357A53B885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1514bb13af87ef7a84aad00d842533ad3a27e26d","datavalue":{"value":"LP solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222979$332F71B3-FC1A-4C9E-B82A-E3174D94DC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222979$E966AF3C-F8AD-4E8B-A3E1-251BD0E1EA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431677bd029b657ad2332ee96011df2f61b6a2f5","datavalue":{"value":"resource bound analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222979$F0933BF9-ADAC-495B-9C8F-10BA245B68BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222979$2AC69B08-6A32-4A05-9A43-5C459477B393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222979$F53C7972-BEC9-42FC-B195-C5E3FD321B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222979$0DEF092F-3924-482C-B4E3-2C5AC673384D","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":"Q5222979$AA3A2615-B4E2-4771-9834-C9E1F4CEAEE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75f4b6a7c5758a970aaeeb9ba5e11ce48a45732d","datavalue":{"value":"https://doi.org/10.29007/xkwx","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222979$371E27AC-E85F-4C02-BA29-EE2874611669","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"838eace6d83ebabd220af0a2f2ab8ea036e46cc6","datavalue":{"value":"W2906872399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222979$5929B569-CC71-4B16-AF1A-0711D983F8E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b74c33d23994a3ab1118ea274c34a78bb3275df","datavalue":{"value":"10.29007/XKWX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222979$1CCC1C08-4612-423E-8645-82CAAB24F684","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352498e6aae2cb58e881d476659d78ef1c09c306","datavalue":{"value":{"entity-type":"item","numeric-id":3814779,"id":"Q3814779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52df4dd9667eaa643a895af92dd2bd220ffca53","datavalue":{"value":{"amount":"+0.880103","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":"Q5222979$EB98D51E-4BC1-4DD3-B51C-7265455C6B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3c2dc0c3aec795bd8db563e2af25af22b3ea3d","datavalue":{"value":{"entity-type":"item","numeric-id":5168911,"id":"Q5168911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62b1bb308d7acb59ab5300c93fbcbf8345f8795","datavalue":{"value":{"amount":"+0.8686856","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":"Q5222979$A06B5CA1-7139-4C2C-AFBF-D65B78DF06B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc359f9f53464daa180651535ac6412794215cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5285986,"id":"Q5285986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ca2b2b943ce669bdf734adfff62e6629c7ba84","datavalue":{"value":{"amount":"+0.8588915","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":"Q5222979$EFF8C577-DD56-4174-95E5-36AEA66331FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d664942f7209955e567810d95947782f58a61cc9","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07218abbba745de8654ec29cfe4500a3b1b90028","datavalue":{"value":{"amount":"+0.8588432","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":"Q5222979$77DFF1AB-944C-4137-BCBE-B875085DEC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f96e750a0eb0ea21abcfcc7d9ba3a5f29c8a333","datavalue":{"value":{"entity-type":"item","numeric-id":5178766,"id":"Q5178766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2068b9df6093a5982c6f974b356fa5a07a53132e","datavalue":{"value":{"amount":"+0.8436728","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":"Q5222979$4D02E956-A513-4491-B327-C48B30B0AD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bb3c5e926cae208f02d623554fedac067a2aa1","datavalue":{"value":{"entity-type":"item","numeric-id":3021408,"id":"Q3021408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2068b9df6093a5982c6f974b356fa5a07a53132e","datavalue":{"value":{"amount":"+0.8436728","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":"Q5222979$9E754DE4-CEFC-443C-92F3-941716E661BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc75550f46b1d929607208ec655b5008237e829","datavalue":{"value":{"entity-type":"item","numeric-id":2822492,"id":"Q2822492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da0765e94bbd51e3c5661e673a2bc404d79aaaf","datavalue":{"value":{"amount":"+0.84352696","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":"Q5222979$B0B54DCA-9ECF-482E-B1A8-03819BB28375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa05d11881f3f651c5506c611df8a5fdb8a436c3","datavalue":{"value":{"entity-type":"item","numeric-id":2786120,"id":"Q2786120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a763e79b174c1bcabae771566053ee698a412142","datavalue":{"value":{"amount":"+0.8348111","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":"Q5222979$F5FADAD4-A88B-4463-B9A6-848CDB26396A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222979"}}}}}