{"entities":{"Q1791206":{"pageid":1801948,"ns":120,"title":"Item:Q1791206","lastrevid":53218844,"modified":"2026-01-24T12:01:41Z","type":"item","id":"Q1791206","labels":{"en":{"language":"en","value":"\\(\\mathrm{MDP + TA = PTA}\\): probabilistic timed automata, formalized (short paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6947004"}},"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":"Q1791206$506E3FAA-61C8-4FEB-B5B6-FF73024A6730","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba3eb6bef312d0906bbe646fa5af0bb8cc4edbab","datavalue":{"value":{"text":"\\(\\mathrm{MDP + TA = PTA}\\): probabilistic timed automata, formalized (short paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791206$98A027E5-72CD-482F-A0EF-29AF40003946","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e11a97286ad72a3b344f15bf6ccd44072589fdc","datavalue":{"value":"10.1007/978-3-319-94821-8_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791206$296F5CD5-DE88-445D-A8EC-6C35A60433BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6890c325a64399811d448bcc2cf29db1ceaf261c","datavalue":{"value":{"entity-type":"item","numeric-id":1791203,"id":"Q1791203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791206$4C38A023-0EF3-4614-8C7A-5B6EF580971E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d6620daf8648b9713aa99490f0508510abdae9","datavalue":{"value":{"entity-type":"item","numeric-id":1687531,"id":"Q1687531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791206$A56E49F1-E0CC-4A4C-943E-C6A45103668A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791206$A9BD09B4-8D48-445C-9CCC-606B641A34F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791206$1CB67013-3006-4C9D-87A9-003466156902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791206$81B7C56A-E27E-435B-9784-06BCAA1EE769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791206$054794D3-4D94-4EE2-B275-EA33499CD4C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38ae71c578afd2a013b1345cdf8d7275a3db7c5d","datavalue":{"value":"6947004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791206$38D3F54E-2E4D-451C-9E4E-754F24F88FE2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791206$CF605327-B8D4-496D-A4EF-535D3C45E107","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":"Q1791206$B44A44FF-1C3B-4B27-8005-829B6008325A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791206$E60AF823-7353-4207-AE52-F9DDDECC0B76","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":"Q1791206$63ABD27E-3F95-4F76-9E2A-72D4827124AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88025fcf904326ad543994cdfb505e55b1ae982f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791206$38721D87-2F00-40F3-A88F-955E464ECF01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dca7ed11cfaf5095d12be6ef57ff0a59755b0b6","datavalue":{"value":"W2811334650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791206$4E49CF4C-C463-47D3-8D41-CC74EF435FD2","rank":"normal"}],"P1643":[{"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":"1cb62774f7fd35153a261c1920c0c4aef6c049ab","datavalue":{"value":{"amount":"+0.8375318646430969","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":"Q1791206$B786DF5C-0CF1-47F1-B52C-BF7B19032F4F","rank":"normal"},{"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":"d3b1a3bb775621c5859820550ed87011bbee59c0","datavalue":{"value":{"amount":"+0.8317351341247559","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":"Q1791206$FBA06605-34FE-4B91-A263-1E9A7C92D373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684ae8713c9dd9a87dfbc129bc87879be0efd8b6","datavalue":{"value":{"entity-type":"item","numeric-id":1853732,"id":"Q1853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e6eac7b65ac978fccc77482aff5a383851e1eb","datavalue":{"value":{"amount":"+0.8242705464363098","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":"Q1791206$AEAB3967-CA21-43C0-BAA9-097618F28942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363e557902d6ca65c406e41723c99433978f326c","datavalue":{"value":{"entity-type":"item","numeric-id":517046,"id":"Q517046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5e45dd85aface667be9b7c391d8cc0314000a9","datavalue":{"value":{"amount":"+0.8167340159416199","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":"Q1791206$83556E40-AA14-4766-AECB-FF86134FA11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af635cfe46cc8d109f58b1ea11cb5e3ee0142ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ae5473abd6ec508dd858ac122bda06fa75ea8b","datavalue":{"value":{"amount":"+0.8161255121231079","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":"Q1791206$54EC4391-190F-45E9-A921-F0EC47E09BD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1791206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1791206"}}}}}