{"entities":{"Q3000593":{"pageid":3011317,"ns":120,"title":"Item:Q3000593","lastrevid":58095279,"modified":"2026-04-03T19:03:37Z","type":"item","id":"Q3000593","labels":{"en":{"language":"en","value":"The relationship between separation logic and implicit dynamic frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897355"}},"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":"Q3000593$8E84A740-15D8-42D1-8A17-C7802169200E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bb898186eaefbf2bf030723725f2c2aff71ec91","datavalue":{"value":{"text":"The Relationship between Separation Logic and Implicit Dynamic Frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000593$F49C6C46-E267-494A-BF0A-CBEA12AE23AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd3fe9e5bc86d4b1ff12c93774bb14e548da40c3","datavalue":{"value":"1326.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000593$832D3092-D753-46C6-9551-F968D4C0BB2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d4dddac5958b1c7ee05ac98158f1bdb5a9f602d","datavalue":{"value":"10.1007/978-3-642-19718-5_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000593$F9C42C93-6196-4F4D-BF46-E4FBA184865A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd33ff146caa74aefde0dc36311b64aaa0675018","datavalue":{"value":{"entity-type":"item","numeric-id":2151271,"id":"Q2151271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000593$DACD661C-71A7-4191-9976-0E2531EC5F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb6c7004fc536fad03d07451c8142aa101f1c3dd","datavalue":{"value":{"entity-type":"item","numeric-id":2324212,"id":"Q2324212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000593$DEF8B62B-802F-4FA7-874B-3060C2FF660A","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":"Q3000593$1F7F4B2D-BA82-470A-B054-A996AE9C3ED1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000593$8DA56428-D850-4F6F-B58D-31C2D88C5AB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d5627099c6b7ae3c4056e81593008d1dd1b131f","datavalue":{"value":"https://arxiv.org/abs/1203.6859","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000593$630C9069-EA1E-46F2-B7B5-76B4CA41E54B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000593$A36B5926-257D-4725-A2BD-9A6494FB4E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000593$31DF0A6B-16EC-45F2-81F7-BF7F92024D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000593$EE8AE9AC-BF4F-4E85-9ED9-01697A195A84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d367c3b31c532ec38400ed4eec988542adc40ed","datavalue":{"value":"5897355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000593$6938B45C-FC44-47A6-85C1-4305E036F2AE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"328a4887d5a745918f682c9b5cd832468b1041c7","datavalue":{"value":{"entity-type":"item","numeric-id":21718,"id":"Q21718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000593$B80AEB1E-2114-44BB-9FEF-75479FBA9CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000593$2754548D-DBAC-4034-9E4E-D34EA531E028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000593$60FDCBDF-7EEF-4F2B-980A-854532864EB9","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":"Q3000593$578316E1-869A-43B2-888D-EB5492E1ABDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da7c967b92decfcaf450a66da5595e001e05ee23","datavalue":{"value":"W1522925810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000593$3BC47B44-C813-46D8-A935-AD14C8FA57A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed5124fab1d64feb8b4feb25646b660a09eb4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3523161,"id":"Q3523161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000593$C09E5B85-B0D0-4E08-9899-61B708E1C042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000593$CC6EDD94-60A4-4C41-8FCE-CFC39C293A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000593$96AB401D-875E-452F-B238-7AF4D4179D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000593$3625EA43-6A91-4C75-83CA-C05A2CF7AE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b246c98de0e52097588815a52fd998f1c1e3d01d","datavalue":{"value":{"entity-type":"item","numeric-id":3617715,"id":"Q3617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000593$FE9602D6-70A8-439B-996B-08216259A771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000593$ABF3951D-C5CB-478D-B0FD-141FCDEC8377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000593$0B9180A6-4BBF-4B40-AEC3-A9656439105D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"370de15bb3e2fb83e9c31af60a3ee31ff932327f","datavalue":{"value":{"entity-type":"item","numeric-id":2904617,"id":"Q2904617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb72ef518ff93a2e3ce889389e5ea9d0e5b4f6f8","datavalue":{"value":{"amount":"+0.9819126725196838","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":"Q3000593$97DAC46E-00B3-485E-9287-E9AA0C98F3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb86c772ac5fbe672f0edb8c14171ea0180fa80","datavalue":{"value":{"amount":"+0.7783716320991516","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":"Q3000593$62264701-5A48-47CF-BD66-22E63E491517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302effae99d5b630a1a547d06432f2bd4b8bfd35","datavalue":{"value":{"entity-type":"item","numeric-id":3613364,"id":"Q3613364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2940bbd1a8e7887be49acb12bd59d7df54d21bf","datavalue":{"value":{"amount":"+0.7752233147621155","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":"Q3000593$F96D887B-31B3-4C73-AF7E-AC1127880892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed27f131784e91e2db977464f9320c3291042a3","datavalue":{"value":{"entity-type":"item","numeric-id":879369,"id":"Q879369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e25400e6a9cd34369ff8bd4b5365eec355f238","datavalue":{"value":{"amount":"+0.7718062996864319","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":"Q3000593$025D1FEC-57B1-4186-A85E-0B0631C2D10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946617d12263e38663b6254bc53336856f74a28e","datavalue":{"value":{"entity-type":"item","numeric-id":5410483,"id":"Q5410483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403be8a3d5c3fa3645d4456b6975ffcbd72d7668","datavalue":{"value":{"amount":"+0.7624067664146423","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":"Q3000593$3C186566-F708-420A-BAE4-E0DA143E91EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000593"}}}}}