{"entities":{"Q2789053":{"pageid":2799791,"ns":120,"title":"Item:Q2789053","lastrevid":83429834,"modified":"2026-05-07T07:50:03Z","type":"item","id":"Q2789053","labels":{"en":{"language":"en","value":"Compositional entailment checking for a fragment of separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6546227"}},"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":"Q2789053$31CD98E1-5B1A-4C48-825A-E0B6262E9DEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c66a917e6a8c524dbb5affcba0451701d786f3e","datavalue":{"value":{"text":"Compositional Entailment Checking for a Fragment of Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2789053$1C5915E4-2435-4CD8-87D0-4036C824F97B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23fe1b97fbc21976bd8c335dfb2b599e0590f0f7","datavalue":{"value":"1453.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789053$41ECAC60-BCE5-467A-A091-07105A4805B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be1d06249f65c9aee63c66bb69ffafd11e8c907b","datavalue":{"value":"10.1007/978-3-319-12736-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789053$1A42EF59-7886-48F8-B4D7-915DC6E7AD69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789053$8C487C31-2994-4668-ABE8-A1B4DBFE2468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2f44950ca7dd1c6c1a3c279ac4a004cf6e7360f","datavalue":{"value":{"entity-type":"item","numeric-id":300411,"id":"Q300411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789053$F5D3F306-218E-4168-A879-76ECBD2F734F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10becd9e88add786cbcb24a4b7c65328ccb2ab08","datavalue":{"value":{"entity-type":"item","numeric-id":1688542,"id":"Q1688542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789053$127A4357-EF8E-4929-A7A3-8E3E48842A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789053$39DD6DCF-8C3D-4995-A783-A4DA25DD7AE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789053$8FF31B02-A953-48A5-BCD4-2750CE4623E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53e678e29f7b2f89df1b8e0b1fc2ce3cab575d1","datavalue":{"value":{"time":"+2016-02-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":"Q2789053$531A575F-24AD-4050-BCD7-29D994CCE463","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789053$3CFDB012-29D8-4C37-A581-E11206E1948E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789053$5B72CC84-2543-4E59-9A46-EC9CC5F956F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789053$CE11D1D9-0D3B-4F44-8E6C-9136B93D76E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789053$99F2F086-3B8A-4009-979D-93B6551BE0B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22b658c3516b31f27cddd72f35214d59339f02d4","datavalue":{"value":"6546227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789053$6C21ABE8-961F-4E8A-BA05-8BED1344F9BE","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":"Q2789053$299397AC-CFC8-4B48-AA79-72A62D38A0D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7100fd8e37ec74dcfcb5c785b4ab331133fdffc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-12736-1_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2789053$5385C298-98EA-403D-9625-BE57F1EB49DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5079271c97f29a1e89b3807c0f919588f4dc4693","datavalue":{"value":"W3023397123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789053$FDB2EF75-E35D-4A53-A8D4-0BFD35D89D43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa10a0492b8f73c4de4e6b54492d0fdccf84bf3f","datavalue":{"value":{"entity-type":"item","numeric-id":1688543,"id":"Q1688543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40f927c059c338d13f7ad4ee0820248d1f24468","datavalue":{"value":{"amount":"+0.995328426361084","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":"Q2789053$552FF4B6-C4F7-49B4-99CA-D55DDB9FC0FC","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":"9c75a4db9d0870b1b9f4cb49648308bcc5cfd5cb","datavalue":{"value":{"amount":"+0.8773556351661682","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":"Q2789053$3883D59C-F6B7-49F7-A25F-E18F591888A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d611baa5cecbde78350b3dfcaeec69140a09b18","datavalue":{"value":{"entity-type":"item","numeric-id":5326282,"id":"Q5326282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b4432cdab03da13511191a5cb6572610e8296d","datavalue":{"value":{"amount":"+0.8354588747024536","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":"Q2789053$6A8DD021-2656-4CE1-ADCC-B9AD73F289D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e19bbb791608ca63a345b3983f727d0d9a2b56","datavalue":{"value":{"entity-type":"item","numeric-id":3457790,"id":"Q3457790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7435317c61dde30a314ef7b5c123f3713391c996","datavalue":{"value":{"amount":"+0.8351617455482483","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":"Q2789053$1DB90EF1-F038-4A5E-B4B7-D0676BAEF94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd92fcbd187999428755f3015a6c0079f87cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f2443423368d124a67b36c651064ce320c751e","datavalue":{"value":{"amount":"+0.8329276442527771","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":"Q2789053$BA9BF916-BD5E-4CC1-9369-EC9C805C2DAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional entailment checking for a fragment of separation logic (scientific article; zbMATH DE number 6546227)","badges":[]}}}}}