{"entities":{"Q2914243":{"pageid":2924963,"ns":120,"title":"Item:Q2914243","lastrevid":58053480,"modified":"2026-04-03T15:09:31Z","type":"item","id":"Q2914243","labels":{"en":{"language":"en","value":"Two for the price of one: lifting separation logic assertions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086020"}},"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":"Q2914243$45B7D2A5-AA4A-44CD-8A77-C8BF56106857","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"121850743f766929bd47de0aca81853dc81ed3c4","datavalue":{"value":"1258.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914243$83363075-630B-4A78-BEAA-B3A24BF79FA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bcc069abf9c8ddd422f29d21af9e382a971d585","datavalue":{"value":"10.2168/LMCS-8(3:22)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914243$53E90AC7-3160-4F72-9DC6-D814C3DB4819","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"762c14c2030dd3ad29959bb2de51a0d6a2d43cac","datavalue":{"value":{"entity-type":"item","numeric-id":444499,"id":"Q444499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914243$307ACD62-55CC-4BB6-90F8-476B2A4313D1","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":"Q2914243$DDA6F1C3-833F-463B-9E44-0880994ECD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914243$AA832044-EB29-4720-A9CE-4B962FF2A687","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914243$25AE0E55-99C0-4522-9886-B2CC816023B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914243$D1FF0E39-5645-484A-8CD6-5BB21483792C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f64b20683096b48f16b7e216a42bb31065366b69","datavalue":{"value":"https://arxiv.org/abs/1208.5895","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914243$75EE15DC-ABCB-4541-9530-2938B1F50639","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914243$98CE5A7E-C7AE-47BD-B420-2BA4BA2B8CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914243$EAA2F404-749E-42FA-AF55-98D348619858","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"183c05a4f3dccae5ca40a5cdeb7b6d94fb002d4e","datavalue":{"value":"6086020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914243$925FAD95-FD76-47B6-8B5E-236EC9B17789","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914243$FA3204C8-77BB-453B-9932-34D28D3A68ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a42c8a61d3660ede2f3a51c558b802f2a3aae","datavalue":{"value":"data abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914243$185CA053-01BF-440E-9679-0EDC7D2F1D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"090b6e4127ba8ee0afceba0beb548e30698d1ee5","datavalue":{"value":"relational interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914243$3BC1BA87-2B3B-4189-9DF6-94014C3E70ED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914243$50FCD730-2665-451E-AC23-720889E8569D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914243$0C46D4D6-63DB-4128-9613-64C04AF0E0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914243$D6798080-7BF4-4577-A5B7-73CA18FDAB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914243$F7E79E42-4CC4-412D-A9C3-6F77F8C6D051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914243$4F576879-CA45-4421-BEFE-506126D810F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914243$FA4B025D-3180-4CF6-B1DF-31B51D453CF0","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":"Q2914243$713B379E-261B-4B05-80B7-5FA2CB33124D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8b008e94f77b0136671dc8a7f71e90bb96b3d49","datavalue":{"value":{"text":"Two for the price of one: lifting separation logic assertions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914243$A8D58415-B989-4853-8D6A-650C416EA8B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e15fef631af27afda6c342f2631a2923f234ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5758059,"id":"Q5758059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3ebccdef4e05535b9d33c808f0fcd64d7df2f6","datavalue":{"value":{"amount":"+0.8002663850784302","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":"Q2914243$F50689CC-9D9D-411C-8FFC-D536720B33C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197a8fbbadbaf6089c71317e8b619f67ab7caf6c","datavalue":{"value":{"entity-type":"item","numeric-id":3518282,"id":"Q3518282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3ebccdef4e05535b9d33c808f0fcd64d7df2f6","datavalue":{"value":{"amount":"+0.8002663850784302","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":"Q2914243$FB4B389B-B546-4CCF-ABE2-8B229C078762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e494b8ba3180a56bbba4cac54a6e75bdaf5b8f78","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a62dc09d5def4fc1e2bc1346a1c00fce7ccfa3f","datavalue":{"value":{"amount":"+0.7813063263893127","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":"Q2914243$A1B5EF39-5851-4D33-8E5D-2CFD09F1AD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed27f131784e91e2db977464f9320c3291042a3","datavalue":{"value":{"entity-type":"item","numeric-id":879369,"id":"Q879369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b7762296e19316654e8bf6602aa6f929dcd2ad","datavalue":{"value":{"amount":"+0.7565377354621887","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":"Q2914243$FB05B105-E786-4E97-B546-3F3F52EB3BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9eb6265b84afbb19a5cb37144d3de84a13ee98a","datavalue":{"value":{"entity-type":"item","numeric-id":549676,"id":"Q549676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a9b84a60312deda44c234a926d4a9e1b392b7d","datavalue":{"value":{"amount":"+0.7480694651603699","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":"Q2914243$705154D8-2C85-481F-BE47-A538BE27C055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914243"}}}}}