{"entities":{"Q472640":{"pageid":474407,"ns":120,"title":"Item:Q472640","lastrevid":62085240,"modified":"2026-04-11T03:40:24Z","type":"item","id":"Q472640","labels":{"en":{"language":"en","value":"Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22--26, 2012. Advanced lectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6371236"}},"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":"Q472640$D7F8AAD4-D3BB-4AE3-9437-48BBFB594D7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faee86768ada9afabec3e804f5ac8ac879e10374","datavalue":{"value":{"text":"Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22--26, 2012. Advanced lectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q472640$D3C86EF0-0780-4DED-965D-520AAE3AD42B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"145508178cad1c08fdd46391fe865768e60dc3b1","datavalue":{"value":"1298.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472640$B3CF7BE9-E7D7-4E2D-9D65-85D7275D669E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad2f1b46ac68f2a30b1451e255b5666c4d75036b","datavalue":{"value":"10.1007/978-3-662-45489-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472640$6A283033-1757-4B83-A413-6F9A896BD8DC","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":"Q472640$151A13C0-2154-4A14-869F-79BBF24D37B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9eef5592189a73489da4c405dddbd884955f29c","datavalue":{"value":{"time":"+2014-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q472640$A2C0CED9-4AE1-4E92-8C0F-D1BE38E9E4DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472640$DC527EF1-4CAA-4C64-A838-363C915BC8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472640$5A087F1B-A9A7-45F5-86B3-2156F1F0A2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472640$D3B85B6E-5FAE-4228-937E-89057C9D28E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472640$004C0EF2-0E77-414A-96BD-F3D57403F9F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c867c424807fcc49571e67c0952242bfc3af4a40","datavalue":{"value":"6371236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472640$DA0CD64F-188B-426C-99F7-5F039076DACC","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":"Q472640$724B9E56-1A6D-4F51-B8AE-9F6F8E887467","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a750bfdd0400a1d262fdfaab175dfb5c3c0b8ef9","datavalue":{"value":"https://doi.org/10.1007/978-3-662-45489-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q472640$FE625713-2904-45FD-82D8-F853448A245C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2524a9f4ef015e8cd7ea5b9e359eaea245cac904","datavalue":{"value":"W2588048676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472640$70167AA4-870E-4B0E-B066-DD2E770824EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22--26, 2012. Advanced lectures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stochastic_model_checking._Rigorous_dependability_analysis_using_model_checking_techniques_for_stochastic_systems._International_autumn_school,_ROCKS_2012,_Vahrn,_Italy,_October_22--26,_2012._Advanced_lectures"}}}}}