{"entities":{"Q2405271":{"pageid":2416014,"ns":120,"title":"Item:Q2405271","lastrevid":44032638,"modified":"2025-11-19T04:56:30Z","type":"item","id":"Q2405271","labels":{"en":{"language":"en","value":"Satisfiability of compositional separation logic with tree predicates and data constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778423"}},"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":"Q2405271$A8CCBF20-8437-4C4D-AB80-886069CFAB2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8eeb96835642555eca1a523bbec2d31e37cc9d27","datavalue":{"value":{"text":"Satisfiability of compositional separation logic with tree predicates and data constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405271$2241D49B-7B7D-4D4E-A633-B2644949BE71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e527205ab1505e53f2c35f86b787512a0a54396b","datavalue":{"value":"1496.03138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405271$DCC988B0-3534-430D-8DE9-3EF807472C5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ddf311b82cda270f8ba5888dcfadc206aff9585","datavalue":{"value":"10.1007/978-3-319-63046-5_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405271$40B8EEF1-3E2F-49E4-9F58-0E53610C82D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2eeb79e367cee99c5957fd91537ec95c42abec3","datavalue":{"value":{"entity-type":"item","numeric-id":896914,"id":"Q896914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405271$134960C2-833E-4EF3-8D21-49C6680578B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405271$AFC76CC5-C839-4054-BB53-543FA86D29CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5f7394a0cca1cfe5ffc6e0fdd04b8d512ae0ea","datavalue":{"value":{"entity-type":"item","numeric-id":342711,"id":"Q342711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405271$ED5DDD53-9D4B-41F3-80C6-86C4D6D69821","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405271$A384CB2B-942A-4B69-AF6B-F2DF48734A55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405271$9D869B54-04C6-4644-96AC-C317C00C8348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405271$C63D0D00-7614-4453-B926-3A2860EC4410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405271$68165B6D-E971-410A-B831-DE629A350285","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d0a0aad1d8001416a17bad39982fcfd1c06b70e","datavalue":{"value":"6778423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405271$F162336B-151C-496A-B1BC-53E1E265F02F","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":"Q2405271$8AB65396-7718-49BA-9FC7-0348A19FEF03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd7a0072938c637835d6049b6cb2657af6e63bc7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63046-5_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405271$8AEFE65C-70FB-4FF2-AC3B-5A13CC831EB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87dfbb69128ff753057e56d1cb689a8ceb079754","datavalue":{"value":"W2735482485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405271$FB2328DA-954A-4446-BA7F-3DB0C8832E79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862f4cd4afdccae419399e58a2bcfb802b5e158f","datavalue":{"value":{"entity-type":"item","numeric-id":2234106,"id":"Q2234106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570f029ddb0a73413110214e043f1cfe4b418021","datavalue":{"value":{"amount":"+0.9235744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405271$D1933D08-5002-4B32-8CBE-07B4FBA04604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e473b27c6a5c13d43f5fa4a3207fa861b9edff9e","datavalue":{"value":{"entity-type":"item","numeric-id":2206230,"id":"Q2206230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38ebf4556a3719e2996e89af57b386f23cc99ff","datavalue":{"value":{"amount":"+0.922881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405271$AF7DE42B-C2B0-4C36-B8E8-34142B4BEA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca72a740cc4518e5cbf6b1379c150f31db31622","datavalue":{"value":{"entity-type":"item","numeric-id":2817951,"id":"Q2817951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f1483fe52e0efedd8c567b996681fdfc4d5cca","datavalue":{"value":{"amount":"+0.91931105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405271$10ABFDA4-98FE-478F-A3F5-A16792DF1701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"867246cccf6cb7b06f8d9d75c7c98ca0390169be","datavalue":{"value":{"entity-type":"item","numeric-id":2445092,"id":"Q2445092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d7403689212b0baff401f71971deb8fe118740","datavalue":{"value":{"amount":"+0.8952451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405271$D67EFA50-54B7-4C7C-9454-38D9FC4F2025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e86a356e7af129cb8494580f1044ca91d6232ad","datavalue":{"value":{"entity-type":"item","numeric-id":6483555,"id":"Q6483555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c95d09654d57a1af5615f941002ca0704e473727","datavalue":{"value":{"amount":"+0.8916683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405271$F2DA7556-F453-4E4E-A2E3-F3625528FF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3facd7f756a047bcb93a2aa5dab234bee1a235","datavalue":{"value":{"entity-type":"item","numeric-id":3608409,"id":"Q3608409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ca06fd88f18d1cb426e1fd71c0e5f2b0a8cb52","datavalue":{"value":{"amount":"+0.8875372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405271$8EED0BC9-9AEC-41A5-93F7-28D867CB5638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea7118cf616a7d0b2c6d837aadd97c3f63cf587","datavalue":{"value":{"entity-type":"item","numeric-id":3194710,"id":"Q3194710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19ffeb89a06ef4f3abeea8e7914b86d86a79331","datavalue":{"value":{"amount":"+0.88114315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405271$16649916-252B-4672-B335-03C74C931348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0367be676399d580ac834a836dc93074a67ef1","datavalue":{"value":{"entity-type":"item","numeric-id":2424682,"id":"Q2424682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b7df3a889a549f1539d158c6461a5dc0efb82c","datavalue":{"value":{"amount":"+0.87903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405271$A62A6CF5-32E0-41F4-993F-2C20A3626306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08912331d8e77cc41be4fb52d38eaa1484cd116","datavalue":{"value":{"entity-type":"item","numeric-id":862390,"id":"Q862390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037245d9d856a6a58978f904c73c71542ce1c7f0","datavalue":{"value":{"amount":"+0.87722874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405271$A6654F88-0619-4D35-BC9F-0F7FD1F98D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f6989beacfced7a590af9cd726d2f22a419bf2","datavalue":{"value":{"entity-type":"item","numeric-id":4370233,"id":"Q4370233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288ea67ce6a8acd74fc804002e0dbe7a84f55431","datavalue":{"value":{"amount":"+0.8744256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2405271$044ED014-3C88-4A00-A757-A0D6BA822DE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405271","badges":[]}}}}}