{"entities":{"Q5953461":{"pageid":8130263,"ns":120,"title":"Item:Q5953461","lastrevid":47727946,"modified":"2026-01-02T13:24:00Z","type":"item","id":"Q5953461","labels":{"en":{"language":"en","value":"Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694315"}},"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":"Q5953461$DE5DAA2E-3962-4B04-838F-6A1780FCE469","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86ba2108f0f5659430a333a2c5cc484a32c3e281","datavalue":{"value":{"text":"Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5953461$2571931D-CAF1-4CA9-AC47-3EC7A6C7674E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebcd5812b0b2db25ccd081e452e10be1c29c95dd","datavalue":{"value":"1053.68580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953461$3FC1DB7B-C8A1-4029-BFAA-FE5EC94DD6D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9170963fe83e5f6446b029c4b517877d715b3219","datavalue":{"value":{"entity-type":"item","numeric-id":225106,"id":"Q225106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953461$61CD5CEA-9BB0-4BCD-981D-6520C34241CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e81000e95d5baed5e5b30033cfcd1070b84fdc23","datavalue":{"value":{"entity-type":"item","numeric-id":225107,"id":"Q225107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953461$8E627421-4218-4F7E-86D7-5BACD3BCD65B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953461$ACF9DCD4-60F1-4309-B68E-9EA5216D5CDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6f630a8f9062cc7a61bf0b0d4072e8f242af2b3","datavalue":{"value":{"time":"+2001-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5953461$9D1FE97C-505A-4C14-8974-25DD623FEC20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dddd1cc0381245db3f6b9bf9a4255a3afcaa350e","datavalue":{"value":"http://hdl.handle.net/2066/18891","type":"string"},"datatype":"url"},"type":"statement","id":"Q5953461$A37A8F6D-295D-4698-998C-25CFE3CBFC76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953461$715616E4-6EE7-4E41-8E5E-ED751272B300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953461$DE96B412-EE5E-469A-AE39-7CD7ECB79E2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69d7e3a514c961d46ac95a671d34a25e8a97085d","datavalue":{"value":"1694315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953461$116FBE4A-E219-45E5-B292-A59775FEC9EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953461$613FE838-C841-42DD-A436-E61DA593814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a07fe089709aa41fe2b4e05c77b565d585c88c6","datavalue":{"value":"leader election algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953461$A1016905-FB04-45F0-AEFA-3876EB09AF3F","rank":"normal"}],"P1463":[{"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":"Q5953461$64F5A52E-2640-44DE-9E13-BE94D06A0251","rank":"normal"},{"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":"Q5953461$70D7D47E-0CF6-4762-95A6-A5A2D12C838B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b277d65df20516e74fdb8020d87028335a5d2a61","datavalue":{"value":{"entity-type":"item","numeric-id":15551,"id":"Q15551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953461$E3BFBCE9-5E78-46D9-AE2C-3A24EA107866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953461$B94AEB91-D2AB-4B72-A3D3-79353B430803","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":"Q5953461$A32D5093-A263-4FD8-9D2F-507216F3264D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63f685b17e2a9b4d3a174d6307aa73357c6324ca","datavalue":{"value":"W1575144383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953461$8635E5DB-4338-4E45-9B30-FC08FDC27B85","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"62c4d5f65bcd57e07b246a55a53f9fa7d671a4e2","datavalue":{"value":"Q126579016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953461$B581B3DE-9396-457C-B173-314BE9444843","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a10179c8d8364d452fbcbcb48b08817c81c1f8c4","datavalue":{"value":"10.1007/S100090100059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953461$5358A404-5935-4715-A5D4-BCBE7EA0868D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8137b8aa50913bd1094a14a2a957baae838f3b0a","datavalue":{"value":{"entity-type":"item","numeric-id":1402480,"id":"Q1402480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429ddcde50c6b736ca4b4c57d74fd844834dd089","datavalue":{"value":{"amount":"+0.8183022141456604","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":"Q5953461$7E19FC3F-3152-4E3C-9312-239FC0178B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5baaa0025aee2481fecc82a60acd6c467b887aa","datavalue":{"value":{"entity-type":"item","numeric-id":5959853,"id":"Q5959853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e17fa8bb06a9bd6210d48db800745ab8eb9cf6","datavalue":{"value":{"amount":"+0.8085721731185913","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":"Q5953461$02C97E1C-7E6E-4A2A-B1CB-435330E9B05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c2fd8bc4f9f8e8ff931ac7857c2100a4894749","datavalue":{"value":{"entity-type":"item","numeric-id":1402478,"id":"Q1402478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc320d3058a1c83a09da354dc077a67d151998e","datavalue":{"value":{"amount":"+0.7896551489830017","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":"Q5953461$7C3B1301-1061-4D93-8E55-AF8CB94727E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a635221d9239b3b882cf892a4ae4dd15403d36bc","datavalue":{"value":{"entity-type":"item","numeric-id":5308421,"id":"Q5308421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34e1fe2349cd06eb6d44f410c12473ba09a85b7","datavalue":{"value":{"amount":"+0.7741435170173645","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":"Q5953461$3E3503EB-8C2C-4481-A3DA-4E3F46F1E375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f011f8720f1670a5a022a5f7c3ec8f0201e4a3b5","datavalue":{"value":{"entity-type":"item","numeric-id":1402475,"id":"Q1402475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959f18c5ea598815671da462424300f66d6082c1","datavalue":{"value":{"amount":"+0.7606849670410156","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":"Q5953461$E7C96D5B-5FE0-447D-BE66-CD9507FC8906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5953461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5953461"}}}}}