{"entities":{"Q4910461":{"pageid":6940040,"ns":120,"title":"Item:Q4910461","lastrevid":51671273,"modified":"2026-01-19T09:43:22Z","type":"item","id":"Q4910461","labels":{"en":{"language":"en","value":"Decidability and complexity results for verification of asynchronous broadcast networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145872"}},"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":"Q4910461$8E287E71-CB44-4424-B8CD-C2F49EB54D54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c32175168f0c8e1c00b3de72d250f95fd3797475","datavalue":{"value":{"text":"Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910461$360A4B37-3499-472E-AA64-745AF6FAFE03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33a85e5fc361ca08e1eb94765e4a3d9af94fadb3","datavalue":{"value":"1377.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910461$887ECEA5-D7AC-4198-A4A8-81CA164AA0EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fb2f3d8ac64fbba5e6dc682b93679e88cfd049e","datavalue":{"value":"10.1007/978-3-642-37064-9_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910461$4F64DF14-F665-4F3D-B510-F2B4DDF2814C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910461$CDBCAE45-71FE-42C2-BA4B-72BEBCE51EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"363b156d3c017675e2d7b58adac2831510a47f39","datavalue":{"value":{"entity-type":"item","numeric-id":896912,"id":"Q896912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910461$C5947657-4B3E-46C5-B895-084DD1447B76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910461$C98749D4-09F8-42AE-A2E0-300F93B06697","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910461$29A2478D-6A5D-4D25-8D94-EDBC5E2E0F5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910461$73411F6F-E182-4CF5-A453-7C46B3FC16B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910461$9FE386E6-385B-40D5-AF4F-953701C97595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910461$F2E95D51-DF18-449D-A796-855786EB3481","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c1b323257ce4c941e136db5f1d58473ac92e8a2","datavalue":{"value":"6145872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910461$90D953AE-9E33-43B2-9FF8-D61A44966242","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910461$68C277CE-0E1F-40F8-9836-87DAE0CE82C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64d37b883332c67a7c2d81611a76453a794ed339","datavalue":{"value":"broadcast protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910461$2B501EA2-2610-4105-878D-636803C7BAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910461$FDFA6411-B37A-4FFB-A951-B59C86E70406","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":"Q4910461$CAC696C5-C2D7-47EB-BF8F-83638128A5F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e0eacfe54a5f1fcdc88ab59f5f3184fc61664b7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37064-9_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910461$BDF78BBC-6270-4203-89B1-DE99788BFFEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60ee9c43fd6d61ed4bb2ce97d1cb841b7b244380","datavalue":{"value":"W16257490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910461$A0BDBE42-9C7A-4E4D-9D21-FE375DC5C815","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c4f0ea1ead46d6f37c674e66268a9c90d6b44a","datavalue":{"value":{"entity-type":"item","numeric-id":2029598,"id":"Q2029598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae145671c236fbefd3ddd2aae32e21c888110ff7","datavalue":{"value":{"amount":"+0.8021689653396606","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":"Q4910461$97290525-015F-4AF9-BBF4-6724E21B63DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829546ce3cb71907cf41cd6d0eb52391930f1e34","datavalue":{"value":{"entity-type":"item","numeric-id":2957507,"id":"Q2957507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b17f9f6a54e85feedf5bde28da39d6d7d241383","datavalue":{"value":{"amount":"+0.7728265523910522","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":"Q4910461$BA341F5D-4DB7-4B50-8FFE-A1E631A96DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafa32a75777d162869a638a2974c634b94a029e","datavalue":{"value":{"entity-type":"item","numeric-id":5410669,"id":"Q5410669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06fade6715e7145bd621bf682408026b9f7f3973","datavalue":{"value":{"amount":"+0.7710527181625366","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":"Q4910461$B20069BF-1B72-4DF3-A5A0-B3E67C2ECE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dbbd0f2f6b25c4ef7fda47895db42035488ab64","datavalue":{"value":{"entity-type":"item","numeric-id":5856427,"id":"Q5856427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4707255350a467a78d9970ee3899950196ec9a3c","datavalue":{"value":{"amount":"+0.7668187618255615","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":"Q4910461$5EC66053-0386-451C-8AE2-CE846B60EE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ea8933639a0e37b1d2bae65cbacfcfdeafb62a","datavalue":{"value":{"entity-type":"item","numeric-id":2324224,"id":"Q2324224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c7101f10958ecd51b8ded780583ef5592114ae","datavalue":{"value":{"amount":"+0.76666259765625","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":"Q4910461$A67AAB95-9D3A-4762-BE55-262D0838B4F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4910461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4910461"}}}}}