{"entities":{"Q2234106":{"pageid":2244849,"ns":120,"title":"Item:Q2234106","lastrevid":71634378,"modified":"2026-04-13T23:32:50Z","type":"item","id":"Q2234106","labels":{"en":{"language":"en","value":"Compositional satisfiability solving in separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410656"}},"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":"Q2234106$5B63E7C6-7D00-45C7-A641-18411A6C036B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea3c4dc3401c54bf553abab88aa6aa6ef284b435","datavalue":{"value":{"text":"Compositional satisfiability solving in separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234106$51BE8CAC-21B6-4949-89F8-55759102A605","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5fc5e77ec1bc9468a458118dd5823690cac3671","datavalue":{"value":"1472.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234106$898E63B8-DEEF-4CC5-AE5F-E4BD71E076AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdacd0507fddfb05013ea35cb432aa4db873b900","datavalue":{"value":"10.1007/978-3-030-67067-2_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234106$85314BBC-4EDE-4016-B0C3-FBF82AFF05F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a423a466fbecbb20f333bdb71f0b06a2cb01ab3f","datavalue":{"value":{"entity-type":"item","numeric-id":2234105,"id":"Q2234105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$676DBA98-A4F7-44FA-AD3B-3022E56EF3E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234106$8B685329-90E9-4CDE-9D4A-65A9EFF56E57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234106$76464ACD-6DA0-4957-941C-532AA39674E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234106$17C7D4CE-D167-45B6-9525-ACB6E9D4EB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234106$9B4810C7-CC65-41EA-AFF2-34EB9EF54C23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27467e39a5ed33a79cfe1005ece204a196f89be1","datavalue":{"value":"7410656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234106$8E5A0AAF-843A-4E0E-BC25-DA872E96CE3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234106$1A1D20F0-84B6-4963-9F7F-456F29BF43C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234106$815EC1AF-6DF3-4407-BA9C-7AF51740FE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e60a68c437eea5d75cb3a3b1475c101cc5b761","datavalue":{"value":"regular proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234106$2CD36CE8-6C80-4542-B5C4-21FA3D15CA33","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":"Q2234106$426710F5-8D4F-4B3E-A684-C4AC3790F8B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a7c30fe5ca4975d6c08bf763d20fdb8415e5ca9","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234106$4483A0B0-FE8F-45CD-AAE2-7038A9CF3612","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5982047e8309d81c5c4ecd4b2a5ce7122eee3348","datavalue":{"value":"W3119321758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234106$1A220721-6FF4-4271-94EE-B8CC2CE4A19C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5e9bd45e583849a395c13e52547ab8918ce816","datavalue":{"value":{"entity-type":"item","numeric-id":1147117,"id":"Q1147117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$90D81892-003E-41B9-8761-6B0494445FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c642b8a2a51ea751f61c4db5e751f89086f5237","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$DD424A96-DE98-4F86-9981-A1121EE82217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f76f741c9d879772047a2f068275875df3dbcc","datavalue":{"value":{"entity-type":"item","numeric-id":5705902,"id":"Q5705902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$9A5CB310-06C6-480D-8802-7EAE5C0944FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720ddbc225606ec696668d2945dfac90af50e274","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$9D7741DA-0A33-4A71-98D3-1006CB245447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d584fa3396aa4a5bb45485bac8e4f553232816c3","datavalue":{"value":{"entity-type":"item","numeric-id":2405270,"id":"Q2405270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$162449EF-55B5-491E-B91D-9D2A28AE086F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ef32414d28b0710fd7e2e28b7755f9a906566b","datavalue":{"value":{"entity-type":"item","numeric-id":6166154,"id":"Q6166154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$D0CEA08B-F3D9-43A7-9E05-23F21B775C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$B6AF4CA1-423A-4521-9536-306D321FC837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50cb558c897494f528c1f2901405b7c4d095ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2289076,"id":"Q2289076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$B02FF34B-4471-4320-9D2D-2D1AF96CC902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368bf4ecb2388b08dc88ab0d9e511f68e0c62478","datavalue":{"value":{"entity-type":"item","numeric-id":1688543,"id":"Q1688543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$6FB20E33-F2B4-41F7-9894-6654DA51CCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55911e308156bbda517413fa81eff819db763dd7","datavalue":{"value":{"entity-type":"item","numeric-id":2817951,"id":"Q2817951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$553117A6-4C54-4776-BF6C-B56131D6BBB2","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":"Q2234106$D29C9B25-A179-416D-9D24-57A383A5E55F","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":"Q2234106$BB9622F0-CB2D-4004-A9BD-3CC3F7A77F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fbb642cd648c1a7a27f9c766d1ddd2f59e48d8","datavalue":{"value":{"entity-type":"item","numeric-id":2988661,"id":"Q2988661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$9C62FC35-5227-4E25-8203-4E60C826CA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c7f5ea7003ce4e30d16faa85112855feb92fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1799106,"id":"Q1799106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$1F1CAD8B-2012-4A17-9D4F-BF4F5528CEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8db60d599edb13b74e4c9bd2c4c1e132f7d871d1","datavalue":{"value":{"entity-type":"item","numeric-id":6166155,"id":"Q6166155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$A616E279-9272-46BD-98DD-9BA4269B9255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb18a86fb878bca8499457f5851ecbff53e073e","datavalue":{"value":{"entity-type":"item","numeric-id":4633544,"id":"Q4633544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$29C22776-BCEA-49B7-A2E5-AE3F6C27EAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b05fbd67ac2bd91179b63b02f2a3f8aed0bd2e","datavalue":{"value":{"entity-type":"item","numeric-id":2324205,"id":"Q2324205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$1B6FC184-1523-4A5C-928C-F49DD1441612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fe6c09f3638fc1b3688c4d3e71e34c7f5bfa9b","datavalue":{"value":{"entity-type":"item","numeric-id":2164251,"id":"Q2164251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$11F42EAD-8C2F-406E-BD73-E5E438B5809F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfe8015b58c579c54c78cbe4fe122a242df00f","datavalue":{"value":{"entity-type":"item","numeric-id":4152529,"id":"Q4152529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$C41CF393-5DA4-4938-BDBF-F4D35DEC212C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe3e421d6e27edd88e225f74f1b132c62664aca","datavalue":{"value":{"entity-type":"item","numeric-id":5408581,"id":"Q5408581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$BCE33126-476C-4BB7-8FC5-1255EC022907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f146ef032705198a0202edddd0325ae6774f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$9CDF0725-35D9-4D5B-B707-8154FBF4F5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c96d0fcc5c65f85a20940d30ff7a51cf4715870","datavalue":{"value":{"entity-type":"item","numeric-id":2937786,"id":"Q2937786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$EB49BC99-E3D6-4703-81B0-BBA730610A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbae210cc88aedb8de0650dde93b2a3d9265cae","datavalue":{"value":{"entity-type":"item","numeric-id":3297594,"id":"Q3297594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$A191B592-C2F3-42EE-B3E5-053B1C508CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08f93a83cac59738e22393f05cfd94e4929ae30","datavalue":{"value":{"entity-type":"item","numeric-id":2961583,"id":"Q2961583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$B1A69068-25A3-4712-8E88-38370E149B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca8766bb72f3d5c8970f630d92826c14b62e223","datavalue":{"value":{"entity-type":"item","numeric-id":3179308,"id":"Q3179308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$7A11C38B-9A23-4F08-83E5-E25BC54A44B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2adb59b5fe026263a42ef8f6cdf4bb210b1250a7","datavalue":{"value":{"entity-type":"item","numeric-id":2937788,"id":"Q2937788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$5956F47B-D246-4008-9761-215A1C7C8C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f7f11bcc2c577f52292fdc9a83fb5e0ed99b53","datavalue":{"value":{"entity-type":"item","numeric-id":2405271,"id":"Q2405271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234106$2F6102E1-5681-4067-97D0-4FA93BC4A47F","rank":"normal"}],"P1643":[{"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":"336eb97d5774e94eead597223302e0c703b3fbce","datavalue":{"value":{"amount":"+0.8346304297447205","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":"Q2234106$0BE818D4-F4C4-4406-985F-E7E6EC28C08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4009fbf74228d50438a3bfacb9dc9b9fa992e6","datavalue":{"value":{"entity-type":"item","numeric-id":2164251,"id":"Q2164251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6b449613a70ea93f9b761ee9eb8ffc595b3a87","datavalue":{"value":{"amount":"+0.8065810799598694","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":"Q2234106$C49FE5B4-E15D-4E07-A16D-1BBAA8B1301F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e9615077ddc5215986a1a517ba887b2cae7b29","datavalue":{"value":{"entity-type":"item","numeric-id":2405271,"id":"Q2405271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045f0b20188f7b7a680288e60625d9e33a811d51","datavalue":{"value":{"amount":"+0.8022700548171997","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":"Q2234106$39AC6CBA-19EC-4E3B-A9E9-0F68C213FBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca72a740cc4518e5cbf6b1379c150f31db31622","datavalue":{"value":{"entity-type":"item","numeric-id":2817951,"id":"Q2817951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca8331685bc283331d113086d85aa48d66e6dc71","datavalue":{"value":{"amount":"+0.7832621932029724","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":"Q2234106$F9F4FD7E-E3A9-4020-9D5C-E5A603726B45","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":"95c5daca7b0e74c8dd1976543d2b4634a135aaf5","datavalue":{"value":{"amount":"+0.783008337020874","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":"Q2234106$372D0F7A-EF34-4A29-A9FC-C0EF8C287A71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional satisfiability solving in separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_satisfiability_solving_in_separation_logic"}}}}}