{"entities":{"Q3519513":{"pageid":5549417,"ns":120,"title":"Item:Q3519513","lastrevid":90241646,"modified":"2026-06-04T19:39:32Z","type":"item","id":"Q3519513","labels":{"en":{"language":"en","value":"A Simple Model of Separation Logic for Higher-Order Store"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5313336"}},"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":"Q3519513$8CC843DB-C41A-49C7-AAB4-0D3AD9B3B2DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7d8bef82f510b6aa3be809f90ddf226ce6c8b4c","datavalue":{"value":{"text":"A Simple Model of Separation Logic for Higher-Order Store","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3519513$C020E111-86CB-4969-8D50-13E656D35239","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69efc38323a038e4466a1f97c7037fb5e15774be","datavalue":{"value":"1155.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519513$40F75B5B-7F00-4FB8-91BB-9438B6775C1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6896dfa9863dfc72742c7dd744f7b588d3a328c3","datavalue":{"value":"10.1007/978-3-540-70583-3_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519513$038AD778-395E-4BEB-BF16-1BDCA5082A52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519513$76F3C686-13B3-4A31-AF80-924F5A526601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519513$97EF6D9F-F788-42FA-8D81-2B9F1665E0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519513$FD8BBEFC-3F81-4DBC-B5FB-EB9FCADF312C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6e1f9f3f83ab8ce5ed045378a12428f006569f","datavalue":{"value":{"entity-type":"item","numeric-id":2339471,"id":"Q2339471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519513$EDD6DBD1-A417-4B81-AAAA-1816557DD768","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519513$A411EB12-F749-4F87-85CF-1FDD0E8C7655","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"368aedbbcdb07b61d4f2acae84ab7ae3e3751f97","datavalue":{"value":{"time":"+2008-08-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":"Q3519513$D9D61354-EC6E-4466-8848-E156D12F73B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519513$923D9042-8CD5-4128-B40A-3987C4F275FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519513$C0C55F1B-860B-4EC8-BFA0-A42FA488AE80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25691d479d439c85fe1d32c66a622fc6e8ac8a6b","datavalue":{"value":"5313336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519513$34289334-CF25-4031-BD8C-F35C80F908F1","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":"Q3519513$16AD2708-E451-4ADB-9E54-1B1185455EE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d981352d1ea6b3a455eef3936f593b97f0e44305","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70583-3_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3519513$8AC29754-7D85-4BA3-97AA-1F03F4C35DF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d1011180ae32c7a4636945c4f030b1318d9bb5d","datavalue":{"value":"W1595420666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519513$1DD241F0-ED1C-4420-9DC0-55172D6606D0","rank":"normal"}],"P1643":[{"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":"13bb1526acc320d04a08b07b5ee1a8b2675df335","datavalue":{"value":{"amount":"+0.887422502040863","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":"Q3519513$612DB930-403B-48B3-8B10-0163B03AF2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fe31271cb7989d6f2d8a09b1cc0aa1c2b6e3ab","datavalue":{"value":{"entity-type":"item","numeric-id":5716757,"id":"Q5716757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8bcbbcbf9ee8629087c10ef426a2cda78dc950c","datavalue":{"value":{"amount":"+0.7984620928764343","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":"Q3519513$463836AC-2FD4-4CE8-8538-D430EB3430F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd5bf6d404fc69d19155260a467e98471ba2c48","datavalue":{"value":{"entity-type":"item","numeric-id":3224687,"id":"Q3224687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75448e4bd588e69ca4e45e6a5d0527470c894d56","datavalue":{"value":{"amount":"+0.7976455688476562","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":"Q3519513$C587BA5C-93A7-44C6-B35C-B41F868A395E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe8948a2efa99f04ff097351e554f04c02771d0","datavalue":{"value":{"entity-type":"item","numeric-id":3644765,"id":"Q3644765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240752072ef30a2afc8e74b406e3a9ad23338b84","datavalue":{"value":{"amount":"+0.7959135174751282","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":"Q3519513$926D686D-E607-4CB6-A8BD-9AD9A0AE5FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c852901a9bd117add63b5c013fa4c931aa0fc090","datavalue":{"value":{"entity-type":"item","numeric-id":3003346,"id":"Q3003346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4b8e82b781fc859ecb8e97380b5bd30f8df9c6","datavalue":{"value":{"amount":"+0.7942769527435303","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":"Q3519513$9289C0AC-79F0-40CA-A994-AB879273683B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Simple Model of Separation Logic for Higher-Order Store","badges":[]}}}}}