{"entities":{"Q5874205":{"pageid":7903756,"ns":120,"title":"Item:Q5874205","lastrevid":97570673,"modified":"2026-06-05T15:01:51Z","type":"item","id":"Q5874205","labels":{"en":{"language":"en","value":"Internal Calculi for Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650832"}},"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":"Q5874205$2DC941E5-AED4-43C3-BE09-5108080B989C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874205$08399FFB-4D3A-4851-BE54-82783B93DE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874205$CC75316B-C697-46A9-81A0-77AD401B71B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f99e236d88f37cc15497b2c872ea8381f2a5704e","datavalue":{"value":{"entity-type":"item","numeric-id":1653009,"id":"Q1653009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874205$BA5A9825-5FD7-4ABE-B18E-44E0F85660E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5874205$D4E6A8D0-3F78-4CAB-9441-B3DBD745D002","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3e718347d844067d41414b2b99b76a7736f1543","datavalue":{"value":"https://arxiv.org/abs/1910.05016","type":"string"},"datatype":"url"},"type":"statement","id":"Q5874205$B1CDC296-BC0F-4424-8FE0-455C6BD0D8F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874205$23F74D41-33DA-4377-A4A5-B7A102C659E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874205$CCD068C0-7F18-42A8-BB68-6FEC92135309","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"323f2e019a497b29a01521aabfe83ec6c88e7e3c","datavalue":{"value":"7650832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874205$0701D871-D196-4EC0-8A73-485AA64265E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874205$364CA932-9F8A-4943-AE78-C7D0DE609B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986ddb07b705bc08a3971cbd18f45ea5b616628a","datavalue":{"value":"internal calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874205$5EC37A1D-CB1E-4A1B-9012-F88BB53078F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ec11cdc9daa5852ccaf819987926d8329a35c57","datavalue":{"value":"adjunct/quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874205$11D445B8-4EC8-427A-9105-F1E987EBC600","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":"Q5874205$D6DBDEC9-E92C-476E-8062-F33BED9C1735","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8cfb8e4e87498db6bb59da0ed121ddeabee5e75","datavalue":{"value":"W3003218153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874205$D6225831-4CC5-4A50-99A1-08F8A1B5F19C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c27c1136e92c72d13db9298ce0953864ef484ce","datavalue":{"value":{"text":"Internal Calculi for Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5874205$36B47199-B509-4D3C-83A0-5D9B00D20F6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdb51c916c862e2099df2e0787d25709998cb189","datavalue":{"value":"10.4230/LIPICS.CSL.2020.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874205$D8C83199-7013-481B-8DDA-8B92EAEC8AFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Internal Calculi for Separation Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Internal_Calculi_for_Separation_Logic"}}}}}