{"entities":{"Q6587133":{"pageid":14198289,"ns":120,"title":"Item:Q6587133","lastrevid":42364918,"modified":"2025-06-13T03:58:30Z","type":"item","id":"Q6587133","labels":{"en":{"language":"en","value":"Towards concurrent quantitative separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896558"}},"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":"Q6587133$12D1E3F8-755F-48E5-BE67-A279C34B1115","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f766c6870e808293b3f61baecde8e3d7b14ebc8c","datavalue":{"value":{"text":"Towards concurrent quantitative separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587133$46A72400-942E-4BA0-887F-3FEF40C09AFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b29de7797a173a72824d15e4127026ac78b6f26d","datavalue":{"value":{"entity-type":"item","numeric-id":6166782,"id":"Q6166782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587133$DE04B10C-583F-45F3-8ED9-C869B9B50F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587133$754C41A0-7689-4115-998B-80B07733E86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfefc6645ccc3c48ab5b5b8291d687a047c3f014","datavalue":{"value":{"entity-type":"item","numeric-id":544877,"id":"Q544877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587133$EC3C3FC7-6136-4A2A-A24C-B772C13BD997","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587133$9201FD65-1625-4D72-BC35-92B029174DBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587133$B26614A5-7020-4DCE-8F35-F672B12206D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ad1c16f5983ac356c451cffcd3eb412eb432ea4","datavalue":{"value":"7896558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587133$A9459218-5FEE-4BE1-8492-007EB931CB80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679372600590a03c48d4032113dc215d14bd33c6","datavalue":{"value":"randomization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587133$76F97020-08D2-437E-A0BF-160A1F31ABB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df4a9fa42a823ec549977451ee26e4eccb17d524","datavalue":{"value":"pointers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587133$8C996C2F-B78C-4DFA-BBB6-D4E89C402142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef6696422cd3f41c45b8a14ca2c4b8d26aa4ee3","datavalue":{"value":"heap-manipulating","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587133$59095B14-B2D7-4C56-A8C5-70725E0C5C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587133$4057EA22-4ACC-459A-9E8C-89E588D34F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587133$F4F51997-7869-4B32-BAA0-6CDDD1617CC0","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":"Q6587133$8C9B1735-4B86-4EA7-B113-8900BFDBA9A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5746e6ad3f19b61669669ba9b624d1c9be9f0418","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587133$41798DD2-192B-40C1-9402-6EF3A0A1F503","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587133"}}}}}