{"entities":{"Q5136317":{"pageid":7165889,"ns":120,"title":"Item:Q5136317","lastrevid":41756773,"modified":"2025-05-08T00:33:54Z","type":"item","id":"Q5136317","labels":{"en":{"language":"en","value":"On Symbolic Heaps Modulo Permission Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7278097"}},"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":"Q5136317$91424D90-9BDF-4BC9-A435-D5CC62620BFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f9fb0663fbca729db50fd52983ec0672a425619","datavalue":{"value":"1491.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136317$85662954-C67E-4272-AAF3-57AA7FA290AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136317$EFDADA99-C273-4867-B387-D41870085876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136317$541B56A5-98E5-4541-A78A-F49C34517D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136317$608438F1-BD81-46B1-B634-76F76B643A44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36052d8151ed4f678a8815b5626d247502b52b91","datavalue":{"value":{"time":"+2020-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136317$BDF76D84-39DC-40BD-87CD-E5BDD5B5AC7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136317$56AEE77E-7791-4B89-B0C2-FFC8DE8CE9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136317$ABB9902D-45DC-4ABF-8781-061BA1B382AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136317$19D3D939-3929-4C6C-A5B5-6EDA5DCA4338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136317$AA51A466-F645-4B3D-BC75-D21EB6DCC2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136317$0E764FF1-00E2-4700-9313-F134F904C652","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e06d5a19166a47b24c21daaeddf484433cdd465d","datavalue":{"value":"7278097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136317$46B85242-AFDC-47F1-A68C-DC0307D95B29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136317$FB2D458F-CB37-4AB2-A6C3-069291C8783F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136317$0FEB1791-58F6-4E71-9D70-2BD19A29B7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f33bfcf9efb5ea007348fc5db075e128a32c28","datavalue":{"value":"permission","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136317$53C513C3-F454-4713-8537-88745AE36A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8111444918977b753668763fe584734e75104d13","datavalue":{"value":"reasoning modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136317$2237EB5F-0BD4-4C98-87AA-C967BE1F7F5E","rank":"normal"}],"P1463":[{"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":"Q5136317$AD7C05FF-6B4F-4012-8406-9C82D50030EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"777c857adf4d00dab25c091db7377a74eeba130d","datavalue":{"value":{"entity-type":"item","numeric-id":5973049,"id":"Q5973049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136317$62C89E35-E4AB-459F-A7E1-8AB17E7C60FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136317$44E7E4A2-4761-4F83-82D7-ED25D393DB88","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":"Q5136317$15EFCF59-DBE0-4C7D-82B1-D85A23BE4BB1","rank":"normal"}],"P223":[{"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":"Q5136317$BDA34BDA-984E-4DE1-8BCD-8B59B83E911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136317$E3200050-0074-4CF0-9EAE-99587B7F108F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136317$E4D44267-8B98-4654-AFFB-3C0A8A668522","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":"Q5136317$C215807E-A975-46EA-8725-5996F95DCEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbab93320d1ab6ec4e261016fd92767987d56d67","datavalue":{"value":{"entity-type":"item","numeric-id":4411823,"id":"Q4411823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136317$DE119A34-4EFE-48C4-A6D0-BA03DD300351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136317$927637F4-F9E6-4AC5-A74B-8B6440E1776F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d387188cf5f56706019da0927346b67474bd861","datavalue":{"value":"https://hal-amu.archives-ouvertes.fr/hal-01788798","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136317$AC60FA44-25A0-4AC6-A075-D68D2060E95D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f8a13fd997c4b10d9682ddf9087868079aa3c27","datavalue":{"value":"W2789677522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136317$20BA9BDF-A7FD-4E0E-8F6A-2CF70B6419B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e365b2f332b19e87ff5d60bc441a1b67e8ed76ee","datavalue":{"value":{"text":"On Symbolic Heaps Modulo Permission Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5136317$1D13A929-CBB7-4C77-B7AF-21B362AA5767","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3ffcbc5f729fe673ec3b2517e1b976e1cd10021","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2017.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136317$9987A6F3-F5F6-4F71-811E-154BF6CD1094","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f60796cea1e508fcf1160408f28eab83a0f57a5","datavalue":{"value":{"entity-type":"item","numeric-id":2039937,"id":"Q2039937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b122d5ce9ca080d3d97779bb80f8a211f6e456","datavalue":{"value":{"amount":"+0.84652907","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":"Q5136317$C205B99E-A938-41EE-8345-778A7D7626B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76603cea63feee9fd69453ea5319fec11c118b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4989410,"id":"Q4989410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a23618751eaf168872f0cdfecc788654a83fbd60","datavalue":{"value":{"amount":"+0.8451345","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":"Q5136317$AD2265AB-72B0-46D4-9B39-8196DF558E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba51166c471e9289a0ecc3d71d73a5b4685b7ff","datavalue":{"value":{"entity-type":"item","numeric-id":4633544,"id":"Q4633544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a571c6780bcdb8dea90996b05246f944bfdec40","datavalue":{"value":{"amount":"+0.8424993","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":"Q5136317$AA3A8CC7-518D-423E-9819-B193E1EBDF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f24451847ad4eb0ec48494a5ae1d33727204ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5408433,"id":"Q5408433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5731e6ead78a91c854337ac6b885f99756d9a6","datavalue":{"value":{"amount":"+0.83267975","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":"Q5136317$8B857BE9-CFA6-4A19-BDF1-DF0E9C096836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29137e1781d3d1a6491aa5e62f8c3e800a8b9803","datavalue":{"value":{"entity-type":"item","numeric-id":2119112,"id":"Q2119112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727813d1b0c22d6094275b9fcf1f4c1bd538c288","datavalue":{"value":{"amount":"+0.8308407","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":"Q5136317$8C5B0880-D20F-4C38-ACA1-6C80DB6EB5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a465a5b55e460338ee04b63a0e25ae3c7ee74f9","datavalue":{"value":{"entity-type":"item","numeric-id":5410713,"id":"Q5410713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25148fc9412be785a7e8e15607605e1d4ad2042","datavalue":{"value":{"amount":"+0.8274003","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":"Q5136317$65AFD6A1-66F4-4C12-A516-ED18371BA44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a416562ac829fc798dee125ab77e64056e3ab8b","datavalue":{"value":{"entity-type":"item","numeric-id":5277770,"id":"Q5277770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39601c1021e74d20b5250c20ad45926add67e81a","datavalue":{"value":{"amount":"+0.8234577","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":"Q5136317$FB449E06-7BEB-4111-8221-B459FC1DEDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0033fe52d2566aa15b53e92e5acf68eb8f13ba8d","datavalue":{"value":{"entity-type":"item","numeric-id":5055997,"id":"Q5055997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd44032ab25741fd61c915e3537f7478f5e58849","datavalue":{"value":{"amount":"+0.82342196","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":"Q5136317$209EDF1B-66B9-4E2A-A35D-45635D0D6F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6527d9c4e1db1897018a5e95fb4249116227ecb1","datavalue":{"value":{"entity-type":"item","numeric-id":5168877,"id":"Q5168877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da16533b3e305cce07940e8afb6f3563c000052e","datavalue":{"value":{"amount":"+0.81847847","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":"Q5136317$D49D2CE9-8271-459E-98B5-C26872641E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed54078757e6b23af58f39b5e54dbd5ef19d50e","datavalue":{"value":{"entity-type":"item","numeric-id":1986561,"id":"Q1986561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2d6cb7c5535d580eb2462f66bdd86f5ee67a7a","datavalue":{"value":{"amount":"+0.8167578","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":"Q5136317$9C1930E6-B381-43B5-8D0A-DB2D40DA630B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5136317","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5136317"}}}}}