{"entities":{"Q2348946":{"pageid":2359689,"ns":120,"title":"Item:Q2348946","lastrevid":52281983,"modified":"2026-01-21T08:39:57Z","type":"item","id":"Q2348946","labels":{"en":{"language":"en","value":"A formal semantics for debugging synchronous message passing-based concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6446308"}},"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":"Q2348946$60085B94-E95B-42B3-AE37-27AB4BFEE4E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0fa529eafa755aeb0d5803f7e8f87cb3252812c","datavalue":{"value":{"text":"A formal semantics for debugging synchronous message passing-based concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2348946$77F8DCBB-A51E-48C9-B1CE-F35D60D2BF77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"341cd5f5c54d6f19da18eeb1702b0ea17f717b16","datavalue":{"value":"1314.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348946$F1A65CAD-26AA-4AE9-B582-74005B5527AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"390d2b78a0c6c70a52a6541120ac728ec3a07dc8","datavalue":{"value":{"entity-type":"item","numeric-id":337628,"id":"Q337628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348946$8A8150D9-DCE8-41C2-8FFE-3EB7814E3201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73209c3bd7bc97bd55ddd0a444e770fe2c5d82b7","datavalue":{"value":{"entity-type":"item","numeric-id":269712,"id":"Q269712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348946$CE37A531-9CBE-4B40-93AC-A392C308818B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7b3ebf4ac97b0d8d1ac329b9977e8a8c87c3ce5","datavalue":{"value":{"entity-type":"item","numeric-id":351017,"id":"Q351017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348946$1434B40D-53BB-43A1-8E4C-DD6BCA1136DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42eb32287e20d066742082752a98b4c9860fb9ad","datavalue":{"value":{"time":"+2015-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2348946$286A917D-E894-4B95-A220-1F86FBA9303B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7c4a785a7bf27b615caa39fd3b331a8c7da7beb","datavalue":{"value":"http://engine.scichina.com/doi/10.1007/s11432-014-5150-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2348946$E26F753E-D735-436E-9AC7-636197F549D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348946$74B833E7-1DDD-45F0-B690-2A461EA281A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348946$0B24E38C-B2A7-4EB3-A3AC-45D98E0656F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"036fa5aa85084f0da93936a2e7296caf9fa8a8c5","datavalue":{"value":"6446308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348946$0F2358BC-66B6-4FE6-AF89-F6B4A80B597A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348946$2B9AFBDE-14C3-4850-9631-F53D035B2D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20762ad77ef055c0c1dea1d65bad53635529fc38","datavalue":{"value":"synchronous","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348946$91045EDB-32FF-460E-AC2F-437BD8364F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12cc05bccfdd81cd938c0809ce06c418d2fb13db","datavalue":{"value":"message passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348946$11592F0B-781C-4C5B-9130-AE35C3297228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b032c8ae9a34a58a67e6b239c3cf1914149e7d","datavalue":{"value":"concurrent program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348946$478B93F0-E51B-4A3A-A268-EA9ABB253CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348946$1A9BA77C-28A8-4144-B99E-EA9C64F56CFE","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":"Q2348946$76E90ED9-A208-4047-BD92-73947918BD31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a0bb63a22ef153400a024404d8a21f44e15902b","datavalue":{"value":"W2059538525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348946$BED9697F-D78F-4CA4-8FA2-C4074798F744","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348946$E2C54823-D937-4285-B2B3-EB27677BB7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348946$84911BB5-69B2-48D3-9813-661CE4C6C616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14ae6b91536743b933c1ba4609c1171229026f9","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348946$2C4F35C7-81CB-42DC-BA3A-EF043B30C5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2603d0760f4b467fc735c0de2f5b05b08a6c8fb3","datavalue":{"value":{"entity-type":"item","numeric-id":439714,"id":"Q439714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348946$82B91A2B-DB5A-40B4-A694-B260C8B8FE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26b71849d679b4a0ed17ffa8bb680d5ab623cc4","datavalue":{"value":{"entity-type":"item","numeric-id":5920721,"id":"Q5920721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348946$CF4DE011-A674-492F-9757-796BFA1EC481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348946$906C71AF-32AC-43D5-8E89-B2494968E9CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e76ccf846956fe5a1bfa94aa905ab3e1d17fd9e5","datavalue":{"value":"10.1007/S11432-014-5150-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348946$87C1804E-EC8D-498C-BD85-51E9957A2A34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e61521466efc69453d03c996ffe47614665c4523","datavalue":{"value":{"entity-type":"item","numeric-id":5018141,"id":"Q5018141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348946$E638245E-057C-4C39-8704-E24FCAC1A903","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8baae1a2069a288b3a563219f9760a19f58d5939","datavalue":{"value":{"entity-type":"item","numeric-id":439714,"id":"Q439714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aabe6c9badd1237aef9e053963ffbe4a568fa15","datavalue":{"value":{"amount":"+0.7720238566398621","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":"Q2348946$CCE18890-101F-4CDF-89D4-A1D213B10844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f27494b99a72f258d3bfdcf81d01b98c8ea9ad","datavalue":{"value":{"entity-type":"item","numeric-id":3713583,"id":"Q3713583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848791cd94046643d9404a982cc6715ec7358d82","datavalue":{"value":{"amount":"+0.7557055354118347","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":"Q2348946$FDE88E05-2729-4FA4-9A14-13DB1F8B57BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b87a7f99a53d3fe22e82c62275fc35f7c54bee9","datavalue":{"value":{"entity-type":"item","numeric-id":4989177,"id":"Q4989177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96dc2005d44a1d53ed87a34f3c3baee5ef88ffd","datavalue":{"value":{"amount":"+0.7406085729598999","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":"Q2348946$0E1C8312-119F-4AFB-AAD3-05FF498C7409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2262586324d166b13858ad18a09d6fc75c420af","datavalue":{"value":{"entity-type":"item","numeric-id":1694447,"id":"Q1694447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ac7e120d82bc9a0af71631d478b5d71323d2db","datavalue":{"value":{"amount":"+0.7322661876678467","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":"Q2348946$8F001468-D74B-458F-ADF0-BF6280589F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59438a3e828c320d02fc6b175f45054adca7178f","datavalue":{"value":{"entity-type":"item","numeric-id":3176376,"id":"Q3176376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006ac3c0e452f1a20334f5700fcb28c37a55098e","datavalue":{"value":{"amount":"+0.7302737236022949","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":"Q2348946$F0F1F20C-2D75-4E21-A7A8-920132A4E911","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2348946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2348946"}}}}}