{"entities":{"Q2248053":{"pageid":2258796,"ns":120,"title":"Item:Q2248053","lastrevid":78706349,"modified":"2026-05-06T12:14:47Z","type":"item","id":"Q2248053","labels":{"en":{"language":"en","value":"An extension of the inverse method to probabilistic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310006"}},"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":"Q2248053$2BAABBA0-BBA9-4D2E-AB33-88622FD30E33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c195b20bfe2f54b202d715d9d44ce5eaa32b115d","datavalue":{"value":{"text":"An extension of the inverse method to probabilistic timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248053$66D1686D-737C-4150-AC05-F2216488DD86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d93f8862f6925c3e4d566979386b792f01d79f7","datavalue":{"value":"1291.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248053$89CCDE97-3AC9-481F-B578-F720526C61A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$1590E106-6488-4AB8-8B1A-4208EA8894AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$91AAE084-B814-4F31-A4DE-F55E83B7BDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef644520868ad4c5cf8cd65ad73911c814055439","datavalue":{"value":{"entity-type":"item","numeric-id":846014,"id":"Q846014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$366E06CA-A7D3-49A6-B67D-9BD3A42E9DD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$803064B7-C09A-48B1-A020-656AEC439CA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248053$59C244C4-6F4C-479B-83F6-03BDAA87E6BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248053$D0F8E1DE-28DD-43C1-B916-47690DC8EF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248053$F118772D-E6D9-4A7B-AE35-AC77383664B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248053$C4E858CA-11E0-41D6-BCF6-709AEB34281F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e7b62a61cb70c397cbb9b5b985e9a1f20c874d1","datavalue":{"value":"6310006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248053$40A4D9C4-1A51-46B9-A443-1B19879264F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248053$5AD19B46-4900-46F0-871B-02A748F2C4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248053$47A69DAE-28A6-49C5-91E3-968D5558CE83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$8106B18E-AA77-4697-899C-6A42DCF6FD15","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":"Q2248053$DABEA6F7-E280-47F6-9FF3-AA31143A60E6","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":"Q2248053$79302579-C3F9-4E1B-A14A-E407AA3261EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ab1818ac4056996df0d08c4a55e75ebcdc990bc","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0169-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248053$5AD6615E-31C7-4896-906D-E5F82EC25E4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3a39b87e3a64b85d11a4889f8fbb46ed0ad06e9","datavalue":{"value":"W2044499152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248053$C0615E68-3C4A-483B-9CDC-8DC03D9EDECF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$A29640B0-D7BD-4EBB-A636-3EE9D4338053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$17AB1E64-A342-4A8C-B763-2D67D48B0883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d3bf53e94a938d4f9a9fcdc3603c5ab6b47000","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$FD187924-027B-4773-9DDD-BBB6CF9900B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb4dee46e0b969a233da17f13d596a697e076e5","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$EAF46AAC-E035-4CCB-9694-E7528748731B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d05f20a63588f003fd4b0ef100302836a6a1df","datavalue":{"value":{"entity-type":"item","numeric-id":3584962,"id":"Q3584962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$031A76E1-A333-44CB-ACD8-8FE86E229021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0df6156cb24cdd1f06eef3803b53a38672dde6","datavalue":{"value":{"entity-type":"item","numeric-id":2248053,"id":"Q2248053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$42EA1451-19B2-4173-874E-38CE0D699BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$8E83CC2F-4416-4934-98C1-E0D83874E7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a6b288a9007533d8ca32334659b6027ea5ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4118602,"id":"Q4118602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$2001D643-ADAC-4A53-9C30-4341F3CD0540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797d73b7b00329be7f930f664b79de6020dcf02a","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$9CD58598-E3B7-4A65-A9A1-1EBE01DF9EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13aebb6e6bc4202ac98997ac8072de74b833c8a","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$011A5830-C6B2-4399-BA2E-A5BDB19EFBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$D755D2C8-ADCE-49AE-9033-979BB7BE1B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be85080d11fddd5ae2d99ce5177bdd9222e6303","datavalue":{"value":{"entity-type":"item","numeric-id":4813204,"id":"Q4813204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$77345BE1-B0A9-48C2-9E66-A784DAE70B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b68db716c887d5568fdebc4c4887e66ff39f5fd7","datavalue":{"value":{"entity-type":"item","numeric-id":1402478,"id":"Q1402478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$B4461512-3DC6-413F-BF5B-087DA29C9702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc36368f80a66f5158db4d76bfa148823c47a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$AA4E5F15-753E-4B50-80E9-B1F37FD58BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0afdad8af3a282ab6797dad233c123ef6334650","datavalue":{"value":{"entity-type":"item","numeric-id":877158,"id":"Q877158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248053$B860E97B-EBB4-4B3F-AC55-A8E4055A4964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d62b2d1409b9ba0bc844fca5082323d24a19473d","datavalue":{"value":"10.1007/S10703-012-0169-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248053$2B507CDA-4E3F-485E-A608-A1638E024279","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a03338383f73e23079841476ae1ac0022216ec","datavalue":{"value":{"entity-type":"item","numeric-id":832050,"id":"Q832050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5611c5c96ae80e1cabc3f71203fc883a9d8d5a17","datavalue":{"value":{"amount":"+0.8322433233261108","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":"Q2248053$A729CD90-C83C-4C3D-8FF1-0D79822A30BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f28c6ada71aaa9a8347bd0702cc760c0cea100c0","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41803ce01d4ba6ce215dca0fff808e0d4654211c","datavalue":{"value":{"amount":"+0.8284268379211426","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":"Q2248053$95ABF748-FAA7-4EA8-9A8A-35E4D682C2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ca667b81cc4da7a803ded53555710c6946a1a3","datavalue":{"value":{"entity-type":"item","numeric-id":2636513,"id":"Q2636513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383807c39295a2a01c41859b0bba8c685819e62a","datavalue":{"value":{"amount":"+0.8102008104324341","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":"Q2248053$1C65EC13-0376-4D78-BBC7-16CDF375A4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc093f0c61accf22ff47ff0122cbd8cfdd44806","datavalue":{"value":{"entity-type":"item","numeric-id":3447704,"id":"Q3447704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c1284a5394715b74ed91b911c226a60e2e13c1","datavalue":{"value":{"amount":"+0.800054669380188","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":"Q2248053$6C4E0617-D58E-4246-93AE-AC6DE2573A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c351f1cd32c9d7153c2040c5f9db6c10c712829f","datavalue":{"value":{"amount":"+0.798919677734375","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":"Q2248053$AC3854B2-24DA-4A98-B574-F6B9EB86CC8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extension of the inverse method to probabilistic timed automata","badges":[]}}}}}