{"entities":{"Q2324239":{"pageid":2334982,"ns":120,"title":"Item:Q2324239","lastrevid":56807832,"modified":"2026-03-23T16:07:33Z","type":"item","id":"Q2324239","labels":{"en":{"language":"en","value":"Bayesian statistical parameter synthesis for linear temporal properties of stochastic models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105353"}},"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":"Q2324239$05FD7704-8E96-4B5C-8D95-9D34ECDFCCF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e9435a1f9f07a1bda37ec387028f23b60735833","datavalue":{"value":{"text":"Bayesian statistical parameter synthesis for linear temporal properties of stochastic models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324239$0ED8D72C-30DA-4A1D-9CA0-AED5BA675A0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93251280b110f229e646845b029c480eae2289fb","datavalue":{"value":"1423.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324239$CEAD61EA-DEB4-4E48-A84A-71FE50A5C4FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79f63a0c1006fa17fa69e497e1ae408744b23f2b","datavalue":{"value":"10.1007/978-3-319-89963-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324239$5B0C2663-25E2-4768-B36A-62CB247B0BE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c08f373ed6dd47de29844f015be15a75e84a8bb7","datavalue":{"value":{"entity-type":"item","numeric-id":259040,"id":"Q259040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324239$2D0DB3BA-EFEB-4894-BF82-A1F57F591529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1d6f4a6a8df96b986203408c99c1fba8c7edbab","datavalue":{"value":{"entity-type":"item","numeric-id":2324238,"id":"Q2324238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324239$1FE9769E-9C35-4479-9658-B8DA407D4F4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324239$C938C361-30F2-409F-BD88-F3B667E2BE57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324239$4AC2C953-92C1-4374-AEB3-3AC5F014F38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324239$4A362F1B-6DC1-4FB9-9506-E2C114BA7BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324239$6CB6BAE8-707D-4E8F-B43D-DF7252C90F85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7942269a6f3564e4e23f46efa99268529303499","datavalue":{"value":"7105353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324239$1D282B03-8845-4A04-8C98-E857EE6B8D4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2324239$0BA7D520-7F36-43AD-9809-C29E79323DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ee67fa4b266cda96780ab5a04262b83281dcef","datavalue":{"value":"parametric verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2324239$B40A7406-1BCD-4D87-AD61-6C50C083123B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0a363e0f24ab2ce073d902597d67b190d4afa49","datavalue":{"value":"smoothed model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2324239$6602F5A1-4565-450A-9748-48624654084A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"966db26594221093ae08bf0043ea4d3322f3db91","datavalue":{"value":"Gaussian processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2324239$471CF7C4-DD8A-48FD-9AC1-A9157913C936","rank":"normal"}],"P1463":[{"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":"Q2324239$A5333DBF-992B-4475-8CFA-9C3DE554F33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b926df7934496ca1f7fd786bce8cdd0ef993d63","datavalue":{"value":{"entity-type":"item","numeric-id":45310,"id":"Q45310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324239$16DF3917-1BFD-4029-BE1A-496BBA1CF4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"246a410b3a1a9dfee11038de0785c82a29a436d8","datavalue":{"value":{"entity-type":"item","numeric-id":45311,"id":"Q45311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324239$1E1677AC-976E-45C0-AA29-23C3BCD40F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f83e9bccb5812bcef52834c84133dd8a541b3c9","datavalue":{"value":{"entity-type":"item","numeric-id":33361,"id":"Q33361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324239$4AD6E66C-E07A-4E97-BAB8-2AB1B7D22A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324239$72899815-D434-4BFA-8C77-C48C05E5B895","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":"Q2324239$A6CAFFF5-89F1-48BF-875C-B36C851DB669","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4746879dc4151bab44168fc24c831100ae344ea4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89963-3_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324239$79BA5C53-AC9D-428B-BA3F-0E3D2DC49A09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9841a6e23d2a1c17d8b08132e2db8e0dffeb7bca","datavalue":{"value":"W2796919988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324239$7508858B-1048-4DF6-B49F-80FCDD14387B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a068199a76225bfcb61ad6bb1a5760353b94f52","datavalue":{"value":{"entity-type":"item","numeric-id":5880092,"id":"Q5880092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b8cdb7cc579ff9cf3bf65b93f9f5bc667d1fd4","datavalue":{"value":{"amount":"+0.89713216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324239$66336396-F753-4DE6-A489-A3340AAD9750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb37664ab15574c0865917dc4b33d311449e0256","datavalue":{"value":{"entity-type":"item","numeric-id":744748,"id":"Q744748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e3cd27eeaab314a782f04c6db5d91e30ac944e","datavalue":{"value":{"amount":"+0.89250803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324239$821E4292-E0A8-4DB8-8B03-12E366CC55CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8586e2b8f72584834b5b04e7e64c70cfa0c0f442","datavalue":{"value":{"entity-type":"item","numeric-id":1117195,"id":"Q1117195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53da89e6af3ac4a38124751f96e09216e843a4d","datavalue":{"value":{"amount":"+0.8880157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324239$E7209A76-6ED2-4801-B733-BADC8ADA4237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d9d4c2169557bb438b6c39f38feabd0077aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":4671485,"id":"Q4671485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf84d9cb047d29d3a06759be94eb025c34ab838f","datavalue":{"value":{"amount":"+0.88781226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324239$722BD945-CCC8-4081-BF8F-9673F0D11F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f89c3ba380432239b0f2ad3a3e48547e95c04bf","datavalue":{"value":{"entity-type":"item","numeric-id":3067831,"id":"Q3067831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa3faaac68b601ed73eb4e1f9969a5a0b700e38","datavalue":{"value":{"amount":"+0.8873137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324239$827FE9DD-0CE4-4171-AD56-5E991E40508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c299bac5daabe03a120a7efc4d79bbe7a722918b","datavalue":{"value":{"entity-type":"item","numeric-id":3701309,"id":"Q3701309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dcba27e6bc6a0eb586f7e3736331d7a302e7455","datavalue":{"value":{"amount":"+0.8863173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324239$648DEFB7-4889-43BE-B6DA-8EDCD0D8181C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f9f87992488bd1a3d24fee2ed7126513d876c8","datavalue":{"value":{"entity-type":"item","numeric-id":5082564,"id":"Q5082564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d47617c2cd1419bb11a0bcf18daa6e9afdf0a72","datavalue":{"value":{"amount":"+0.88507736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324239$040A8732-543F-4DE0-B9CE-78157C97DF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c4ce20ff3e51006c7baaa2b239a4624f927802","datavalue":{"value":{"entity-type":"item","numeric-id":1036468,"id":"Q1036468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ac1111198fe4cba3b9e08da37f1b12dcac72c0","datavalue":{"value":{"amount":"+0.8824086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324239$9FFB7696-4C7E-4DE5-A7B8-779AEAB8C3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c75bd949be83b36927c1dff87c924884c450653","datavalue":{"value":{"entity-type":"item","numeric-id":469553,"id":"Q469553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d668d0fd0f768b3949cfd203f1776f24272fc9e","datavalue":{"value":{"amount":"+0.88154495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324239$1C2130A3-7004-4B86-816C-1130C272639D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0358c1e1a3418efe5d99d5f0d0034e738677dfd7","datavalue":{"value":{"entity-type":"item","numeric-id":3996573,"id":"Q3996573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55095e050aa73eba34b8bea5098120462fcf499","datavalue":{"value":{"amount":"+0.8812695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324239$E752F175-2A5A-4324-A895-693F18318408","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324239$822A0EE5-7508-4CEC-9B5B-A5A04A0F80FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2324239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2324239"}}}}}