{"entities":{"Q5145346":{"pageid":7174917,"ns":120,"title":"Item:Q5145346","lastrevid":58442691,"modified":"2026-04-05T06:05:17Z","type":"item","id":"Q5145346","labels":{"en":{"language":"en","value":"An asynchronous soundness theorem for concurrent separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298795"}},"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":"Q5145346$508C38DD-95B6-453B-BCF2-CA31343FA735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ada40621c917bf95995748ad64ca3e5f96dfa1a3","datavalue":{"value":{"text":"An Asynchronous Soundness Theorem for Concurrent Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145346$9F40F02D-5A8F-44C9-B1B4-157FB7630FEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0fb27910379e6c386fbea377ff3a0435b0e4123","datavalue":{"value":"1497.68349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145346$7D33F747-1297-4C79-8CAA-AA171AAF46E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87553de20b1057f6cc021f62e34352bfd80c058e","datavalue":{"value":"10.1145/3209108.3209116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145346$9C4B53A6-A009-4447-AC4C-CED01679FB92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145346$518E441D-1A74-4020-B994-DCFEF59C6551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a724da5f914b41584fcf2f7d9112cf3a49b9fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2130596,"id":"Q2130596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145346$D7139788-DA1F-49FE-8F77-CDDD460E2E57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145346$740F6C48-0359-42C8-BC45-C6324EAC17D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145346$0CC0B6CC-7E37-4F7C-8762-6CEDBFB78D3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00be5fcb5c0adbb7c55a73cfc9cffc10672f5ce9","datavalue":{"value":"https://arxiv.org/abs/1807.08117","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145346$4CB54305-A4AD-4C5D-B218-F4209576274E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145346$4F7669EA-788B-4A16-B77C-CB66680D66B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145346$B613201F-2522-4067-B747-72C501A4F469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145346$A8FC5BD9-677C-4083-B045-B06DC13676C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88fcae30f6c1d4f5d7c2dedddb4219160d2c1a50","datavalue":{"value":"7298795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145346$22610075-56D3-4C9E-90AA-A863D4459C8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86cc573773cb6980305dea0a1d27b3e857d4cde8","datavalue":{"value":"asynchronous game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145346$07FED517-D0F2-4A2F-994E-CFAC3DBABFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435fc2ff51b8e844fb15d90597558378797181e8","datavalue":{"value":"asynchronous machine models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145346$5343A271-3DA1-4513-A170-253977E60A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db372644550235ff04c8764c60b2329a9ac7e607","datavalue":{"value":"concurrent separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145346$1E7E5882-CE0E-43FF-8CC4-BB8037653D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307a489fcca12d84b4d2cfe05fed4ff89527072e","datavalue":{"value":"data races","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145346$6F7F4B70-3D02-4095-83AF-05ACE07DAB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2895751642694b3705a19ddc2c9d95e83abe2f9","datavalue":{"value":"separated states","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145346$DFC7B400-9157-402D-A871-D6160F252381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"089341e2c7cadabc1b229393f2b0a4dfe25adc62","datavalue":{"value":"stateful-to-stateless translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145346$A69765A8-A4FF-42E3-B857-577A3DFE9801","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":"Q5145346$087CDA36-AB38-4B86-B46D-6EBC01EE9EB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b47f605ef6584b8517b955fbbb370773b758a49","datavalue":{"value":"W2798452697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145346$842EFBFF-0375-4E6C-95D5-5310C7B9B0CF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3ee88c712a78c87cbc46b76b1ea8009e9c8f39c2","datavalue":{"value":"Q130838830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145346$00186571-AD56-4FDC-AE3C-C6D615B76B35","rank":"normal"}],"P1643":[{"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":"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":"Q5145346$A1AA8A15-1E9D-4EA8-9A0C-B71BC4672ED8","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":"a78f5f70c9c8262560bbed08e4b2644aed7b32d3","datavalue":{"value":{"amount":"+0.8456118106842041","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":"Q5145346$4D61B99D-5C2F-4529-A6A1-C21920C42262","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":"491971403cb7f2fbe94bfbce08355f7c52da0824","datavalue":{"value":{"amount":"+0.8057845234870911","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":"Q5145346$3A832687-9E57-4A58-BD0F-C051774D90E8","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":"7e02b13f93a83a95696df51c1072a4d8c0dd25e4","datavalue":{"value":{"amount":"+0.789845883846283","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":"Q5145346$87870105-C8C2-4B01-956E-624EC8B50BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320299e16d3ef73cf320ea3c69397dfc61b80af8","datavalue":{"value":{"entity-type":"item","numeric-id":5739357,"id":"Q5739357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f619e41ede59b487156484ff9a0912407f0938a","datavalue":{"value":{"amount":"+0.7891519069671631","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":"Q5145346$094E9207-71B9-45FB-A13E-28D3234FE251","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145346","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145346"}}}}}