{"entities":{"Q3000664":{"pageid":3011388,"ns":120,"title":"Item:Q3000664","lastrevid":51248882,"modified":"2026-01-17T10:55:54Z","type":"item","id":"Q3000664","labels":{"en":{"language":"en","value":"Model repair for probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897419"}},"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":"Q3000664$D5B3447C-6755-4BF5-A9C7-E23DA81105C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01ea242c556c1fb7c99697a4204b900d2dc78d9e","datavalue":{"value":{"text":"Model Repair for Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000664$8E4A1F37-3180-408C-B756-5D9F4FC3E002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aeea1f98fcb5c9f7214e7859971f35aa018a04e6","datavalue":{"value":"1316.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000664$8F82E560-CF3C-4C83-A720-4740684EF59C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"217350b89e1f81264828d9407e52d3e5c085fd90","datavalue":{"value":"10.1007/978-3-642-19835-9_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000664$C828DD26-AB1D-4B65-91E3-3571D5698C71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b65ab3ec984fa0fbff611ca057ffca2dc3c7f57","datavalue":{"value":{"entity-type":"item","numeric-id":498911,"id":"Q498911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$4E796FFA-110E-4E3E-9E28-598B6CA3E9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74c4b2592830aee8d55a50291764703736f3c07d","datavalue":{"value":{"entity-type":"item","numeric-id":216264,"id":"Q216264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$1CCE0562-8A3C-407E-A6EF-5E3E499B65A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"146e445b9711515e2eed962a2cd51e384ac471c2","datavalue":{"value":{"entity-type":"item","numeric-id":655413,"id":"Q655413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$D304861C-AE45-4CC4-B8E7-68CA246A354D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8d39e08371c895d256df63166d986e8797f46b","datavalue":{"value":{"entity-type":"item","numeric-id":498914,"id":"Q498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$33256891-791C-41AD-BB0E-2FA7958193B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"310d5637ca734d37029e6475baf0599e0b630ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2112127,"id":"Q2112127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$DDD3E7C1-4467-41D9-9D34-A39D6B4AE695","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$7A880681-4DE7-4A5B-B4A9-E30A2E366D30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000664$38FE37D4-B132-4194-9731-6F07BB1453C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000664$51347732-5CE2-440C-A25C-9C679780E65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000664$763CC32A-C847-43EC-82C2-6069D0E6DDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000664$BD0B8711-E225-4540-8635-910D60D92B90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f6244615d941e8783412e6f15e79dedab6bc716","datavalue":{"value":"5897419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000664$534766D0-FF64-4D35-A644-870C528E15FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5261b3f94c4e1d7dd6543546ef60f48972992361","datavalue":{"value":"model repair","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000664$2905726D-3C7F-4EB4-94B6-00E878B113C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000664$94561C3C-6D4C-4805-BE6E-0DF706FB4B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a93e34f38a658e8c093e95c685527a5c00f5e84","datavalue":{"value":"nonlinear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000664$4E8DA6E1-773D-484F-95C1-A1FFA40773BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e91f6e0afc8d075df73c7a359afd21a09bbdda0","datavalue":{"value":{"entity-type":"item","numeric-id":16970,"id":"Q16970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$6E884152-2A70-40B1-91CF-ABC3D1DA8172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"292b25be0fc4294a78c841866f3fe190176afd23","datavalue":{"value":{"entity-type":"item","numeric-id":21648,"id":"Q21648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$FFB7AC4B-5CE1-4B67-AC3C-014FEF364FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"78cb58263a28ee3e44017258bbfdfd66a4db4df5","datavalue":{"value":{"entity-type":"item","numeric-id":16577,"id":"Q16577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$F9CE1996-A5F8-4047-AFEB-96F71EB46DDA","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":"Q3000664$062B804F-8D60-4664-9C99-A82EF627B2F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"514ff0f1d2d979fa03640c0643e2a66d1e4bc5d8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19835-9_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000664$525DFAD4-C25D-4368-B23A-BFF4E043C1FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93274b809e99677d15b8d3a88121405d71ba04b1","datavalue":{"value":"W1574505635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000664$A2EA4A88-D409-4FD0-A388-DE1C761EAECA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3a5cec6206d4035998713017a253092f6d405","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$533054EC-7C31-4CF3-89D5-DA8DDFEF811A","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":"Q3000664$964AE05E-B826-4688-AC65-9A543BF72771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5cbb3267a8d61ce8ea7cfed345a2e1d0a5908bd","datavalue":{"value":{"entity-type":"item","numeric-id":2996128,"id":"Q2996128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$1778FFD0-1393-4CC5-A8E2-D9C9FAB672D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5ffd31d465a566a686c7d217db9ca46a4868d","datavalue":{"value":{"entity-type":"item","numeric-id":3549165,"id":"Q3549165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$AA7BF78F-C23A-4737-919C-4CF48FC0CD32","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":"Q3000664$E8E4869F-B8AD-4979-AE47-112B08160F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb43f426ba479be24e9ec30169892dd5239008ae","datavalue":{"value":{"entity-type":"item","numeric-id":5716562,"id":"Q5716562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$1C49897D-251A-470E-B9FA-0B07FEAA71F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bfe30e08a7e82b0acc716c863fd1bf7ed17e1","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$B668CA5A-F377-470E-AB16-4DA0ADA28297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0afdad8af3a282ab6797dad233c123ef6334650","datavalue":{"value":{"entity-type":"item","numeric-id":877158,"id":"Q877158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000664$6AC6E502-3A22-420B-B4B3-FA6E6807FFF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9920d05e93e68a63bd044eb38a11f369ae8275cf","datavalue":{"value":{"entity-type":"item","numeric-id":1706149,"id":"Q1706149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d91803fcee0cdc7874d8ed1fe94826641b548586","datavalue":{"value":{"amount":"+0.8819937109947205","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":"Q3000664$368691CF-8262-40FF-A554-8A012A789361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b21612985c64a43e327582a87489076c35ef069","datavalue":{"value":{"entity-type":"item","numeric-id":3196342,"id":"Q3196342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6445436aee5fbdb36376cc466a804de338103f25","datavalue":{"value":{"amount":"+0.8092025518417358","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":"Q3000664$9B04C0E0-FB9F-4821-A1E0-CEC50623241D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd669e53a0b95a12424051dad3eaa1b0f80b93d","datavalue":{"value":{"entity-type":"item","numeric-id":5056073,"id":"Q5056073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbf2f78e9bcc128a51ab8acc71620c20ea24363","datavalue":{"value":{"amount":"+0.7600504159927368","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":"Q3000664$F1CDA7D8-ECC1-4AEA-933A-4760B83A5801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726b0aef905210061146d857ff64305e7d29b28a","datavalue":{"value":{"amount":"+0.7478916049003601","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":"Q3000664$B3772B70-BCA2-4F37-986F-BF8EDB0BE425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde6054e5a4c7b5d8449ae157fa316ef1138bbf4","datavalue":{"value":{"entity-type":"item","numeric-id":6108434,"id":"Q6108434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d26aaf66d2c3452ec73497356ea08982c838d73","datavalue":{"value":{"amount":"+0.7446343302726746","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":"Q3000664$A6301DBD-FD92-4687-8114-A267106E39BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000664"}}}}}