{"entities":{"Q5758104":{"pageid":7787655,"ns":120,"title":"Item:Q5758104","lastrevid":40922636,"modified":"2025-04-14T04:25:49Z","type":"item","id":"Q5758104","labels":{"en":{"language":"en","value":"Counterexamples in Probabilistic Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185768"}},"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":"Q5758104$F7C3CB87-9178-4D82-878E-116FFC4692AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfee66903a7fdd289975811e397eecffdc4fb1b3","datavalue":{"value":{"text":"Counterexamples in Probabilistic Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758104$C871863A-FA94-492C-A841-E31599CA1622","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dca65da04084776a42193c7655a2dcb8c55d94c8","datavalue":{"value":"1186.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758104$B80734DE-AEE6-41EA-87EB-52DC0C318090","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcdbae1f6f9930fa4c18723ca6554aec2138b8de","datavalue":{"value":"10.1007/978-3-540-71209-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758104$7EB6B6A7-2B4C-4A73-9C95-405411A0C3CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7212e30b632f2e93de3964c7abeeef134479d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":458373,"id":"Q458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758104$D75F7D7F-9D10-4018-B6EB-CC3C81A5B820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758104$49A79A6F-CC8A-4D2A-A42B-6ABCBD41A385","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":"Q5758104$DA3B3892-6F1A-4DA0-8636-F9DA9FC49609","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758104$F641BCFE-B047-42B8-8EB3-61365E48CEFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758104$780CDF47-794B-4BB8-A4E5-6D8219B46F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758104$F5517107-947F-4579-8B11-284FEA11E010","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e1f933cb635d38089ac6da3c0d01caf8b511e6a","datavalue":{"value":"5185768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758104$C320AE6A-8F24-4591-842B-17FA76671D02","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":"Q5758104$38510F11-7BBD-4F73-8557-69D3436BE904","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36f1fcb328c481a6771a24aaed4af91bf03d0e23","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758104$972F6C39-D061-4061-8D02-473AE264E665","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b349b804b2e4d05d00cd2da0d68336429a544f64","datavalue":{"value":"W1926463588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758104$CE6528F9-1699-414A-8C25-4FA8AA1DF779","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bf5bd1dbf34c3dcac4bc791597c825db13f6b6","datavalue":{"value":{"entity-type":"item","numeric-id":3184702,"id":"Q3184702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c768b9bc7a8c6d6a503abf21a18ebd0226d4e0e","datavalue":{"value":{"amount":"+0.9396476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758104$9ACF76BB-81D9-4AD7-AFE1-B3A3AC4BC96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4947bf0221aa37049a819bdd1edcd87053e9cdb7","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ffb6d9c8db7080a686964dcf985315397b40891","datavalue":{"value":{"amount":"+0.92162037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758104$946ECDE2-2FBC-43CF-8EE5-60D0DDC22A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bc4433e20bbf1ca4a7bd0a5fde00fe23ab4b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1990501,"id":"Q1990501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce851cf5d454d26bc53b0351e715c2870f58b384","datavalue":{"value":{"amount":"+0.9103401","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758104$8D9EEA8A-E4BF-4790-B2C8-BDE569D50EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b002307e96e21df399a9fc14c164871ba8e9f0","datavalue":{"value":{"entity-type":"item","numeric-id":436316,"id":"Q436316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ee1d922b526517aa5185cff4796897b2a87a63","datavalue":{"value":{"amount":"+0.90985805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758104$E03E9F6F-B787-4AC4-AD38-0F071C7F837E","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":"89860bc9697c7f85b76e5454af9504cb1e89aa12","datavalue":{"value":{"amount":"+0.9084465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758104$5BD8C399-A2D3-4C1E-8107-04E8B46A2F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345ce6084d877d4521444930d1628629a7e3a3b5","datavalue":{"value":{"entity-type":"item","numeric-id":2946660,"id":"Q2946660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0300d8721ec4b4099d98ba33732416c13202e6","datavalue":{"value":{"amount":"+0.9076739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758104$9CABA66B-BE07-463D-8229-50288AF4E474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51c410802c155e5727dedbe182f66430c71fa0f","datavalue":{"value":{"amount":"+0.9062032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758104$20BC1436-5D30-41D2-85C0-73127BA5E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7635344bab1fe678c8d3080a4f1e8766180e17b","datavalue":{"value":{"entity-type":"item","numeric-id":5897962,"id":"Q5897962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23889d721c664d8ea55d3ffc55af2d29383f5461","datavalue":{"value":{"amount":"+0.90377194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5758104$9F9EBE0E-BE3F-4F1F-ABA4-41B361B1BF5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758104"}}}}}