{"entities":{"Q6362407":{"pageid":13496620,"ns":120,"title":"Item:Q6362407","lastrevid":40687510,"modified":"2025-03-28T14:08:49Z","type":"item","id":"Q6362407","labels":{"en":{"language":"en","value":"Robust Model Checking with Imprecise Markov Reward Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900474826"}},"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":"Q6362407$45D770A7-1FCC-43AB-8E3A-63BE89F5B491","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2d0c9696379863fc0b524306fb41486c744c4d","datavalue":{"value":{"time":"+2021-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6362407$B0C314CB-67E1-4991-8B8F-6CFEA8CCC217","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"524692c5127c35ddf9ab192fa0e297103b02a81a","datavalue":{"value":"2103.04841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6362407$3E815E02-0384-41E3-99E4-887CD72D979F","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6362407$63CABCE4-1023-4581-939A-EBC050C74207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6362407$1D6982AA-804D-4D07-B37B-C97ADD63B9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"8a63d7e3e657dc5032fc1952ffff59588af93a51","datavalue":{"value":"math.PR","type":"string"},"datatype":"string"},"type":"statement","id":"Q6362407$96494F2D-45CD-4A62-84DF-D0CD9B58F097","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c685cb52663b8aa4d9d0de9da1c5decfb1903360","datavalue":{"value":{"entity-type":"item","numeric-id":2148838,"id":"Q2148838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6362407$73D31B29-74C9-4476-8E0D-23FB2309B2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b573d8d800dbbf2399b621d632b2d3f2c49bc86","datavalue":{"value":{"entity-type":"item","numeric-id":473388,"id":"Q473388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6362407$6EF0645B-FD18-4BB3-B39B-58A7E1CC3FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3df27bf3abfd8b673a0afd763bb7c85c5dc3b47d","datavalue":{"value":{"entity-type":"item","numeric-id":1015479,"id":"Q1015479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6362407$7216FDE5-6F32-4209-8B31-7AA14A7D384B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ea65557eabb45fd055fd0b5947a39214a47505b","datavalue":{"value":{"entity-type":"item","numeric-id":310084,"id":"Q310084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6362407$CA09A9BF-5441-45EC-9434-F95F99A046EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f2cef4fdc0696e2540da491f94c6cf1f3b22490","datavalue":{"value":"900474826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6362407$AE403FCE-7008-4C2F-8168-4169A3A59E6D","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":"Q6362407$2B130FE3-A36D-4D5B-9236-653192029EA0","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"ff29866e653327f388a311f4951740770d7db73c","datavalue":{"value":"https://github.com/IDSIA-papers/2021-ISIPTA-IPRCTL","type":"string"},"datatype":"url"},"type":"statement","id":"Q6362407$29011536-9686-4979-9424-A5AA51C57E96","rank":"normal","references":[{"hash":"f01f7d71428353962b73b7b422f61900cfd77eef","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"5989f2bdac8a76d1ae99e3f82eb32669c92877bd","datavalue":{"value":"https://paperswithcode.com/paper/robust-model-checking-with-imprecise-markov","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"24a5bedbb98b468462189ba0d6c16a88a2414cc1","datavalue":{"value":"publication","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6362407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6362407"}}}}}