{"entities":{"Q3558217":{"pageid":5588121,"ns":120,"title":"Item:Q3558217","lastrevid":50972093,"modified":"2026-01-16T00:27:29Z","type":"item","id":"Q3558217","labels":{"en":{"language":"en","value":"Amortised resource analysis with separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703400"}},"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":"Q3558217$22461CCA-8807-4237-9825-7624D818C043","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"244d786c17a08d27108c27851c865b1c0d959d03","datavalue":{"value":{"text":"Amortised Resource Analysis with Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558217$21FD40D4-74A0-46B9-9894-B2ACFB371F01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd2beea75a6196e37eea18babcb5566c1ff695a9","datavalue":{"value":"1260.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558217$408F282C-7FA3-4A29-AEA3-77FD7DDFF67A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96e11d1cf9b2892a7099b2b32ef0743146c5cb7c","datavalue":{"value":"10.1007/978-3-642-11957-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558217$F6CAC6F0-128E-464E-B438-3431F63F3C89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a671bc31964954daa066cb3b32015fe8ce6632","datavalue":{"value":{"entity-type":"item","numeric-id":2888472,"id":"Q2888472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558217$964AE2DA-25F5-423B-87AF-6E7B71D21B87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558217$31EBB263-297F-47DC-BF6F-46BC1CC6C295","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-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":"Q3558217$6D8BC9EF-8619-436C-A7F8-EDCA9E5A6A9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558217$F1CAE114-7F41-4519-BA5F-45C509BE23AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558217$6881CAE2-949D-4F98-963C-86ADB7BF2F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558217$DF4D1AEF-0081-452E-989A-0F3749EB7A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558217$C369C60E-E4A7-4E87-8CC1-9B74E3A0350A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558217$C1E535AE-628C-41C1-9209-A1C83FAF9A07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"748348b130a802a3778c9cf0751e63cb9da891ac","datavalue":{"value":"5703400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558217$EF739889-8AB2-4C25-8988-1C51A58218C6","rank":"normal"}],"P1463":[{"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":"Q3558217$21FD446E-2A70-4E80-A38F-4D5701AD6F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558217$51EEF0A8-D2F0-4F43-BFD1-2315614446E2","rank":"normal"},{"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":"Q3558217$1C730375-83F6-485F-850B-EF7BB53F54E9","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":"Q3558217$83409669-6939-45F5-80C7-FED157E9A99D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e6ce948ca2988718a3a3fe6e7baca525c676686","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11957-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558217$D14F1EFB-9FC8-4B99-90C8-565ABC341EC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02ed6662f1ceb1ea6a6549652fb9e319047e878e","datavalue":{"value":"W2138657070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558217$CEDAF9EE-067F-4A1C-94E3-D68569E49D11","rank":"normal"}],"P1643":[{"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":"02b07cd4c8c1d603cc8257ab79355e0f39ffb1b5","datavalue":{"value":{"amount":"+0.7898198366165161","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":"Q3558217$4ABF9F9D-325C-41A6-98E5-6B61AA39D88E","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":"12a7ce42b0abfa4b0047e64e66c89c86bce55439","datavalue":{"value":{"amount":"+0.776769757270813","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":"Q3558217$9B3B3A8B-F47B-4331-947C-2BF5688AD2D7","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":"e0a8cc944aaabbb948865f948feac053a6261ced","datavalue":{"value":{"amount":"+0.7561269402503967","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":"Q3558217$57014DC7-84F3-420B-8ACD-883580BFB1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e830bddf2f5d41ef29146b9c90592c5455f9bc17","datavalue":{"value":{"entity-type":"item","numeric-id":5464660,"id":"Q5464660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab7e75597f55de3292ffa8070307bb36488810a","datavalue":{"value":{"amount":"+0.7523183822631836","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":"Q3558217$8FA4CD8D-F4E8-4D74-8B1A-9B0986615BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761696e99a30f68ac4d6f41855006641f69acf18","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c914aee13cd66e0fdea0bd77215489cd067c09e5","datavalue":{"value":{"amount":"+0.747739315032959","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":"Q3558217$B1B21BD7-76C6-42B6-ADD6-06284F776528","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558217","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558217"}}}}}