{"entities":{"Q2915132":{"pageid":2925852,"ns":120,"title":"Item:Q2915132","lastrevid":79887461,"modified":"2026-05-06T14:56:20Z","type":"item","id":"Q2915132","labels":{"en":{"language":"en","value":"Transitive Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085005"}},"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":"Q2915132$D1E918AC-F53E-419B-8037-4AA69F006A58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fc83ea23bfb9dd5801c2c7712c45da59fa97e7f","datavalue":{"value":{"text":"Transitive Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915132$F5E7C4DC-CC0A-4AE8-ADBE-6B019BF71AC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"575eb0b045a7a2c98e5d4f2ffa588a8330004403","datavalue":{"value":"1330.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915132$A44F1EBE-B18A-49D8-A301-0EB2050649F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53d8cb331c8eb815e44a7e938e54dd2421aaea43","datavalue":{"value":"10.1007/978-3-642-33314-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915132$A1FFDDDA-B98E-45DE-A0AF-F028AD12901E","rank":"normal"}],"P16":[{"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":"Q2915132$7838A2DD-47A1-4A7C-9C00-440DA1EB1946","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":"Q2915132$D43D9BA4-0ED5-4EFC-AA88-FE68723CE4E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915132$ED716864-D201-4315-ABDE-39BEE6BFFC10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915132$7657DEF6-D9A1-4C4D-B110-C7EBA019F4EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c746235fbd547ceb8d88283815f68b40f9c2221d","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/files/58757/58757.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915132$0E8CACC4-E9CA-4324-ACFB-0A1E4541E1FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915132$A32A69BB-60F2-42F7-9C21-35129C8E7733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915132$3B852758-B6CC-440D-B53F-463A45B92BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915132$1AD245B0-FE59-4A6A-AF93-24452B2B7130","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44858b869ba21236a31b88943149990a94b0113b","datavalue":{"value":"6085005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915132$3BC3E260-9BF5-4D29-A6A3-DD3E8D5EA38B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915132$CE35318A-006E-401C-99C0-917C775777A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915132$18301080-00E9-4E16-AD4E-5662CC38FD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e53df307452a0f493e5ea7f340e6394fad21772","datavalue":{"value":"sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915132$BF65A675-19F3-4420-8E7A-D22E9BBFC284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5283df4a3e6fba36dfdaa02872f5cce52e343a83","datavalue":{"value":"strong separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915132$908CCC02-7465-4CEC-9CE2-05A94E03F71E","rank":"normal"}],"P1463":[{"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":"Q2915132$9973C7A7-3295-4092-A3AD-F0EAA6423974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915132$3D0DF45C-0B5D-430B-8D5F-985EE68240FE","rank":"normal"},{"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":"Q2915132$BB39FE24-BD36-410A-99C7-26DC815D069D","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":"Q2915132$9C1F0987-D0AA-4D82-A7B3-A491CBCC10D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8146b9de798105ac0fb22a6499940827b0f0f4ad","datavalue":{"value":"W84100119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915132$6475F0D5-7B63-495F-A0BF-F9EF3EFF2914","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":"Q2915132$1C79760F-8430-47EF-B8A4-8045E69323EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b330a3ce77e47343a95880bec7d8d4a6ccae80","datavalue":{"value":{"entity-type":"item","numeric-id":3575267,"id":"Q3575267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915132$8EC8B9AE-C18F-49EF-839B-28C51517B8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab1e2b1d00559219dbb7e95ff196f5547ed0556","datavalue":{"value":{"entity-type":"item","numeric-id":549676,"id":"Q549676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915132$840DF18B-E186-43D5-96C6-B7BD210481BB","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":"Q2915132$405712D3-2126-4BB6-A34D-8D8C4970EF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915132$1DAB4BE2-3295-44B8-A39F-7FE7B42EBC05","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":"Q2915132$7E27E2E9-FC57-4435-991F-0CCE97D1FEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915132$021F9869-C803-43ED-AF26-A65C4832632D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c4812908c2c978c7f2f0eb381cbb972cde4d28","datavalue":{"value":{"entity-type":"item","numeric-id":3090834,"id":"Q3090834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915132$3ACDAFEA-4475-49A3-A1D6-EE46F765E958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915132$4D1E4388-B4C0-4A02-AF3D-494ED38467C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915132$B19DBBB7-822F-4F1B-9E7C-DE005AD2B563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f06c3146f318eddd4170419dc0d4f0982f29ab6","datavalue":{"value":{"entity-type":"item","numeric-id":800396,"id":"Q800396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915132$4093F136-64E8-4170-A8A7-E5B7E79BE198","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":"Q2915132$DF342063-FB03-48AB-9617-631037EC68C9","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":"Q2915132$F5D5047F-6388-4DBE-8A45-A585143B1A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5fef702d3dfc6983b8b868d96af6e8261be1cd5","datavalue":{"value":{"entity-type":"item","numeric-id":820139,"id":"Q820139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915132$C49192F8-711C-4022-BC10-9D18F9FBC546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915132$91955993-F394-4FBF-8D92-A700753C0557","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5622fa73d1f4721436d4c6edd22af94fdabc6700","datavalue":{"value":{"entity-type":"item","numeric-id":2347905,"id":"Q2347905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee4a497a19547c8cdad0ec5bd32a684dee82766","datavalue":{"value":{"amount":"+0.9506674","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":"Q2915132$F42AAA1C-0A78-4BD9-9018-129CC971BF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed27f131784e91e2db977464f9320c3291042a3","datavalue":{"value":{"entity-type":"item","numeric-id":879369,"id":"Q879369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855e151e4a05233cbb3eddaf77dea27e47346f4c","datavalue":{"value":{"amount":"+0.89243793","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":"Q2915132$FB5D9252-F496-49BC-8880-70FB1AE03EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774ef65a46726415f894b24305c68bc0ab61c093","datavalue":{"value":{"entity-type":"item","numeric-id":4202939,"id":"Q4202939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cfeeadb02e4b959e258a5553fcdaa331888e331","datavalue":{"value":{"amount":"+0.8916075","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":"Q2915132$B8367AEA-7285-4C94-8D6C-DCAF6E3AE584","rank":"normal"},{"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":"1bbfe51ba4318064e666ee7557d185d8e3a6e327","datavalue":{"value":{"amount":"+0.8903103","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":"Q2915132$B6EA1E09-11FC-4755-94CD-BCE80671933F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512baf39d76bb54dd92b3ea6d3582c04907a555f","datavalue":{"value":{"entity-type":"item","numeric-id":2233486,"id":"Q2233486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf4204d9d765f71f4c612b9b2126d3140928eb9","datavalue":{"value":{"amount":"+0.886413","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":"Q2915132$081890A5-F45D-4110-A9C8-DE0ACB6AEF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e494b8ba3180a56bbba4cac54a6e75bdaf5b8f78","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375737a89d2acfc7c78615071356c1702a4a7a29","datavalue":{"value":{"amount":"+0.8838857","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":"Q2915132$C5155513-9ECF-451F-BA07-A4706F7B04F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67bed80202705ad0f26e21085c20d24617df91d0","datavalue":{"value":{"entity-type":"item","numeric-id":1895974,"id":"Q1895974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71fcaf38fc7fe71b9c540343073f7dbea11269b2","datavalue":{"value":{"amount":"+0.8828661","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":"Q2915132$B62F2B48-FAB1-40F4-B299-ED5F9E33BDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06b8c9620904c1bb0d28e09be24842657f0b311","datavalue":{"value":{"entity-type":"item","numeric-id":3535602,"id":"Q3535602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70068fb1627e7521645901f188ecd83042f3427","datavalue":{"value":{"amount":"+0.8802274","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":"Q2915132$BC2559C4-568B-4B2B-8D5B-0FEAEA983C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0e0a1f2fedeb51ee6d89ec7c7a7e287388dbbc","datavalue":{"value":{"entity-type":"item","numeric-id":2937786,"id":"Q2937786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e852b41349e3357b24f4afd4defea1cb0bf49ce","datavalue":{"value":{"amount":"+0.8787464","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":"Q2915132$F0FA609F-1657-48E9-B8F7-24D1FCCEDF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b7430c7ecdd7f00fe6ac867e7353958a48c88a","datavalue":{"value":{"entity-type":"item","numeric-id":5705900,"id":"Q5705900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bddb50a6e59b8bc27d07d422a30d55958d3d9a2c","datavalue":{"value":{"amount":"+0.87567127","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":"Q2915132$12BB3452-5D41-4EF8-84F1-3F308B783057","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transitive Separation Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transitive_Separation_Logic"}}}}}