{"entities":{"Q3090833":{"pageid":3101548,"ns":120,"title":"Item:Q3090833","lastrevid":45421876,"modified":"2025-12-07T18:06:10Z","type":"item","id":"Q3090833","labels":{"en":{"language":"en","value":"Tractable Reasoning in a Fragment of Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945194"}},"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":"Q3090833$679C34EC-BCC0-4988-9DB2-F15DA712BCA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b13a138af766eb4cea7f801f8eaa10f0f62275f4","datavalue":{"value":{"text":"Tractable Reasoning in a Fragment of Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090833$8EB4CEE5-A79C-4291-B8E8-F1435D6698A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41bc431884d890b53602906f54f08f461e072b20","datavalue":{"value":"1300.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090833$944A6EF0-CA2A-4054-8009-A9A4D32104D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c82efa91f30b6a4afd1ca030ce68a8ff4f9f0706","datavalue":{"value":"10.1007/978-3-642-23217-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090833$754AF711-7857-4380-89C0-37D55A762D15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$0C930752-50F0-4E78-B4E1-ABF2CFCD58C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f36849b1874dad2ed4c54ecc7d6b4a4c27f76d0","datavalue":{"value":{"entity-type":"item","numeric-id":782554,"id":"Q782554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$43054491-CC77-4EAE-9820-E3209F3D7C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$BD71685E-6A74-47EC-8BF8-3BF88F1A4FDB","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":"Q3090833$A220DF44-95BA-41BC-A62E-8B07126F2AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$EB6E80CF-0341-4DD4-8F02-B2DDC745B632","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$0F1B309E-9850-491B-96AD-3E2000BA0904","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090833$A615EF5D-3D61-415E-94C5-11484FDAF5E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090833$558602AF-EAEA-4C89-B815-48CC65379EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090833$8416D409-1954-4BFD-9710-9ECF546B6C8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"420d92aa9204a70f156d5051e26327f445c2aa74","datavalue":{"value":"5945194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090833$D49803FF-4C00-4848-A23A-D0F1F008D82E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$F1194C13-876F-4216-9FED-C5FB1BB68EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$30A24FE8-EC1C-4D77-8DB8-1C966EF46C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$F776A564-BC1F-404D-9FC7-593A51C3889A","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":"Q3090833$2BDDD9AC-4A2B-4849-B714-049C3FD072DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bda5c9a2d99364cd36f02155cd7c75b07da8c1a4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090833$59683686-4B88-4981-8E38-98D714CFE73F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b57bc530db77310889af56f518f210c37bd44b9","datavalue":{"value":"W135237429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090833$E0224146-C33B-46FE-9CAE-D0CD255E4C0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd073d5f1b45c21954c5cfcc1b9243be226d02ac","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$130D1D9D-3C4F-46CF-8646-19DDC5E631A6","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":"Q3090833$A18CCFD6-A166-4F1C-9A6C-5535530AA194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$4CA4E16E-3C39-478D-A540-381FD08BC452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cdaf4c19240161f084c8bd06e024f4fa42c69e","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$86609F3B-65B7-4146-AEE1-1D4E7F03C9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$4DDA8712-D348-4666-95D2-A8BDDAE3A499","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":"Q3090833$BE782790-A742-4BE4-A7EB-3497B50B6FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206ff31569177ea06a4e652d651723252dfe962c","datavalue":{"value":{"entity-type":"item","numeric-id":5501184,"id":"Q5501184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090833$30787FA0-36BB-4588-8D21-03FBBDEDF5B8","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":"c8d52b6d75cf55a2f8a3cb95822067f6a381a4a4","datavalue":{"value":{"amount":"+0.915692","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":"Q3090833$52D01F46-894E-44E0-AF84-642C8D0BD478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd011d5ab8186458ecbb19d10bc8c04ea58be618","datavalue":{"value":{"entity-type":"item","numeric-id":2961583,"id":"Q2961583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22dcea0f198ed531b9ddbb8340cfc6ffe99ad3d8","datavalue":{"value":{"amount":"+0.9113654","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":"Q3090833$19A08FAF-920D-473E-891B-2826D0C9EF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd4b8eb7a9fdb762b7b6b247d433dd50abaa943","datavalue":{"value":{"entity-type":"item","numeric-id":2323985,"id":"Q2323985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae89de5b2005b3af44ec28f8565eff188810b062","datavalue":{"value":{"amount":"+0.8945712","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":"Q3090833$3D4782FC-62D0-409C-B71D-9EF66FED8F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f13bba1c52781c29ea1adbb3af4570aa1717ee","datavalue":{"value":{"entity-type":"item","numeric-id":5851843,"id":"Q5851843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f202584a3fa4697156136c4d824917a8efc9181","datavalue":{"value":{"amount":"+0.893033","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":"Q3090833$12F92C63-9B2E-4F9C-A2B5-2A28783583E6","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":"483ba12393eabd63ddb1e331e70c4311bd145a6c","datavalue":{"value":{"amount":"+0.8926317","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":"Q3090833$C9E1B94A-2842-4712-8F13-7B1025785765","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":"bf148b94ab150750628930b9e8252323402833b0","datavalue":{"value":{"amount":"+0.8912213","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":"Q3090833$A047AD96-7537-4E11-AA18-781BCB1D76D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e44fdb1976c68826611ebdc2073994d385f90058","datavalue":{"value":{"entity-type":"item","numeric-id":2055806,"id":"Q2055806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368941ff672f92d3a00fc9f7c240e1ba9ed549fc","datavalue":{"value":{"amount":"+0.8909566","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":"Q3090833$D3C97882-09A2-4605-9389-478A91B73F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa10a0492b8f73c4de4e6b54492d0fdccf84bf3f","datavalue":{"value":{"entity-type":"item","numeric-id":1688543,"id":"Q1688543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54855ee1d51b0609bf54e2782a738e940aa63d69","datavalue":{"value":{"amount":"+0.8903239","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":"Q3090833$F1FE366E-5501-4120-B7D1-814576EA8C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e7e6afb67b14d5ac655e9aad0be896869a7453","datavalue":{"value":{"entity-type":"item","numeric-id":2789053,"id":"Q2789053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021215552c2ca5b406f022bd844741ed98e92cf5","datavalue":{"value":{"amount":"+0.8903238","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":"Q3090833$20DB7330-8E5F-40D3-ADB1-15AB64B815D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b38d639ddc0f36df456dbd856b2d88288e356b","datavalue":{"value":{"entity-type":"item","numeric-id":6091213,"id":"Q6091213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5540b64b6bb3de3bfeb1a963d7e93b48d46d69fb","datavalue":{"value":{"amount":"+0.8902292","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":"Q3090833$C226D258-86CA-49DC-A1A8-841FAD0C8C4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090833"}}}}}