{"entities":{"Q6541165":{"pageid":14152308,"ns":120,"title":"Item:Q6541165","lastrevid":57344757,"modified":"2026-03-30T14:10:22Z","type":"item","id":"Q6541165","labels":{"en":{"language":"en","value":"Testing the satisfiability of formulas in separation logic with permissions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850757"}},"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":"Q6541165$D53449F9-1E1C-4B53-979B-6F52D3A9BB6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f16b761f93d78a2d58e3faffae83e59cd8b37a32","datavalue":{"value":{"text":"Testing the satisfiability of formulas in separation logic with permissions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541165$6847A853-3DB5-4730-A7FC-1F8ED50AB2CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d66f378879837bebba2efbfc22ec8e13bc2f22e0","datavalue":{"value":"10.1007/978-3-031-43513-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541165$410FAE73-F422-4D15-AE3B-F7A916B69C70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541165$98CF9971-69A9-493F-8E07-0511348E6A7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541165$F67D21BC-38B9-40CC-BD4C-20B4995D0F31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541165$1CFA9E55-330B-4167-B015-00BD3E1E85F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e728a679ee2540782ad59f5c4f3b8631087a5242","datavalue":{"value":"7850757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541165$171C602F-4691-450D-98BC-D9CE39CC48D1","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":"Q6541165$321153ED-1A17-434F-BD43-B3F562C4FD89","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":"Q6541165$87F798DC-4E61-46AD-B26B-503124CA7641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c057472123512cd86750401b22ac7bef9ad32e5","datavalue":{"value":{"entity-type":"item","numeric-id":2226736,"id":"Q2226736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541165$29E3AB9E-3318-4849-B035-E12EFD8F0C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720ddbc225606ec696668d2945dfac90af50e274","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541165$CD9F657D-05C1-4A87-A5D2-36135F663326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ab257102579013c3ceb2fa6067fd2f989e0d68","datavalue":{"value":{"entity-type":"item","numeric-id":5136317,"id":"Q5136317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541165$D136C3DC-761B-4C7D-B6DE-E7E7410A18DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad8c79df9be7434470d2f99510ebe66cf515365","datavalue":{"value":{"entity-type":"item","numeric-id":2055854,"id":"Q2055854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541165$D78C3C2A-FBBF-4F78-A3AA-14EDB4CA08E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dacbb7b14dcb3672700d9db550ae5fb6adc5c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541165$4E201D70-BB31-4E36-9172-5F83A7E9F076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541165$83FA4FF3-3A2A-4887-B964-3BA0D055C7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7506a638c1ff625d687178414f595574ae8dad9","datavalue":{"value":{"entity-type":"item","numeric-id":2234106,"id":"Q2234106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541165$051F03A1-C93E-40DA-AA4B-AC9045BACD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541165$FEC5A62F-E56F-4930-97F0-77BE76850B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c96d0fcc5c65f85a20940d30ff7a51cf4715870","datavalue":{"value":{"entity-type":"item","numeric-id":2937786,"id":"Q2937786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541165$78E4A1D6-CBF6-40BF-856C-5DCF919FD329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f7f11bcc2c577f52292fdc9a83fb5e0ed99b53","datavalue":{"value":{"entity-type":"item","numeric-id":2405271,"id":"Q2405271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541165$9DD16F13-B69C-4A7E-B963-AE2CAD3BC953","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541165$9F92B625-A39C-4758-ADBD-F0BC3D18A2E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541165"}}}}}