{"entities":{"Q4928426":{"pageid":6958008,"ns":120,"title":"Item:Q4928426","lastrevid":58368156,"modified":"2026-04-04T22:13:05Z","type":"item","id":"Q4928426","labels":{"en":{"language":"en","value":"The tree width of separation logic with recursive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176198"}},"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":"Q4928426$A90D0773-11D4-44A1-9347-6845E7711095","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c973416070d916c362c67798af86f99173ba4647","datavalue":{"value":{"text":"The Tree Width of Separation Logic with Recursive Definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928426$26FFE8FA-B347-403E-A7DE-B9AD23AC7ACA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2467084eb2c784f2e06ba7d55a828498cc704361","datavalue":{"value":"1329.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928426$9166B673-1ED5-4146-9CF2-3C32343352B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcd2f2b34d8ef0d0d500b00a6c8b3de97c3671bf","datavalue":{"value":"10.1007/978-3-642-38574-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928426$CEC8A944-7C07-4496-BE58-72E2B00E78A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928426$B85E93BB-D826-4B9F-9F59-92971A82E188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b07311c614a61a408aa9adc88aa384743c3f783","datavalue":{"value":{"entity-type":"item","numeric-id":2225469,"id":"Q2225469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928426$0301289D-52D2-4D73-9093-A694C0485750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6439f80db2ada6e86c7129feed371049e77c5451","datavalue":{"value":{"entity-type":"item","numeric-id":2441714,"id":"Q2441714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928426$BB0540BF-44B0-4F8D-8BB9-605B6B323275","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928426$695317D4-09BC-4210-8180-D0C9ABA30DA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928426$E50088B1-A80A-41C0-B964-7AF9D8393490","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fc75b52684463928b4b08c80a3f14e1261bf067","datavalue":{"value":"https://arxiv.org/abs/1301.5139","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928426$6183D596-8D5B-4FDF-A9DF-D9B2CB274870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928426$C4E96383-99E3-4829-9328-E5564D7FFE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928426$18E2E350-704A-401D-8E80-2BED238B9BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928426$A2F4F9A0-76C9-4E86-B478-0B3683B0C9CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df8d0458742eb3c84eb58218cceb2a9ae6d105d1","datavalue":{"value":"6176198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928426$FFD330BA-0D94-4F09-A9E9-DF6A05B202C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e188d0504db629a156fe6c8ee584863634102d2d","datavalue":{"value":{"entity-type":"item","numeric-id":19428,"id":"Q19428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928426$F4E47D75-6D52-44B0-BE82-F02D2E1E63C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86e863a5050d80bfffa55dffe8141581cefb24d3","datavalue":{"value":{"entity-type":"item","numeric-id":40256,"id":"Q40256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928426$6ADDD3DD-B4CB-4B50-9434-B7953341FBF7","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":"Q4928426$648738BA-1198-4EC6-B4B2-D7A0A01EBFAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f9f6a347c9816d348bc9ce17445c507f8164fd0","datavalue":{"value":"W1910824881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928426$C65E6FF0-76D4-4E9F-9B2B-E992F5EFBE73","rank":"normal"}],"P1643":[{"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":"1b54af3808dac347ccaf7fcf5b5d5d5f86c678fb","datavalue":{"value":{"amount":"+0.8384140729904175","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":"Q4928426$E082F83C-FB51-4AA1-8BF9-4DE71065A392","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":"38973616b05e427eb4beffc22e6c0fd256e14397","datavalue":{"value":{"amount":"+0.8075026273727417","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":"Q4928426$0C9FB508-BD31-41B8-AAF9-ECE3E2EF3357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93e712b1f53a998001e961d4b18500be2077891","datavalue":{"value":{"entity-type":"item","numeric-id":3460899,"id":"Q3460899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2326080d3f8a8b90af6f13521b29d1cbcda165d1","datavalue":{"value":{"amount":"+0.8014833927154541","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":"Q4928426$ABDFC24C-50FD-463C-AF7B-1F15F47A7336","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":"88b505dde1ef06ad2c8290eb8ea442a181af5329","datavalue":{"value":{"amount":"+0.8012106418609619","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":"Q4928426$732D3F3D-1CDF-46C4-84AE-A6ACA786E80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85485cb6787313ee550b6a1db69031acc11a9b1a","datavalue":{"value":{"entity-type":"item","numeric-id":5111651,"id":"Q5111651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7253af9e0a712ef402b25295cdb2bf59bc9788","datavalue":{"value":{"amount":"+0.7947421073913574","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":"Q4928426$30EB6AC8-E342-4C28-BC04-E858E9EB15C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928426"}}}}}