{"entities":{"Q5177333":{"pageid":7206905,"ns":120,"title":"Item:Q5177333","lastrevid":58470861,"modified":"2026-04-05T08:56:53Z","type":"item","id":"Q5177333","labels":{"en":{"language":"en","value":"Permission-based separation logic for multithreaded Java programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6413632"}},"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":"Q5177333$CAFAF4AD-DB22-42BA-8C62-08EB6010FB41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"172b33aafbf16c1bc796af85ea9ac4fdc7cd8aab","datavalue":{"value":{"text":"Permission-Based Separation Logic for Multithreaded Java Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5177333$3EDBA450-BD93-4469-898A-D47968C15BC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b6dc107346ff593d6173a3bd4be9443f92ef940","datavalue":{"value":"1448.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177333$4700D56C-2F27-4D6C-9CA3-29D47906BF17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4b342b081c3dc57579300491c5dbe8a8d0cc575","datavalue":{"value":"10.2168/LMCS-11(1:2)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177333$B26C075B-2FDF-4F34-921A-29C90DADAED8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1199e726f471dd305fcd236d16b5acde0b85602f","datavalue":{"value":{"entity-type":"item","numeric-id":2789049,"id":"Q2789049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5177333$37C27FC5-CFE8-4A73-B014-793BADACC406","rank":"normal"},{"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":"Q5177333$8E98DB26-7786-441C-81FA-162069D5C6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3772d5f7c7aac4e0fdecccd336d0d84f954a370a","datavalue":{"value":{"entity-type":"item","numeric-id":225075,"id":"Q225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5177333$66920352-670F-4287-9AD1-7F784E5C9499","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":"Q5177333$8BA86730-D1EE-46C0-AECC-FBE6825D6BBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5177333$447DA625-17BA-4E9A-A6B1-5DCA09A2DD87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaa340ae51925f6905d18399dfd97774b2ad90cc","datavalue":{"value":{"time":"+2015-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5177333$F04D9EE8-20A6-4CA5-8774-B0FA60920353","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b1edc87f2ec1c66559a96e68b90262f8a233629","datavalue":{"value":"https://arxiv.org/abs/1411.0851","type":"string"},"datatype":"url"},"type":"statement","id":"Q5177333$6A65BB9B-C169-4359-9593-400ECB9F8416","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177333$E917E455-625C-4EBC-A7B4-6BAB8751F704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177333$1E2F2BC2-9A14-48F3-91E6-D3FE4791F7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177333$53B7E814-47B5-413C-9897-87D9EAA1ABFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177333$F4D21B1B-DD50-4C59-B029-7910D4DEC221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177333$F88C8335-2EBF-4C1E-B5E3-930CB0C73A36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb0dcb3e012744284c46298563ed8bdf3c2d8ec0","datavalue":{"value":"6413632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177333$0150377C-A96B-4FAD-AAB0-79E5DAEE5D62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177333$27E904AF-9484-4C70-BC9E-1818EF29B0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177333$AD7BBEE9-19DD-45BC-858A-0AD29DD457A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"705d96611ec978b0e41fe65216c3c31eb890bfd1","datavalue":{"value":"multithreaded programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177333$CCAABB16-B76B-4AB5-8E96-230B1B5467CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177333$25F712D7-19B7-4A69-928E-C2D1AA3B23A5","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":"Q5177333$ECCF42F7-B530-4D69-8DC6-F489A4AAFEA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"109657f9b69a2f0104e432cf5d4d97dab1409ed2","datavalue":{"value":"W3121786935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177333$4843832E-F48E-4CCB-9030-2A9C1CCD1E38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba0525ddb2c220e21549c27e11f8955fc46b14d","datavalue":{"value":{"entity-type":"item","numeric-id":5505424,"id":"Q5505424"},"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":"Q5177333$5C90DD2E-172B-4733-9109-4F31369CC5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df1785e636faf4aa05d203c2cd26321715f9fa0","datavalue":{"value":{"entity-type":"item","numeric-id":763473,"id":"Q763473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d243c473bd8a077ab1249ae4aa6de204f3c72bfd","datavalue":{"value":{"amount":"+0.7856009602546692","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":"Q5177333$5058A840-4E77-4EEF-945B-7D1D2F1EEF82","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":"bc89fc85bb9217b622bd04c10d082e7a3fdf2246","datavalue":{"value":{"amount":"+0.7835410237312317","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":"Q5177333$62604E2A-D95C-48AC-9A88-0CB27D271E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c7cca977a6f65382d66bf40adb510cb63a15ec","datavalue":{"value":{"entity-type":"item","numeric-id":1770359,"id":"Q1770359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c036f05246679aa357059aa492b03d38241b2fab","datavalue":{"value":{"amount":"+0.7827577590942383","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":"Q5177333$54231EC1-CB5A-4002-8DE2-E9F66B75A742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a559c48a6534a54d7a04f8e324f02dc7e5d4e056","datavalue":{"value":{"entity-type":"item","numeric-id":1004057,"id":"Q1004057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789831dabf7b341cb0c79e3c28b7f41c2700b7b9","datavalue":{"value":{"amount":"+0.7762150168418884","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":"Q5177333$B4DB548A-C391-49D9-8A41-E36BC4A39D68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5177333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5177333"}}}}}