{"entities":{"Q2819835":{"pageid":2830573,"ns":120,"title":"Item:Q2819835","lastrevid":79429364,"modified":"2026-05-06T13:53:18Z","type":"item","id":"Q2819835","labels":{"en":{"language":"en","value":"Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631325"}},"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":"Q2819835$08D240F3-612C-41A0-B1F8-8486CAAF75FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"981bc910db07a9e2f19d8b6ceed08cfc6c3a3ed6","datavalue":{"value":"1346.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819835$396F0B4E-C938-4D85-80A2-D9CE8C6D4F0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"604861c79d0b4e36b6b91a7936952f86bf83ac36","datavalue":{"value":"10.1145/2676726.2676998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819835$C0F525BE-67C5-4CA5-A14D-AE61F9D19A02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34a2e3a849f7afbd44d878457dc05f4cc4bbe211","datavalue":{"value":{"entity-type":"item","numeric-id":270244,"id":"Q270244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819835$DB9D711D-33D5-4329-A7CB-61EAED9BC229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fbe3c32e7ccb57687a3abee985e2dbbf7ef0ca5","datavalue":{"value":{"entity-type":"item","numeric-id":315093,"id":"Q315093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819835$6F19F8D5-157C-44D9-A364-786EE6665D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819835$C4C121EE-85A4-4798-9455-79B3C24B0DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819835$AAB63DFF-595D-40AC-BC00-71017D1FC0D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819835$3DA3DEA7-6AC3-4902-ACCD-8C222F3E96FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819835$E25D1F54-5F1F-4816-87B7-F9B06943B3D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819835$4D5A0CCA-6FD5-46FD-B5A3-9A7E398DA0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819835$0B4DD40B-49C3-46EB-8030-CE51E9C6C1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819835$38DCC95C-4A23-486E-9D4B-EFED7B634AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819835$DD98F0CD-4171-4CCA-94CC-1566BD0BC7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819835$94907BCF-A46E-45FE-8799-8E6C25F5E053","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f1fbc86567aed6ae4a0261359df4426dc32ac16","datavalue":{"value":"6631325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819835$B2B8924A-5918-4E8A-A8A6-6359915A1C2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f0e6b8485e53e819f4156bab29dcfa31d699728","datavalue":{"value":"algorithmic learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819835$0806BC4E-3374-4D14-8A08-1E05440931CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819835$E4D2E511-F837-419A-BB12-2CE82357A826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819835$31E81C6B-41B9-46F8-B0D8-A20A9BEB5C26","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":"Q2819835$71ED150C-2B09-4571-A8BE-62A57BEE4D4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8991106e178a999c1ea9d060bb7a94502472963","datavalue":{"value":"https://doi.org/10.1145/2676726.2676998","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819835$7D10C6B7-6E8C-43D6-9AB4-0E3DC9F6DC35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72c7f9ca3acbc2d05a2992830114c3163972fb55","datavalue":{"value":"W1976035665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819835$76B23DDD-BFAC-40B7-8C89-A4BFCF15C59A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe49d99b6dd269c73fcd490736ce94023db42d3","datavalue":{"value":{"entity-type":"item","numeric-id":4910418,"id":"Q4910418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4c3e5e4ce347918bc1e09dee214f966c1c8b06","datavalue":{"value":{"amount":"+0.89174944","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":"Q2819835$8B9C287B-89B7-42E2-A21A-DA05B157D414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"661f4ce620c59ff410b7c0c546d7e439e9f2e21e","datavalue":{"value":{"entity-type":"item","numeric-id":5325833,"id":"Q5325833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d16fd3bc6522ea5cb18e815ff39b7e496fb3b1","datavalue":{"value":{"amount":"+0.8794971","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":"Q2819835$975D6C82-ABF7-4F25-9942-611C30C47409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74e8421eb1d50670a95fbb3e52f96306334578a","datavalue":{"value":{"entity-type":"item","numeric-id":2576572,"id":"Q2576572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6f5e31cfae985e087dac2c95ed375b32819f72","datavalue":{"value":{"amount":"+0.8792025","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":"Q2819835$52EE774A-BABB-4CA9-8373-6730761531FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da30be3119feeb4fe0cb945cb7d65eaf2f8edef","datavalue":{"value":{"entity-type":"item","numeric-id":2915179,"id":"Q2915179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b653f41946c9de0c2da26a0cb4a5192c0f4c80","datavalue":{"value":{"amount":"+0.87715024","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":"Q2819835$26A047FF-2F80-4D93-B1D5-B7AE81C67C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ed28a527e7ebd44ac735ba1af378f934e92e56","datavalue":{"value":{"entity-type":"item","numeric-id":5900567,"id":"Q5900567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03b956be18b9a53db4a2925241d4eb53e93d73d","datavalue":{"value":{"amount":"+0.87658596","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":"Q2819835$FE77C939-7AE2-4346-96A5-39149A8B75EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4cd4f04a624973235e93ce590c05163722e3eba","datavalue":{"value":{"entity-type":"item","numeric-id":4992498,"id":"Q4992498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f1e07bf673fa30cf6c1c1651f27ccbed061b05","datavalue":{"value":{"amount":"+0.87503946","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":"Q2819835$F7FA48D1-C5C8-4830-A3F3-5CFA811C37BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412e21895d466a2e5ca1cec9a80bb43c8c010a46","datavalue":{"value":{"entity-type":"item","numeric-id":5898162,"id":"Q5898162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90869fc880b9efda81c84fe75167e82c0be4e707","datavalue":{"value":{"amount":"+0.8709483","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":"Q2819835$F46742F1-1EAB-4984-A581-966A1628A6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d56eb813ad20c72e9c8b37230f89eb4950a2fbd","datavalue":{"value":{"entity-type":"item","numeric-id":4791844,"id":"Q4791844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625465950ebfa891a74b7c686a7d6c489c0da11c","datavalue":{"value":{"amount":"+0.8703789","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":"Q2819835$EA270964-2581-43CE-95FD-652E8F158465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd27db908100f553ada346be51fdba539226718f","datavalue":{"value":{"entity-type":"item","numeric-id":4558788,"id":"Q4558788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1f35a73a43589c5670e31f541c8479afaf055e","datavalue":{"value":{"amount":"+0.8671495","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":"Q2819835$4AE6A70B-3F07-4D8D-B8F9-6D081FC7958E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea7b90c46c464167146504d97185ea1f9d320475","datavalue":{"value":{"text":"Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819835$73F6DCB0-2F01-4BA2-8E6B-C3BA1E2BDF3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Leveraging_weighted_automata_in_compositional_reasoning_about_concurrent_probabilistic_systems"}}}}}