{"entities":{"Q1990501":{"pageid":2001243,"ns":120,"title":"Item:Q1990501","lastrevid":57667206,"modified":"2026-03-31T20:37:04Z","type":"item","id":"Q1990501","labels":{"en":{"language":"en","value":"Bounded model checking for probabilistic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6965618"}},"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":"Q1990501$093C9052-33F8-437D-9278-B830CB3F3962","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fa267a2089d5da81a29fcbf22102d9d50c214ac","datavalue":{"value":{"text":"Bounded model checking for probabilistic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1990501$C92F445E-0424-46A1-8FCB-EAAB785CE198","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f94f788cbc547ce1f026e0239ba3fabf1f16bdd","datavalue":{"value":"1398.68343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990501$FA0B4900-C71E-4D38-807B-0B7A09F95372","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c64a8181f8bdd748b3060712232d1af32d8628d","datavalue":{"value":"10.1007/978-3-319-46520-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990501$288B2385-4D3A-4209-93E1-1BF724901FF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc3636d4eb9483884cb439da1e5812c56aac88c1","datavalue":{"value":{"entity-type":"item","numeric-id":402122,"id":"Q402122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990501$484F9B6E-1A1E-4D41-9E6C-13CE2CCF2894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2634230b4a5c67f8e36e75a9d2aac50da7c4b8a6","datavalue":{"value":{"entity-type":"item","numeric-id":1990498,"id":"Q1990498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990501$9F157529-9FEB-449A-BEE0-D20D2F54EE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aacfa5b5220f00c3776f4488c780f2bf11d5042a","datavalue":{"value":{"entity-type":"item","numeric-id":832285,"id":"Q832285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990501$97EB8952-5414-42C8-BE40-824202659296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6393d8fc252df9dfc4be864198abb516fbdf1da8","datavalue":{"value":{"entity-type":"item","numeric-id":1990500,"id":"Q1990500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990501$6B74E9EF-5727-44DE-AC34-6108F52B926D","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":"Q1990501$661B9ECD-A4FB-4899-97BA-4AE33CC9051D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d922d082f59433f45c9845ec970fb038b58ba6c8","datavalue":{"value":{"time":"+2018-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1990501$1E299242-A7E5-4943-8FEE-72A7922EEC5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ae367c34faddefc225b0765db391e028af82505","datavalue":{"value":"https://arxiv.org/abs/1605.04477","type":"string"},"datatype":"url"},"type":"statement","id":"Q1990501$704A6124-4EEA-44EC-B121-26A6C825108B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990501$58244982-A0F3-473B-A24D-6E01CD1D93D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990501$E195715F-3790-4CAE-8A81-BD814D713FBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a41abae27e615d690423370aacca21c582046724","datavalue":{"value":"6965618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990501$2AE872EF-1B81-4712-8ADA-03FC81C7C825","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":"Q1990501$9D01B12A-0A53-4D59-BD9D-1502BC792CEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c2f1518ee885cc22b47982143e93299f6e0c64e","datavalue":{"value":"W2395880299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990501$854B7B91-6553-4BA8-9B7D-EE7FFA4797B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7a59808604549504f21df021d922057b3e59","datavalue":{"value":{"entity-type":"item","numeric-id":5325836,"id":"Q5325836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9bdff757137e008040146db8b3c1407c5ffe46","datavalue":{"value":{"amount":"+0.8097711205482483","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":"Q1990501$D9BCEE3F-3A07-45DD-BC46-C25D8F2BF19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c2f2a7fc8474c0133780afda7d6c98adfa044d","datavalue":{"value":{"entity-type":"item","numeric-id":3316558,"id":"Q3316558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b540377aeec0477bb4195c68eb76ad4824869ee","datavalue":{"value":{"amount":"+0.8001697063446045","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":"Q1990501$330AB8ED-EB63-4EEA-8DE5-A29F96BD3724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f4034399829c7be670eedad7e312c427b8bd41","datavalue":{"value":{"entity-type":"item","numeric-id":5465856,"id":"Q5465856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee08b15d55f02c9bca65f8e837f5d0bbf20da74","datavalue":{"value":{"amount":"+0.7985700368881226","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":"Q1990501$80375D72-4E64-44CA-9229-245A86F30964","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":"e3a9c49abcde8330a44239854c15b8e468dc1a34","datavalue":{"value":{"amount":"+0.7942631840705872","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":"Q1990501$638AD24A-65BA-4E9D-931E-7DE749115017","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":"730135b99a46524a9d1ea59caabe2d1c29cd67c0","datavalue":{"value":{"amount":"+0.789650559425354","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":"Q1990501$33B7C9ED-BC9D-4ECA-B203-F180E2EA4BB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1990501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1990501"}}}}}