{"entities":{"Q2852352":{"pageid":2863072,"ns":120,"title":"Item:Q2852352","lastrevid":42271522,"modified":"2025-06-04T00:56:03Z","type":"item","id":"Q2852352","labels":{"en":{"language":"en","value":"Variables as resource in separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214052"}},"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":"Q2852352$792B390C-2BF9-4028-A810-E7FD2388B6EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e7332a90a21884708c4017936b101dcadcca206","datavalue":{"value":"1273.03101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852352$8C58D1DB-29DE-4C63-B317-16117B31FCF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3396d8d6c2ec88284e647e78461450d99ea90ad","datavalue":{"value":{"entity-type":"item","numeric-id":469350,"id":"Q469350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852352$70C6794A-5E29-433A-9898-DAF23B40FA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a7aa3b44f4693179521a8497c029ed5d3d49964","datavalue":{"value":{"entity-type":"item","numeric-id":964497,"id":"Q964497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852352$56849260-83B0-4011-8B2E-CB20F7AF4887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852352$27CFEC7D-A567-4023-B7E5-84708D90ACBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50af293f098ce2d7efed0fa0001e47f192dfac6","datavalue":{"value":{"time":"+2013-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852352$F23E1AF0-E4E9-41C8-A5C9-44C2E6360E63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f974d430602a03588827bf833400a1e701db9bb9","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106001964","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852352$102E6FE4-D3FD-4F43-A779-1E7A2032992E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852352$A3F618B5-C880-450B-8275-54B3F1D04A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852352$AA218C98-4965-4CEE-9EA1-DE1D4594245A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852352$317A994A-FC83-400A-BF7E-B8EA3C52F5AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d879870b2421ab3c18516f93b71f939e330986c0","datavalue":{"value":"6214052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852352$3F752F78-1C0B-43AE-884D-A29F220A67D6","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":"Q2852352$6FFAFD31-D471-4089-A2A8-BD584CDAFBC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bbbaf2f9ca3b66021c0b6f75bdf438c084c54f","datavalue":{"value":{"entity-type":"item","numeric-id":5896086,"id":"Q5896086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50156f259e6d183d377ad7696f87077344a8cb56","datavalue":{"value":{"amount":"+0.8739865","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":"Q2852352$28593614-4C90-4910-B956-AC278DA22AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fadef567dfaba762ff0e1098f0e2f0d4bfd3956b","datavalue":{"value":{"entity-type":"item","numeric-id":5918351,"id":"Q5918351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50156f259e6d183d377ad7696f87077344a8cb56","datavalue":{"value":{"amount":"+0.8739865","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":"Q2852352$B0CDB1D0-335A-4390-AE05-68B519EF7392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad4eba5130982629b82000421758356bdd81e43","datavalue":{"value":{"entity-type":"item","numeric-id":4834481,"id":"Q4834481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfcbe81e59cf71a9b89efc26496ed2c23e7b6896","datavalue":{"value":{"amount":"+0.8655134","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":"Q2852352$9D031E8A-0D50-4BAD-8BDA-7DE5C3487106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2411f5e677cfdf43d8ee2f3e39da8b9a57061031","datavalue":{"value":{"entity-type":"item","numeric-id":2056220,"id":"Q2056220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e880d71cdaa7883833a9a152720ed37e2337208","datavalue":{"value":{"amount":"+0.8527204","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":"Q2852352$E12826E2-9436-45C5-935C-70BA5EA29684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2e1fcbebee0a8d41a0a02b33c070a8bf2fb565","datavalue":{"value":{"entity-type":"item","numeric-id":4537520,"id":"Q4537520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92859682b36123ebde22bf7b5617bf8fdf00c05f","datavalue":{"value":{"amount":"+0.8406864","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":"Q2852352$594021F4-FBFC-46B5-B82D-BB5AE46CA615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc718aa1c80923324709ef97e3bb512e84befcd6","datavalue":{"value":{"entity-type":"item","numeric-id":4612424,"id":"Q4612424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6c4fc698270c87c9c0314c7d6570788c39ece1","datavalue":{"value":{"amount":"+0.8403096","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":"Q2852352$EBAB0F60-73AE-47A7-B0FA-1ED5A6BA6275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99028e52e84438dcd63941e20ddc069a71aa9ca8","datavalue":{"value":{"entity-type":"item","numeric-id":4981154,"id":"Q4981154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2c267908c5bca949856be1fded7ba2fc424faf","datavalue":{"value":{"amount":"+0.8398294","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":"Q2852352$D7FC88CB-9A0E-431C-B712-88117B72E5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfd6b7eb3ccae5d555f30bc668989bfd8038ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2411038,"id":"Q2411038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2c267908c5bca949856be1fded7ba2fc424faf","datavalue":{"value":{"amount":"+0.8398294","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":"Q2852352$B11E10BF-D639-4D6B-8FDA-7E2CB42305A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5977b8f5398efc464eff577f6e15c1ea800ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2673340,"id":"Q2673340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61afad052ad0bb528a9a4dc9f35a4183be65b331","datavalue":{"value":{"amount":"+0.8370422","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":"Q2852352$7BB9FE29-E08D-400E-8D93-80287BB23BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96f8716fcdde95b44e2cf039251f221fb0c8e11","datavalue":{"value":{"entity-type":"item","numeric-id":3142555,"id":"Q3142555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3166d932b0de187d180356f3d821cf81a4a45371","datavalue":{"value":{"amount":"+0.8293337","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":"Q2852352$55CE089C-6F42-464C-864C-74B0C82D4E20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f221c96cc4eb1c9e0738eaed31dfb2f4a452e44","datavalue":{"value":{"text":"Variables as resource in separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852352$01B483DD-4D60-47BC-8AC3-2C33916E7F2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852352"}}}}}