{"entities":{"Q2848422":{"pageid":2859142,"ns":120,"title":"Item:Q2848422","lastrevid":51834092,"modified":"2026-01-20T06:49:27Z","type":"item","id":"Q2848422","labels":{"en":{"language":"en","value":"Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211914"}},"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":"Q2848422$98A511BB-038D-445B-AC13-74CEC2D29C55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fa21925ee1e24e9ded35403161c7f19653e3270","datavalue":{"value":"1272.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848422$807608D9-96C7-4C29-9D9B-71759BE441D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebcaa1b9b7aa1f797f368e453410e6821f78e0f3","datavalue":{"value":{"entity-type":"item","numeric-id":476178,"id":"Q476178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848422$34E9602D-5B4C-4E37-BF0E-259F31E662E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e4757389edbf44ff9df80633fa169671a98af04","datavalue":{"value":{"entity-type":"item","numeric-id":2848421,"id":"Q2848421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848422$516A38D0-70F4-4371-9340-4080426978C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"764dc920edb8b321640d6d8191b1ec243d6b4c52","datavalue":{"value":{"entity-type":"item","numeric-id":2478550,"id":"Q2478550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848422$E74D4FD1-638B-4153-BE28-E1716CD41388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73e53992c06418a54155da23939a80346059c428","datavalue":{"value":{"entity-type":"item","numeric-id":2766876,"id":"Q2766876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848422$72CF7D28-CC2D-4731-A341-654876BADF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d27df2e535c3d5123731759680803f57f6d4874","datavalue":{"value":{"entity-type":"item","numeric-id":656600,"id":"Q656600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848422$FD006791-29A7-43F4-82B6-D441411F1590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4ec90d133e47d0c18aea7f6eb0155ee89eb2f7f","datavalue":{"value":{"entity-type":"item","numeric-id":630593,"id":"Q630593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848422$0D20E818-6171-4FCC-97C0-25D46FE9F999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f1d2fde8a6c4137f5c8d1f106d6e45e31f0187e","datavalue":{"value":{"entity-type":"item","numeric-id":1092154,"id":"Q1092154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848422$EE12EF57-8086-42B6-A070-6998495677F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848422$A6F76790-E0F2-45D3-B5BC-8F6CDD758ED1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848422$86B645AD-C11E-4AD1-B987-255ED98FA4B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f99e7b829c3a21081c0a6cacce6c9330edc50c9","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105002446","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848422$719D103C-113E-497D-9188-13510C08C75F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848422$2DF1CAB2-4993-40B2-AD04-D5D42062FA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848422$906B5626-2C7A-4611-A4A4-4F7371E11546","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b7fd484611046a56f08e3a753a3d3c75b980ac9","datavalue":{"value":"6211914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848422$4277F74A-9CCC-4234-9D85-59C2A5444C20","rank":"normal"}],"P1463":[{"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":"Q2848422$528CB767-7B38-41DB-AA71-36BEE41AF29D","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":"Q2848422$20D8C91F-DC18-4B43-B94A-D3F89D2858DA","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":"Q2848422$DDE699A2-AC3B-41BD-AB21-398B59A4BF44","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":"Q2848422$072B71BC-5403-442D-B3CE-A056490866B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a784e356edecbb0cf177b7eb0e78660cc9bda6c8","datavalue":{"value":{"text":"Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848422$D3E4B60E-8705-4564-ACC6-F36338FC65D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23a01e39177a5f67214e2a2d494edd36babce173","datavalue":{"value":{"entity-type":"item","numeric-id":4813204,"id":"Q4813204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf9aef914635bd08d710e745ac713a145202cde","datavalue":{"value":{"amount":"+0.7992501258850098","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":"Q2848422$807F6F4F-9FEA-4ADE-9A91-373F59D2C19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8899f3dab0054acd44a3425c31503cce7fb573","datavalue":{"value":{"entity-type":"item","numeric-id":5716563,"id":"Q5716563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f80e4ca9b912c0de3c8d73a5869ef084435d243","datavalue":{"value":{"amount":"+0.7956519722938538","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":"Q2848422$15D889A6-BACF-4769-A6A0-5794EA9B2141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582f39a6785be00fd9fb5ebb25a1c0c498205dd2","datavalue":{"value":{"entity-type":"item","numeric-id":3217892,"id":"Q3217892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0679bfdbd2c2241d4437e593c81cf9655ce96a68","datavalue":{"value":{"amount":"+0.7479617595672607","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":"Q2848422$27780B20-C74D-4CE9-9B70-A01AF6D04608","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":"e1c589fd188c3e6002be6649751ea95970660368","datavalue":{"value":{"amount":"+0.7458106279373169","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":"Q2848422$7EB60237-3B11-485E-8CB7-5280A4770A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b31c2cdb228ae77fc797108456d8efd6c0f27ba","datavalue":{"value":{"entity-type":"item","numeric-id":5178993,"id":"Q5178993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3e91526f9381bc2ae823aa938179e7e30690a0","datavalue":{"value":{"amount":"+0.7409970760345459","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":"Q2848422$F3DB89FF-66C6-4169-BCDE-A9DE24C12CF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848422"}}}}}