{"entities":{"Q5458409":{"pageid":7487968,"ns":120,"title":"Item:Q5458409","lastrevid":50334041,"modified":"2026-01-13T20:28:33Z","type":"item","id":"Q5458409","labels":{"en":{"language":"en","value":"Oracle Semantics for Concurrent Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262455"}},"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":"Q5458409$1D63B8D6-821E-426B-BA07-587659B86173","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43604afa047233fd301c2b3c67c6297fbf2e2bf1","datavalue":{"value":{"text":"Oracle Semantics for Concurrent Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458409$7994A06A-A87B-451D-A2F5-3F1AC6F291D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5a4262612c8d00f8192d91564239caeceb7a180","datavalue":{"value":"1133.68371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458409$8694B852-7053-4639-BE2E-76F2299B4235","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7099789b35c3754b977b778b11f7077a68b63151","datavalue":{"value":"10.1007/978-3-540-78739-6_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458409$9EEC3652-654E-40AB-B335-EE4D4572FF60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9394590d5c791476eee96a2fc2c66d87e6d79c43","datavalue":{"value":{"entity-type":"item","numeric-id":832309,"id":"Q832309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458409$1D7EE127-EA70-4EB4-B521-C4E7BB3308CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458409$3DC9C8D9-3AC9-407B-B367-61113A715956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9af27c63fdd54e2cc0051dbc5db6bf3d4334c2e","datavalue":{"value":{"entity-type":"item","numeric-id":2566219,"id":"Q2566219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458409$C30CE5CD-76F5-4420-B3AA-606F0ABC0C90","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":"Q5458409$932739FA-B1B1-4D9F-A71E-548D29AADE13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458409$D9F7B1FA-5F8A-4365-827C-F3C0DB85C485","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458409$21E474EA-FCE6-4E71-88B1-22CA55522200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458409$8FC894F3-9E9A-4C24-BE62-785AE3BB3ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458409$5E2D939E-D3F2-47CA-B23F-06C4517C5B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458409$142412AF-2270-418B-A0AC-787A6274F064","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1b1217e5f0bf4d863c059a1d6076b35f80f3767","datavalue":{"value":"5262455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458409$E0C737E1-A62A-4E3F-AEC8-A6B91661F10A","rank":"normal"}],"P1463":[{"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":"Q5458409$3A93DB6C-C28B-43F4-817F-2DF3D18AD851","rank":"normal"},{"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":"Q5458409$6784E04E-4DFA-4AE5-9912-317A8861C1A0","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":"Q5458409$0B818A41-3371-4D7F-936A-B53D49D60A0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"317d964086cc921b632f16da74d88bf246ebf9e8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78739-6_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458409$9B5380DE-495A-4161-AC9B-F54E61BE6956","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ca33fb5ac89bb335986b5acf16e9444dc34e051","datavalue":{"value":"W1584342183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458409$FADE64D3-E3E4-42FA-AB95-0287371891AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f72112ae0de9c4ec7fdaff364082f56a8eeb23","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38320387586cfee9dfdd04f09d8a23360e8f5878","datavalue":{"value":{"amount":"+0.8453304171562195","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":"Q5458409$2C18BE60-E93D-484E-A399-DA82535CB21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9544de41f81387be86297869277c1a82bc01c1b7","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf41adcfeed70fe2294b8b61eeac6947bd98934","datavalue":{"value":{"amount":"+0.8406141996383667","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":"Q5458409$77B67F75-0766-400D-93C4-D7FE0D8B49F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21fa0d61d638319b6d1f1971ef4caf16a0f2c7d7","datavalue":{"value":{"entity-type":"item","numeric-id":3523161,"id":"Q3523161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce2216304d457544e63a047bdf1a570ce60116b","datavalue":{"value":{"amount":"+0.8287068009376526","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":"Q5458409$E08E1CA9-59B1-4E86-8BD4-AACE1205D75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7997923f8ea3695262a5568baba6a54518ed42","datavalue":{"value":{"entity-type":"item","numeric-id":5739365,"id":"Q5739365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920e05be79d8e419880244c089e5d3633c5dd0bf","datavalue":{"value":{"amount":"+0.8237215280532837","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":"Q5458409$1D9CE3E8-E291-40ED-AA1E-C5553A2EE8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a79341a0cf952380289b3d1b5d38fa1220faa9","datavalue":{"value":{"entity-type":"item","numeric-id":2397039,"id":"Q2397039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63cef5497a6604ecbe6029b28f28532be507314","datavalue":{"value":{"amount":"+0.8154990673065186","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":"Q5458409$E40A0A9D-5835-46B9-AE98-09A1A11663A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458409"}}}}}