{"entities":{"Q2986937":{"pageid":2997661,"ns":120,"title":"Item:Q2986937","lastrevid":58089582,"modified":"2026-04-03T18:31:59Z","type":"item","id":"Q2986937","labels":{"en":{"language":"en","value":"Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718256"}},"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":"Q2986937$1C551D67-A865-429A-B129-A33B6730FD7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"182f5e8511dc35548c82e616e141dc69a21c2a13","datavalue":{"value":{"text":"Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986937$17C25CAE-F800-4970-BEE2-4729ACAC88BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"116dc17f809e174cf1aa681bb6f2c95f592a9302","datavalue":{"value":"1362.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986937$20E945B5-E2F7-479B-801E-4F8EF477F1C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8380e52de7114e1b89cf48211fc945a42018a1a1","datavalue":{"value":"10.1145/2461328.2461376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986937$9E9DE791-A8CC-465D-913E-9A44CF932A0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a88149d12fac096f222b3d8514ac60f424d444","datavalue":{"value":{"entity-type":"item","numeric-id":256505,"id":"Q256505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$3DB34C1B-ADE0-4D13-9A43-73BE7C9A9D03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6451d3247f0abc57e95c36b772cbc5d6298df016","datavalue":{"value":{"entity-type":"item","numeric-id":2986904,"id":"Q2986904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$3CDFF868-83DF-4951-91E3-8B628576F4FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986937$CCF085D9-A878-40E8-A1D2-9ABAFD66BDB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"220848a55eeefbe33b7da9f7143eff0c65b8e637","datavalue":{"value":"https://arxiv.org/abs/1210.4787","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986937$DE758AFB-7A61-4FF7-8412-67BE26C96431","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986937$F55DCF92-69A3-4768-9484-BCB4D2E5AA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bfd44d39fc48f1c1778c5522f250d3165ba32e9","datavalue":{"value":"60J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986937$5DC26141-8AEE-43EA-89B9-FB2AF800B184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986937$A218B915-D273-4898-AF85-6EACCB8981B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01c534dcb592883868d267a2e25ff5471becd61b","datavalue":{"value":"6718256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986937$5A6FD6BC-B5C7-42AF-93D7-7AF0ECC3DAAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b1e0024e7e32a8458eb21e73fec9565aa0dc32","datavalue":{"value":"continuous-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986937$EB3E07C6-AA33-47B3-941E-7D8FE99E54E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f5a8d7f7f19855f04d728bcb3cdb6767511744","datavalue":{"value":"deterministic timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986937$DAFEC2CD-D1AF-45F6-9052-2CD1A1FA1549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986937$F4B3A07B-DE4E-4CB8-8733-9B30857450D6","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":"Q2986937$C8F01831-7A73-409E-9C48-2415532BE977","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb5990ffc9528f939b932e6ddf2ae90da5b6bea3","datavalue":{"value":"W2151062843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986937$D1F8B515-69B0-4001-9F0C-7582E77E28FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$DFE41213-B97D-4FEC-9F8F-80859251D5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487448dd707475ff2ae733502dd4fc7b7a38882c","datavalue":{"value":{"entity-type":"item","numeric-id":3000664,"id":"Q3000664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$5633AE3F-ADF2-4E74-A1BA-69B08ACE09D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0803f111cd4e855bc5fba7f06e46df59b58592a0","datavalue":{"value":{"entity-type":"item","numeric-id":5281971,"id":"Q5281971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$7E57E4EA-32EC-4AF2-A2CB-8D3BEC981979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3a5cec6206d4035998713017a253092f6d405","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$6E6C956B-123D-440D-B1BF-48C2042648A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378212bde2f853c9fc1900b4f7d4451454b04df3","datavalue":{"value":{"entity-type":"item","numeric-id":5452707,"id":"Q5452707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$C48F7DAC-5625-4C03-B251-F1D85747D709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94babe1e0ab5a5866969f10cff2ac8dc5e87e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4506554,"id":"Q4506554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$CB2652D5-7B94-40AD-9455-05E7F60B5E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$6247A9FA-0548-4F4C-86B3-862DD5F47F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cfadda0faa512cfc7404e1701fcf546dc198dfb","datavalue":{"value":{"entity-type":"item","numeric-id":4472258,"id":"Q4472258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$E282F1F2-6893-45AE-987D-608458DB254A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$21A8D335-FE6C-43D7-A4D6-E094CA9B697F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$B3624372-DF05-4379-BDAA-E73D432EAE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1a3b54a2e5ef3ea09f6af9ccb4be610b88e93d","datavalue":{"value":{"entity-type":"item","numeric-id":2985871,"id":"Q2985871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986937$74873502-F81B-4AA8-8F01-4481B74DA074","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37da2f642cc8d27ff571cf4e717368214c3b34d","datavalue":{"value":{"entity-type":"item","numeric-id":6041132,"id":"Q6041132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b93d343db8f0ce9e91e7bd5564566499e302db","datavalue":{"value":{"amount":"+0.8351594805717468","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":"Q2986937$0DC71C75-ED0F-4FAA-B0A9-6C5B1AB7DE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49574a7887d76a44f31ac371d9e5275945a70f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3172840,"id":"Q3172840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3419f09e875d3fa22e61f4d95b8ecde743ac07fa","datavalue":{"value":{"amount":"+0.8084471225738525","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":"Q2986937$3908AF03-C59F-47F6-B4C0-6E09E3DDB9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"649c6a2777986bb091004ec09cd96a579d55c089","datavalue":{"value":{"entity-type":"item","numeric-id":3003315,"id":"Q3003315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95de17c3625ad4bc04a0bec361c9185197f85e75","datavalue":{"value":{"amount":"+0.7903124690055847","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":"Q2986937$93B80F44-23FE-4CAE-8A04-E1D68631FDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f93fca35aff7bd285b30f3bbca171f54402ecc5","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"946a614d31d6a2b3119ca3ef93c0cc5415ee8c2c","datavalue":{"value":{"amount":"+0.7881464958190918","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":"Q2986937$7B0A76AD-6893-4CC0-B8CE-620BD5446F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57087d1fc5cae94b9e6134d6a9a05a80534c1ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3172860,"id":"Q3172860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48b917b05de2a92e14b6ae29648c058295e1bd5","datavalue":{"value":{"amount":"+0.7737250328063965","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":"Q2986937$925BCED4-A3CF-4834-AF5F-71B63F5DA951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986937"}}}}}