{"entities":{"Q1853732":{"pageid":1864474,"ns":120,"title":"Item:Q1853732","lastrevid":69359673,"modified":"2026-04-13T06:28:23Z","type":"item","id":"Q1853732","labels":{"en":{"language":"en","value":"On probabilistic timed automata."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857211"}},"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":"Q1853732$D3D7E2D9-0F85-4E33-9E0B-56AAC6BA1BC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5957609897ae3a7f5ddfa0a95d864e4d3ed8ceab","datavalue":{"value":{"text":"On probabilistic timed automata.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853732$B2C7BB0F-6359-402C-904A-022255D19838","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"098f2107cb9432067440b94f8a3932be947cdc6f","datavalue":{"value":"1064.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853732$BB12BF7D-4D34-44F8-BB88-63EB1220DF5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41f54767b0a314cdb9c848c3eaaad06887dbfe73","datavalue":{"value":"10.1016/S0304-3975(01)00215-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853732$2FB7AE08-4562-49B8-A4EF-68CFF2BC1553","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb8212826bd69dc98444cbd64b58f086206d659","datavalue":{"value":{"entity-type":"item","numeric-id":234698,"id":"Q234698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853732$58BB469E-9EE0-4933-88CD-8D48E327571D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853732$FE6CBBC4-D457-4BFC-8C45-E903FDD4AC97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe4d656bc753de8fe63b9c6415e1533c06bac5d3","datavalue":{"value":{"time":"+2003-01-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":"Q1853732$CEE95D97-F59C-446D-8DDC-A177632A7E04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853732$E050D1B4-6248-4B38-9347-38F61FC0157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853732$B657EC36-E547-43DA-9600-ED78A5312EDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57ef7f83b0afe43906d4a557d9c57a8e4f9439fe","datavalue":{"value":"1857211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853732$90C23023-7A73-44C9-85C3-58ABDA6EE910","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7c3fd3872f7a30fbc4a3c1696a9662468e045b","datavalue":{"value":"Model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853732$403923F0-F326-435C-A125-3C646A8ACC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853732$AD519A07-A786-4C45-86E2-D5B528D6FF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aaf9b909f34720d295e66906c754442c7be3272","datavalue":{"value":"Probabilistic timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853732$FD2506CD-6567-4145-8962-AC31C9D63645","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":"Q1853732$B1D8185A-2AEF-4182-9B26-AACE9FD32CCE","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":"Q1853732$B855684A-0AB9-4CDA-B478-92F122BCAC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5dc5de059245f854355989fa9ec6aaf669bbdc0","datavalue":{"value":{"entity-type":"item","numeric-id":1056553,"id":"Q1056553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853732$E23766DB-448F-485D-BC8B-20C342F8D20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853732$07713C4A-1237-48EF-9524-A616D4891508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec6ad29f31abb4ff73390b556cbf74d831600ba","datavalue":{"value":{"entity-type":"item","numeric-id":3569011,"id":"Q3569011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853732$654E39A4-C8C4-4F0C-BAEB-E25CEF54985E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853732$21E1599E-9DDB-4312-8314-CB395242075F","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":"Q1853732$692709E8-CF7E-46D6-9CBD-5D71CED5E9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853732$2C1B7A97-22EC-4765-A6DE-48383BC9E830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853732$67479B66-D09A-40D6-867B-D93E9CAF2E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0269a096f2a875a100dc4d87888bbc032af8ce65","datavalue":{"value":{"entity-type":"item","numeric-id":3780028,"id":"Q3780028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853732$991519B3-EE3A-4E8E-A954-A1C9AFA6743F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd0aecc3a4c57c9abd32343b404e987a6f54121","datavalue":{"value":{"entity-type":"item","numeric-id":3483104,"id":"Q3483104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853732$4200132F-D561-4A91-BAB1-C48CABF7C136","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcd95cc378ce5b9fcca2a051991dc93fc3dd40a2","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00215-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853732$10216DB3-F59B-4749-A810-50DED8EE6926","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f45b1a6ac639a720c202eaa49e8414be48db40b","datavalue":{"value":"W2009363597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853732$EB045A9F-383F-4950-870E-549AC7D4E19B","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":"52994a56713e6d00f5184ddbe63b26627b62a407","datavalue":{"value":{"amount":"+0.8498045206069946","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":"Q1853732$FCA32D2D-8D6B-47EC-9C30-A79D89091F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2371235f90af57c2890818900547cf62c63924","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4bfd42f88e7b88f32891f93d3271b39c4e1cd0","datavalue":{"value":{"amount":"+0.837176501750946","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":"Q1853732$EDD7985E-B2BA-435F-BDAC-605341F032B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e054767b216b1b268d6dd1d73c8b175da91c78ac","datavalue":{"value":{"entity-type":"item","numeric-id":5464754,"id":"Q5464754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b39c02f244a853e1eea10c33de8963c90e6cbda","datavalue":{"value":{"amount":"+0.8298278450965881","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":"Q1853732$B0900B8C-C463-444C-A227-45179F48130B","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":"174c62dbd45cca15deb66875448c153cacf52dcf","datavalue":{"value":{"amount":"+0.828767716884613","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":"Q1853732$A42F2BE1-0AF7-4910-93EC-70B77E518999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1196c5ef292fd4d066937e88561d4b2538f0e3c0","datavalue":{"value":{"entity-type":"item","numeric-id":2938760,"id":"Q2938760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38a172e0c5da49486935dc1964274dd864cb486","datavalue":{"value":{"amount":"+0.8280084133148193","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":"Q1853732$587EDA37-05D3-4592-989E-608A63F8B1B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On probabilistic timed automata.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_probabilistic_timed_automata."}}}}}