{"entities":{"Q5146595":{"pageid":7176166,"ns":120,"title":"Item:Q5146595","lastrevid":94678196,"modified":"2026-06-05T07:26:22Z","type":"item","id":"Q5146595","labels":{"en":{"language":"en","value":"Expressing the behavior of three very different concurrent systems by using natural extensions of separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7301458"}},"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":"Q5146595$73C2E561-031F-49D2-BE0E-7E9490F23AEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de1a010acccad83417b29c96e6c222532033a825","datavalue":{"value":"1456.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146595$8FBD67C7-BA78-4BB9-940A-EB6D4D425C4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56bd52459cf1f4b395d05d1f44c8ccf8b631cf7f","datavalue":{"value":{"entity-type":"item","numeric-id":941464,"id":"Q941464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146595$01465B06-DBD0-4BB7-80C2-BD6BA342F375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55969d1c1711426473ebd199c3c528d38c8d87d0","datavalue":{"value":{"entity-type":"item","numeric-id":2506260,"id":"Q2506260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146595$11AD33BD-E6B1-4024-BC2B-3A47A9DB0057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf19be8a68345ba739766ae02e3bb2250a2439c9","datavalue":{"value":{"entity-type":"item","numeric-id":5146594,"id":"Q5146594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146595$BA20FFD6-00FE-4C6C-8504-55637E96F922","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c37197fdcc622dda62b1a70d213b12db611eb0","datavalue":{"value":{"time":"+2021-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5146595$98A38474-8436-46A9-AD89-56FDEB9B26AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69644f0da64643fb2ee8d0f67f94b62b5b9776e5","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2009.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146595$570D42DE-A40C-42AF-8000-49641F141FE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146595$8D868FAF-2F19-476A-8D6A-F97206ECB983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146595$C19D2390-190B-480F-8E6F-A966A76B5A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146595$5D50F65A-B2ED-4B59-85E2-27DEF9659AAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ddd388377bf756d99c85d3208f20c6b9d4efa37","datavalue":{"value":"7301458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146595$D5ADC715-9364-4368-92C8-DC5E8203FDCF","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":"Q5146595$5CF7A8F5-0673-477A-A3FE-F7ACFEF788B7","rank":"normal"}],"P1643":[{"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":"951b5a46fb62e8446f82e19a1cd5726e6b9b7903","datavalue":{"value":{"amount":"+0.8069475293159485","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":"Q5146595$A3B01488-A80C-4A74-B441-A994D38AE47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef0991b71712d7a5cc5aa1a32001ce0d64152b3","datavalue":{"value":{"entity-type":"item","numeric-id":3000585,"id":"Q3000585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01d87a8a4495fd053257e30c3903b6080a5af91","datavalue":{"value":{"amount":"+0.7506212592124939","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":"Q5146595$6D36F169-E024-4217-A263-6D52B34CD9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3307e1d3e7b0d37b6b4709683a173ce1fd96e4","datavalue":{"value":{"entity-type":"item","numeric-id":2887058,"id":"Q2887058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b930df3d4a23db020428cd65e4e1bf530e41a047","datavalue":{"value":{"amount":"+0.7449519038200378","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":"Q5146595$67E460C1-BA0F-497C-9FDE-F91B4B572E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc9b0d04ab3450cb241ffa1da532485b511cc58","datavalue":{"value":{"entity-type":"item","numeric-id":5326285,"id":"Q5326285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe95330239d8f07c29484ffcc826ee2b56f94d72","datavalue":{"value":{"amount":"+0.738301157951355","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":"Q5146595$DE54C5D4-7D52-4DF7-B06F-A3FD311240D6","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":"5f92a35ed518fd360d4dab484679724aa6b023ce","datavalue":{"value":{"amount":"+0.7336141467094421","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":"Q5146595$E4166974-5557-446E-A3D3-F6551BAC739A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressing the behavior of three very different concurrent systems by using natural extensions of separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressing_the_behavior_of_three_very_different_concurrent_systems_by_using_natural_extensions_of_separation_logic"}}}}}