{"entities":{"Q6104805":{"pageid":13239112,"ns":120,"title":"Item:Q6104805","lastrevid":58684455,"modified":"2026-04-06T07:50:55Z","type":"item","id":"Q6104805","labels":{"en":{"language":"en","value":"Incremental Verification of Parametric and Reconfigurable Markov Chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703953"}},"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":"Q6104805$3390FC59-FF8D-4806-A001-831B6CC9548A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"200cfebe73a02e38cdc1f60841fbb3615f873517","datavalue":{"value":{"text":"Incremental Verification of Parametric and Reconfigurable Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6104805$905939C6-E1C0-41F4-BBDD-ACB93BA33CC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fda2d1a378e2cbf6579dd2f4365e2912cd927d3","datavalue":{"value":"1514.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104805$6E20437E-F0C0-4D29-BBAD-5842AC9B6B2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98a5d1e51e724189987521d38dc06903eb2413d8","datavalue":{"value":"10.1007/978-3-319-99154-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104805$8C32B106-7C07-488E-B93F-F47C12D5DEE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fd51670ec1d07ea504c0d551e6d6e89a14c92d","datavalue":{"value":{"entity-type":"item","numeric-id":3455768,"id":"Q3455768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104805$3C05C611-611A-49BE-B169-A50D822C70C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dffa8575a90582a7e362ce4ca416eabc864ff69c","datavalue":{"value":{"entity-type":"item","numeric-id":389834,"id":"Q389834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104805$96E11A81-E1D4-45A2-AD98-6C96789D6544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104805$1F1FA2BD-79B1-4ED2-8F4E-AC0BDB293540","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"14c790a373839096cbb828adccdd03da8785642b","datavalue":{"value":{"entity-type":"item","numeric-id":5194919,"id":"Q5194919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104805$F1674862-C604-4836-A7FA-728D24EB772C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6104805$37D9DA99-8C28-4DB0-8042-5019A0719188","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae3eeecf123b1f7c29350d9539e853648df46a7f","datavalue":{"value":"https://arxiv.org/abs/1804.01872","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104805$CEE2EEF6-5E4A-403E-8E78-923A06CC1076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"00a8d7427d26db089703ff6c6bc89b00ef6c2975","datavalue":{"value":"https://pure.qub.ac.uk/en/publications/incremental-verification-of-parametric-and-reconfigurable-markov-chains(cdaa0129-06da-4ac8-bcb6-52eb1a415a97).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104805$543198D4-68B7-4050-AE27-7B861A756429","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104805$C40D1C66-BAE2-40D2-AF33-80B004A66DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104805$7BE6F90C-F140-4D88-90DC-DD0B5C5CA6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104805$CD5E7EFD-D4A0-48BE-82AB-F746ED01B8C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb5b7b5a023b021075c08636e0f737c9400f2881","datavalue":{"value":"7703953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104805$2E73556A-4CD7-4E53-A450-EF7A434F56DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4243f8429d3b9c1fc0a973e0a2e41a3631542580","datavalue":{"value":"Markov chain parameters (PMC)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104805$48EB23F0-65AA-4775-A361-077212ADBE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455764922440b89f5964b0796ad09cebb628cb42","datavalue":{"value":"state elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104805$C8ADA8A3-D2C2-442E-91EB-ECD7A799EBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02a6f0fd8bd999060a17514c2cba46faff30c5be","datavalue":{"value":"incident transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104805$507C3889-466A-426A-B821-3C34C5E7A153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55617961dcb5ba1976ac044bdfd6fe4b34cf92d9","datavalue":{"value":"zeroconf protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104805$458E12A5-5619-4DCE-871C-34282D5E8A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75db16e1df99ccec25d5dac60b235f86b0ef09b","datavalue":{"value":"volatile areas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104805$3D194491-DA93-441F-B082-88D067E6075C","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":"Q6104805$4A178D8B-CEFC-4DF1-A37F-F92C1AFCC5D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"487448dd707475ff2ae733502dd4fc7b7a38882c","datavalue":{"value":{"entity-type":"item","numeric-id":3000664,"id":"Q3000664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104805$9C2BF810-1D8A-406F-B987-286838446CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d3bf53e94a938d4f9a9fcdc3603c5ab6b47000","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104805$E96E8296-D008-429A-A7D3-FE092ADCC564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ea709461689b9aa009305180fb771ab0a30a66","datavalue":{"value":{"entity-type":"item","numeric-id":5194932,"id":"Q5194932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104805$D0BCC98C-FFF5-42A7-9BCD-382DB61FC03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bfe30e08a7e82b0acc716c863fd1bf7ed17e1","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104805$0E0E29AD-053B-44B4-8020-B08E6284306D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7421323bf7f8b39103abfbcf98ac8a32006a84e","datavalue":{"value":{"entity-type":"item","numeric-id":3197658,"id":"Q3197658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104805$6D6BB8C3-02DA-4430-A7D3-A94C44B0740D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c2f6c744899c9b7e2b29ad4c31bd02c8854aee","datavalue":{"value":{"entity-type":"item","numeric-id":1990499,"id":"Q1990499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104805$D350EEAE-A7D9-4B5B-ADA9-AD1BCC719DBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578f0f34d9d0e5af826e80ae641ebb43633c6762","datavalue":{"value":{"entity-type":"item","numeric-id":6109594,"id":"Q6109594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755853beaa72a6e50299ab63e42d13156f11e443","datavalue":{"value":{"amount":"+0.9058651","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":"Q6104805$1A28EDBB-D803-48BF-8456-570555678D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cdb19450e290e9632985dc3e940d1b4eb0d2638","datavalue":{"value":{"entity-type":"item","numeric-id":6060096,"id":"Q6060096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac12706b9a9226b88411eb228c53d9dc2e7734fb","datavalue":{"value":{"amount":"+0.9015369","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":"Q6104805$B39B9ED1-5D33-4914-83BE-FCEAB4EBC771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee715e587f3b38e40866e1cb19df1dea84016d7","datavalue":{"value":{"entity-type":"item","numeric-id":2842120,"id":"Q2842120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795fb607aa003f963fdfae30f169e3478ae0695b","datavalue":{"value":{"amount":"+0.8890433","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":"Q6104805$23BF51BC-A15C-438C-8E71-CBF96898FA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2865a28169f379fe24362774d7dc88b6fe86af20","datavalue":{"value":{"entity-type":"item","numeric-id":2986781,"id":"Q2986781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35394681a3a9491f2465a7c3e9dd568faee56022","datavalue":{"value":{"amount":"+0.8820057","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":"Q6104805$32BA9518-8F97-4786-8B0A-F50010D5C86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0818e0201c8f7cca4893e0f3e3a23f92ebd6f338","datavalue":{"value":{"entity-type":"item","numeric-id":5501948,"id":"Q5501948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35394681a3a9491f2465a7c3e9dd568faee56022","datavalue":{"value":{"amount":"+0.8820057","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":"Q6104805$6DB00EE4-0B54-41A4-B9D6-A039F4FB74B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df8b75fd2eb63dd1577859d25c3bc638eb2f871","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767aa68a7e20d93ef417839f2f5ce4999adb8c1f","datavalue":{"value":{"amount":"+0.8808572","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":"Q6104805$6FC339E8-95CD-45B3-B6FA-6C8FFB18F4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54e583d9dc19b7fcafa7a6a4dd36cb4ca4b37e9","datavalue":{"value":{"entity-type":"item","numeric-id":832295,"id":"Q832295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474c3ef5c148772f5209b190068485ce0f4e0d81","datavalue":{"value":{"amount":"+0.8769471","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":"Q6104805$950BCC1E-184D-40F8-969B-A2C88325BE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e86c268dc1acaf66e0136a2fe8d43f16d7d0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4810993ef083c484054835a9a2f42fb2af65fbc9","datavalue":{"value":{"amount":"+0.8724","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":"Q6104805$EBE8C606-FB4F-410D-A3CD-94AC27665250","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6104805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6104805"}}}}}