{"entities":{"Q6160770":{"pageid":13295651,"ns":120,"title":"Item:Q6160770","lastrevid":47856385,"modified":"2026-01-02T21:43:26Z","type":"item","id":"Q6160770","labels":{"en":{"language":"en","value":"End-to-end statistical model checking for parametric ODE models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691351"}},"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":"Q6160770$4E054654-7F0C-4C47-8E68-0E3A6D7C5C92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ca9ec0efc6b8e17a4b01a214376507a060aa0f5","datavalue":{"value":{"text":"End-to-end statistical model checking for parametric ODE models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160770$AE70D27C-3FC3-431A-A10C-FF50F665B55C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4013b3c1191374f1a6410c820f92962bd41fe264","datavalue":{"value":"1522.68325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160770$7223A7C5-90A2-49F2-BF45-973D57583468","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d230fc47d7c8d054578701a56efe09247ea5574d","datavalue":{"value":"10.1007/978-3-031-16336-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160770$2106674D-AF0D-449E-85C3-7471E4D660D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f9b804de71c491cbce12c01d9e9ec74c4f4f530","datavalue":{"value":{"entity-type":"item","numeric-id":4436958,"id":"Q4436958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$9AFC179F-5509-45F4-926D-611F4559E3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b0ed5b1fa41c8d85059d5bf09fb083776fcee02","datavalue":{"value":{"entity-type":"item","numeric-id":2022575,"id":"Q2022575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$3878F8F8-5D48-401F-9871-87054544315F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a716993ce7ffcf19373e97e44f91ca996eb0c09a","datavalue":{"value":{"entity-type":"item","numeric-id":386008,"id":"Q386008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$11CDA941-2F7E-416C-AE76-BF568ABCD08A","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":"Q6160770$FD270B8F-77F5-45DA-BDC5-4599AA1FFF40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160770$0121B07D-C7D7-445B-8C9C-243BCDC50116","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160770$79FD95F6-E20A-4EDB-A0AC-E91926D39563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a791263e4e07e7e02b7f9a5a0bca82e7a96f68a","datavalue":{"value":"65L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160770$32F3BBA6-201C-43BD-A220-B8927EF571D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be44a929c2dfb85305b0f276b3835b1a9f01027d","datavalue":{"value":"92-10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160770$FA4C29D9-AE8D-4B76-9F34-11B9BCA8E271","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d81c8b645fa3c8f5be8d66fa02fcd572eff3bfd1","datavalue":{"value":"7691351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160770$C80CFB03-E242-4CA4-AA07-18DECBB40245","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160770$69554A02-6868-486A-B247-21F4C400A360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"861b9c6a45a231229959e5e60b56dda86c44d855","datavalue":{"value":"ODE models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160770$D686C08F-47D9-41C5-A20C-A5F0F55AE519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5e30611c5ce9c2e28edce96cee69932b482dfb","datavalue":{"value":"structural parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160770$A902F18D-8E7B-4C47-A4E5-85A284D88305","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":"Q6160770$C130BE8B-4B9B-4335-990B-C21BFBA429B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"908f9df1126ce7e4a5daedf1d64f4a8447289471","datavalue":{"value":"https://doi.org/10.1007/978-3-031-16336-4_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160770$897467B6-FE0E-480D-A21E-69319F650EB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e196e5c2a6ea08a265740e02b0519568fd08710","datavalue":{"value":"W4295113552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160770$0A3D5724-1C47-4BA8-8467-3C945CD4BFB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc0d79a331330cac5e0e7d3248ad5c3b9b00cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$2E02229D-E7E8-4493-AD19-DC744B077BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905751e96ea8f000f1981b47b90e9b7487e3f559","datavalue":{"value":{"entity-type":"item","numeric-id":5892257,"id":"Q5892257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$4CD773C2-3CF3-4F46-9B43-BD9CD9184B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96de6dbfd7de4d1ef595acb69ed0b0784c889cd","datavalue":{"value":{"entity-type":"item","numeric-id":3774861,"id":"Q3774861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$48F9718D-5D6F-4020-8A9C-7AA8CA586A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d3bf53e94a938d4f9a9fcdc3603c5ab6b47000","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$FB351E85-60C1-4F98-8370-ADD3A43BEE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35ed63d0d822613da225c7e3bfdde7f1a4bae6b","datavalue":{"value":{"entity-type":"item","numeric-id":3129777,"id":"Q3129777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$F7F254E3-4D56-4989-B528-5A38B38C18B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0f2c3a07a861133efd48f53c580b4cd5f578a5","datavalue":{"value":{"entity-type":"item","numeric-id":6109594,"id":"Q6109594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$A6180D61-EB7F-4BF4-A9AA-258C37AC6EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d96de8c1652f73af10565736be1ac2709c1eac","datavalue":{"value":{"entity-type":"item","numeric-id":5376905,"id":"Q5376905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$1B2B4CEA-7E28-4ECA-8E29-3BCD318EF356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08dd2cde602af137c52ba4f69c22bcd86e50c081","datavalue":{"value":{"entity-type":"item","numeric-id":5332577,"id":"Q5332577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$3E9B7CD0-918A-479D-AD52-334FE70707C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3401797d3a891c9289ac45deca7ae4b1a58b9129","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$F8A4C665-1E04-44FD-8B66-E2EFA86718A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f94b19366c1218778526d0770ec3ea1f35f5ca3","datavalue":{"value":{"entity-type":"item","numeric-id":5807889,"id":"Q5807889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$740E8852-FCB2-442F-8DA2-A22CF0ECD60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322fb8cabd5a6efa406445a80a22b4bac1c817d6","datavalue":{"value":{"entity-type":"item","numeric-id":2706801,"id":"Q2706801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$B0497002-2C71-4E1E-B89F-D4901FB1699C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fecfdb94a223630013d62d3e5644fe8fb7a1331b","datavalue":{"value":{"entity-type":"item","numeric-id":5088196,"id":"Q5088196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$AF8FB322-7E29-4FF1-9515-463E4F13CA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb201896638e0b1a0dbe44f3f9d1ea2f1c565a6","datavalue":{"value":{"entity-type":"item","numeric-id":3939145,"id":"Q3939145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160770$92D49899-3B60-4704-8DC4-55F25057C2F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1782e21b50b274aba3dbf7cb526f47eccf0c003","datavalue":{"value":{"entity-type":"item","numeric-id":5376900,"id":"Q5376900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ee35de7fe5f4195152524e3259241fc447f6c5","datavalue":{"value":{"amount":"+0.7193452715873718","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":"Q6160770$67741F6B-3C85-42A4-8124-28FD83B905E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd051791b2d19bde840525f129250bdc5a47d969","datavalue":{"value":{"entity-type":"item","numeric-id":2110675,"id":"Q2110675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc672061082cfb3c0cb8bb29c5e4885d63315eb","datavalue":{"value":{"amount":"+0.6942561268806458","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":"Q6160770$3675BC83-0E92-4B61-94A0-286CEE4B9A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a478684cfd6d6ad8ce9c9cbec4d01a23e14532f","datavalue":{"value":{"entity-type":"item","numeric-id":3172901,"id":"Q3172901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67fc3ec3be1ed4b0b5b890824a59fb9ca61ad630","datavalue":{"value":{"amount":"+0.6865879893302917","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":"Q6160770$3CCCB9C7-C75A-4A72-9458-58D0980D4BFC","rank":"normal"},{"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":"82e6ca44dc44e0e74f0cd33cbec753e787891154","datavalue":{"value":{"amount":"+0.6846067309379578","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":"Q6160770$8259AC16-18BE-4AB1-B9D7-2595B57A2471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7bec40f17d824881dcdbea4aa9a0250d4f45d6","datavalue":{"value":{"entity-type":"item","numeric-id":2248081,"id":"Q2248081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10c711dab2cc0a13cddae1f25cfd6ad7d9cd2664","datavalue":{"value":{"amount":"+0.6831377148628235","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":"Q6160770$75FC54E2-AA66-43A1-BAB1-7A2E1BB8CDF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160770"}}}}}