{"entities":{"Q2409334":{"pageid":2420077,"ns":120,"title":"Item:Q2409334","lastrevid":52925198,"modified":"2026-01-23T20:04:26Z","type":"item","id":"Q2409334","labels":{"en":{"language":"en","value":"Data-driven and model-based verification via Bayesian identification and reachability analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6789651"}},"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":"Q2409334$4A95DD5B-3CF0-4682-87A1-EA8618473B68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94992aa52eb3d5163685c8d295430cdaf97986c2","datavalue":{"value":{"text":"Data-driven and model-based verification via Bayesian identification and reachability analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409334$BF349602-1C6B-4F31-9169-921B5D598A24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf300c7797bac4d153898988869d4058f43f9ee1","datavalue":{"value":"1371.93187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409334$13F4033F-90E4-43F9-83FA-14A6FB9A4976","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"205075105413098e6e4b8f4bc215330767a6ba63","datavalue":{"value":{"entity-type":"item","numeric-id":1693103,"id":"Q1693103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$44C17B51-996A-4794-AE86-65B3BBA880E5","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":"Q2409334$A7950612-5838-4D96-8649-2199FE07D52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2eb771cd717b9e435849d3dbc7b1bb52e848cbe","datavalue":{"value":{"entity-type":"item","numeric-id":162623,"id":"Q162623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$BA89DF87-22CD-48B0-9E8C-E79EC3A54D66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$0D12ED03-1039-4E8B-AAD2-9D683A1F0DFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4057f48059fe99c35ecdf45e917fe5441faa63a","datavalue":{"value":{"time":"+2017-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409334$D34AAE74-99F2-4BB4-BE34-405413385523","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01142f4324f46abec83c31809578765d494ef1c9","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:be25fbfb-32cd-4b40-a8f7-83c37734a26b","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409334$8198ECAF-3BC4-4A4B-BC06-0363327170CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409334$E20329CE-A580-4F8C-946C-32A92089163E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2474c99ceba943e04dda4ddfffedfe45f5fdfd62","datavalue":{"value":"62F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409334$4D498D95-AE1D-4E31-AC60-9DED312911F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409334$F3B1D210-D867-4F6D-A174-13446555E474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409334$A3C41F1F-6197-49FD-9CD4-45DF0F945A0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82bf8161345687d8da1d26ca8a724281ccc8ed70","datavalue":{"value":"6789651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409334$B972CA97-615B-4898-B029-F58B2AC63D1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ffae0dbe206cfd877dccbfe092dda75fd2da879","datavalue":{"value":"temporal logic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409334$BA19D9F7-0064-4AA1-A574-83EFC3BC412A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f091f8059c950552814fbf1d9159bf350956a70","datavalue":{"value":"Bayesian inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409334$E1051926-1D3E-4612-8E00-BC013D118F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a752aff08fe438c500fd33de59ea02a8f90aef74","datavalue":{"value":"linear time-invariant models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409334$02323D36-FB15-42A9-82BA-4053C56CEFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5683f4525aeda6c1e22a38ebca5b57005d51b87","datavalue":{"value":"model-based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409334$40E58E8F-4E33-44B0-962A-B1C080B640D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409334$1CDA3A3D-A40A-473B-8C70-AFF1852E2559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d990cd172315f2bb7c845818e51fe82e3b1a448","datavalue":{"value":"data-driven validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409334$0A5AE7FB-6295-414B-817D-CB3D485E6E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409334$4CFBD2D3-0CC5-4E27-AFAF-65678153C9D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$29BB69D1-129C-4F13-8A34-04CA70317D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"81eb3eaf3d767243a419862033175f8a5191a27b","datavalue":{"value":{"entity-type":"item","numeric-id":22906,"id":"Q22906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$DDF5B6B5-05BA-4E77-BE8C-651C5BCCB0F3","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":"Q2409334$FABB9291-FB06-442E-B687-80C982EA5B57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e62800b51359b13e4be0cbbad950c9dadf12212","datavalue":{"value":"W2592969750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409334$79532D1F-7FAA-4DCF-B7D3-596621422DAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a05f7a999411f32af13db8ecc0d047669353ae0","datavalue":{"value":{"entity-type":"item","numeric-id":4909336,"id":"Q4909336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$E3EDA5C1-B01F-41AE-9198-AE65687EE496","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":"Q2409334$E82CD592-0991-4159-9783-3F05A1A029AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3a89b23cdd6a2ffa3aa85d2a703972f6809438","datavalue":{"value":{"entity-type":"item","numeric-id":3612958,"id":"Q3612958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$8B918EAE-662C-4570-A0F2-D17B06116A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaaa92e8916f674a7c2e42f83a6df83fca0d6049","datavalue":{"value":{"entity-type":"item","numeric-id":4532472,"id":"Q4532472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$8DD5368A-F0FA-45C0-8C73-543AA557AC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8289acaadc7ba665f38933e81e368534be049392","datavalue":{"value":{"entity-type":"item","numeric-id":2949859,"id":"Q2949859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$6247EB2D-27AC-4B71-B86C-8628B38135E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3bd2a89aeae9f01c497530d394e0c4804c2b95f","datavalue":{"value":{"entity-type":"item","numeric-id":3512430,"id":"Q3512430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$6FB30077-4CA4-4FFA-AD32-EAEB351707C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696880850b124c76070ea0053a9c97880d818292","datavalue":{"value":{"entity-type":"item","numeric-id":468331,"id":"Q468331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$32BD4CCC-6B5A-4BE3-9E37-BD27AC650A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09648fb46469011140ab8712b83801125017f5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3523107,"id":"Q3523107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$9CA20456-EC8C-409B-B8A9-BA4FE5CD3FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c03926191d4d992b80bef299289386675d2513","datavalue":{"value":{"entity-type":"item","numeric-id":4837470,"id":"Q4837470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$DFCC1C46-427A-41F0-BDD2-804C5649BDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f33c820b02e8b9365198c83f2a8ba17fbd1943","datavalue":{"value":{"entity-type":"item","numeric-id":1776434,"id":"Q1776434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$AD11BE5F-B287-4810-AB9E-EA5BE01EBFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247363921392887bfba5856edc7056967df4d824","datavalue":{"value":{"entity-type":"item","numeric-id":1148282,"id":"Q1148282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$6DABFA7E-4810-4B61-A8AB-2EF48F5F0296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b64edaefc1341a6e2a6192158f59846c43ad037","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$11847773-7C8A-4834-8DC8-52812834C8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$4420032A-5E79-432C-B0FC-5A95CFCC6A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16828908dc374a2dc8a9f351c4cee3c30f97ddac","datavalue":{"value":{"entity-type":"item","numeric-id":1911276,"id":"Q1911276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$C4AE985F-7DFD-4A49-936C-51079C8A4622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fedf5453ee8f98ec848a03844a4aedf4aa3c4e8","datavalue":{"value":{"entity-type":"item","numeric-id":3601803,"id":"Q3601803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$05BC1E79-073C-4C58-B2F3-F5C16CBC5B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0343ef019d5d4c03aea4c10b0fdf0c7d7292b4f2","datavalue":{"value":{"entity-type":"item","numeric-id":2248081,"id":"Q2248081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409334$72A3F24C-77E6-45CD-9DB8-0F315CE2A5ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30dd3a70a2098ca383f7c86b893f3c3a926904e0","datavalue":{"value":"10.1016/J.AUTOMATICA.2017.01.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409334$97AB3355-2C4D-4918-B71B-1071E47632A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d00c82ab606062335d575001a70b94a8d8149c","datavalue":{"value":{"entity-type":"item","numeric-id":2665419,"id":"Q2665419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399e913518211a5cd41ad67a8ee5fcdd42c3eb45","datavalue":{"value":{"amount":"+0.8165603280067444","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":"Q2409334$2F9E0E83-818C-421E-875E-D7A173982265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff06d3e40fb14f3aa2839efa23fa649b74e0637","datavalue":{"value":{"entity-type":"item","numeric-id":1693116,"id":"Q1693116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617a3357ef1f405a9202ab8be37de5b2570daad2","datavalue":{"value":{"amount":"+0.7927008867263794","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":"Q2409334$89244F47-0BB3-4B18-9C17-0BCA147F3327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63287bf512e8ec5357416bc834261cef9c88e84","datavalue":{"value":{"entity-type":"item","numeric-id":2988966,"id":"Q2988966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba9fee0f84051697748f1c0a78dd90e39ca088b","datavalue":{"value":{"amount":"+0.7830260396003723","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":"Q2409334$11921B3B-0865-4B44-8D0A-284EDDE0DC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce6ee3fdae4900c85a0fceddf93c92607b5a4df","datavalue":{"value":{"entity-type":"item","numeric-id":4561447,"id":"Q4561447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f3ae198975834801daceb5c3d89a9748b17e6ad","datavalue":{"value":{"amount":"+0.7202368378639221","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":"Q2409334$4E148E66-5758-4FE5-856E-B63BDC498E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14fb9cf7b814cea03d1bf9489ba00579f2aaa9a","datavalue":{"value":{"entity-type":"item","numeric-id":2151266,"id":"Q2151266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3045e606afb1ee29fc2607175890654c9a64272b","datavalue":{"value":{"amount":"+0.7003042101860046","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":"Q2409334$F5CEEF0A-A1EB-4DAC-AE37-E69D4D694651","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409334"}}}}}