{"entities":{"Q6104816":{"pageid":13239123,"ns":120,"title":"Item:Q6104816","lastrevid":58684197,"modified":"2026-04-06T07:49:12Z","type":"item","id":"Q6104816","labels":{"en":{"language":"en","value":"Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703962"}},"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":"Q6104816$A49DD1F4-2131-460B-B7DD-C337B973F4CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0f6996b2fabb8b19f72d7ec5050a54912666991","datavalue":{"value":{"text":"Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6104816$D1056B22-0F95-406D-AFEA-4B7DD24FE83D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c2740580a77325bc566e3703d982395f2d23f14","datavalue":{"value":"1514.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104816$E1FA7D14-154A-4DD4-9285-439A5A7AAD47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8015364257f04e76255ac7df8594014f43811f8","datavalue":{"value":"10.1007/978-3-319-99154-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104816$34852C55-3C6A-4BE7-9692-E6BD17B8EA18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"536798e54fbfcccd2ae1b8244bdd7edc5538b0ea","datavalue":{"value":{"entity-type":"item","numeric-id":259072,"id":"Q259072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$5533D29B-9665-4D97-804F-36631BC45C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae501547dcf31cd49c2db8fd8974511731271553","datavalue":{"value":{"entity-type":"item","numeric-id":259073,"id":"Q259073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$E79012FA-C9F9-47F2-9706-8A849D8470FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7503b909a70fb10f2d4ef0013f4e6f7172cdb92e","datavalue":{"value":{"entity-type":"item","numeric-id":6104815,"id":"Q6104815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$5EC604FE-A694-4A03-A08A-AB64F1A0DCD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"14c790a373839096cbb828adccdd03da8785642b","datavalue":{"value":{"entity-type":"item","numeric-id":5194919,"id":"Q5194919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$7134435D-6F3F-4B31-ABE0-5459CA680159","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6104816$3C8B19B1-FE06-4039-8287-E5C092C92D1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd951006f6a59e84b578daa4e9c94fe74d2417e8","datavalue":{"value":"https://arxiv.org/abs/1711.01863","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104816$4A731B84-B916-4287-979D-D1B5549BAFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f2a9905065d369442d29634b4209cb90bf0c2b4","datavalue":{"value":"https://www.research.ed.ac.uk/portal/en/publications/probabilistic-model-checking-for-continuoustime-markov-chains-via-sequential-bayesian-inference(572bbc0c-a885-4c7f-92c8-f2380fa5e176).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104816$9B0B36D1-90B9-48A2-A748-AF5B94152E3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104816$81C20720-1846-422E-A07A-5992A428B4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bfd44d39fc48f1c1778c5522f250d3165ba32e9","datavalue":{"value":"60J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104816$3A88CAFE-57B9-45A1-A344-9692A0F74ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2474c99ceba943e04dda4ddfffedfe45f5fdfd62","datavalue":{"value":"62F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104816$50A39A5F-7443-4A0C-B94B-596CFE72D0A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3d7490e052eee45c2ce578eb13ebf4a3ee1fe4e","datavalue":{"value":"7703962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104816$BA23CF83-0FD4-4863-80BC-D017932657CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f091f8059c950552814fbf1d9159bf350956a70","datavalue":{"value":"Bayesian inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104816$4FA5F2B1-83B9-4F5A-AFFF-4F9BDFAD4E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104816$ED12C0EC-AE87-4388-8021-BDD4E74E8C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fce95af32d43128fa7ce40865700ab25fb68bc5","datavalue":{"value":"moment closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104816$9A0C0268-B0EF-4C7F-B0A9-336AB5BABAC0","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":"Q6104816$FB29599D-264C-49D3-8FB3-E828B17C084B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9625acdda92f722740aee2c9216e9a2b72dc5ef8","datavalue":{"value":"W2767719590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104816$4DEE6669-4518-4DA9-BB53-9C07DEB8237B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$1624EB28-2698-493D-AD47-0DE585E9BC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d81fa34b75538c6fc7490766c0d7105fcbddbad","datavalue":{"value":{"entity-type":"item","numeric-id":2754096,"id":"Q2754096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$E2EB963E-8A93-4025-B2CD-70FAA92837C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ded0bcbd7ad7207ed34cce2e3034d39d9ad3973a","datavalue":{"value":{"entity-type":"item","numeric-id":4411090,"id":"Q4411090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$1DFCE74C-6D9B-4BCD-96C1-2477F353AB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579b7bacc6949a93f427cb882fd9f054d106cc71","datavalue":{"value":{"entity-type":"item","numeric-id":1693119,"id":"Q1693119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$4A4E7C4C-160F-459C-AF3A-E8DF0F91C81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0a8ca6364b6b48cfc422da2356186258070da5","datavalue":{"value":{"entity-type":"item","numeric-id":2912688,"id":"Q2912688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$14E17AC0-6994-401C-A0FF-6CB76E6E9D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2060abe92010ffda51ed785397f7babde4a1d20","datavalue":{"value":{"entity-type":"item","numeric-id":2346412,"id":"Q2346412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$BB0412BB-6049-465A-8E9A-F3F44987F59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e18cf3fb61738b07cb7d8c5a689529cb8381d03","datavalue":{"value":{"entity-type":"item","numeric-id":259074,"id":"Q259074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$D35C68C1-821F-472E-B313-60F5E09E2A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d56032dc8011db2f99c45377b048178c157120","datavalue":{"value":{"entity-type":"item","numeric-id":2960244,"id":"Q2960244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$B50469F1-E9E8-43BF-947B-4A22EBA7AA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde8da9f1ac1a5800011310ae1b1b116267fd1a","datavalue":{"value":{"entity-type":"item","numeric-id":5891497,"id":"Q5891497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$4D78B97D-33CE-4C89-8274-FF8512F3A708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71acfa58053287c116caf75114d88b815ad9c3e","datavalue":{"value":{"entity-type":"item","numeric-id":5270685,"id":"Q5270685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$553FA04A-5880-43AA-9822-2F08B397BE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$2AD563DE-FA7D-4895-B97F-3CFD71D83840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f13fe88bf709c90f3b9379301ed603aafda874","datavalue":{"value":{"entity-type":"item","numeric-id":764294,"id":"Q764294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$042906B8-0431-4B50-866A-9227D4FFA99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e520e6bcc2ba288bb9101b0b81e1ab39255da965","datavalue":{"value":{"entity-type":"item","numeric-id":798609,"id":"Q798609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$08B4A0EE-3CA2-420D-9711-E9AB4B670F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b45fead44e15b3ba7a1a7537ba79dc4cfa9cfc8","datavalue":{"value":{"entity-type":"item","numeric-id":4337696,"id":"Q4337696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$FF21AA19-6DCE-48DF-8C0C-19BD8E2FBFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f19c81f82ab58bf9b39d4bb42a1e79c1e35964","datavalue":{"value":{"entity-type":"item","numeric-id":2971484,"id":"Q2971484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$5D367AA0-D8AE-44CD-B969-391235C0B312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8a7d69d1fddee9c9a2d74466b5eb6eab42ed50","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$821617FB-2F85-4684-81D9-363EEA503A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0773f68d76e03445d0ebfcff953ef2cdca72ae2e","datavalue":{"value":{"entity-type":"item","numeric-id":2985888,"id":"Q2985888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104816$03B0B2E0-EC88-40EA-A46D-B1EEA335D325","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d9405aa27ae5e7a65c5273a0c1ea6c9a64526a","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf0366669248c80f974badd990390919097fb6b","datavalue":{"value":{"amount":"+0.8478356599807739","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":"Q6104816$F84B94F6-A439-4329-9BF4-71E21CC9BF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98248a10a3e84dbf8d83e8be68da17805dc0aeee","datavalue":{"value":{"entity-type":"item","numeric-id":2056985,"id":"Q2056985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74eb866c815287f15c837188e7b08d8c7d80bdd","datavalue":{"value":{"amount":"+0.8059316277503967","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":"Q6104816$88CCE962-EC29-409E-A95A-939B5C532A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e895e6f3c9971a8388a0ebadf5d797ef506ac291","datavalue":{"value":{"entity-type":"item","numeric-id":259074,"id":"Q259074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884c542700c0bc6799293b3bea88c596bf51fd57","datavalue":{"value":{"amount":"+0.7877932190895081","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":"Q6104816$87F1F5F8-AF71-4A8A-89E5-2D3B2DBDADAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e86c268dc1acaf66e0136a2fe8d43f16d7d0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caafe8b204b107aa10490aa7cd45265e75a8a545","datavalue":{"value":{"amount":"+0.7849346995353699","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":"Q6104816$4C7E01BE-5C6B-4597-92F2-19102A0465B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08605333b3388718fb8982ab80321d7daa55bb21","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b760603a32bc7d1c1c20861647331cf3bdaec5e6","datavalue":{"value":{"amount":"+0.7835412621498108","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":"Q6104816$6E84FF3A-C22F-4AFF-94B1-922E109C5659","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6104816","badges":[]}}}}}