{"entities":{"Q5246720":{"pageid":7276288,"ns":120,"title":"Item:Q5246720","lastrevid":58505553,"modified":"2026-04-05T12:34:36Z","type":"item","id":"Q5246720","labels":{"en":{"language":"en","value":"High-level counterexamples for probabilistic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6428624"}},"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":"Q5246720$878AA06A-50F8-4AB7-8098-B420F0D84414","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8916c146f628ffc089c56680847279862010a74","datavalue":{"value":{"text":"High-level Counterexamples for Probabilistic Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5246720$2EE3F262-38E7-4AF5-BA5F-3B4428D9356E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9e77702587829361048265c08bab47496e5e402","datavalue":{"value":"1347.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246720$CD27195E-9D04-4F30-8966-0BC3EE76ED89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e56d15838a9b71007407a63f4001dcbb11c048d","datavalue":{"value":"10.2168/LMCS-11(1:15)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246720$4E78031F-9C56-4DEB-A24D-0879F60853D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c827a3a38a662dea5f87c90599612538f5739678","datavalue":{"value":{"entity-type":"item","numeric-id":402121,"id":"Q402121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246720$A1603092-4C6A-452D-959E-AFEAE6CA31A5","rank":"normal"},{"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":"Q5246720$0A3FE7D2-8611-4AC7-99CF-AA5EDA90CA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246720$C56BCE9D-F525-4CCF-918D-0F643EB7DDFD","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":"Q5246720$495CA7F6-04FA-4A88-8222-32142C22F369","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246720$7450108C-B79E-4521-9EF1-D2430DC421CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ddb9fa8bd34fdf8ac927b9d1418db509264e54a","datavalue":{"value":{"time":"+2015-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5246720$66D0BBC5-7154-4194-8E11-57D354CAD2DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a56f0195914a64d57d3d34e9a5c3da2cef25d7d","datavalue":{"value":"https://arxiv.org/abs/1305.5055","type":"string"},"datatype":"url"},"type":"statement","id":"Q5246720$505E10C4-C72A-430B-8029-6FDA29F894DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246720$E71BBD8F-EB2E-42D3-BA9F-236075F696A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246720$4E0D8DD0-4791-41FF-80C6-E1B49175E84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246720$3B051632-CEB4-40E8-BCBE-1C80648DD270","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1ccea83bfe91e7c9c5a389077f815fbb4408217","datavalue":{"value":"6428624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246720$246A3033-C54C-45A8-BFB2-24FE642DDAD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246720$FED28129-ABEA-4254-B06B-305F6790A2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e72f18a6d6d4af9d0b64b4577421c0d9b7a93b","datavalue":{"value":"counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246720$6BAD1616-473A-42D7-9B4A-711FC0D85F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf1d5a7c701bf3fe7633b358c65656674210a02","datavalue":{"value":"guarded command language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246720$33AF5755-34BB-4961-8286-B4BB1EE83AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f830821080cd8a68b981fd16333959524890e4","datavalue":{"value":"mixed integer linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246720$ED787679-F1D9-4742-ACCC-F86FE258A81F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c2ad928ef7e075a5826c42714da18f3ea07be26","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246720$FFA9EDA1-2044-4928-9BB0-620324005EBC","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":"Q5246720$82E07259-CB8C-4B7F-B262-DA0859321C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6663be921a3fe3b244879abf2c0c98e00d21e962","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246720$BC30F292-DDB8-4170-8CE1-08203C77D8F1","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":"Q5246720$A96076E6-E154-4B83-B6E1-6DCB218F0889","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"be1e7b8cf0858fe5f975cacc4305edf1edd65e18","datavalue":{"value":"Q57800674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246720$5AFB0DC8-E309-40C3-83C1-9290D399AF4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88588e1a209074957349e227877fece3ea856fb","datavalue":{"value":{"entity-type":"item","numeric-id":3457786,"id":"Q3457786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5fb35229aba996e3bdf2aeeffb26b3f5adb854","datavalue":{"value":{"amount":"+0.859455943107605","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":"Q5246720$1EE3E113-F71E-4CC6-BE1E-792D01354F1A","rank":"normal"},{"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":"a35ddc46acbe71f6ca18289c0f5648de62888191","datavalue":{"value":{"amount":"+0.8570665717124939","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":"Q5246720$DC80355E-B91E-4731-90B1-48840C9F4F6C","rank":"normal"},{"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":"c93888ae408a42787b410b3a6f0b4b215e2a6ddd","datavalue":{"value":{"amount":"+0.8314712643623352","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":"Q5246720$36223A96-B5B3-4662-8772-258EC3390DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6991648116bdab624cd6c1ff28ba26622807dd79","datavalue":{"value":{"entity-type":"item","numeric-id":402125,"id":"Q402125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c651503300dbea9c5e596441399fbb113236822","datavalue":{"value":{"amount":"+0.8228005170822144","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":"Q5246720$053675B9-3FA5-46A2-926E-0D9CCAC9B119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331a78c998c85878ef9877d179957ccc909188ae","datavalue":{"value":{"entity-type":"item","numeric-id":6488104,"id":"Q6488104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"003ccb5e910dc62a8998ef1f697851a36bcc0e07","datavalue":{"value":{"amount":"+0.8081462979316711","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":"Q5246720$A21FBDDE-C006-4FDE-8E25-FAEE5FC196D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5246720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5246720"}}}}}