{"entities":{"Q2397039":{"pageid":2407782,"ns":120,"title":"Item:Q2397039","lastrevid":57897273,"modified":"2026-04-03T00:13:20Z","type":"item","id":"Q2397039","labels":{"en":{"language":"en","value":"Revisiting concurrent separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6723603"}},"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":"Q2397039$2672FE11-1408-4BB9-8021-1AED17FC6326","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24aaf9e991b1866c0a7ef471cf4a751c449ae000","datavalue":{"value":{"text":"Revisiting concurrent separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2397039$486A2CF0-B25D-4B79-BC25-A71917BEE15C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"258cab8267a442f561b9bd8aa85ced1639482f1e","datavalue":{"value":"1370.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397039$6CE5C1DB-A169-4398-8624-39963DFC6BAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d08602033c540665381e9dac1b402eddb2b539","datavalue":{"value":{"entity-type":"item","numeric-id":2214515,"id":"Q2214515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$F0EF9626-C482-4482-80D1-863B5398A3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"795f48b4ae9178d57242a9f07437351885d44244","datavalue":{"value":{"entity-type":"item","numeric-id":418151,"id":"Q418151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$C21D3304-BD34-483B-AE2F-67B0511A52EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc44cf567d5313a91ff3d79601fb3b8611d7ad4c","datavalue":{"value":{"entity-type":"item","numeric-id":861686,"id":"Q861686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$94C3FBB5-8A8F-40CC-B87B-837204D00A05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$6A853400-C361-439D-8768-E61E73C2091E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a73e2fec0f92af2f5c6dbac281f88657b581b44","datavalue":{"value":{"time":"+2017-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2397039$BDE88659-14B9-4F76-9917-B807E6F13E03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41ff17491f8d7704c129068b8b8bf46c36c8a654","datavalue":{"value":"https://arxiv.org/abs/1712.01631","type":"string"},"datatype":"url"},"type":"statement","id":"Q2397039$937E8F93-95F3-434B-AA7A-2E05A71791C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397039$8C5994BB-6669-473F-A093-E938779BD609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397039$31D741A9-DC5D-407D-8942-D40C1511B754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397039$F93F2657-F504-49DE-8E5D-85D399C88B01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57197004e4264fb2926a9984b861a3da6b7237f1","datavalue":{"value":"6723603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397039$A390826B-BEF5-4508-99ED-FB9DD9959A45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db372644550235ff04c8764c60b2329a9ac7e607","datavalue":{"value":"concurrent separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397039$5C4BA2BC-513C-471F-BE44-9FA89E840C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397039$CBD8E1D9-DE7B-41F1-9414-55D056171242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e7bfe1bee2c35bf9e2cac2540d48edf5a710538","datavalue":{"value":"soundness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397039$B72E34F3-5DE2-4A0A-BF8C-EEBF9C92E744","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":"Q2397039$AF36CCB2-9897-4003-9150-20F696145FDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"377e6560ce8b852c2b86b08d4a28ee87997d411b","datavalue":{"value":"W3100121990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397039$03B4B946-9938-4083-AC75-DE4EF142C398","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$161675C4-A8CD-41B3-84E5-B43A07860ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$B012E135-1051-4CD6-9187-78BEA973DB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58c0a17dc5a0f4dca159d593b082338fcb20abb","datavalue":{"value":{"entity-type":"item","numeric-id":5739348,"id":"Q5739348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$E233EF9A-B358-4D99-8E07-E73D2819ADAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb97b334a68fae247453155dfcad48720dc60752","datavalue":{"value":{"entity-type":"item","numeric-id":5739365,"id":"Q5739365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$B50E6708-EDB4-4C62-BD37-AF4FCFC068E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$D76DAC7D-E410-42C6-829A-706B91091F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94fb6f8f1f78bf5f677a34347e5d10d985336655","datavalue":{"value":{"entity-type":"item","numeric-id":4140351,"id":"Q4140351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$33C4C530-EF43-4E46-96A2-2FBAEB362C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$3E7AE0D4-EADF-4ED2-847B-2969BA727F0B","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":"Q2397039$5D821BA9-B403-4E18-8723-5649E8234C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$5D70E475-5D39-45B4-88AB-EB9EE6A2FD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81bad30f7bc29771e402846c2e53b8f2df182bc9","datavalue":{"value":{"entity-type":"item","numeric-id":2942883,"id":"Q2942883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$DE23301C-CF82-4354-B608-3F11ADACADDA","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":"Q2397039$D297FC4D-8EDD-4554-A651-0FF43E7E3B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$022392EC-668A-49CF-A384-0A081233C50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2082d07a6e29fa039d0aac7784b2eca3a8e7113","datavalue":{"value":{"entity-type":"item","numeric-id":3997236,"id":"Q3997236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397039$6806FF2F-17EE-4560-9D94-2C47AEEF428C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e7433e98452a7e1411b9a0d9615c80db16efa03","datavalue":{"value":"10.1016/J.JLAMP.2017.02.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397039$827C6D36-89B4-4F02-A5EC-C03ED32984CC","rank":"normal"}],"P1643":[{"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":"0915db7f2754cbe5def79630292240b195161aa4","datavalue":{"value":{"amount":"+0.9086982011795044","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":"Q2397039$3D4B5135-CF72-417A-91EB-CB1274A70158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dbb5217be31cea26107b273295ee6f9ebbc1e4a","datavalue":{"value":{"entity-type":"item","numeric-id":5145346,"id":"Q5145346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80dfdcf9ff28e6d264461787051897151b70a043","datavalue":{"value":{"amount":"+0.857358992099762","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":"Q2397039$C376395D-24A2-4F83-8804-CFF7A7A99100","rank":"normal"},{"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":"15366cb5e58bbf156a7ab0977cda1382dd1bc9e5","datavalue":{"value":{"amount":"+0.8204597234725952","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":"Q2397039$709A6FA7-969D-4584-B287-7661B4686FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c075544acaf9d36d6375fe6660cc62bb7e7d4cb","datavalue":{"value":{"entity-type":"item","numeric-id":5739348,"id":"Q5739348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af8cddc4e9693b6be031c2ea83b4dda9b0a47b3","datavalue":{"value":{"amount":"+0.81722092628479","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":"Q2397039$E1F42D01-E672-4EED-85DA-1587E015EFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e96b3a97a3cf47b6b4ceec62a53dbb6553d0e56","datavalue":{"value":{"entity-type":"item","numeric-id":5458409,"id":"Q5458409"},"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":"Q2397039$3D82F27D-5A54-4C8E-8C06-BE068F0B9C90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2397039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2397039"}}}}}