{"entities":{"Q5739365":{"pageid":7768917,"ns":120,"title":"Item:Q5739365","lastrevid":52576013,"modified":"2026-01-23T00:37:07Z","type":"item","id":"Q5739365","labels":{"en":{"language":"en","value":"Concurrent separation logic and operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6603860"}},"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":"Q5739365$E2E2C6FB-F266-4211-B9C7-A7049E18F653","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81e2a7bdda6628b1adf7ba654aa6b9296490677e","datavalue":{"value":{"text":"Concurrent Separation Logic and Operational Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739365$34C15371-C982-487F-80EF-8C835BCB8791","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e923bfad9150865afa8afae5c56bde64fb8f7882","datavalue":{"value":"1342.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739365$32798B7F-C1F4-4F67-884D-929359FF1430","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739365$CA643AF5-F994-4B81-8EAB-E0DA9FE9BDFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739365$3BCE063F-1F63-48C0-B236-9F9B8F2AD9F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78adf6e76276ee5d7f342d12b99cf64bd7a4e40c","datavalue":{"value":{"time":"+2016-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739365$F6C1064D-A0C0-42CE-B258-B758F170C23B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739365$675A1A0A-8A6E-46B6-818A-1BC2FDBA20D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739365$27FBA848-B041-4819-BC06-18E8A077B695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739365$E09CEC85-F350-4CBB-ACE2-11F7DAE5860E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739365$52E79002-2A67-4E7A-A2B6-42F35AF8BDBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"708c0f1801678d5b3df9958a87dff09f614164ef","datavalue":{"value":"6603860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739365$14298D20-22FC-4359-ACCE-1FFF3D39FCAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739365$17806DE0-090A-4BC1-A2A2-4E6932D9A510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739365$B9E272D8-AA6D-4741-A34E-8CE9090FEA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739365$3F44D151-1C29-4975-9213-C30991DC593D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3142f60a66498dbbb03944d883f205d63ad3c55c","datavalue":{"value":"race condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739365$757118F2-2452-4ABE-8D7A-55104424078D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"acd780df1d69e8f9d5da5cee1acc7e00edb7af3f","datavalue":{"value":"Q113318216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739365$3B15CD65-EC1C-4B5E-B9C0-1F467F3BAC51","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":"Q5739365$7C03F74A-740E-4989-8476-F5CCBE97EDE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6782814ce6af3df27728c86469fd863953caefdf","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.09.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739365$6EDA4C38-50AC-4AE1-9CA3-15C16AD5AC8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f3ec058e4cab93565da356d76cac54b152a9ecf","datavalue":{"value":"W2166666675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739365$603F5759-03B9-4FA0-896B-624B900B8639","rank":"normal"}],"P223":[{"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":"Q5739365$31D5EA8E-8C6D-4EE3-9BC2-922875CE9D7F","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":"Q5739365$0DCD35DB-7C55-42B8-A268-2E77B8471543","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":"Q5739365$6CEFF9BE-E2DA-4CFE-A63F-035416C5FB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813b9e2acc33d16448bcc79d927352a3f22518d4","datavalue":{"value":{"entity-type":"item","numeric-id":3178252,"id":"Q3178252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739365$0AB8E566-4C71-44C5-9B17-7593FDF49463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb26cdf1cfba5d6136c14c42a3ddbd8559c1987","datavalue":{"value":{"entity-type":"item","numeric-id":2851320,"id":"Q2851320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739365$0BF170D9-9040-4B86-BF05-67BE66DE3E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db457c46a75b20727f84612ba0607e2d094d824","datavalue":{"value":{"entity-type":"item","numeric-id":3498431,"id":"Q3498431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739365$04191B2E-5CFF-4CE6-B45B-A8AA0D1FD018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ff38abfa4e49dc5b759cba6f43f514f2302692","datavalue":{"value":{"entity-type":"item","numeric-id":5739357,"id":"Q5739357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739365$80780BBC-C59A-4FE6-B0BC-4E658264B385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044c111714e810018bcb913cd5427b3898a468ec","datavalue":{"value":{"entity-type":"item","numeric-id":3518272,"id":"Q3518272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739365$C709B031-52EC-42C3-A55A-16B15833F614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de173836c028013896cd8bf3b02fa6e12262641a","datavalue":{"value":{"entity-type":"item","numeric-id":5458409,"id":"Q5458409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739365$CFE67476-09B0-40E8-9C9B-87E6CB0D5CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88107773061b55a684a37ff2030cb91e127bb568","datavalue":{"value":{"entity-type":"item","numeric-id":5408549,"id":"Q5408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739365$973CF6CA-0C56-48FD-8623-4CB13DA489B9","rank":"normal"},{"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":"Q5739365$636BEC7D-2921-4EAE-846B-59C27AF4C585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34476e0fc3213e918db7c48fd221cd690cd8a79","datavalue":{"value":{"entity-type":"item","numeric-id":3612005,"id":"Q3612005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739365$5AAE5A93-1D53-4590-AC1D-6CB8096A0903","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":"Q5739365$CDF8A583-1726-4F16-8711-7653C74213AF","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":"Q5739365$C48C07BC-952D-4345-9205-50F3E2B6D535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739365$EC6ADE6B-2A3A-4DBA-AC4F-F33E735248BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7583c76b2efe8e143580fcd53d8fe9495d323cd","datavalue":{"value":"10.1016/J.ENTCS.2011.09.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739365$A0E72DD9-8971-4CB7-B803-4656BBB82AE0","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":"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":"Q5739365$12086A26-93F6-49C2-9806-3CF7CF92B984","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":"77a81710e6b57134424e6cd7906f9ea6d8153053","datavalue":{"value":{"amount":"+0.8501486778259277","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":"Q5739365$DA00AFEB-719E-4058-A46E-B4D2CD538A6E","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":"5aecbee262e7b3038ee8552ce26cec8577049bee","datavalue":{"value":{"amount":"+0.8478303551673889","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":"Q5739365$680EB49D-7F39-4B90-B3A0-053CE6A53A43","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":"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":"Q5739365$ACB57932-444B-46BA-BE35-586C7ACC3996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229a3a0eba787aa84df1639600e3c6f3356421eb","datavalue":{"value":{"entity-type":"item","numeric-id":3557673,"id":"Q3557673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f82d08af52ac605369f99fb5313ff8059fa5e29","datavalue":{"value":{"amount":"+0.8302619457244873","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":"Q5739365$A7870872-1E17-4F26-87CD-378AAA9CE8D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739365","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739365"}}}}}