{"entities":{"Q2055854":{"pageid":2066596,"ns":120,"title":"Item:Q2055854","lastrevid":78550016,"modified":"2026-05-06T11:51:42Z","type":"item","id":"Q2055854","labels":{"en":{"language":"en","value":"Unifying decidable entailments in separation logic with inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437079"}},"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":"Q2055854$80F7B391-172D-4F00-8863-7659B592FC38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4fe09c67693623f0e4784c4d8f463aa6589eb34","datavalue":{"value":{"text":"Unifying decidable entailments in separation logic with inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055854$1CE9CFA3-B1E8-4D86-9F43-EA0A203F377D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4f53d506b7b875f9a2ccc539fc6e55f6f2830cb","datavalue":{"value":"10.1007/978-3-030-79876-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055854$4D07BB69-CB03-4087-B41D-7A222A955587","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055854$E76D0D0C-D032-46D9-A60A-A65439F9A954","rank":"normal"},{"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":"Q2055854$2058F1AD-E276-4899-A60C-2221548B0C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055854$05800273-194D-439C-A28B-B26D64F18068","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055854$BBAEFA64-3A3C-4173-834D-A2AF1E60AF14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fa249ae51a939013ccf025e9f28d976872da947","datavalue":{"value":"https://arxiv.org/abs/2012.14361","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055854$1F7AAFF3-CFAA-40B2-AD98-3EE5E700BBBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055854$98E94F3E-9ED3-44B1-88B9-2B9B181DCFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055854$6AC8D21D-943B-496E-BD13-515C790E09EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f045596fa9cbd77aed3433e0a01810cb68157b4c","datavalue":{"value":"7437079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055854$754D0556-D96E-4AC8-B3E2-E6FC96437DBF","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":"Q2055854$B047F4FA-E6A9-48DB-A87B-ACB69D862629","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c05b9eb41d5e08966b500f8b66d1885e1618427","datavalue":{"value":"W3183368753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055854$367D1535-2C8D-4C90-BCF1-13466DD297AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50703cd05e2859946ec4c082f410f58ddf7eb379","datavalue":{"value":{"entity-type":"item","numeric-id":5410687,"id":"Q5410687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055854$3465F47E-90EF-4D43-9C6B-68A19F7FED99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2668941b9cbb4011fa79194e46bde158d377b1a5","datavalue":{"value":{"entity-type":"item","numeric-id":5121270,"id":"Q5121270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055854$22680683-EEE2-42C7-9100-EB0AA84057E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c847202badfa84aa2ad0e0d9dc0d01a542394d","datavalue":{"value":{"entity-type":"item","numeric-id":2234797,"id":"Q2234797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055854$A54D06E3-911D-460A-BE08-5DE718F4CBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad8c79df9be7434470d2f99510ebe66cf515365","datavalue":{"value":{"entity-type":"item","numeric-id":2055854,"id":"Q2055854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055854$9E0312E2-127C-4D81-99C1-662EC9B4E235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dacbb7b14dcb3672700d9db550ae5fb6adc5c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055854$0220E90F-394B-4AD9-B1C0-A036CC2B4D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37eafa32561bedd2503fc06cf62f87454a99ba0b","datavalue":{"value":{"entity-type":"item","numeric-id":3457790,"id":"Q3457790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055854$BFB85A25-9EF1-4CA1-9832-90497368E296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055854$C3C1B465-406E-478D-840C-329DC4E74105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2205cfc4873b2d93172d2dfcddac456527b263c","datavalue":{"value":{"entity-type":"item","numeric-id":2414251,"id":"Q2414251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055854$7AACF038-E206-4C25-9B43-803B008476B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79bb9a85afa6144e47ff21d69a0598b4dc1c0ea6","datavalue":{"value":{"entity-type":"item","numeric-id":6091412,"id":"Q6091412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a0051162c58ad2afabffdfbed56fb1217351af","datavalue":{"value":{"amount":"+0.92400587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055854$818790CB-9E60-4E0F-8F8A-FCE6F8A34642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db28bd672936b61fe9c8cde097ce2d66af8bf386","datavalue":{"value":{"entity-type":"item","numeric-id":5410687,"id":"Q5410687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46275a58f6390bcdb27e10c0503569716e2c951c","datavalue":{"value":{"amount":"+0.92313886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055854$087B31AE-0C14-4CA2-8C26-9FA05A5C8B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3969191348c24b8a5b3176214039e203a83af847","datavalue":{"value":{"entity-type":"item","numeric-id":5875940,"id":"Q5875940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"030df911d4a49e2619ef29768cfff5304701e509","datavalue":{"value":{"amount":"+0.91835546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055854$23C410B3-C7FF-45F6-AE9D-9617E937A152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250834f45f057a927abfea28e9f0a9bff54c14a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf53d84f5fc2dd1b6d030a9512bc2a711d15ebc","datavalue":{"value":{"amount":"+0.91418016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055854$AF5E29D5-3178-4698-8627-A79DFE1DB64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321dfc3b4c9c7651a8484ba5234ad14e8d589acb","datavalue":{"value":{"entity-type":"item","numeric-id":3179308,"id":"Q3179308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0777e8dda4d254cf59dfd5f4440b783e856befc","datavalue":{"value":{"amount":"+0.9138568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055854$48B3B088-1EE4-4103-B58E-5D1A7FC7A2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c282d2e06edadb860c32e94e0a6139e7f24a5f","datavalue":{"value":{"entity-type":"item","numeric-id":6161426,"id":"Q6161426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e4eb25cd5aafe0c007a97634630033dfe6f0cb","datavalue":{"value":{"amount":"+0.9090794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055854$0E696AFB-6691-4B50-A6F1-E83D097290A6","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":"dc290086b57dd7dfadbe694af0d19d1f0125b083","datavalue":{"value":{"amount":"+0.9084158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055854$E92054EB-DAC6-4D04-9BA0-2D821C123898","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":"f697267965d78931285fbf83c0dbbde371e87f23","datavalue":{"value":{"amount":"+0.9053997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055854$0E1623FE-A9B9-4B55-B2D3-86D7F8E3A272","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":"b03eb17c74d8dad53d090f13a1eec2b13e1a6a5d","datavalue":{"value":{"amount":"+0.9010148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055854$38D036E0-03D0-4A5A-84B0-4E03E40D4439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b735f2c99474463fb4b127c2fe6895cecf81e9","datavalue":{"value":{"entity-type":"item","numeric-id":6053843,"id":"Q6053843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cf5b9bf6efa9b47cbfeaaf1eac1f392c52a7da","datavalue":{"value":{"amount":"+0.9000766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055854$A2C53E56-CFBC-4301-AC64-D16534B3C46E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055854$D21CB0FF-27AA-43A5-996A-3057BAC84452","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unifying decidable entailments in separation logic with inductive definitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unifying_decidable_entailments_in_separation_logic_with_inductive_definitions"}}}}}