{"entities":{"Q652160":{"pageid":654009,"ns":120,"title":"Item:Q652160","lastrevid":63419670,"modified":"2026-04-11T12:56:08Z","type":"item","id":"Q652160","labels":{"en":{"language":"en","value":"Generating counterexamples for quantitative safety specifications in probabilistic B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5990140"}},"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":"Q652160$7C7597E1-C0ED-4579-8D0A-300D82ABE51C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd1fb486f3bca09fed609c764bb4b1485e8150c4","datavalue":{"value":{"text":"Generating counterexamples for quantitative safety specifications in probabilistic B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q652160$7F240CDF-A319-40CE-8022-75F3EF827D11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3715fa86e86a04992d5daa40efc3801c9ac5bfc","datavalue":{"value":"1269.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652160$70F49F7A-A5E4-4D41-A075-E230CDC26950","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66acb16fcb6681c678df0ad241d51ecd0ef3d882","datavalue":{"value":{"entity-type":"item","numeric-id":652159,"id":"Q652159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$E0ECFBA7-E901-49DE-9AEB-D90F09163FEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$5CB53DAE-9F60-4F12-AD28-3A5227584DDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e7c33876f49da64580f033b95b71f550b669c2d","datavalue":{"value":{"time":"+2011-12-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":"Q652160$1381C1C3-8E45-44D1-B7EA-C80C0BF8FAF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652160$247A82F1-02EF-4056-B4F1-0CA276A59008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652160$C761B3C0-A5EF-4EDC-8046-5E17F1976A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652160$B59D2801-85F9-49B4-A3F9-3084F7845349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652160$41EC8F10-4996-4292-A3B6-3400CCD1EF66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"471afe29c5529fededcc332de1f0f565b5c12615","datavalue":{"value":"5990140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652160$23BF6341-68BD-47B3-98AB-200505D18C1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0243e85bee993239578dad8b411a3752ca7a55e","datavalue":{"value":"probabilistic B","type":"string"},"datatype":"string"},"type":"statement","id":"Q652160$D7B21253-7341-458F-A05B-2F20CB6403BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7010d5ee074fd1c09798f56d675198e633ed6e2","datavalue":{"value":"expectations","type":"string"},"datatype":"string"},"type":"statement","id":"Q652160$B501433C-DAEC-48C5-8297-DE2CE640322A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253c7f3f1775b82f8fa78bc26599a279cfcb4c14","datavalue":{"value":"quantitative safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q652160$8107E5B0-E986-4FD2-A9DD-7094E984531B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b16fd95e4fbf9447c5a229aa7328af0cf212c5e","datavalue":{"value":"failures","type":"string"},"datatype":"string"},"type":"statement","id":"Q652160$F6C069F5-42F2-4C8E-8174-5E0DF78744FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e72f18a6d6d4af9d0b64b4577421c0d9b7a93b","datavalue":{"value":"counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q652160$6F7FF3F5-9F3A-449A-832D-3235C891C383","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$0D25DDEA-9133-485E-9074-A99C2F68F5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$3ABCA16A-70DB-4805-A6CC-4D7875F331A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$FB69B769-B8C1-431C-8F2F-340855CACA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$6C4E5C7D-1324-41DA-AA4F-4097EDAC63CB","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":"Q652160$C24B65A4-00B7-4B14-8449-DF681D5A1DB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"378b503cd6086f602114f5216462ceaa5dc8fb10","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2011.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q652160$149A5981-C2B1-45C2-8F0B-2C8F4A5C0D45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50582428193bf3d2b2407f16aa48d3fdcee8c282","datavalue":{"value":"W2126704329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652160$65A72E29-E081-4229-AB8C-5E0CE932643A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$DB30763B-008F-4ABA-9D6B-C832D255456B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$F1F756C1-4080-453A-BF3E-A3EAAED4649F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30979d60df1170827847b57833021188af6b113","datavalue":{"value":{"entity-type":"item","numeric-id":5897962,"id":"Q5897962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$16AB5C09-36A6-419E-8E53-34463BD156F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$7865318E-B72A-4916-9D37-8C44B1C1A20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0303c1310c6269f943946baba9f3fea3e54f47d","datavalue":{"value":{"entity-type":"item","numeric-id":4210169,"id":"Q4210169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$61813666-BC45-4886-A955-272A0047C2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e82f378645b1b9d2cb51da2d39e946c18e4b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3956129,"id":"Q3956129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$213FBAF6-2663-47B6-9351-39F65046C944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"080dc2a317ac2282f34ff9b2d843ed33fb8989db","datavalue":{"value":{"entity-type":"item","numeric-id":5758104,"id":"Q5758104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$CFFC3887-8E6A-4A99-89CB-FEAA145BAF9F","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":"Q652160$8855B70C-055E-4BAE-8444-A3D33E556D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef91f87f733082208e7e27c58078526ac121b12d","datavalue":{"value":{"entity-type":"item","numeric-id":4436971,"id":"Q4436971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$0A2A110D-E493-45A7-8AD5-D1F58D28EB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$258FA216-36F1-45AD-88DE-14CA3D8DA652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59763b3fb25129051745803dae70f5cf79103f8","datavalue":{"value":{"entity-type":"item","numeric-id":4484343,"id":"Q4484343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$4F3698B3-9044-4691-A16A-5D553CA49389","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":"Q652160$CA61D072-C219-4F74-9B77-4871E792E77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$78F55A95-E4E4-4B8F-B4B6-A2CF55B89B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$BF1DDFAF-18DC-424E-810B-375E8408FEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"278018e2bacb6d8ea592fa12a67c371e077b2897","datavalue":{"value":{"entity-type":"item","numeric-id":1229833,"id":"Q1229833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$B918D774-48BA-49DC-9B49-A4502E05CC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bde52dc3971c9bf865b543a75be1a784b143973","datavalue":{"value":{"entity-type":"item","numeric-id":3512442,"id":"Q3512442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652160$AAE2795A-8908-4D08-B11F-FA621853724E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"faab291d4815343001e22839d9a4b527ee3ce8da","datavalue":{"value":"Q124807099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652160$82BBF205-3B83-4894-BD12-795280A1B453","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ab79b707cddd46eeda1d0c8381db7b48df58b54","datavalue":{"value":"10.1016/J.JLAP.2011.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652160$47D93D7A-37F8-460F-B48F-687E95EEA0CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437b98c01b6db117ed8768fb1a95a5a149ac0678","datavalue":{"value":{"entity-type":"item","numeric-id":5758104,"id":"Q5758104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d011827de4d5f647623843c23175b985553224f","datavalue":{"value":{"amount":"+0.773162841796875","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":"Q652160$D406D82A-0A73-432B-B624-0A56C6BD70EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff46f45ee151efcabf95a53dee8f1b1163eb3008","datavalue":{"value":{"entity-type":"item","numeric-id":5246720,"id":"Q5246720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff78a763cd494354f21183820cd4c7a4566de27","datavalue":{"value":{"amount":"+0.7615993022918701","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":"Q652160$76F60370-189F-4F87-88F2-6F8A60725B89","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":"d4bb03a1c43aee5c000b1de2bc8331db060a93cc","datavalue":{"value":{"amount":"+0.7568497657775879","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":"Q652160$04FA699C-8208-4170-8F30-B49528A1B69E","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":"84b47566efe7205ede15001ea5c9120ed579352b","datavalue":{"value":{"amount":"+0.7436578869819641","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":"Q652160$241D6C07-2DAA-40BC-87AA-7D41194ABA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827eb7722744c23515a27fd459daf05777e60784","datavalue":{"value":{"entity-type":"item","numeric-id":4930741,"id":"Q4930741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5872f446606f4e44792bc8dc1386e13cdb9d04ca","datavalue":{"value":{"amount":"+0.7423748970031738","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":"Q652160$2C4C999E-DA1E-4FEA-BDD0-3C76BC1DF8F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating counterexamples for quantitative safety specifications in probabilistic B","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_counterexamples_for_quantitative_safety_specifications_in_probabilistic_B"}}}}}