{"entities":{"Q5452718":{"pageid":7482277,"ns":120,"title":"Item:Q5452718","lastrevid":50327360,"modified":"2026-01-13T20:11:59Z","type":"item","id":"Q5452718","labels":{"en":{"language":"en","value":"Runtime Checking for Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259566"}},"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":"Q5452718$1A5A8843-56E4-4ACD-A327-0FB556A674A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"384c99b23c0fcf535cf66a9ed2fba12068e64141","datavalue":{"value":{"text":"Runtime Checking for Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452718$3068B69D-EA3D-4C05-8BE1-552AAE9F8E34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cefa88069efe3c64c1b80878e3085e803db9bab","datavalue":{"value":"1138.68456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452718$61B287B1-FC53-481B-A655-4852B3A0A772","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54f85e7a709b646464b480ea2ee7164b4a281904","datavalue":{"value":"10.1007/978-3-540-78163-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452718$E0F3D598-D1BB-45B0-997A-48EF7DB5F808","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d434b3386a2e1d22ea7d407073d0af6bd3f7060","datavalue":{"value":{"entity-type":"item","numeric-id":436398,"id":"Q436398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452718$DBD2C5B3-93C2-4B3E-9AB5-305ACAB46A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452718$0E8B2E1E-F10A-490D-9541-F241CB86C471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452718$80093EB2-597B-40E4-ACD2-64C7FE97172F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452718$90B268DB-C48A-4F8B-953B-E3BD9D5B3A86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452718$64CA7060-8947-4B4F-9DE7-BBF3B21E3F5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de60c271392c2d173552e1bb28b4c1f29db356f8","datavalue":{"value":"http://infoscience.epfl.ch/record/161471","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452718$301025EF-87B8-438D-A9A2-E1A7D64B291A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452718$3FB06461-F2DA-4506-A7CF-8C6833980B4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a8c65aeba82ad4cf263aac8aa5ed0c8d6666e04","datavalue":{"value":"5259566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452718$93072D6D-E397-4E2E-B414-41FC964D172C","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":"Q5452718$AC07FAE8-D108-437D-AB78-E86DC50A99D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b580299042b4702555bb3caf594bf0adcf8a8fa0","datavalue":{"value":"W1561702747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452718$E0E40008-79FF-4471-BEBB-00E7C4582737","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3477aa6b52a9cb3c55e5d78b00efcaeec4c9ef59","datavalue":{"value":{"entity-type":"item","numeric-id":2828247,"id":"Q2828247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834548f7d87b3fba239fd7ee8449fef113cdff28","datavalue":{"value":{"amount":"+0.752568781375885","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":"Q5452718$40BD5897-5271-4E90-85D3-7CA6036C0C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0a6160766d56fcc5b54b16a1441c7012255209","datavalue":{"value":{"entity-type":"item","numeric-id":5883571,"id":"Q5883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd063b2fc012ae6c67d1341f880520d98a0e4c5","datavalue":{"value":{"amount":"+0.7421554923057556","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":"Q5452718$1394F245-83FF-4E4D-90F4-C0FFC2942630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59554135aeae70a26490f68ca0b06ddbc8ea8090","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c5610c7da36fa74316bece7f8c274c24756193","datavalue":{"value":{"amount":"+0.7297772169113159","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":"Q5452718$9D15CC1E-EC9A-4B3A-B5C0-C97B1A29AB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170fd69e9f13207e39d3b429d677d9952e45ad6b","datavalue":{"value":{"entity-type":"item","numeric-id":2915132,"id":"Q2915132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cdd38a2fe832219c367ed26625a179e557eb88","datavalue":{"value":{"amount":"+0.7245123386383057","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":"Q5452718$45B3D9D6-64CF-4C1C-8C18-6F0447EDB189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f54f8ca4ea4287e8548c97e990f9f054a98a7c","datavalue":{"value":{"entity-type":"item","numeric-id":1799106,"id":"Q1799106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a5b47a1c022ae71e5ea9cc9227c780d87fc256d","datavalue":{"value":{"amount":"+0.723774254322052","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":"Q5452718$6E61B493-AA22-490C-8F6D-AB7A2B56E5EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452718"}}}}}