{"entities":{"Q1770359":{"pageid":1781101,"ns":120,"title":"Item:Q1770359","lastrevid":72502107,"modified":"2026-04-14T05:21:31Z","type":"item","id":"Q1770359","labels":{"en":{"language":"en","value":"An assertion-based proof system for multithreaded Java"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153162"}},"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":"Q1770359$8A30E082-B6FB-468F-B190-93590C0A5333","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0ea88813a10972b8bb3232c747de5cafcf31194","datavalue":{"value":{"text":"An assertion-based proof system for multithreaded Java","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770359$A2919ECB-9D20-465F-8DA4-66CDB8F0DC84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c98e06f2e91adfcfc52636d0e1ff07142a52a1f5","datavalue":{"value":"1070.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770359$A007C36B-CB4A-450E-BC4F-F1092F5FCC94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$47E77A5D-12E3-4E10-91D0-2B05F9D3AD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$5A489E64-8ACA-47B3-BC04-88F6B3D273AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f83abf2b01a4357b2f9d0924a417dea001e35cd1","datavalue":{"value":{"entity-type":"item","numeric-id":338622,"id":"Q338622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$B2906FB3-A02C-4945-983C-8389149C1C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a33e668865998ad06e8768f6451ffff95432cb","datavalue":{"value":{"entity-type":"item","numeric-id":967529,"id":"Q967529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$134D0F83-87EF-4742-AFA0-A20DE97522A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$7F55D833-AE67-43D4-90DC-0D8A75BD4DD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770359$AEA3068A-0535-4228-B59B-B111557E7296","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"763eb52a4a9cba92af3f83df4b6eb4ca20d96b2e","datavalue":{"value":"https://ir.cwi.nl/pub/14587","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770359$32D5F5BB-72B2-40DD-87C1-1A9A3492368B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770359$65F56AA9-BFF3-49A8-A6A4-E041AC8BD3B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3199c4fd6f57b2a4828e1fb5a06c3649e9ad3d77","datavalue":{"value":"2153162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770359$EDC9B80F-8D96-4052-A357-8EEFB25BBD5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770359$723F9C70-4E93-417C-B6E3-C72B788B4316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1b71155934560481e169c0502ab6901d06a59f3","datavalue":{"value":"Multithreading","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770359$B736BF0F-10EF-49CF-B1FD-E91F01B7852E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0dc44133796aaf60e6b9f2a838d8f5eaa8f571","datavalue":{"value":"Monitors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770359$6233FE1F-3918-4F95-9965-B70637D25635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770359$F565ECEB-DE3B-49CD-8FB5-973A0853D15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f939c3ec95259f8fb390946d8980a62c323a18","datavalue":{"value":"Hoare-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770359$31FCB595-66BE-407C-AC85-1E6C1ED42197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dca42fe686601cf9afdcb94512da675494f3407","datavalue":{"value":"Soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770359$014500E7-B7A7-43E3-BFFC-D3856B805E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770359$5E5E1A56-728B-4330-A9A5-2B2C4E3A6D23","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":"Q1770359$3393B060-C5D4-485A-8193-A6496FF84A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$7D6BE6AA-9611-4341-A5CE-91DA60F3BAE5","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":"Q1770359$3AA528A0-FC3C-4DAA-9F7C-142E40ABEDA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e6d76f4b14ed8227aeb46a4f3a3668b528dea5e","datavalue":{"value":"W2140426285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770359$1D04A532-EDFF-47F1-B137-754AFE805B92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$56DFFB0F-2732-4B06-B087-8536CEEFA31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5db2425d51178e925ef61218584240f659c202","datavalue":{"value":{"entity-type":"item","numeric-id":5902547,"id":"Q5902547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$47CB9230-44D6-4E08-A50F-E7E708F8B9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8340f23e8db5fb01ff506da224142758e5f31311","datavalue":{"value":{"entity-type":"item","numeric-id":4536605,"id":"Q4536605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$B253D56F-4AF0-451B-BB0C-BF0D2FB9B4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a4be70e37111fcbec77f9db92103cb971fea9a","datavalue":{"value":{"entity-type":"item","numeric-id":4738214,"id":"Q4738214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$656C1E6B-0B50-4D78-A344-D746B2E3D4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f1a2a20b2c3b13eb8e456cfa42ac51a977404f","datavalue":{"value":{"entity-type":"item","numeric-id":5897122,"id":"Q5897122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$1F92AC2C-8635-4E3F-8E1B-E035319ECA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9d784e04e2e215c56bcf8c7a14b43f6bbfefba","datavalue":{"value":{"entity-type":"item","numeric-id":4730749,"id":"Q4730749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$DC2236E5-2720-419F-8C4D-DCB30B816CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$2B2C28A3-9130-45B2-A11B-301F32E58CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6085606bfeae07704c64a11cab121f617a9d999","datavalue":{"value":{"entity-type":"item","numeric-id":4484331,"id":"Q4484331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$502D3049-8D2B-4AA8-888A-FE2FC27F1344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28a9c2216d73411093667c058a31047dec97ffa","datavalue":{"value":{"entity-type":"item","numeric-id":4790351,"id":"Q4790351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$AAE84166-9EE2-4336-83B2-0A8D6B67DDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$66B46598-220C-4492-A9CD-8BE119FF9174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$A326D2E4-9800-4A68-B4B8-289BD851C19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$C05CA38F-ACBC-4C14-80B4-ADC218B450C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2d787aea149decdd1b03f659b625af1699bfeb","datavalue":{"value":{"entity-type":"item","numeric-id":1776585,"id":"Q1776585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$B0360E42-4DEE-4833-A8B5-DAD61D294A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b15a45fdc98c94e57ed6aee6ec8627751f8684f9","datavalue":{"value":{"entity-type":"item","numeric-id":1902305,"id":"Q1902305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$8579A3A3-4E6F-48B7-AA78-13A64D0D8B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacfb30a2974955786a9bff56d0c03b19b34c30","datavalue":{"value":{"entity-type":"item","numeric-id":4553258,"id":"Q4553258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$AB69188E-7086-4C71-AFF4-F35CD0982021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0817097b6d61530cc9a7e9ec3f78c24eda4ab674","datavalue":{"value":{"entity-type":"item","numeric-id":1153686,"id":"Q1153686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$FC439A61-C798-483C-B61D-854990608613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$F939B4C0-299F-4C6A-908F-48DA2154C415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0244d42b59746eaee648b37b32fbd969f75556ca","datavalue":{"value":{"entity-type":"item","numeric-id":5902541,"id":"Q5902541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$7B93AF16-7BFD-4BF1-BE6D-9DBCAD1E009E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11cdba64fa9b15de71b86a7b8f0097eb030b20c3","datavalue":{"value":{"entity-type":"item","numeric-id":2764133,"id":"Q2764133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$D49475DD-CD7B-46AA-B3FA-ED8410ADE211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$F52C86CD-C2EC-402C-96C7-B076415A1B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110ed67720fe603992088cf207d619f609c16293","datavalue":{"value":{"entity-type":"item","numeric-id":4039815,"id":"Q4039815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$96946F08-1476-4D4A-8290-C47DC53832E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb636a19f07738495cd7c2789db1b47cb8caa811","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$6B23594E-8426-4498-A42E-E0A4AD0A72F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab62ae941b4504ce193e952541d3a4c7ac7590cb","datavalue":{"value":{"entity-type":"item","numeric-id":4808824,"id":"Q4808824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770359$6197964A-F50A-45F9-9DFA-F7657F189692","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7738f0e73fffc58bc817a3f83e67be1f24de5595","datavalue":{"value":"10.1016/J.TCS.2004.09.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770359$E4F85785-61CD-4D38-986F-77CC043A3C00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92eae10ce6362351ae7e36a48dc5f4aecd87b257","datavalue":{"value":{"entity-type":"item","numeric-id":5897122,"id":"Q5897122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd816dddc6737eb1e23c9031ad777b57424fa46","datavalue":{"value":{"amount":"+0.9555391669273376","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":"Q1770359$766D2085-2D93-4874-9319-E328A5160923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05551d2afc67ce25732910138ae29ba87abe4275","datavalue":{"value":{"entity-type":"item","numeric-id":5457270,"id":"Q5457270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38a566f369465a3ace37e2c98d392b41fd11edd","datavalue":{"value":{"amount":"+0.891969621181488","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":"Q1770359$D9B29E70-3A63-42E6-A1F3-4B6FB5F87DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b66b72403db77920db535092c10eb2b8f4a2148","datavalue":{"value":{"entity-type":"item","numeric-id":4738214,"id":"Q4738214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bebc77afa1b8798227ad326c7cfddcf617a9663","datavalue":{"value":{"amount":"+0.8910214304924011","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":"Q1770359$DDBDBAE1-ED3E-4774-AA24-4C3E7B3A9A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7434d201da81f6cc256c238b8ea8c53a300470d","datavalue":{"value":{"entity-type":"item","numeric-id":4536605,"id":"Q4536605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2986dec4ab324e210f35ddcfeea25c67bcbd6f2e","datavalue":{"value":{"amount":"+0.8850852251052856","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":"Q1770359$495D78F3-D7D0-4EF7-8C8F-5CD78000AAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9085fff73a4e1486971bcf6d892241bd256580","datavalue":{"value":{"entity-type":"item","numeric-id":5428915,"id":"Q5428915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea6c870232e593c2992aef63c77c7ca616ad868b","datavalue":{"value":{"amount":"+0.8809589147567749","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":"Q1770359$AF3099A6-2D6F-4808-A7EF-FCF58E5AF583","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An assertion-based proof system for multithreaded Java","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_assertion-based_proof_system_for_multithreaded_Java"}}}}}