{"entities":{"Q5106945":{"pageid":7136521,"ns":120,"title":"Item:Q5106945","lastrevid":40885010,"modified":"2025-04-13T18:33:08Z","type":"item","id":"Q5106945","labels":{"en":{"language":"en","value":"Statistical model checking of stochastic component-based systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7192076"}},"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":"Q5106945$AA8DC133-57E4-4456-8519-61524DAAC29B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca4075e9c975cc7c9c67cbee598f834c623cc802","datavalue":{"value":{"text":"Statistical model checking of stochastic component-based systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5106945$62BB515A-AF70-4867-B6CC-38354FF0F707","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45def848e440dd53cb84c01912dbacb5af21dda4","datavalue":{"value":"10.1080/00949655.2017.1320401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5106945$F9516C6D-A3E0-4F55-A509-F9FDB417C0D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab235c6ec296876d2c3aebeed3e9d23cb9a56fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5106943,"id":"Q5106943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$61F67E06-0D07-414F-AADB-557149158304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f508d85c532229923f56043939c4dc94fb6c8c9f","datavalue":{"value":{"entity-type":"item","numeric-id":278588,"id":"Q278588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$549713EE-F2F8-4847-836E-EA7A4C088420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1f41b87cc2c4ea9e0afde9708ba10d847f226da","datavalue":{"value":{"entity-type":"item","numeric-id":5106944,"id":"Q5106944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$BD2BF14A-01A5-426A-BE71-6B138A570006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e18238c16d4a6dd8d17df93abdf4f3261412a4e","datavalue":{"value":{"entity-type":"item","numeric-id":314581,"id":"Q314581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$61672359-1FCD-4223-BB5A-FE9ED55678D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7560a62f37f5a9bdacbe204377d87dc5d2a4963","datavalue":{"value":{"entity-type":"item","numeric-id":2016724,"id":"Q2016724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$FF9F9C28-A472-463A-9889-DA8F39D5082E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c35a289781f207572adde91d64091acba110281","datavalue":{"value":{"entity-type":"item","numeric-id":61730,"id":"Q61730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$FC8DF8A8-63AF-4A95-A88B-48DF2B001EF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72ee0f65bfad3851f3cc10baace260313082bce5","datavalue":{"value":{"time":"+2020-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5106945$76EA16E1-C7BC-43B8-8529-8F23E6BD7BE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5106945$3F1858F1-6A03-4813-A05A-425343B8580F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5106945$1E11F705-41DC-4401-9DB6-76B382158ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5106945$7E9B9DCF-2B03-4E18-AAB3-F6D1309BD2FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d65e1698f33426ff42175b305f178143a9d45e1d","datavalue":{"value":"7192076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5106945$DBF3CA51-4D88-4F19-91DA-3ABB0A893DDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6fb19d58470d21034e152ccf5d8dd2fedcb90b","datavalue":{"value":"stochastic BIP component systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5106945$4A9BABDA-347B-442D-84F2-1843A034D58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb0f42bc4d740213abefb39a0d2f3f1fb2e40c4","datavalue":{"value":"bisimulation minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5106945$9DCF919D-3C51-4683-9E9E-07B85FF17779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5106945$622794E1-FDC6-4414-8503-41C17BA20806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5106945$83ADE194-A01D-4D99-BFE9-20BDB1E4F52C","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":"Q5106945$85CDBBF8-D07A-431F-966F-6A307DF8639B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb70923b453bead5c393d1b931374fe3501ce483","datavalue":{"value":{"entity-type":"item","numeric-id":35132,"id":"Q35132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$CB843540-8F9D-428F-B4A4-B5BDE16721B0","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":"Q5106945$378E403E-14BE-4B74-BCCE-E9A13565F4A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e65c723323d2a340ff84711f604bdc7b970da7a2","datavalue":{"value":"https://doi.org/10.1080/00949655.2017.1320401","type":"string"},"datatype":"url"},"type":"statement","id":"Q5106945$2785785A-8FD9-4B47-BB54-5B201F57F381","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e4ed581f594ab32df4b07df7c52c0088934e287","datavalue":{"value":"W2609153068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5106945$0877BA96-B815-4437-83EF-0702C2A0C762","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e965c0b33afeb6d829d49ac9b556315c6f4d19","datavalue":{"value":{"entity-type":"item","numeric-id":5277785,"id":"Q5277785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$D647A515-040C-46AF-AE12-932C9B73C2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27c3d7723f28194a995f526d5c63bbd591aa725","datavalue":{"value":{"entity-type":"item","numeric-id":5836364,"id":"Q5836364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$74F81299-6366-42A4-8522-3299D9CD264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49f69f66b7289b7fcde3efaf557d4cabb2fe3bd","datavalue":{"value":{"entity-type":"item","numeric-id":3095241,"id":"Q3095241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$57DD962C-9575-4A0D-9D74-2EA07C1418EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd0aecc3a4c57c9abd32343b404e987a6f54121","datavalue":{"value":{"entity-type":"item","numeric-id":3483104,"id":"Q3483104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$F345F44C-D413-4C14-B048-7E36D7835573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13aebb6e6bc4202ac98997ac8072de74b833c8a","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$BEB790D2-B09E-43E0-89B3-98A570646A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$D350265B-C490-423F-A0C5-FCB9F9256D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57acaca409c758f44add32bdf32d5248711258","datavalue":{"value":{"entity-type":"item","numeric-id":5758103,"id":"Q5758103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$C8CDAEF4-F947-4F65-8BF7-CF7AB2700A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9c0245961c1f954095d9946ff0de7ea619b4e6","datavalue":{"value":{"entity-type":"item","numeric-id":698435,"id":"Q698435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$B2F0C785-7CDB-4E53-A00A-3613EF8EA7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9551d3e6320d5c6e727d59298d09310861bc813a","datavalue":{"value":{"entity-type":"item","numeric-id":5894319,"id":"Q5894319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$F49956EE-BAE9-42D7-8C79-54F9677D3026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681c4ec52b4648c01916cc032df29870163cb10a","datavalue":{"value":{"entity-type":"item","numeric-id":5325837,"id":"Q5325837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$FBBFBACD-209F-4067-A604-1D550B41101F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf518d57e34862d79104a342bd4f1d65801cc78a","datavalue":{"value":{"entity-type":"item","numeric-id":2926637,"id":"Q2926637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$DE673BB0-88AD-4B04-89F6-FD61E9D80E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b64edaefc1341a6e2a6192158f59846c43ad037","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$93E86C48-2290-4D4E-9577-0A6CC07ACC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5106945$47594EA9-D0E6-4BC2-87D5-F4F65FAE878B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc920c1ec773dd5c066514182446ab618c3ffcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b30eb69ebe700f8e51f6d69918d94a1c94f220c","datavalue":{"value":{"amount":"+0.9720451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5106945$0CAF6A89-4D99-4893-BB7B-93A066D256D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e620720e7ce6a6718491cadfe90f2074fdae7ae","datavalue":{"value":{"entity-type":"item","numeric-id":5039537,"id":"Q5039537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10ab2865d697789e8ec4a7a0e2cad958d7ddf0d","datavalue":{"value":{"amount":"+0.9401339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5106945$D3EF13DD-4BEA-4D1E-AB26-20F7EF9A9B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba384fd3f96e06c9824e71a026517f4640b2454","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae14a13877db1212fff88e9319698ec08dc945e","datavalue":{"value":{"amount":"+0.9344319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5106945$D3E083A3-0805-45FC-950F-027AFC461448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08605333b3388718fb8982ab80321d7daa55bb21","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b6582719017033f107d9d2320893687a492a9d","datavalue":{"value":{"amount":"+0.9340491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5106945$26D90146-B0B5-44B8-BE77-6894B65E214E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a478684cfd6d6ad8ce9c9cbec4d01a23e14532f","datavalue":{"value":{"entity-type":"item","numeric-id":3172901,"id":"Q3172901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604c02e190738ef437148b8b0a68c50692502b8b","datavalue":{"value":{"amount":"+0.9292509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5106945$642149A6-567A-454A-8432-5E60B379689E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d9405aa27ae5e7a65c5273a0c1ea6c9a64526a","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35269402a19139270f9084812deaf83940f9af2e","datavalue":{"value":{"amount":"+0.92119807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5106945$9FBCB9B0-8532-4EDF-8C97-A500034644D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74697737353fdfcd9a98447797274d9cbdb75f98","datavalue":{"value":{"entity-type":"item","numeric-id":2848881,"id":"Q2848881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30986250a07b1aa634c418de08823eefe3cf45cc","datavalue":{"value":{"amount":"+0.92035055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5106945$D9EE8E47-257D-4FE9-84B9-B96E9DAFAA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f842cb182b3a04330d2469e0337e62249d095bc","datavalue":{"value":{"entity-type":"item","numeric-id":2075782,"id":"Q2075782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673b537a1e45bba3c07d2636d2b327311cc46ad5","datavalue":{"value":{"amount":"+0.91847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5106945$BBFA1241-4022-4324-9D5A-2B978E16D029","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5106945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5106945"}}}}}