{"entities":{"Q5326286":{"pageid":7355860,"ns":120,"title":"Item:Q5326286","lastrevid":51790280,"modified":"2026-01-20T01:28:04Z","type":"item","id":"Q5326286","labels":{"en":{"language":"en","value":"Ribbon proofs for separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194795"}},"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":"Q5326286$8F195FF4-465C-4B36-9DDF-1711935DF7BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3abf928d6e7e9789eef0b2a0ca1ce2bdbedd411a","datavalue":{"value":{"text":"Ribbon Proofs for Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326286$04FE19FC-4D77-4566-B884-C51B6894D0CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f4d453b760cf232b3faeabbd0c0f390e7ab4b22","datavalue":{"value":"1381.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326286$4B282FD8-65FD-4C9E-AD45-AD9710F1A6B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52d4d2976e93e1ea16bd6ebec26d6ae88919da13","datavalue":{"value":"10.1007/978-3-642-37036-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326286$DD6E50B6-A599-4EC6-915B-8874FC219618","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1db79a73f85c5893882ed7dfa6bcba56e72d8ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2226735,"id":"Q2226735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326286$BA60961D-09FC-4499-A0E9-C63186AC9AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d1ebe07c970a6e481e7cf6f0bef09721723f2c3","datavalue":{"value":{"entity-type":"item","numeric-id":832212,"id":"Q832212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326286$B4A32CDC-033F-47E0-8984-94B66073E85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd33ff146caa74aefde0dc36311b64aaa0675018","datavalue":{"value":{"entity-type":"item","numeric-id":2151271,"id":"Q2151271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326286$3BBBF696-A2A8-4EB1-B02C-D61F0BD6FF1C","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":"Q5326286$6ECDD54F-475F-4EB3-8379-B5D97B1CF5BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326286$57B8FDBE-C64F-43B3-9937-C9BF40A2AA74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326286$CAE4C674-4CC9-40E5-8E23-969B7AFC7D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326286$0DBA2EB2-310D-4AF0-B487-5C4D24883F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326286$F3503ED7-F978-4C96-8999-0247C18A70DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"276466f7bf6354c926cb0628450e2deb94144882","datavalue":{"value":"6194795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326286$9B7D0258-45AA-4DCB-B5E2-54E9D3A9FF06","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326286$DFC591F8-6D98-4404-96C0-85838F78C29F","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":"Q5326286$4EAD0F81-39AC-4510-ABF8-483AB67530A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"725ee289e758e78f7d69bb531ac17db15d966d08","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37036-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326286$5D6921B3-C792-4CFF-85FE-A47C3E877972","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3171276d1eee0582ad728dbc46d7451a420f3694","datavalue":{"value":"W1484252365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326286$AC736664-251E-4467-B098-9C35EFC33C80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bcc600da3aae7c2a245054bf51e263a2b2356f3","datavalue":{"value":{"entity-type":"item","numeric-id":276462,"id":"Q276462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88b2a561d7afbd8a89ae8a2823af1102e726860","datavalue":{"value":{"amount":"+0.807152271270752","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":"Q5326286$33D3CCEB-3812-4A2E-A340-5E92240F2279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56a36651f6e4d7294229e043912ed1e3781dddb","datavalue":{"value":{"amount":"+0.7424994111061096","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":"Q5326286$EAEE3A29-39DC-456E-B668-4E2A4B0E182C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918644e111da7d86cdbadbebc6c81f059daee9d2","datavalue":{"value":{"entity-type":"item","numeric-id":5747672,"id":"Q5747672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ef783c954f57c6733a83819b736392bdf440c3","datavalue":{"value":{"amount":"+0.7397014498710632","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":"Q5326286$6D93837B-5C9B-43D2-A5CE-85D2B8246867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8785aab0e3c1f4fd35faeabbe37c4b0af6291286","datavalue":{"value":{"entity-type":"item","numeric-id":5408443,"id":"Q5408443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5797e8c65623b29a81030f3e0279aac8a205568","datavalue":{"value":{"amount":"+0.7172898054122925","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":"Q5326286$565C7185-F955-4EBC-A672-56B3599A81C6","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":"a493b6a62775cb1398904358a87c880b7f37b4e7","datavalue":{"value":{"amount":"+0.7021701335906982","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":"Q5326286$5EDDA864-6936-413F-B7C2-6A72F2721C29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326286"}}}}}