{"entities":{"Q2112105":{"pageid":2122848,"ns":120,"title":"Item:Q2112105","lastrevid":42176537,"modified":"2025-05-27T11:17:39Z","type":"item","id":"Q2112105","labels":{"en":{"language":"en","value":"Robustly complete finite-state abstractions for verification of stochastic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7643429"}},"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":"Q2112105$D50FF44F-863B-4299-8D23-1C7656090FF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e81feeca1ad883f3b819b0f9bf321f86c45bae6","datavalue":{"value":{"text":"Robustly complete finite-state abstractions for verification of stochastic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2112105$835BAF80-B00E-4398-ACA0-1C7647FEC5ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92eb7f792c38590a5bf4506563cc58cf948dad0e","datavalue":{"value":"10.1007/978-3-031-15839-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2112105$0019D046-9B9E-40E8-B0B2-625A23A93C59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9228550ce730e27d47512f3ed6450edb434d36b9","datavalue":{"value":{"entity-type":"item","numeric-id":2112104,"id":"Q2112104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$70F7933D-1D0D-487F-AE71-C4FADD3CF9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cf8233021b2c25675741f57523e378ff38c575a","datavalue":{"value":{"entity-type":"item","numeric-id":286068,"id":"Q286068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$D3468B65-35A3-4553-B1A5-9E064E154ED8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b59d232be0571e76b544846f951d16d27bcf7565","datavalue":{"value":{"time":"+2023-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2112105$23983528-A8CE-4E7B-A0A0-5D7553A707F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cfec70c06d77710601e8cdd45e10c2fa4aa34c2","datavalue":{"value":"https://arxiv.org/abs/2205.01854","type":"string"},"datatype":"url"},"type":"statement","id":"Q2112105$AAAFCDDB-2778-414B-AB83-AB5C1057EA2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2112105$3B839F1A-0DF2-4BA4-A6F2-F11622A20AAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e70afa7e4767353edd2b026cd5277b480bc8d253","datavalue":{"value":"7643429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2112105$D91DFB40-6A70-46F6-BCB4-DC5F34A77D56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2559e402bc6a6c3d1bbb907d6c4b572be2f807","datavalue":{"value":"verification of stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2112105$94046E8F-DAD8-489E-B9FF-E28A3AB11311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ef0ecf39c2ae6b1cf71ae1d27e52af038478a1a","datavalue":{"value":"finite-state abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2112105$B6A88CC6-A11A-4CDF-B11A-BE9FA6283F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2112105$A578D64E-CD8D-423C-8AAA-6B413D9EA406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2112105$33B3EDA2-0455-47C0-9544-99184F14455F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2112105$13171E9C-BA97-4680-90FE-D78CD3A3F9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bca25b27a7afe30524dba45cf780f6477adc683e","datavalue":{"value":"\\( \\mathcal{L}_1\\)-perturbation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2112105$9D898BD2-3D18-426C-9DEE-4FBFFD9171FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2112105$B381C9A8-46D1-4080-B571-99899C75CF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3ecb07c3bd5579f910c333757550f4fda153efe","datavalue":{"value":"metrizable space of probability measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2112105$002CAC5F-AF2F-4EF5-AAD8-EA9E44C97BBB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db4f953c8327488bcfed10e933d15bf2bb1a5fbe","datavalue":{"value":{"entity-type":"item","numeric-id":29276,"id":"Q29276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$04E2FCF3-DF66-4782-867F-F59AC2D217D9","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":"Q2112105$80C32548-2E11-45BC-BFC9-7B12FDB5AA6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eae2a9e0e6c0d20acf3a799d688cf176aedfc7fe","datavalue":{"value":"W4229045235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2112105$B9A5927B-0523-4A2D-BA1B-AFF9AFFA3454","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a50f54d95fe3a1d05487171ae71f1c0317b93dc","datavalue":{"value":{"entity-type":"item","numeric-id":3523095,"id":"Q3523095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$4C22549F-C423-4929-9EE3-C17D0E033C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d0d2c10245b4f0e952ac1ef991224e36fe19be","datavalue":{"value":{"entity-type":"item","numeric-id":2986716,"id":"Q2986716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$601AE547-8971-4B59-A18E-CE6761CB7B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$26A891DA-E569-4AAD-BBE6-9888D0AC59AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$FB9BE90E-3F95-4F88-84EE-8248CB265EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7311c2cc3ee6e63514aa6bee27428e1f9211cb","datavalue":{"value":{"entity-type":"item","numeric-id":2012356,"id":"Q2012356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$999D459E-A0F6-425F-B753-6D7D742DEB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e718583192ee1c8f5c2ad768e743605f9035fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5312899,"id":"Q5312899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$7BF4E88A-767E-427B-80B9-BC319628B003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c7a4a3973413ed98bbf61f06885c48beffdeab","datavalue":{"value":{"entity-type":"item","numeric-id":5239245,"id":"Q5239245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$469B998B-473F-4CD3-A0BD-C194CA98F4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9fe001a578dcc1d55cf34308108c47cf2de8a0c","datavalue":{"value":{"entity-type":"item","numeric-id":5166889,"id":"Q5166889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$BF3E4843-37CF-4BA4-BC41-867E996702EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9870df8ec76ca2ba74393e56c7cd8d50a2ac360f","datavalue":{"value":{"entity-type":"item","numeric-id":5002111,"id":"Q5002111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$53036098-58B7-4D55-A0B8-F1ABDAB8A567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf726ba27a648f56dffebd26f0d41fb12b61b81","datavalue":{"value":{"entity-type":"item","numeric-id":4832030,"id":"Q4832030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$8CDC8738-CAB3-43BA-A344-3A0FC85E60E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$9E967B87-98B0-4358-AB1C-9DBB30011A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b49d69d76bc721ffe93f299ec0552f08f47dd33","datavalue":{"value":{"entity-type":"item","numeric-id":1583513,"id":"Q1583513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$49E6E649-F13B-4AB4-848B-737F7A500254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e8352ee5859954bef0879f308783629a8c1bd8","datavalue":{"value":{"entity-type":"item","numeric-id":855539,"id":"Q855539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$5674613B-65D1-41E8-93FC-EA5F0E3FC24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$D367C415-F593-4BD0-B15E-6F1FDA6E48A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53db8db2bc00b755528f5903065b5d470f2af903","datavalue":{"value":{"entity-type":"item","numeric-id":2982621,"id":"Q2982621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$08A2DD76-C8B8-4C45-8F9B-EA83D87D5A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf63ea60ebc8bbb195bf50508bdd55a6dd702f7","datavalue":{"value":{"entity-type":"item","numeric-id":4990166,"id":"Q4990166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$CFF0D309-DD0F-4CF3-AC3E-CC9E13A56E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccaa428bd0185b14db7bc96a82d7a01af6e883d6","datavalue":{"value":{"entity-type":"item","numeric-id":5275323,"id":"Q5275323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$8FAFD911-EDD9-4B54-9AAE-460FE5AAAD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22044c371a5f35f932f4f7cdaf5c1d9f35bcf2af","datavalue":{"value":{"entity-type":"item","numeric-id":832033,"id":"Q832033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$BDD19A7F-B3E1-4769-96B0-0A329531D356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"674be6a4cb46b46995848664190cc4c2ce7cd625","datavalue":{"value":{"entity-type":"item","numeric-id":5146376,"id":"Q5146376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$7BAE806B-A650-418A-8A8E-80A33188753B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce30f5d00d1e74ed5d5aa045c93f932d22763df","datavalue":{"value":{"entity-type":"item","numeric-id":1004115,"id":"Q1004115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$252AB30A-A830-4EE2-AA27-EAB575E33D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807701b11cfca17d83d854b0a0d8f4d0ca5bacdd","datavalue":{"value":{"entity-type":"item","numeric-id":2985889,"id":"Q2985889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$BD253807-46BA-46D6-9220-A815D46A71CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9747eab2ead8fbbc51187fd666f6a73a82808d47","datavalue":{"value":{"entity-type":"item","numeric-id":4492756,"id":"Q4492756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$5A9AFC00-411D-4790-93A7-A9F0AB2F5D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b667e53d08053bfe2d5d60effdeeabbed17409ae","datavalue":{"value":{"entity-type":"item","numeric-id":624936,"id":"Q624936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$E1C9BBD2-D84A-4DD0-9A18-A850A1C63F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$66518582-D19B-4289-9EE1-96E367E268F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd605a99ba952fbd4289d314812f98755473df95","datavalue":{"value":{"entity-type":"item","numeric-id":2986770,"id":"Q2986770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$8BC8A4C6-3C30-42F8-BA27-3F6381007D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7352dba5ae221d49af5d928388f7d0bcbc63009b","datavalue":{"value":{"entity-type":"item","numeric-id":2986933,"id":"Q2986933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$AD1986F9-1F3F-4716-AAE9-6BCF04843DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e95bb3fc3c1deef05316a2cae6e4b9d23bd384","datavalue":{"value":{"entity-type":"item","numeric-id":386604,"id":"Q386604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$E94EA930-E914-4763-909E-3AE20A25E3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a10cc121e791089f0ec49dc3bb50a0a9b26813a","datavalue":{"value":{"entity-type":"item","numeric-id":515573,"id":"Q515573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$06FD9091-5067-4EA4-912D-3792E47B4031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc96b8b60f6ec24ffec7cc77ea727fdcb859df0","datavalue":{"value":{"entity-type":"item","numeric-id":2389641,"id":"Q2389641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2112105$4E4F2E67-9B84-45E9-B58F-AFD51074EAAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2112105","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2112105"}}}}}