{"entities":{"Q1402478":{"pageid":1413218,"ns":120,"title":"Item:Q1402478","lastrevid":68625828,"modified":"2026-04-13T01:01:08Z","type":"item","id":"Q1402478","labels":{"en":{"language":"en","value":"Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1971925"}},"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":"Q1402478$B45C170F-7521-4B4A-A6F4-0F1FA98C3ED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7225d86d72f277dd94dbe4d7380aef8135eed083","datavalue":{"value":{"text":"Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1402478$5D738E4A-952B-4D5E-9A0F-89ECB48F611A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f1513e22cb3c675a2bc11f9c10211148c253857","datavalue":{"value":"1029.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402478$4044B11C-B75B-44EF-87B3-6E5501C2A139","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402478$6034EE5A-97A6-4F24-93E7-B79AEBB6A857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31452a7b9d2814abb45eb9a3a707bde26241b486","datavalue":{"value":{"entity-type":"item","numeric-id":278755,"id":"Q278755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402478$BFB6B079-3FD7-4D1B-A338-937496E8A5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef644520868ad4c5cf8cd65ad73911c814055439","datavalue":{"value":{"entity-type":"item","numeric-id":846014,"id":"Q846014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402478$94A171D4-5BE2-427F-B78B-001B3C5B60A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402478$E7EA6E62-F4D8-4242-ADB1-89996D4E78D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e470d6afc31ac12c7a48dd9fcc9ab0832c78550d","datavalue":{"value":{"time":"+2003-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1402478$B195F5D2-DE60-4E24-B519-B960DD29E532","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402478$7CB1B1B9-7142-48CF-A620-71CDC721F5D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d0d4e7eaa67ee27c5ed9998b0a95618be5bfb39","datavalue":{"value":"1971925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402478$E4368580-9B90-4E09-8A1B-6A5A02F28E77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"677a6e321f02c324325964dc557cf1607f95d1ee","datavalue":{"value":"IEEE standard","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402478$25851870-7675-4F22-A04D-36D0558B2663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31c9d7a8930166a214e877e353d4555d475c18f","datavalue":{"value":"FireWire","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402478$012C6B69-41BC-4716-A862-EB5C98E4B31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e88b802b4b39cb9308d672c152c2b4ad79a2a2cd","datavalue":{"value":"Probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402478$C4711D54-AB90-43FB-B957-6D54506FBB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402478$AD9D7C0D-710C-4F1D-B274-F37AD6399489","rank":"normal"}],"P1463":[{"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":"Q1402478$59352E89-9F1D-4828-B1A3-F2BE9467B884","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":"Q1402478$8DF36ED8-5A60-4E0F-98DD-5D94FD8B0FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402478$232D4A9D-419E-4C67-B311-E2C8AADF74C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65c5f2bc4e1747adbbdeaa77db7bff22e1616538","datavalue":{"value":{"entity-type":"item","numeric-id":14057,"id":"Q14057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402478$326B05AC-D953-4595-8AFE-6EF11FAD2713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402478$AD20AE3E-EA09-4503-98A2-675E0F6C66FF","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":"Q1402478$186ECF1A-9DFF-484F-B2C2-79F807C112C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f58f7956dcd5c3760539dcb14671dc65b8dfa3b","datavalue":{"value":"https://doi.org/10.1007/s001650300007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1402478$76EBEF94-E020-417A-8E0B-A79C68E02B5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0195294847843821d9b24b4b55b3ffb372298cae","datavalue":{"value":"W2057873236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402478$36C9DA3D-FEAD-4A9F-A628-3494B25A01CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60d53e7bcba13fec672d5418264a390b76d442c2","datavalue":{"value":"10.1007/S001650300007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402478$81B3B918-96BC-4F5F-BA6E-20FC112910ED","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":"0b156a484641fbb4484339570b9f2c40a057f7b3","datavalue":{"value":{"amount":"+0.8352946639060974","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":"Q1402478$B0F480D8-F03C-48D7-94DA-D2E68D1ADDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f2dc840906419a20b10f34f7c1916360a80c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5953461,"id":"Q5953461"},"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":"Q1402478$62BD44BA-C187-41AA-AE4E-3842C220BB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2371235f90af57c2890818900547cf62c63924","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143f1afd898d5e8f8c5ae313f309090f1f7a417f","datavalue":{"value":{"amount":"+0.782728910446167","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":"Q1402478$63DF46D1-6352-4E13-A154-28A8CCC09A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a545757fa52445bd0ee53e6b9145496218f12f72","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce09109b7f0d2257a602d3cb3af107bd2545d661","datavalue":{"value":{"amount":"+0.7723178267478943","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":"Q1402478$FFE16EC7-851E-429E-955B-3D2E62E5CAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9237cabff669866ad3cf42f58f9932b989623fd","datavalue":{"value":{"entity-type":"item","numeric-id":1402477,"id":"Q1402477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba94a841478dde7a82638888a62bf2bde4c5653","datavalue":{"value":{"amount":"+0.7602837681770325","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":"Q1402478$95A06735-DC09-4679-815F-BD5CB387D5EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_model_checking_of_deadline_properties_in_the_IEEE_1394_fireWire_root_contention_protocol"}}}}}