{"entities":{"Q5408442":{"pageid":7438016,"ns":120,"title":"Item:Q5408442","lastrevid":58560120,"modified":"2026-04-05T18:23:11Z","type":"item","id":"Q5408442","labels":{"en":{"language":"en","value":"Proof search for propositional abstract separation logics via labelled sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282444"}},"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":"Q5408442$F72A7C62-6962-4EDE-A1CE-31E661F65C1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17d2d733485a0e3a1ab50694411a6198080b1e36","datavalue":{"value":{"text":"Proof search for propositional abstract separation logics via labelled sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408442$246CF1D3-71DD-4CF0-B2A1-C0BF0A91AD24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84862089a413b4f78e08c9793b9617dda589a582","datavalue":{"value":"1284.68402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408442$AAF45BF3-7CC9-4D1B-8208-020EF49F3082","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01f73bbcf6a7cc20014dbfae03d4e73504da6d3f","datavalue":{"value":"10.1145/2535838.2535864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408442$65C2DF33-953F-479C-B948-6010DCEEAADD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bcd82e5ab38b299bdbc22cf18fea63d821286f7","datavalue":{"value":{"entity-type":"item","numeric-id":1687745,"id":"Q1687745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408442$4371B173-5B91-4C38-8A14-35634DA4D49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cc236d1b83c1da4faad787dc86785ac363afb66","datavalue":{"value":{"entity-type":"item","numeric-id":1652987,"id":"Q1652987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408442$5F3E3ACC-B580-4D5C-89B2-6E3F003103F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408442$E1AC0F91-4B37-493B-9E59-74AC4C72EF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408442$EB84A3E5-E5D9-4180-A94F-9836FA5E1854","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408442$4BD55F0C-565C-427F-80C0-CF3E9B422F0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408442$E0807B7C-5412-4F78-B684-62AE9C7CCA50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd607e5259d732228cacc95f38229f236795d7b1","datavalue":{"value":"https://arxiv.org/abs/1307.5592","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408442$55BFEF86-FFED-4470-8B79-C2A4386D23D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408442$63B65D32-8A12-4D4E-BD54-0BBCAA463A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408442$084B3B99-8C1D-494A-8F98-5002AA378C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408442$1787A181-F020-42E9-8CFA-7B073792086B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24a281012f2510849c184324019111bb7d4141e9","datavalue":{"value":"6282444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408442$B90D18D2-FDDD-4A32-9DA8-6206E0CA9723","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced29e4b54e71bf5856310c87c09bc6297fac494","datavalue":{"value":"abstract separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408442$81DA67D1-1F1A-413B-AED2-324AC68F9637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408442$62B8882F-7EA4-4E22-9351-5EDA3CF19E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a836674277833dc91f7f9323e6378dfce138278d","datavalue":{"value":"bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408442$E5EDB266-887E-4AA4-B5B5-FA37AA50BE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5047da4574726aede831b860db00e09b585e5ee8","datavalue":{"value":"counter-model construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408442$7129F5F0-343D-4A70-BA8F-296B4D30D145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1447ad44f0cbd9f1471814413ea754aa8d5f3d9e","datavalue":{"value":"labelled sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408442$4ED6326D-0418-48A0-BB78-ED32A47DB833","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408442$D2B9629C-5C7F-483C-81BB-37359BF66DEC","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":"Q5408442$D0BF99AD-2A56-44C3-B5F1-F1FB61BE56A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbc1807d3cc1baa16dbf7a90be545418171926a0","datavalue":{"value":"W2118029706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408442$C231E562-A770-4822-8A9F-575EC052A10E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079700e8a3458e82a442ea0ce54422cd2135c7a0","datavalue":{"value":{"entity-type":"item","numeric-id":4579962,"id":"Q4579962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fcba7357c5b972f663ae85049c32f50bdaeb8ba","datavalue":{"value":{"amount":"+0.8976166248321533","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":"Q5408442$67BE718A-8EF6-4BD1-A763-91A6F06A5847","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":"b8615674f4e812ef4e8915f0c18a39b37301800d","datavalue":{"value":{"amount":"+0.7809528708457947","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":"Q5408442$F83E7505-F194-4C65-8B7E-FAD762ADE753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0481f031154a8dd53d911682af117a071e4b93aa","datavalue":{"value":{"entity-type":"item","numeric-id":3179309,"id":"Q3179309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c680dfcf0ae4a017df756cd96fe58e8ed451b328","datavalue":{"value":{"amount":"+0.7739696502685547","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":"Q5408442$27202644-7AFA-427B-A9B7-5765C4E78F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec93335b03587be5114c91eec4355ce9f17b78a1","datavalue":{"value":{"entity-type":"item","numeric-id":1653006,"id":"Q1653006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc26feef0ef294de3e8b1968f2ce5973ce54532","datavalue":{"value":{"amount":"+0.7734806537628174","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":"Q5408442$486F0BDD-5437-4929-943A-DE4E1B0679DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1694d6bf440cb2a8ed659587389564d3cae23a","datavalue":{"value":{"entity-type":"item","numeric-id":3454118,"id":"Q3454118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb979da01485d7f5be1cf117f17cae4429d4868","datavalue":{"value":{"amount":"+0.7727892398834229","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":"Q5408442$47E59A9E-2EC3-45E5-B0EA-45B0BEC4269D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408442"}}}}}