{"entities":{"Q5239247":{"pageid":7268815,"ns":120,"title":"Item:Q5239247","lastrevid":32972189,"modified":"2024-03-20T01:20:08Z","type":"item","id":"Q5239247","labels":{"en":{"language":"en","value":"StocHy - automated verification and synthesis of stochastic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120162"}},"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":"Q5239247$FB06FA9F-EF73-40D3-AA1B-A8B02FDB053F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"089dbc00b88e74fa5d19946b0adeeeb29da54a8d","datavalue":{"value":{"text":"StocHy - automated verification and synthesis of stochastic processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5239247$4AF51F95-4DB5-4D6B-AB12-FD4D9F134D1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fae6c63212ae4b6bb1cfec6f4c03e41c490bb4c3","datavalue":{"value":"10.1145/3302504.3313349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239247$89AEF82E-A561-4AAD-BB0D-9B1BD147D6DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ca1b12922c08808f4196ab202a65b3aeb0e214","datavalue":{"value":{"entity-type":"item","numeric-id":5239244,"id":"Q5239244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239247$D9E0DD6B-12AD-4A3D-B250-DDBC8DD21AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239247$80202A2D-9D75-4196-87DE-5CCF3750EB36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5836cbe288323d6943609762b2a41f27b0c712e","datavalue":{"value":{"entity-type":"item","numeric-id":5239212,"id":"Q5239212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239247$6B512FF3-0D56-4E3E-931F-164DFE4C3202","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-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":"Q5239247$A38AA02C-DBB2-47A0-A19B-211FF093780F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239247$06758CCA-A0F2-4727-90ED-D5B90A268449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239247$2C2517F1-A0A1-4C38-9AF3-75470169FD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239247$68278C27-6021-4FB3-BD73-D4B458B841B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a35022d3049ab7064333d39eb0e3bb5be35b33b1","datavalue":{"value":"7120162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239247$353E8C25-2C2E-4D84-B58F-32658B7682DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239247$7BDB2C9C-9E45-4F2D-A85C-E00ACB508F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6255abf574cd911ce0441a5a04032698806b52fe","datavalue":{"value":"stochastic hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239247$62CB7AF0-5935-489B-84B4-E8F93AF74AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239247$85927A78-EA1C-4719-AE35-0F0FF21491DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239247$B64FF791-5858-4055-9D35-9F8D43858661","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c10d3569fe27c8b0192aff36265d70bced5a5b33","datavalue":{"value":{"entity-type":"item","numeric-id":52641,"id":"Q52641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239247$B1851A6B-7B17-49A9-B14A-9FA4FE40597B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"afedeb894da3ea7de4dcef068ebe8c5f9586f027","datavalue":{"value":{"entity-type":"item","numeric-id":52640,"id":"Q52640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239247$5F119FE5-05B4-4BE7-8F5C-1F58CC5D8696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd1a3dd9b17b8be196d9f3c5587425a76298afc6","datavalue":{"value":{"entity-type":"item","numeric-id":14250,"id":"Q14250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239247$330D5A5D-C31B-4963-A243-C86CE0610B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cf5cf0b004fbcfae1e89de9454ddee3ae69e5ec","datavalue":{"value":{"entity-type":"item","numeric-id":18002,"id":"Q18002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239247$F6EEF349-FDF5-40C2-897C-F3AEE19961E2","rank":"normal"},{"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":"Q5239247$2B7C307A-8C09-40AA-8C74-B3075DDBB7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3b8375870fa808f33cea433f465af23c8fd3756","datavalue":{"value":{"entity-type":"item","numeric-id":14314,"id":"Q14314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239247$C42B9673-DF8F-4CB0-9DED-91A424B917C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df08836f1fa379e8ffdb746fca562955f0fd3fb0","datavalue":{"value":{"entity-type":"item","numeric-id":35453,"id":"Q35453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239247$22AEE825-9BB3-4AB7-8687-A20DC4AF65D0","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":"Q5239247$7C5FD5D0-0AD3-43AF-BC05-437AE69CD53D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebf539f18c637264ac2846fd0ac46a01fb662eff","datavalue":{"value":"https://doi.org/10.1145/3302504.3313349","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239247$B51D4C5B-0C34-401F-BD34-B895773DE310","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd56053eb6f21f2f9030fab45159b9c1ee7d2a4a","datavalue":{"value":"W2936953762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239247$ECCA332B-1DDD-4EBA-92A0-445A8880DE54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5239247"}}}}}