{"entities":{"Q3644757":{"pageid":5674663,"ns":120,"title":"Item:Q3644757","lastrevid":50819612,"modified":"2026-01-15T07:20:58Z","type":"item","id":"Q3644757","labels":{"en":{"language":"en","value":"Efficient Type-Checking for Amortised Heap-Space Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5632016"}},"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":"Q3644757$91707F9D-E1A1-4E4E-9F88-7DD1BF96F1AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0013f757458a2b93a2aa7434e0c817b81e05441","datavalue":{"value":{"text":"Efficient Type-Checking for Amortised Heap-Space Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644757$3163B53B-EB44-4CEA-9C9B-AE380C91DA4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9dcf5ac6860e31d152a0a24dab82fc13562112e","datavalue":{"value":"1257.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644757$9FAA9981-3F65-4393-A0C9-8DF0EA6AAEDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3f922ae78dabcd0b383bb6959417852f6fd19b5","datavalue":{"value":"10.1007/978-3-642-04027-6_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644757$944D170D-2A4E-4032-8D90-9A0C4CB5175E","rank":"normal"}],"P16":[{"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":"Q3644757$E9BF3DAB-6278-4343-B804-E594D6E5C853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e01a53a1853a34e4715241077bf7811b06df7a79","datavalue":{"value":{"entity-type":"item","numeric-id":2891465,"id":"Q2891465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$F9B1C529-D4D6-43CF-B2CF-7F8CCA2265D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$438A41B6-2D37-47B2-8A0A-D9357C47423C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644757$CFCCCA00-B25D-46B8-816C-0616F0640BDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644757$FED32A73-380C-43AA-A147-35B465D12D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644757$AE384992-2A35-4CD7-8469-0D00D7F15FF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b01f0172e5c9793573367a135c5daec1f664999","datavalue":{"value":"5632016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644757$012A7E99-C70D-441E-BFC2-0ECC379A08C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644757$1E276FDF-123B-4526-B968-E9819A8C5EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa7cc37f86335fb7423a2c5d21be826c9a998205","datavalue":{"value":"resource analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644757$3E10A5C5-AD1A-48AB-A78B-8378A4FEF44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644757$25F3F74C-A5F8-4FE0-8AF4-7445AA9F1D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"631f3258c2d88dc83c82dadca5550bcadb6757e4","datavalue":{"value":"OOP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644757$5B06DE70-1A0C-43BF-A37B-B970B3E4E4B2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb5085a0e3d3bb720346dd836bd54d5d9d9a7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":20658,"id":"Q20658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$0D97CD12-923B-4C8A-B7BD-864060A7955A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$9054FDCE-4F85-45DF-BE42-03B322EF65CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa671ac82600b3ec323d025bf536d1e43831c61f","datavalue":{"value":{"entity-type":"item","numeric-id":12930,"id":"Q12930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$48EDE2C9-DC85-442E-8633-F4B00155366B","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":"Q3644757$338C948F-6FCE-4CCC-BC39-FB92F06DAA06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"817717d3e5471fa39deb7de29e9e5d9a7d110b37","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04027-6_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644757$1A132C1A-47D3-41BB-A97E-1B25E212AAC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4926f66a4eb2195526858ddcd10aefc32bbb30d9","datavalue":{"value":"W94295739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644757$0DA1EDF4-17C6-4E78-B386-AF36881AB13E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"410e781afed9d251e23ab31322a968fadadc39b5","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$F7D4E0FB-F90E-4CB0-B6F3-79DF870C767C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca6749725ffa7d674b993174aff8d64237b048d","datavalue":{"value":{"entity-type":"item","numeric-id":2763534,"id":"Q2763534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$5CF8D4D0-74AE-45A4-A468-F8C2F4B82047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cba9b0310940bbd32ffba3c2357cd3f3194911","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$D91A4FC8-9F6A-46A3-A8D1-1183ACEE3C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2b043f1f5ea4ab949da5be665f95c5a9e8b669","datavalue":{"value":{"entity-type":"item","numeric-id":5899006,"id":"Q5899006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$539BF910-1DB7-46BC-A398-C43B8D07603B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e082ddd83e4fa0c5d575c8b793e54d1f8ee2dce","datavalue":{"value":{"entity-type":"item","numeric-id":2817712,"id":"Q2817712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$6839D146-6A25-4ACB-B5DB-4E4BBB907B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5dab11fcc2ee27243cad3dbc4aaa29efea01cf","datavalue":{"value":{"entity-type":"item","numeric-id":5897429,"id":"Q5897429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$D4675314-9D82-432B-BE1D-0FA1F11C2C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a8d50e2ac3112c2b5beab9a321e48e86e40e67","datavalue":{"value":{"entity-type":"item","numeric-id":4702190,"id":"Q4702190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$84D609EB-6E6F-498E-9700-B1012DEE3BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00910816ba034b6655b7a47d13d1206cc1d40ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3735083,"id":"Q3735083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644757$DD147B13-8C47-461B-A668-078E082D44A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34c05219b8c79a7971545869f9fcfd75eed62c6","datavalue":{"value":{"entity-type":"item","numeric-id":5899006,"id":"Q5899006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dabde133888c0fac195ab6d2514164c181e4515","datavalue":{"value":{"amount":"+0.8130237460136414","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":"Q3644757$55F8AB8F-9CF1-4D03-B87F-831B7C6392FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8e7b4004f8e04783fd890e058cec3c8423e33b","datavalue":{"value":{"entity-type":"item","numeric-id":5415597,"id":"Q5415597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9254f928f5168ca8f473693dd45fc72d7f97edee","datavalue":{"value":{"amount":"+0.8035847544670105","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":"Q3644757$A0F9775F-F329-4403-A9CA-EFAE66B07C42","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":"165c28e7fbc30df4a5f73065468263f2bc6a7e2c","datavalue":{"value":{"amount":"+0.8006885051727295","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":"Q3644757$0BB40988-CEBA-4D64-A942-265F86F77583","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":"de2f6ef278af4543ca594f47f92aff737eaac9c7","datavalue":{"value":{"amount":"+0.7929647564888","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":"Q3644757$5CBE8EBD-B9CC-43B0-A03C-D8E44799C2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75afda3c1a3e0d09c771fc8db91146fc8fea9b41","datavalue":{"value":{"entity-type":"item","numeric-id":5326309,"id":"Q5326309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e2b27254d94d5aa1e4d1b0a1349e3dbca82fa8","datavalue":{"value":{"amount":"+0.7717464566230774","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":"Q3644757$B98FD351-653B-4200-9A03-EC9D05BF116F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3644757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3644757"}}}}}