{"entities":{"Q3384884":{"pageid":3395587,"ns":120,"title":"Item:Q3384884","lastrevid":88077278,"modified":"2026-06-04T13:34:55Z","type":"item","id":"Q3384884","labels":{"en":{"language":"en","value":"Parameterized verification of coverability in well-structured broadcast networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447739"}},"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":"Q3384884$BFC4030B-4C80-47BF-BA7F-DCBF609440FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92c7ad12e08531ed2138061fc0cd8aeacb05c4ae","datavalue":{"value":{"entity-type":"item","numeric-id":2029597,"id":"Q2029597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$BDBE8F0B-3DD2-4D83-BAF4-1D2DB353FE17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384884$1A7889C5-8177-45A8-92B5-C59429818E72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc3e0611bcc7b3e500353e7b9667f71a6624d9af","datavalue":{"value":"https://arxiv.org/abs/1809.03099","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384884$2A5F616B-AE60-400F-B3FA-D2B0330FA0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc51cfde847104571d4cb55156ef8a4edee28571","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384884$19A8F67D-9F3F-49E9-977D-B1F50B5F1128","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384884$31749D28-2BDF-4FEB-A271-E1A1CBA91034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384884$CB589337-BDB3-4475-BF34-963D426B205C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384884$2498F79D-4575-4CC1-9EF9-1B9507FBB8F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7082d487f6bd9aa6c69e2b16b5a92cec4ab7a072","datavalue":{"value":"7447739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384884$AE81B5E4-7899-492F-B544-DFB50DEAD295","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":"Q3384884$295D6BFF-3DF7-4C7F-8BA3-9EF93BD6965A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8485296520fe3d505e9f3c097bb6752db8cffa","datavalue":{"value":{"entity-type":"item","numeric-id":4251918,"id":"Q4251918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$BC7F3C8B-5A9E-45B1-BDF4-CACDDC99AB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cb1cd7b26c2aad03b1739ec12d7fe628f2c7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":3172855,"id":"Q3172855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$ABF9F463-824F-4D0A-B115-715B852AF81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5acba59184971d80f96be0743f04d16e527ff5f5","datavalue":{"value":{"entity-type":"item","numeric-id":2324224,"id":"Q2324224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$2E2403C3-8D5D-470C-A222-0543148E3A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c024da64abedfb88068ccd0e3cfdb36cd4fd35","datavalue":{"value":{"entity-type":"item","numeric-id":2963938,"id":"Q2963938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$E4EEFC0B-C172-4B80-93F3-AB6507F3E8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7bf04ca3af8c21f8ba7c508744780cfd0e7a80","datavalue":{"value":{"entity-type":"item","numeric-id":5410669,"id":"Q5410669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$D62D6732-557F-41FD-8B1A-AABE3250CE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10c9c15fa564fd061502c8ef2a6116ea0ee0a55","datavalue":{"value":{"entity-type":"item","numeric-id":5357693,"id":"Q5357693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$7C83C263-4A3C-43DE-ADCB-57BAB01D7616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ddddcdd5b9eb9bac3b0a1bd963af1c61cbef5ba","datavalue":{"value":{"entity-type":"item","numeric-id":4598247,"id":"Q4598247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$BE09A481-FC2E-489E-9D59-DB482A1DF097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13061f68da7af79744918152892311afb29dd4ca","datavalue":{"value":{"entity-type":"item","numeric-id":5168517,"id":"Q5168517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$1FEB0BE5-B704-4A1D-82FC-36D80CABFD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a58771e6abafe9728c545d980c92e6b739e0acd","datavalue":{"value":{"entity-type":"item","numeric-id":2957507,"id":"Q2957507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$4A29C14B-3DCD-4500-8454-6C43B61EA4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55099664c2960104dfa739c0e9359324f560c9ba","datavalue":{"value":{"entity-type":"item","numeric-id":3584939,"id":"Q3584939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$A433AE50-2159-4DC2-8FDE-40FDCEA6FF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe2eaaed127f92f45fa3ab8862f487c4abd56b5","datavalue":{"value":{"entity-type":"item","numeric-id":3000628,"id":"Q3000628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$F3A962D0-604D-47E0-B9AB-378FF741B407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb0a2baa482a2c4936cd901a76000390bf83b26","datavalue":{"value":{"entity-type":"item","numeric-id":4910461,"id":"Q4910461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$74B93532-EE8C-42D5-87B5-4318DE3D985A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e732ac24fced24328d5e2eb0ec178a3b48efbf","datavalue":{"value":{"entity-type":"item","numeric-id":4020706,"id":"Q4020706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$8E562B13-0EFA-4DAC-8652-020AFDC174CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$E54C8F05-E404-4000-A455-427C278EB58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d99f6827cef19b3fe0f6c547f29f0cd3def9a2","datavalue":{"value":{"entity-type":"item","numeric-id":2965467,"id":"Q2965467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$C403EDDC-1BE2-40DF-9F09-1447A6B07655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$09CC2722-4FD1-485C-93DF-BFF20565441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$72F6DC7D-A6E2-4BAC-BF00-947AB008DFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e9f4524f2efbe0a1ef0241f6954c95749240b6","datavalue":{"value":{"entity-type":"item","numeric-id":3275438,"id":"Q3275438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384884$997A44EC-50D1-4B18-8970-FFD51C3D4340","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":"54d10f21e059802f2a4189e5a645027f9f78d22b","datavalue":{"value":{"amount":"+0.980088710784912","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":"Q3384884$3228BB19-C076-415C-8222-2948C897F113","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":"2e361a5c25f3161369448fb195809978dbba9c49","datavalue":{"value":{"amount":"+0.8086974620819092","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":"Q3384884$3B05585F-4B55-45A0-A12A-E60BF48D8EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23eb57a845671f18673cba46cd8fc400a3063d12","datavalue":{"value":{"entity-type":"item","numeric-id":5875394,"id":"Q5875394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75c052808772cb8c7ec43b9e75e4f0f8fc27171","datavalue":{"value":{"amount":"+0.8066408634185791","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":"Q3384884$65E1D0C3-F239-4E8C-8E1E-BE2C0295D06C","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":"e52142cd9f1daef1d90467974e080346fe4be820","datavalue":{"value":{"amount":"+0.795474112033844","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":"Q3384884$66D049B4-F0E3-410C-AF92-5CB2DDDE851B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7e833972de5dc36f2090eb68f22fc3524aa227","datavalue":{"value":{"entity-type":"item","numeric-id":4910461,"id":"Q4910461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eeb53a75fd5de7ba7f603110b6824ad1b0e7456","datavalue":{"value":{"amount":"+0.7900234460830688","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":"Q3384884$02231CA4-E683-4154-8C46-102B4190DFFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized verification of coverability in well-structured broadcast networks","badges":[]}}}}}