{"entities":{"Q549676":{"pageid":551443,"ns":120,"title":"Item:Q549676","lastrevid":62678160,"modified":"2026-04-11T07:42:45Z","type":"item","id":"Q549676","labels":{"en":{"language":"en","value":"Algebraic separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5925505"}},"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":"Q549676$63BF5EF3-4E02-4CFE-84A7-9F0B09E3197E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"883b2adf16a444e034d398854c4d0f3cb89c71f3","datavalue":{"value":{"text":"Algebraic separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549676$40502CA7-034E-4AB9-AA03-9A44FF6C1CF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3fd4549eed8b0f609ada471c997f6c6c37cc93e","datavalue":{"value":"1260.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549676$85776B57-0AB6-4CD9-A92B-A333239306A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$695E5D00-B7F6-4A99-83A3-5761107E5F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$D43323A7-ABDB-421F-9DD9-206E4141B3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"787149007cde9cab1d2caf2001ab6cf4632dcffa","datavalue":{"value":{"entity-type":"item","numeric-id":406438,"id":"Q406438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$F54BF0DD-BF1F-4910-A8B1-6D5A8A3A2841","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$25F639B9-E57E-41D5-8EE0-16161BF456E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3dd288f91e249ba649089623a2b7d89908afe78c","datavalue":{"value":{"time":"+2011-07-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":"Q549676$1F092E80-552F-46A4-BA21-889C55ECAEBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"870b8738b507fd41e33da648985eab179b6b8080","datavalue":{"value":"Separation logic is an extension of Hoare logic with reasoning about complex and shared data structures by added assertions to express separation between memory regions. For arbitrary assertions \\( p\\) and \\(q\\) the conjunction \\(p \\star q\\) asserts that \\(p\\) and \\(q\\) both hold, but each for separate parts of the storage, and \\(p-\\star q\\) holds for a region if (roughly) \\(p\\) holds in another region then \\(q\\) holds in joint region of these two regions. In this paper an algebraic approach to separation logic is presented. In particular, an algebraic characterization for assertions of separation logic is given and different classes of assertions are discussed. A relational semantics of the commands of a simple programming language associated with separation logic is given by the presented algebraic framework. It is shown how to algebraically formulate the requirement that a command preserves certain variables. It is claimed that the algebraic view does not only yield new insights into separation logic but also shortens proofs due to a point-free representation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q549676$50B5DCA9-CB1F-45F6-A250-748DE8A36D6E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$74B5D49D-54DA-4D60-B06D-115CF94671B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549676$BBE343E6-8BC0-491F-B1F4-45B1D911F47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549676$C1C320E7-F922-4D01-BA9B-83FF13D950A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5db2459269ca4006ac9c2dc1952de9e2fbe86741","datavalue":{"value":"5925505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549676$79684953-D91C-4F05-AC90-1B42F3FD0F61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q549676$055D9DDD-F9D0-4AF0-9EA3-E4EEC86E3BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q549676$5A33354A-8BB7-4528-9E2C-C6B8546D296A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b97bac4f8a83b5106394beb46d1071a127c8ea","datavalue":{"value":"standard Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q549676$2D8F86E5-82BE-44ED-943F-3A8F18F20DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q549676$A197A76E-FCD8-437D-9929-3399EA14842A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q549676$C8FB5F27-8E4E-4A11-8197-F23F2BA39BD4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$73604481-E71A-435A-B58A-6EAE687ED923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$25862E15-6797-40E2-B29F-CD4FEA352F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$9C4936D7-DC04-407F-89FB-54B90D93FCFB","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":"Q549676$B6113D61-0818-4646-97EA-BFD7E3A6C2A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e110433ca4115a32dd1eda737038657e8fc9fe10","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2011.04.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q549676$C7E13C73-6B60-4A14-9ED2-2376E3B0FCEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e8a517963d28b0e13eb39e7eb5c0293bb2368b0","datavalue":{"value":"W2125806630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549676$31BC90E8-EA40-4FCC-A192-7B34882FC7EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$4AA27D1F-031C-4AE4-AA97-79430DCAAA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35ea5e5703bc4fc3d109aa2432fc865a417557b","datavalue":{"value":{"entity-type":"item","numeric-id":4286527,"id":"Q4286527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$957D5BD8-FF34-47CC-B70C-39AA71E734A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$91CAB587-D732-46F2-AFC4-CDBC3249AAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbf47437dde536cfcefddb5901c3ce0ea9e4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4056047,"id":"Q4056047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$95E4A673-B228-4C49-824C-082DF8DE8760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df2553495bc38f714aaa2197b34e11b69c06ef","datavalue":{"value":{"entity-type":"item","numeric-id":5674963,"id":"Q5674963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$AD5A0554-D5A8-4865-AB1B-37FB4AC65FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$AAE0D1ED-922B-497B-9372-5A6A75BC3365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6eebf4442ae4ba30491baa7beade6e72d270c7","datavalue":{"value":{"entity-type":"item","numeric-id":672711,"id":"Q672711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$10DD71A7-E475-45B6-9EA9-3BA3B4031811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f23d61258373a012576b6c8bf8e79daa9076d9","datavalue":{"value":{"entity-type":"item","numeric-id":4362886,"id":"Q4362886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$6B6E8055-0C7C-4D1C-8392-E21F1414E8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fa46b7cee5c5e0f264b7ff76a300c1c44de992","datavalue":{"value":{"entity-type":"item","numeric-id":1602558,"id":"Q1602558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$0B4EDA82-4F78-4E6A-B551-214ECE1DB3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f80352a8c6435ba4d27a0ebeeddae2c0f7f7f1","datavalue":{"value":{"entity-type":"item","numeric-id":817579,"id":"Q817579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$EC3AACC8-F2FB-4B06-8795-0882258E14D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$0BD7FAE3-8166-4EF0-A6F9-D6A2391897DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a42552ccdb48287101c313e75605497c459b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5712446,"id":"Q5712446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$810FAC89-C6A4-4FED-B228-C6141BDD012B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$1E2AD373-43AF-4190-91D1-455F95DFAA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$6ECB9DE1-E5DE-4A9D-8385-009E4181957A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a2e4e054a3754c874dbcec7a3c8429b1f5d422","datavalue":{"value":{"entity-type":"item","numeric-id":3651515,"id":"Q3651515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$5853543C-0001-4DC3-98D6-62C50DA56D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b14497ac6a047a973edd9c6aee99e8150ceabe1","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$5151D34A-04BE-4412-B365-5D635A81C18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7561b41a86dade27380522487e8cd9c1383e8721","datavalue":{"value":{"entity-type":"item","numeric-id":1037397,"id":"Q1037397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$50C6CA34-15D6-4AAD-B356-60C4C982CA03","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":"Q549676$F7E36DDD-61D2-413D-8B96-04549F24FE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$58AFEEEA-0AF7-4243-B18D-2E8E84EA5A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$754C9BB1-EE85-4A98-A34A-BA1136E37B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99fd685bcf30f349d06a773c6816df3cf4f339a","datavalue":{"value":{"entity-type":"item","numeric-id":4428704,"id":"Q4428704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$C9BC7D52-870D-4734-B63E-65CB1754ABF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50820dcc1af6c5a368ac6f3fdc4a1d7adb9ffb30","datavalue":{"value":{"entity-type":"item","numeric-id":2767087,"id":"Q2767087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$2D9069CB-FC82-40A7-BB21-AC18E40A4A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ac0741082eee268d8fb2391d4dc966a1c3f9e9","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$A6303F03-F99B-496C-BDBB-A3B3544CDA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"835a104c973ec409cdd8c36de454c1ea8dd89ffa","datavalue":{"value":{"entity-type":"item","numeric-id":685621,"id":"Q685621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$7BBCC82C-1FA3-4D30-88F9-170FF6CABA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6a4c7641b6916d962cd94abce7392308c92453","datavalue":{"value":{"entity-type":"item","numeric-id":1961861,"id":"Q1961861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$98A52421-09DF-48D5-8694-68972FD3CA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61272f80d8ad5526763c99a877ae40ff6ed139","datavalue":{"value":{"entity-type":"item","numeric-id":870283,"id":"Q870283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$CC63FB1E-7EF9-4C20-B584-A626477BC2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f85513ab872b58f88eba81bfa4694f89279373","datavalue":{"value":{"entity-type":"item","numeric-id":3623939,"id":"Q3623939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$0FC1AB78-0931-482C-A119-49B8D16A46DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$8F610A9F-7428-4A7C-862E-3E8744D18193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ea0082ae7ac89566b7399bcedf0af22b226ce4","datavalue":{"value":{"entity-type":"item","numeric-id":5899318,"id":"Q5899318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$0C682A93-9C95-4124-AED5-5CD39A591934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee142d66ff27602731bf8a467335470d11b45593","datavalue":{"value":{"entity-type":"item","numeric-id":3771067,"id":"Q3771067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$59A8F1B4-A08A-44F9-B5A9-9F6DC7530997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6cc3af50e43b85b0722536e98d3ff29a8ce1c1","datavalue":{"value":{"entity-type":"item","numeric-id":3988838,"id":"Q3988838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$C19285B3-7204-405D-89D4-1008D645B61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$1E590AF9-CC47-40AA-8E4F-C6C67A142018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$44A5C318-FBFE-4160-81EC-6C1FBDCA9335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d67f54629b43bb24548148f2bbc3f7e8e15eed","datavalue":{"value":{"entity-type":"item","numeric-id":732009,"id":"Q732009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$0F1C8FE0-72F0-4CF4-9D85-C01B3D38EB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8a0e6895d7265b1b90f97c095daa111dd9c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$84F7CAF1-254A-4FD1-9892-695FF42D1C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$B688FCEC-93FD-422D-9CE4-4BDC54A7C8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$B0271B67-A8A0-4BAB-8B77-556EBE2B4C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$7AE9CEE3-4345-4DBD-AAA2-FEAF965C796B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549676$E715290A-AD06-437B-BC05-CEB179B9306A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adcf5cdf85478186a2de6e56fe4a180c1b906f82","datavalue":{"value":"10.1016/J.JLAP.2011.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549676$093AEE9E-A0C1-489B-862B-D3790ED7ECA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea7737f361acbe728b0bc86abe74425bfc1b809","datavalue":{"value":{"entity-type":"item","numeric-id":3651508,"id":"Q3651508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530d5fa3ec1e40648728b9ecd58831ff2981c5fb","datavalue":{"value":{"amount":"+0.9221148490905762","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":"Q549676$2803F178-005C-4C69-AC61-44D7FFC7FFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6e58fb03a2423540659ac96248731fcdd04e32","datavalue":{"value":{"entity-type":"item","numeric-id":2941173,"id":"Q2941173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876768089b7bb5189e982237e33f1b877435f0df","datavalue":{"value":{"amount":"+0.8046612739562988","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":"Q549676$70FDE904-C0F0-4057-88CD-F9F98F05AF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230235acc2dd629ac22d3999b2c2ba58b23e34a2","datavalue":{"value":{"amount":"+0.798611581325531","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":"Q549676$11E7310B-D4E9-440B-8E7F-592CC2EC35A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab32813e0fa831980c546174be81fb468186a78","datavalue":{"value":{"entity-type":"item","numeric-id":5310672,"id":"Q5310672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2afee210bcf31851800fe1fbc5ce99dababbb979","datavalue":{"value":{"amount":"+0.7929812669754028","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":"Q549676$4D025A15-1E6C-468C-8A8A-DA9433A8D09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee6015691c0de81b2ca73e9067461617a778514","datavalue":{"value":{"entity-type":"item","numeric-id":3007573,"id":"Q3007573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622176e4b11b0b0810c8afc0c587d9250b1c8c7c","datavalue":{"value":{"amount":"+0.7844988107681274","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":"Q549676$1EE724AA-4AC2-4554-A273-783407B4FE09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_separation_logic"}}}}}