{"entities":{"Q2842120":{"pageid":2852840,"ns":120,"title":"Item:Q2842120","lastrevid":79463111,"modified":"2026-05-06T13:58:02Z","type":"item","id":"Q2842120","labels":{"en":{"language":"en","value":"Compositional verification and optimization of interactive Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197912"}},"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":"Q2842120$66A0A12F-133C-4DE1-BF7E-2F7B08B76E4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8da1fece11e00ddcee26dba6314108d6d2e2f1af","datavalue":{"value":{"text":"Compositional Verification and Optimization of Interactive Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842120$6EBF7E27-DEA8-4A4D-A75D-EB4187C55497","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d22e22d3ee8027dd38fee147c04f9d6ca4cd7080","datavalue":{"value":"1390.68472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842120$94CB374D-273F-493D-97EE-3408E79197C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"870ede9a6407e22cd7d34146ea518ea3a28d4b49","datavalue":{"value":"10.1007/978-3-642-40184-8_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842120$2A91D4EE-02E1-47B5-A22F-2C4097CFE35B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842120$0710975D-C99E-4831-8358-C04FCC69F83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a1503036b580a7920e1816521ceb8e07b853d6","datavalue":{"value":{"entity-type":"item","numeric-id":1951599,"id":"Q1951599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842120$6D72BA32-5F6E-41DA-922F-D4CCD62C8CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842120$A156540F-2272-444C-B864-55FD39642D4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2be6a3088c84110bcf5fd8aea373200c5bd18e3","datavalue":{"value":{"entity-type":"item","numeric-id":2842094,"id":"Q2842094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842120$8DCE2994-9998-49AC-808D-6FE6D4897E84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842120$C79C01E6-ADD2-4079-949B-074E1E02A79C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ae74786eebdfc54aa41e7ad5525835184f6c5a6","datavalue":{"value":"https://arxiv.org/abs/1305.7332","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842120$090FE1A6-BAE5-4ACF-9FC4-D7005EC05660","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842120$D616B1CA-8CEA-4006-A0B8-471AC08F43DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842120$68AB3A93-1766-4030-8EEA-21FBF5EAF1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842120$D13F37C1-11D2-4969-9428-99CBA7C98FF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee2522083d480243e9e6b78986653b33641e89a9","datavalue":{"value":"6197912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842120$AA7F5DAA-C9F1-4313-B46F-B29B31B759A1","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":"Q2842120$6CE8B313-0DF0-4805-9967-DBA816EB49D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"186a9e9218cf598c8bee7ddb4d68d6beb3a335bd","datavalue":{"value":"W3105159463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842120$68B6B2C9-D2D9-4E80-8675-E29B05E64357","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5e0be2fb5c39a764010e19b3411eedcb49c23a","datavalue":{"value":{"entity-type":"item","numeric-id":2957522,"id":"Q2957522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2754f84559f07276bcac29ff76c604aae4e5c35e","datavalue":{"value":{"amount":"+0.892693817615509","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":"Q2842120$F20EF01F-B25B-4018-8386-6FE54DAF239B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61832110239ed7373c308c3d0562a9d33ee6400f","datavalue":{"value":{"entity-type":"item","numeric-id":3557065,"id":"Q3557065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1975b8ff04a3262672b2591ff2875b00ce95d38","datavalue":{"value":{"amount":"+0.8707784414291382","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":"Q2842120$CC8B8CE0-F3AE-4CE9-BBA9-7502D819B4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e78293d3952d2e142ca43e1e02bb92287cc54c","datavalue":{"value":{"entity-type":"item","numeric-id":3066128,"id":"Q3066128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeef6e706fd08af4ef277b25434744fc9783d1c4","datavalue":{"value":{"amount":"+0.853183925151825","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":"Q2842120$D6403AEC-1C76-4926-93B8-BED19EAF11D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59255fa271598cacd0ca41aecd5d8c01076dced","datavalue":{"value":{"entity-type":"item","numeric-id":4936893,"id":"Q4936893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603bf47dc3516e66aba6b424fb7a1fdf717e564a","datavalue":{"value":{"amount":"+0.850206196308136","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":"Q2842120$6DAE442D-2830-4EA1-8A7F-B2118DA526B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f71e30e4d78727581ead3703ac5817c399d95b","datavalue":{"value":{"entity-type":"item","numeric-id":2937729,"id":"Q2937729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e70751b66de6b5685a15b4a0b193f705008494","datavalue":{"value":{"amount":"+0.8286752700805664","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":"Q2842120$EAED7B23-0BB5-4CF0-9E70-7F10223EC104","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional verification and optimization of interactive Markov chains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_verification_and_optimization_of_interactive_Markov_chains"}}}}}