{"entities":{"Q2402369":{"pageid":2413112,"ns":120,"title":"Item:Q2402369","lastrevid":52894655,"modified":"2026-01-23T18:06:22Z","type":"item","id":"Q2402369","labels":{"en":{"language":"en","value":"Precisely deciding CSL formulas through approximate model checking for CTMCs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6770495"}},"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":"Q2402369$B66934E3-9FAB-4793-A713-D6257D54ACE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25678e41e3f6be3113f73dd0714d35bd87892c2c","datavalue":{"value":{"text":"Precisely deciding CSL formulas through approximate model checking for CTMCs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402369$FA8A8E0F-6BD7-4A61-AD37-10AA57FC4657","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11dd7bb5c6655fd562bbfb90cef3c5be1d14981f","datavalue":{"value":"1372.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402369$5191CB2E-D636-49C4-A0D5-BD45B30C733A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff0ca495cf139845d01d02d871d3828dc4028019","datavalue":{"value":{"entity-type":"item","numeric-id":389707,"id":"Q389707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$4242A06E-D132-4695-ACDE-662193BC9A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$6A642316-16E6-47D8-8DAB-1678551E961C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$25543925-D546-4982-95E7-2C08943C95C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11ba1318fd992fb8963c975351f80696c931b262","datavalue":{"value":{"time":"+2017-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2402369$FE9830F0-BB8D-4117-97AC-3D96C861C146","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402369$D93EA59D-EED1-4790-A2E7-98C652C33EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402369$4C686733-EC49-4073-8442-8A92C2A5D025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402369$10FCA627-3A20-4080-9FCD-A7E89D9A4596","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57eb961700775ac9e0e542cdfb539e85225d8b93","datavalue":{"value":"6770495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402369$19433D2A-08AE-4994-B370-6E6F497732AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b1e0024e7e32a8458eb21e73fec9565aa0dc32","datavalue":{"value":"continuous-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402369$9164CD74-3D67-485B-A3D2-7737118781AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1b35cc33f293468e85b6bb6ba39a0bc145449e","datavalue":{"value":"decision algorithm for CSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402369$3A7C52A0-983A-4F24-BACC-61B088A75EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cdda34f9bb2a3e1159ffa09afda69f736927da1","datavalue":{"value":"transcendental numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402369$CEF9A722-344B-4D17-8A5E-70E6CD79DDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0de600cf8191fa1f423fd01c9a02b172072a7391","datavalue":{"value":"approximation algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402369$E94892E4-29D6-46B6-B19A-4A7DF57BD53F","rank":"normal"}],"P1463":[{"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":"Q2402369$7F43DF4D-21B1-4614-B6CF-D00822528184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$DF4BF952-1935-4C92-AA7E-CC713C83EDEF","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":"Q2402369$7E0B4FE3-5917-4479-95DE-C12E433D4AF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7997a711c81799f6364b81fb006495d0d805e4f1","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2017.05.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2402369$660A921C-49E3-4BF5-95E9-F96EFC6C63F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be5f0e6e77b0f2dcb0ee032be85666d4178425f0","datavalue":{"value":"W2625447049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402369$0718DEC6-EC5E-414C-9684-D724676C48FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$B282BFB2-1EFF-469B-AD90-0FE9ED8205CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d81fa34b75538c6fc7490766c0d7105fcbddbad","datavalue":{"value":{"entity-type":"item","numeric-id":2754096,"id":"Q2754096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$429669DE-1BF3-4BE0-B7B5-13BDBA9B9632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d022874c2fe7d58d1876938350ab409ec9766ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2754196,"id":"Q2754196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$FAF5B9F4-B145-4B95-A36A-23637D4169FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd7acb71a63cfa855d1bd9ded95ad8f7681fd51","datavalue":{"value":{"entity-type":"item","numeric-id":2575731,"id":"Q2575731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$3117BDBE-2563-44D8-8F66-19A359F84408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5dc4a54d497f52edc88d2f6c8aff90c70f75c2","datavalue":{"value":{"entity-type":"item","numeric-id":5480286,"id":"Q5480286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$E7CBDAAE-BC95-4E58-A81D-8A2FDEDD8ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb8ccb52411e99a3cb4c9cb78d2faf9d08e7f0c","datavalue":{"value":{"entity-type":"item","numeric-id":2920113,"id":"Q2920113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$F84B4EF1-9678-40CF-AC4C-0E4B79A55AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30a3b37f3ba5e833386f7dd679a2ee248f31396","datavalue":{"value":{"entity-type":"item","numeric-id":369460,"id":"Q369460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$D0C7C728-56FF-4901-8CBB-7B687BC606C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36eb59ab85c1a76aff1ec483ca4af9e7498e7f6","datavalue":{"value":{"entity-type":"item","numeric-id":3400550,"id":"Q3400550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$0238E156-1C37-4290-9062-E08EB127106F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6a55dd1fafdb97010211da4cbf64ca40ccf24f","datavalue":{"value":{"entity-type":"item","numeric-id":3998992,"id":"Q3998992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$3043CA68-7152-4E42-8F77-826A20E4753F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e462f460c254621887670d8dbe8769059b3ea08","datavalue":{"value":{"entity-type":"item","numeric-id":5820901,"id":"Q5820901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$D0B9A0D2-2367-40BA-A856-A5B4924644E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873ce7055ccde0a2fd174af35c0c2912e62ff225","datavalue":{"value":{"entity-type":"item","numeric-id":5544816,"id":"Q5544816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$BFBA5157-BB5F-4580-B8C1-904FB52F14B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8beec06027b14995a9ede662130aa3d99a5ddb53","datavalue":{"value":{"entity-type":"item","numeric-id":3232347,"id":"Q3232347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$70A42F6D-09CE-4419-927A-DE1A519C38A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f854c1fbbfc6cea70a4a8ac9dec0ba4f326fc","datavalue":{"value":{"entity-type":"item","numeric-id":3619416,"id":"Q3619416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$05D2A297-BFB5-489C-AC51-C4F9F23C8127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410457c7bef1ef10c82607d7470506826e62fc87","datavalue":{"value":{"entity-type":"item","numeric-id":5151040,"id":"Q5151040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$CCDD6A84-8346-4CA5-A358-0558704BBF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2721c702dd018b6c82dceadd8f3e8916a3a56b42","datavalue":{"value":{"entity-type":"item","numeric-id":1157624,"id":"Q1157624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$76A4AC23-DE36-448E-BCD2-7F92AC40A48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907d75612b0bd82eeef2f97ad81b622c6654cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4324960,"id":"Q4324960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$69D9C37F-3F77-45A0-9934-74C5BA146C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$FBF44574-A429-43D0-9968-D478381F62BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe7e18dd9e959785d18ca6320e54777dfaa7625","datavalue":{"value":{"entity-type":"item","numeric-id":3012926,"id":"Q3012926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$08547477-5E73-497D-8AC9-50C771536BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56688f210dd957ad263b4e14f6563108f3d1dace","datavalue":{"value":{"entity-type":"item","numeric-id":2904612,"id":"Q2904612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402369$FBF2867C-2526-486E-BAFC-6F6401DF288F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33358bdd84e40d9b53bfd8fd96033e5d5778d060","datavalue":{"value":"10.1016/J.JCSS.2017.05.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402369$12EECD2B-44F6-4CDF-9BF7-61BA7C53F3E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f078e5671c54261f174124922a77889ae72225","datavalue":{"value":{"entity-type":"item","numeric-id":3012926,"id":"Q3012926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67354f223e4a46fe53008e6bf761d05db049353","datavalue":{"value":{"amount":"+0.8654870390892029","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":"Q2402369$985B81B4-25CD-4DE9-A479-9D3B163B290B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daf355dfe7084f220565d5edbbcf3a70fd19577d","datavalue":{"value":{"entity-type":"item","numeric-id":2904612,"id":"Q2904612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338e11bab4b846d62b099e3870561fb01592287d","datavalue":{"value":{"amount":"+0.8567577600479126","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":"Q2402369$3709BE4F-6325-472D-8152-8954A4570CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6592fe64c578df98ebc9a32850ef70e2972f9f7","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1640ca43fba32e8ea6fd03587d4de566d8e2bb3","datavalue":{"value":{"amount":"+0.8547669053077698","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":"Q2402369$6EE8DEDC-4AAA-4DF0-85F2-25EB39D27679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1fcd48c493965ab2e407530b2e2e203db0266b","datavalue":{"value":{"entity-type":"item","numeric-id":5703762,"id":"Q5703762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1640ca43fba32e8ea6fd03587d4de566d8e2bb3","datavalue":{"value":{"amount":"+0.8547669053077698","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":"Q2402369$24AE2BCC-857A-4780-8E93-F5171007F02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca06ef0616aba8c589d663ac369ff98348ff137","datavalue":{"value":{"entity-type":"item","numeric-id":1941693,"id":"Q1941693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e7491ed1776ed8d954b2432a43393e89ff3ee3","datavalue":{"value":{"amount":"+0.8397507667541504","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":"Q2402369$2A24349D-A5E9-44D5-80DD-E4C4F339F98A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2402369","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2402369"}}}}}