{"entities":{"Q5505424":{"pageid":7534984,"ns":120,"title":"Item:Q5505424","lastrevid":96492662,"modified":"2026-06-05T11:25:44Z","type":"item","id":"Q5505424","labels":{"en":{"language":"en","value":"Separation Logic Contracts for a Java-Like Language with Fork/Join"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498140"}},"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":"Q5505424$F92A5101-87D3-444D-BB4A-CA01856D8E96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"792b09150c1d62b7d85ec7f7fd53b61a64d4b2e2","datavalue":{"value":{"text":"Separation Logic Contracts for a Java-Like Language with Fork/Join","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505424$222D2179-155B-4973-B90A-2D94D0B4091B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aee245bb156b76dba947ee4f9b0e3e1f309544dc","datavalue":{"value":"1170.68413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505424$217296B4-1DD3-4DBB-A750-B4ACC1400BB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b3729182796d60a6871c28e13bdc3409e5c4b91","datavalue":{"value":"10.1007/978-3-540-79980-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505424$69EF9082-F9BE-4486-B615-23A2E036E348","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a7225056087b5a376fd5b50ef580557b21fb0a4","datavalue":{"value":{"entity-type":"item","numeric-id":1887737,"id":"Q1887737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$F60DC8F9-C9C1-4C30-AA19-3321FF63A93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cdc26614cb23756dd4bf1bffa0331d657ec461b","datavalue":{"value":{"entity-type":"item","numeric-id":3392919,"id":"Q3392919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$34D703EB-C61D-4B6C-B42B-DD5E2E504D85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$07A227BB-3EB1-4A9F-B7CC-C28089A8D6AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505424$6495907E-F2E4-49B7-A9A3-0B3292E84A3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53dc7e05295430b72f098f4f9f4a7ee15a977bea","datavalue":{"value":"https://hal.inria.fr/inria-00218114/file/techrep.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505424$BF86C922-9FAF-46E2-8E18-BA244B5487F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505424$84681037-4078-4097-B8E5-842FD8D6F8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505424$9792D7C3-B91B-4D2F-ACB0-F16DA0EE10D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505424$F8E5ED78-3288-4D9E-81A8-A7BFA349BB20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fa575329a4939f2d7ecb7e59b455c1199c0783f","datavalue":{"value":"5498140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505424$71E0286F-575B-4DF9-BB67-761A1B929F33","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$432D768E-104C-4A2C-88C0-C8E2AB2FACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"328a4887d5a745918f682c9b5cd832468b1041c7","datavalue":{"value":{"entity-type":"item","numeric-id":21718,"id":"Q21718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$7D72CA97-D0A6-4E75-B89F-4286BCD564E9","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":"Q5505424$C4CCEE89-33C4-425F-A053-5EEF03528BCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ef45b0e116fb90054028337987925f81172ebb2","datavalue":{"value":"W2109121837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505424$3C0370D5-1101-47E9-BB59-5A265A295161","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$2920313A-11BA-4A0A-B32A-49E766919284","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":"Q5505424$85384B19-35A6-4BF0-991D-8A5163E00E2A","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":"Q5505424$73A863FF-AA26-4682-AF9F-B878CDDA55BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b3cca66b9834c6279fc76e16a634560a040160","datavalue":{"value":{"entity-type":"item","numeric-id":5276153,"id":"Q5276153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$8CDEE49B-4250-4F66-8FC4-74F9B75203B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6c5aa1addf460148ffcdbb0b29392259175dfd","datavalue":{"value":{"entity-type":"item","numeric-id":3189829,"id":"Q3189829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$1D64BA7E-D34F-473C-AD7D-FB2B9DA38143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db457c46a75b20727f84612ba0607e2d094d824","datavalue":{"value":{"entity-type":"item","numeric-id":3498431,"id":"Q3498431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$515F462F-792F-441D-874E-16321180AD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2da5f727d92d7d66ef9c2c8c6cc0c752b004a04","datavalue":{"value":{"entity-type":"item","numeric-id":5505424,"id":"Q5505424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$ABF209E8-D0E0-4B7A-B472-17827D99BDAA","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":"Q5505424$99F1E63C-8085-4CFD-8DB0-0B03BE05C31B","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":"Q5505424$79200B0E-BD80-4173-89B1-6D228E8952EB","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":"Q5505424$AC819EDF-F9EC-4003-B5C9-5A9A5CCE2819","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":"Q5505424$43C1F955-C780-426D-8B62-E3A187869798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d89278057f829a68cd8215a1e83a3013e2243e","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$5E7FF11B-ABBF-4DF7-90EB-E7AD85912F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d35568f9e9d1b4da0eb41e1856ebed95b31b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3189828,"id":"Q3189828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$44E03EE8-B502-454D-B0FA-392DF321A4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b77730f27d19fff5a2af30b38837d9c3e169906","datavalue":{"value":{"entity-type":"item","numeric-id":2729060,"id":"Q2729060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$D1B48310-FC80-4F73-B287-A8473393B3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e0b56bebc50858d70dca02e3d7fc2fae05ad0d","datavalue":{"value":{"entity-type":"item","numeric-id":4260366,"id":"Q4260366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505424$2BA820D0-E5E7-45E0-8CCA-322F70B24EBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7f7e1bb514772f4db314196e5218750a503878e","datavalue":{"value":{"entity-type":"item","numeric-id":5177333,"id":"Q5177333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375724a7a0737952d2a4b200ffce27a0ff32ce58","datavalue":{"value":{"amount":"+0.8307697176933289","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":"Q5505424$30D57329-4680-403E-B751-02E54B09C109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229a3a0eba787aa84df1639600e3c6f3356421eb","datavalue":{"value":{"entity-type":"item","numeric-id":3557673,"id":"Q3557673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df13baae9e709483510f272f6a1e762d4b367a4b","datavalue":{"value":{"amount":"+0.7694206237792969","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":"Q5505424$0CC3BAF0-B21D-40A7-9526-C90ED7D64E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9544de41f81387be86297869277c1a82bc01c1b7","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81db101aa8283a630760a5f16286c10b6219e724","datavalue":{"value":{"amount":"+0.7630546689033508","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":"Q5505424$F386941C-612F-4FEB-923E-87CA707F9EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f72112ae0de9c4ec7fdaff364082f56a8eeb23","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc487356fff1868883dac66fcccdeb9d92cb3db","datavalue":{"value":{"amount":"+0.7563192248344421","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":"Q5505424$96C05442-0330-40A0-9216-C1DA1BA1CE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a150033483c8f26e46ffcf349d76a551cf29e0","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9084fe33d705cfddda721f2c167c20da396c9d","datavalue":{"value":{"amount":"+0.7542874813079834","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":"Q5505424$E68BD781-5152-4E47-98EE-563E83FDD037","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separation Logic Contracts for a Java-Like Language with Fork/Join","badges":[]}}}}}