{"entities":{"Q5168517":{"pageid":7198089,"ns":120,"title":"Item:Q5168517","lastrevid":52036733,"modified":"2026-01-20T19:37:08Z","type":"item","id":"Q5168517","labels":{"en":{"language":"en","value":"Parameterized verification of broadcast networks of register automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6313952"}},"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":"Q5168517$B9B15B9C-EEEF-443A-8A1A-825A89ED181D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e17a55ea96cb9266f4a38b3862b0905b0916a75a","datavalue":{"value":{"text":"Parameterized Verification of Broadcast Networks of Register Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168517$B79292B9-22C1-4EEB-88DF-639026116834","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1f48760970fdf1aacb8577bb7f515551bc75ebb","datavalue":{"value":"1355.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168517$F431A707-97DE-4C77-B70C-9DCAF6463A30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e09188ff504690f11afb406eeea4759f635d2f86","datavalue":{"value":"10.1007/978-3-642-41036-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168517$AF2266E5-2857-45C1-8010-3BEAF28AD7C3","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":"Q5168517$3E768B8B-D35E-4AE0-A1B6-2BCE3C804258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e3b17c47ff1724d3fa8b0c056814a8c6ac414c","datavalue":{"value":{"entity-type":"item","numeric-id":896911,"id":"Q896911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168517$23E82219-1E33-4FF7-A4F7-9A90B2E57B95","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":"Q5168517$9B11A2F6-BBA9-4251-AFAA-D542814866D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168517$810C03FB-BC62-4D30-BA8F-812151DCAB2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d603758fe5a0b1a306672087901c5802a7cd9a","datavalue":{"value":{"time":"+2014-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168517$A971007B-C087-4417-851E-2DFBC300D11F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168517$BE01B7A2-486A-4D0F-A5D1-F349CFD2370E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168517$E25E104C-A4D0-4C7D-95AB-CB4791D8EE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168517$838D55A5-961B-412D-9831-C7140359F4F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3efac6c5e3ede518c1dde8a4bdcaef53d79a52c0","datavalue":{"value":"6313952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168517$ABE396FF-6712-48FC-A951-54B2DBD2F2AC","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":"Q5168517$530F41E8-1ED9-4408-AAA6-C24ECB0C0087","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c52ceb71d2b2947e253c1d58e79c1190453bf65b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-41036-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168517$B7718D5B-D0D2-4DBC-8710-797510F1C23A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c7f2f3ac48dad93a2e5f8e6feb92b86175c3540","datavalue":{"value":"W1362128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168517$F13A9A45-6859-4367-BEEC-78C65E2429C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20bfcfbb2e3861b8ad27df14185671de328bab8e","datavalue":{"value":{"entity-type":"item","numeric-id":2968525,"id":"Q2968525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830efb71566911b4337581ab13f77d1fc0a7b3c8","datavalue":{"value":{"amount":"+0.9046788215637208","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":"Q5168517$2CB4A16E-2726-4D0E-AD75-FEED730A5F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe60cf7e45b810b5db81f1664008c85ec11838ac","datavalue":{"value":{"entity-type":"item","numeric-id":5941103,"id":"Q5941103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647284a9d0a7aa2c295a3eca70e722ec0d52e909","datavalue":{"value":{"amount":"+0.7995368838310242","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":"Q5168517$B0572C08-6E89-443A-A0B3-89443CE696CE","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":"124a51e9ffe2c3a97e21eeea16785b1eb5715409","datavalue":{"value":{"amount":"+0.7877886891365051","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":"Q5168517$EFE7BB3A-9C54-4FAE-B9EC-A1604936AAD6","rank":"normal"},{"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":"8865fd516b977ca34ab2ab9469d7bb99efa8e8f6","datavalue":{"value":{"amount":"+0.784223198890686","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":"Q5168517$33A1C02A-B1B5-411F-BE59-F190E9328C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39f424b9cb8935242b3862f9317370fe143046de","datavalue":{"value":{"entity-type":"item","numeric-id":1974479,"id":"Q1974479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116b94ed4466d91a0f7466de6383eb9bf37126f2","datavalue":{"value":{"amount":"+0.7745448350906372","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":"Q5168517$DE1936E4-F85B-4ED1-9C91-0921F7461BE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168517"}}}}}