{"entities":{"Q656082":{"pageid":657931,"ns":120,"title":"Item:Q656082","lastrevid":63485934,"modified":"2026-04-11T13:29:26Z","type":"item","id":"Q656082","labels":{"en":{"language":"en","value":"Efficient verification of distributed real-time systems with broadcasting behaviors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6000369"}},"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":"Q656082$BEC72E04-38C4-4D43-AD64-C6183FF5199D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d7e7d826be2dd2349b28d94bbe35d78998eae90","datavalue":{"value":{"text":"Efficient verification of distributed real-time systems with broadcasting behaviors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q656082$2BCB5FE6-014F-4E9C-BA5F-6AE0F7EBA6E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c71fbb0cac7b3365426f0dc9d66c6aa6d811134","datavalue":{"value":"1230.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656082$FA3B66D6-3596-4688-818F-9AF62A904888","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"678323d8c357eaf7e7bc2f1d5d96711bb3955f10","datavalue":{"value":{"entity-type":"item","numeric-id":656079,"id":"Q656079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$8A009321-2606-4F46-A3E3-7ABB6556724A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e502dabbd55c8e28e11df73acadef7bc9bfbc941","datavalue":{"value":{"entity-type":"item","numeric-id":656080,"id":"Q656080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$087B1AD2-6FAC-4754-BEBE-80F618D1C4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74298b7a91a3f4be013eedaa0843c8bac4c1d675","datavalue":{"value":{"entity-type":"item","numeric-id":656081,"id":"Q656081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$4EC2C10C-F10D-4BFE-9976-231545397D55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$85D98E03-0EA5-4691-A98F-A7553F08A94B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffc0ea61c40b80be669f97002718f965ec2f9f3f","datavalue":{"value":{"time":"+2012-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q656082$948C1F29-2E86-41AD-B030-B0BB36D54DE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656082$1BB6B09B-419D-44F7-9CBF-0CE10E879A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656082$82C14AB3-C60F-4096-8926-1265E342B866","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"333e8e3c93c8ca5a131e498ca6157bffdd23baee","datavalue":{"value":"6000369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656082$744ACF77-44FC-49BE-A61B-30A605C5059D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q656082$0D6FB907-31E9-4AD7-B4E2-15EA09232D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q656082$F961067F-588E-4F5D-AF5F-4BFB0BA73432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q656082$F2B2BF61-E14A-41F4-8854-DAAFC3D7C803","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$2D472476-98EE-4648-A366-3F85E9ECC313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"125944fdcc09f25dcfd82a5bab31c630b45b900d","datavalue":{"value":{"entity-type":"item","numeric-id":15835,"id":"Q15835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$2714FBBB-3455-4880-88D4-C3BBB280A713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$7B50282A-74CC-466A-A080-635E34A683BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$D1C46948-BD37-4A48-A64B-AD9E60861A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$3F28820F-B622-4E7F-AA0E-836DE1B90749","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":"Q656082$68A0396A-98E0-43DC-A351-7E3814565AAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55d20d1089faf78448278656dc913d96cc170564","datavalue":{"value":"https://doi.org/10.1007/s11241-011-9122-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q656082$64473C08-18CA-457C-AD3F-FC92697BF3F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63168862dce9f461482ab68cb1e317427faa4476","datavalue":{"value":"W2154340824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656082$CFD085B6-64C9-473E-950C-8ADA6F7F81EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$901FA0F5-0865-479B-A2EF-BAD7508113D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$D58FD014-7240-4E45-AE3B-34CC2B335C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$0FD504BF-C02C-4EB4-9FC0-AB8C8389616C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a45fb1359d2e66eafa82e7f6b15749ffb75ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5494311,"id":"Q5494311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$1B768E4F-426B-4D16-B5A8-84BF72B3161B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$9591FF7A-0572-4B24-B78F-EF66DE7117BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d601b5a73aa3f981ed43e68477a6afb0b2f45837","datavalue":{"value":{"entity-type":"item","numeric-id":1086246,"id":"Q1086246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$36A6F02D-7717-41EE-9EFC-D2668AB80E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$39B087CA-EA47-46D7-A303-8C9004036C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$8FB07ACC-D31D-47C7-A4DC-85962C0EB028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec29c1dfc5cae67c33df774e871b7b5be9d2dedb","datavalue":{"value":{"entity-type":"item","numeric-id":4356436,"id":"Q4356436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$5DE9B49B-9057-47B3-9D20-2913F16D3A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc56de9248e45c9cf7ade35fcddb1a986718d8df","datavalue":{"value":{"entity-type":"item","numeric-id":4003214,"id":"Q4003214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$FD00991B-FD22-4801-B502-EF2269BCD947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656082$70C7D837-C243-4288-82F7-F4AC93C23155","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ab4dabbb27ab7f29ae09cd15413153ea757b148","datavalue":{"value":"10.1007/S11241-011-9122-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656082$0E7B7848-4805-4FF3-ACD2-BC29AFFDB5FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c6e03cf55628603bd35896a6abcfe904ec3a21","datavalue":{"value":{"entity-type":"item","numeric-id":5447370,"id":"Q5447370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d8cd066c836b713471f5d1b854e075948827ad","datavalue":{"value":{"amount":"+0.7328677773475647","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":"Q656082$46C6B657-1DE9-4C41-BA5A-49E6DEECDB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76e16a4b33fef2d7db8e9ad818e844652193261","datavalue":{"value":{"entity-type":"item","numeric-id":2703729,"id":"Q2703729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b5de74e78ff8bb4efa24eda6ab980f9dca7d86a","datavalue":{"value":{"amount":"+0.7201375961303711","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":"Q656082$B0D4D87F-9087-4AAD-972C-67DAB53B3C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d180377698a92e9ad209e27f781223ba6a09f7e","datavalue":{"value":{"entity-type":"item","numeric-id":2709812,"id":"Q2709812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f40fc91abd0da2d7dbefadd546a4744bda5ead8","datavalue":{"value":{"amount":"+0.7143735289573669","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":"Q656082$987B989A-FEB1-4F0E-B192-9323419F088B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b048c6ffc608a1b3d653f4cd34e5bcb4d3d580","datavalue":{"value":{"entity-type":"item","numeric-id":2783116,"id":"Q2783116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecae6545324cdef50cd046bcb12ef7eaf341d536","datavalue":{"value":{"amount":"+0.7103826999664307","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":"Q656082$74642422-750A-4F66-A3BF-C7258B52CAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313237e4ddae0377471d81b70c150ced7b292472","datavalue":{"value":{"entity-type":"item","numeric-id":4509906,"id":"Q4509906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86beb675b3ceb6dd3aeb783a9add81128c40bf88","datavalue":{"value":{"amount":"+0.7102946043014526","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":"Q656082$DD5DE5F1-E469-41D1-AF7D-8856E65874DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient verification of distributed real-time systems with broadcasting behaviors","badges":[]}}}}}