{"entities":{"Q6536355":{"pageid":14147498,"ns":120,"title":"Item:Q6536355","lastrevid":55637383,"modified":"2026-02-17T20:08:10Z","type":"item","id":"Q6536355","labels":{"en":{"language":"en","value":"Practical abstractions for automated verification of message passing concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7835046"}},"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":"Q6536355$C58BFC60-A771-48AF-8C13-ACC7ACD41845","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"795247c106b49fff61ce419e07d865f258c2209a","datavalue":{"value":{"text":"Practical abstractions for automated verification of message passing concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536355$07E5A4AA-782D-4D63-8C2E-38125F97B759","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86de725fc0068d61a97f52720f500ce4e7101592","datavalue":{"value":"1540.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536355$4AE209A2-F818-4F42-BF33-83D1B1B4711A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71368f8ab713182d94ec0f67fcb6458afc9164c3","datavalue":{"value":"10.1007/978-3-030-34968-4_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536355$2DE6A3C5-E7A0-4E47-B268-F2A44CE4F3EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4631d4f248b70730a26a0db898eeb9b1fd0ffa","datavalue":{"value":{"entity-type":"item","numeric-id":784155,"id":"Q784155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$0CD9B9A7-0246-46F7-BE90-9FC9A8F92F06","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":"Q6536355$BC8544E4-AE87-4DAA-BF15-4C3E11914C0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536355$2822A036-D2DE-4917-B41B-C4FE9AC9AADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536355$C3DF48CC-DE3F-4466-9913-385134AC32F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536355$EBF924C5-9CF3-44CD-BD98-EC2FAB5BCF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536355$EA7ADC54-D046-4BF0-9E3D-4775A2A633BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536355$07BAAC92-9A3F-4C92-9ED1-4E563D525D33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55a0fc7137236b5ca1ec4029ed63826a13c57682","datavalue":{"value":"7835046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536355$7AC1607C-283D-4D7A-A8E0-9CA991C5AD01","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":"Q6536355$E9722D04-9690-492B-A726-EC53C10EDDE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa123b8788962b27013e2996f89b7aceb4e8001","datavalue":{"value":{"entity-type":"item","numeric-id":2402555,"id":"Q2402555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$23853354-8BA2-43AB-A3F1-E76F6811D3FF","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":"Q6536355$159D9606-89B1-4AB2-B2BD-F071EBD99604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$EA90A2D8-7091-4C16-BDD7-41F922D45616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ba30ab1001d78a155d2ee6b2240f0d15ceaf98","datavalue":{"value":{"entity-type":"item","numeric-id":3224673,"id":"Q3224673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$84A34B7F-FC77-4949-920C-94475B893D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$50088E7F-B253-4030-9FC1-36134AD09790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89579818d6e4d80a75d235c5b81c8830de4580cd","datavalue":{"value":{"entity-type":"item","numeric-id":931876,"id":"Q931876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$F3222586-012A-4AB8-8D68-9DAB658BC83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b75c64c986d251bfbe9dab9c14ffb3691d75cc","datavalue":{"value":{"entity-type":"item","numeric-id":2938169,"id":"Q2938169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$17C4C495-175B-4539-A8D5-14668DFB8AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$4D6E32E7-41CE-48B7-815E-A0DFA93B6130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422aaa623eb5f87aeca9f244e6f007c7eb8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":2796035,"id":"Q2796035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$0FC49526-2278-4FAE-A5F8-30399E3E9887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90600d640bf241ff0996bc9c4593429acd22ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5410705,"id":"Q5410705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$907CBDBC-E72B-403B-BE34-9BAFABC823DF","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":"Q6536355$3640A4FC-18FA-4663-935C-2A6B6C79293B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8018fa003f60a008f92d479b6caa6c6649935fa9","datavalue":{"value":{"entity-type":"item","numeric-id":1630044,"id":"Q1630044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$A5897089-0D12-4B36-B2DD-A608D898E340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532d00baba3db8efca7b5c7c2b1e32a4dfd42f0d","datavalue":{"value":{"entity-type":"item","numeric-id":5942575,"id":"Q5942575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$E41E910E-80FB-424F-A3F5-5A7E7BFBD4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$A1DB5815-F8E2-4EF0-A3D9-B40BFC43A048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1be0e6f88ac9fc296f2c57123c23ad4a2703744","datavalue":{"value":{"entity-type":"item","numeric-id":3176378,"id":"Q3176378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$762F56BF-1E76-4CA5-9706-B3BC55204EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc6362ae6c42ca2e8e1880257b6d86ff0e45ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5326285,"id":"Q5326285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$AAF29A81-199D-471B-A615-1496573B8F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3dfe213d0bcea3ac3aac0d12fc2d73ae3004e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4518869,"id":"Q4518869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$46F131BF-7887-4D4D-BEE2-5C86B502254D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb97b334a68fae247453155dfcad48720dc60752","datavalue":{"value":{"entity-type":"item","numeric-id":5739365,"id":"Q5739365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$D56A2452-C69A-48F7-ACCC-D12A2FFC9DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536355$5F484565-029E-44DC-B83C-A418170E3637","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ad9459bb8e292502c2ce8d9701cc4dfb507e08","datavalue":{"value":{"entity-type":"item","numeric-id":784156,"id":"Q784156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e14c315fffac5b1bdbaa7bdc12189f71053f0cb","datavalue":{"value":{"amount":"+0.8512177467346191","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":"Q6536355$B88FD2C6-622C-45B1-B6C1-8E1A42C7B8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1eeecd7e788e25b886fea63c40a8df25638bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":4621182,"id":"Q4621182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8faefaf0d9d56ccc8f2d5c6c218a279e6e3ebdf1","datavalue":{"value":{"amount":"+0.7736725807189941","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":"Q6536355$6934B413-EF4D-4F5A-A828-ABD026C79D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecb4d815950bbf45a8092dc69990663e7ba8aa1e","datavalue":{"value":{"entity-type":"item","numeric-id":2938169,"id":"Q2938169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525ab1417b1167fe85c59dc5afc3c0acc2dc5a94","datavalue":{"value":{"amount":"+0.7684460282325745","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":"Q6536355$CBD864B0-A557-45D9-9ECF-08C4A08AD27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f624ef920d6ebff240d494161408d48e49731159","datavalue":{"value":{"entity-type":"item","numeric-id":1630044,"id":"Q1630044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80cc56ae633b27ba473556acba4a679e6e3c6ad","datavalue":{"value":{"amount":"+0.7595697641372681","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":"Q6536355$ED11706A-72FD-4DBA-8FEC-12891006E037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54aaee8611eb010c6690546fd847626948962860","datavalue":{"value":{"entity-type":"item","numeric-id":2154028,"id":"Q2154028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9942479257af1bc77423f09abea15bd06d7346e8","datavalue":{"value":{"amount":"+0.7519538998603821","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":"Q6536355$69487251-63FA-41FD-8DD9-298AD5A09DF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536355"}}}}}