{"entities":{"Q3525642":{"pageid":5555546,"ns":120,"title":"Item:Q3525642","lastrevid":50458148,"modified":"2026-01-14T02:39:24Z","type":"item","id":"Q3525642","labels":{"en":{"language":"en","value":"A Marriage of Rely/Guarantee and Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344929"}},"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":"Q3525642$002AC29B-2158-4571-A7EC-FF0D25D167F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c6ac1a72d8f16f19b93205aada3444f95673fb9","datavalue":{"value":{"text":"A Marriage of Rely/Guarantee and Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525642$BAD359DE-7A1D-4B3B-8A39-58AF76ABE46E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf0539e6b32937df6325ec7c7597ccc114cfdaf3","datavalue":{"value":"1151.68556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525642$53CEA7DF-C950-418B-8436-B4EF687C1796","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83f21d6d3d97458e37ed0af22455f4d280bc2544","datavalue":{"value":"10.1007/978-3-540-74407-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525642$19C68DC6-9F80-4FA5-AE28-CF291EE443B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525642$0C4947EC-756F-4FC8-899D-47C03E7B17BE","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":"Q3525642$C802C255-0543-42E4-8656-0140DB992DFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d33cde76bd73dc5ee329bf4c0e45fff7e5611f64","datavalue":{"value":{"entity-type":"item","numeric-id":3525625,"id":"Q3525625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525642$F391507D-58E6-4236-A160-E5DB222B0B20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-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":"Q3525642$4B7E8143-8946-4EB2-AC98-D5A927553012","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525642$EA6F6046-AA35-4CAF-AEB5-C51CA68F6739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525642$23FFD881-0DFE-4C0D-A06D-92612B8149E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad30419c4634bea0c37035c2d301dfd8c4e3c146","datavalue":{"value":"5344929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525642$8A022C5E-950F-48E7-82CA-755E4B655457","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":"Q3525642$999D7FB1-D308-4149-8921-7CEAD57411AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0a8dd545abcbabe6fd0d16de660330089e10859","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74407-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525642$9A2F8C23-7F20-4DB6-8344-28F3D8C41462","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0b1d446ad98afa8d7ab4bc2899ce2299ce10b85","datavalue":{"value":"W1819989006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525642$E3D52720-3FFC-4010-ADCE-6C2325587F45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99948634930667bfb6d949f7c294f287b4b03279","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc315348dcf67291ca897de78b8f2167676d1a79","datavalue":{"value":{"amount":"+0.7767714262008667","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":"Q3525642$6FCDDE8C-0D29-4001-8810-65B0142826DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250b38a1e29c3e3ff15bf7a62e33bddf5f1884ce","datavalue":{"value":{"entity-type":"item","numeric-id":3178275,"id":"Q3178275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573e3a3e4abff0b940b0e31b70fa51655232e916","datavalue":{"value":{"amount":"+0.7736017107963562","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":"Q3525642$4B34C830-97C8-4859-BEE5-138CFC9EEB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac68a0635b4d6ebc7d3f030c37e08062517b71d","datavalue":{"value":{"entity-type":"item","numeric-id":2941165,"id":"Q2941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1921e5b6c03ee5d9c4f62b41168375f5287f19f4","datavalue":{"value":{"amount":"+0.771634042263031","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":"Q3525642$CADDD82F-F254-484C-A7E3-3498726555BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91bc325b6a8dd24038302f4bf7652feca3d2a221","datavalue":{"value":{"entity-type":"item","numeric-id":5756496,"id":"Q5756496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be150ba44912c027afb0e7e417f1b38457aea2b2","datavalue":{"value":{"amount":"+0.7712202072143555","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":"Q3525642$0567217A-56D8-42CD-9EA0-9CA1263C5CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f13684149a0cb021a8f654860009d1d26147d339","datavalue":{"value":{"entity-type":"item","numeric-id":613139,"id":"Q613139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c51a1ad4f0708276e93bfed0065eb7ee86166fed","datavalue":{"value":{"amount":"+0.767869770526886","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":"Q3525642$70429917-872A-484A-93C5-442CC38E7CB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525642"}}}}}