{"entities":{"Q5055998":{"pageid":7085575,"ns":120,"title":"Item:Q5055998","lastrevid":92258708,"modified":"2026-06-05T01:16:18Z","type":"item","id":"Q5055998","labels":{"en":{"language":"en","value":"Bringing Order to the Separation Logic Jungle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631451"}},"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":"Q5055998$931AFE86-E19F-441F-9C56-1FDC00420559","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd1dda48b4fa210af7347485d6949b4528fc978a","datavalue":{"value":{"text":"Bringing Order to the Separation Logic Jungle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055998$EE72C797-3936-44C4-B80B-E38D8B01A19C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8f5068fa6b87cdb9e1c96e7a8434786091cf2e7","datavalue":{"value":"1503.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055998$18B133AB-A046-4BF9-9544-9FE2E0A5B18D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc3e09be9d1595d1099531660168c58b0d5cc3ec","datavalue":{"value":"10.1007/978-3-319-71237-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055998$53652BAC-4299-42B8-98DD-499D64D03EB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c893b180fb25eceb648b78e8f7d155d9dd75e1d","datavalue":{"value":{"entity-type":"item","numeric-id":484924,"id":"Q484924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$B5717BF2-3443-480E-A08A-85B45E7C605E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e0ab48680d8dd21a449513341669ede62f61ad","datavalue":{"value":{"entity-type":"item","numeric-id":2819812,"id":"Q2819812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$51636870-06D9-4098-878F-32C201217E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$CD54D4F8-61C8-4CFE-98EC-C3972D6AFA52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$20286E9E-ACB9-4DBE-AB62-3A650DF3D551","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055998$9865154F-84B7-4906-8B88-1FBA2430054C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055998$B6579A97-A878-42C2-B15F-519E278C792A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055998$5CBC636A-9490-48E6-924E-54FBE3D87A5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"814a8ba212da608cb75cd454a39b6d22242d5fad","datavalue":{"value":"7631451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055998$21B658C7-62C8-4FAE-9FFA-0162333DD0C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055998$9BE6B52D-9543-4BBA-8CA4-42B64648C80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a26c619f3c34107172c32ab1d29a17af19378d","datavalue":{"value":"order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055998$A966108D-19A2-484B-96A7-821BAD16CBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c09565ebe9ff2f6cec161c85c1fa40ad0cedb34e","datavalue":{"value":"separation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055998$EF3B55BE-C2B5-4079-B667-50B0927631FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$EFEA0B6C-1956-43E3-A81B-EEA6C1A51034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$81D6DE59-274B-4111-BC10-E08D010BB2C5","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":"Q5055998$24E6565F-CDE3-42FE-A1E8-EC9DA4B02E76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"093a5a24e7ff86a076679e1e5fdbec2eee66be8b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-71237-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055998$A48181B3-C562-4849-973B-42C9182DCDF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b001365f696c63ae35e2520b3d9b6450a83ee19","datavalue":{"value":"W2770855842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055998$0BE1ACAA-3278-48DD-A3B8-D4EE76E909E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$055C7231-A4E8-4FAA-BA00-D83D49625C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$98E55CAD-FEE9-45BD-8C97-1700EB8E48EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d421837d95e47324e8a9568fc6a54da33df7097","datavalue":{"value":{"entity-type":"item","numeric-id":3558217,"id":"Q3558217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$C464A9FF-E21C-4040-8B5D-A33AFC622BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c1819ebc3ca4c31460cf0d96175b695d4d4a32","datavalue":{"value":{"entity-type":"item","numeric-id":3087993,"id":"Q3087993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$83E6694C-1702-44F6-86FA-BDC32FE9D1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af4abdec551b3aac3670e5b25a7a3b50d9f3b50","datavalue":{"value":{"entity-type":"item","numeric-id":5408537,"id":"Q5408537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$D5E76C4F-804A-4BEB-8630-C52126E06F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafe746e3b002ee1de89cad9c41b98e375dad63a","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$C8EE3153-866E-4C7A-8ABB-69FB2AA57440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5d0cf6f9353507581f003548ffc44ca59b72a7","datavalue":{"value":{"entity-type":"item","numeric-id":3189649,"id":"Q3189649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$EA178C1C-D24E-48BD-A20B-5D8BA8580B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650918dbf2a759bca6f5027c3110df6c9e857aeb","datavalue":{"value":{"entity-type":"item","numeric-id":5408441,"id":"Q5408441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$C273D528-ADF1-4A2A-98DB-5CBC54EC07B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$93CA0E91-B28D-4AAE-AFDA-50B07EFBBDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc2454025503e5cae66c6b14840c90286ee8096","datavalue":{"value":{"entity-type":"item","numeric-id":5385999,"id":"Q5385999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$D57EB6A1-C767-4BAF-AECF-296B6DFE0560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab411898e21b7ff1dd2c5306da3bb87a5aa3f33","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$E60A357B-AE93-4788-8DD0-80B8570BC9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ff38abfa4e49dc5b759cba6f43f514f2302692","datavalue":{"value":{"entity-type":"item","numeric-id":5739357,"id":"Q5739357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$F4CD94F4-82FC-41D3-909C-3F4A8EFEC0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69df4c8871ee1b06727e4f90de98f0e5508859f","datavalue":{"value":{"entity-type":"item","numeric-id":5255071,"id":"Q5255071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$25F23A6E-9BBF-4029-AEB8-702BD6520FBB","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":"Q5055998$D84294E1-8103-4284-B250-B2F32AD1C254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62dbcc40dd481ea33b59d3f24813ff0d501fbcdd","datavalue":{"value":{"entity-type":"item","numeric-id":2892740,"id":"Q2892740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$70C6DB97-B9EE-47EE-A9E5-4E84BB76B433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$B025AC43-F64F-4F61-8B65-5A7F498968D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$85BDE6EB-6785-490E-A625-24D1ED5B9D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f1c0f611deb235448f9baae9d2d65712063b36","datavalue":{"value":{"entity-type":"item","numeric-id":3636908,"id":"Q3636908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$270562FA-D867-4442-9F23-4915DB696E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$4355E77B-BCEF-4BA9-8101-48F2AE2BE28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$3BDB2922-9AFD-407F-A0C2-954614B4B248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1df595d9c97aadd097508a204c08fc0a9129c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000593,"id":"Q3000593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$69DA1978-425F-4767-AA0C-79DACB17BD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29af673f4a669652d180b9c8b8cba5dd28d0672","datavalue":{"value":{"entity-type":"item","numeric-id":4912884,"id":"Q4912884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055998$FF4C24E0-08DA-4A67-8650-9AE25BE0EED1","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":"Q5055998$0E67EDAE-EC89-49EB-B639-D2F0C89E79B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9eb6265b84afbb19a5cb37144d3de84a13ee98a","datavalue":{"value":{"entity-type":"item","numeric-id":549676,"id":"Q549676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9da777a75660733a72b5920ad16b3257d75e882","datavalue":{"value":{"amount":"+0.7733423709869385","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":"Q5055998$85275C9B-42A3-4318-88E7-442401D6ED8B","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":"2383281620fd54b05991dce00916490d28070232","datavalue":{"value":{"amount":"+0.7657997012138367","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":"Q5055998$8E11DEB2-DC0F-4E36-9B1F-FC32656757EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079700e8a3458e82a442ea0ce54422cd2135c7a0","datavalue":{"value":{"entity-type":"item","numeric-id":4579962,"id":"Q4579962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4297671c49488901d9f3be87191ac5f9969d7704","datavalue":{"value":{"amount":"+0.7433722615242004","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":"Q5055998$E18305D2-D13A-437D-B069-521842D8EA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7997923f8ea3695262a5568baba6a54518ed42","datavalue":{"value":{"entity-type":"item","numeric-id":5739365,"id":"Q5739365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc39be0d99a11566c393e81e40af3d564a86fdef","datavalue":{"value":{"amount":"+0.7412744164466858","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":"Q5055998$8E4A9186-5182-412C-B8B6-9EAEDD2F7B00","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":"d2eff2377a255d01653656c23c5c591e8964c0be","datavalue":{"value":{"amount":"+0.7374120950698853","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":"Q5055998$44443157-5172-41DF-8D85-27CBCA7EDB47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bringing Order to the Separation Logic Jungle","badges":[]}}}}}