{"entities":{"Q5758106":{"pageid":7787657,"ns":120,"title":"Item:Q5758106","lastrevid":50154851,"modified":"2026-01-13T07:08:18Z","type":"item","id":"Q5758106","labels":{"en":{"language":"en","value":"Model Checking Probabilistic Timed Automata with One or Two Clocks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185773"}},"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":"Q5758106$E21A82EA-4051-4F01-92A6-C46748D68BFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6e9de5c7b4daca65ec5c0aae80cc9f1569b99dd","datavalue":{"value":{"text":"Model Checking Probabilistic Timed Automata with One or Two Clocks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758106$F5792035-806D-4095-8C96-0290D0E65D8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4fc64c7415ba04c1a89d75d0d3a7f5e8d5fda07","datavalue":{"value":"1186.68295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758106$EE9CB3E6-B623-4031-ABE6-28F1B3F669E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0521cf2f685694a8f5a65262ca2603a4aaa573a","datavalue":{"value":"10.1007/978-3-540-71209-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758106$974B7F54-AA96-4A13-BE2D-FDD7F8E7D4A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f621ede52e0e400ed40e07c9d5b412ef629a170","datavalue":{"value":{"entity-type":"item","numeric-id":293425,"id":"Q293425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758106$B83DA4AA-A4F0-4709-9068-5FA716A78C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758106$50FDD665-9EB7-4664-A810-0225B7ABD2A4","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":"Q5758106$3BEC7956-E6D0-4427-ABF3-B9B0546EA1DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758106$9EDC8D3B-420B-42F6-B3B0-08EB96B80EE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758106$8E418A05-9875-498A-B214-35A70EF82FA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758106$0178F6A3-1962-488E-B6E5-62DCA39493B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758106$10F8AAE9-4AF6-4823-983C-3A5CCABDC8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758106$57D24F64-5496-4070-A8AD-02AED0CBA8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758106$46247716-9B83-491F-8502-0B993DB9CD13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41100b1fdfd549aed6c206ab0f0cb9f7501defe4","datavalue":{"value":"5185773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758106$BF3994DB-6EA2-4ED3-80BA-A250F2457CAC","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":"Q5758106$1241A279-9780-4BCF-BBFD-3AA3B0E6B8CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b0dbca06dc133d90cb728ee17fe6bb0416eb49a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758106$FF295A37-68E3-4DA7-BF74-13A747318A8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33b367e22f4c97762c6573edab5b8f7e1bf5f50e","datavalue":{"value":"W1894019848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758106$7919BA23-68CD-45A3-90AB-0577DD4916A1","rank":"normal"}],"P1643":[{"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":"d0e2861a6e82c06672e9e1bd712608e85b9820e3","datavalue":{"value":{"amount":"+0.9956958889961244","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":"Q5758106$AE1858AD-F2A3-415D-8450-8032B5D5AC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527fffe8d3772234db5864533b511892413661d2","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36666003ccd3df143f0d48c13ef9ae96453e8741","datavalue":{"value":{"amount":"+0.8627356290817261","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":"Q5758106$E445BC50-DB9E-45DA-9472-95415B2A0286","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":"8bcdffb915a65c5f1af1734eb9e455499679ae14","datavalue":{"value":{"amount":"+0.854109525680542","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":"Q5758106$C99E3DD7-AA08-498E-8651-69D9A7F1DE48","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":"8fe33524331bb2889874d7d67ef8274cbcb7963c","datavalue":{"value":{"amount":"+0.8431774377822876","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":"Q5758106$92E8125B-B1D4-4496-B9A9-91FA430D52D9","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":"150498af5bf33334cd47104c6f41a4244174a699","datavalue":{"value":{"amount":"+0.8423952460289001","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":"Q5758106$9C148CE3-F0D3-4E49-9535-47953BA07BA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758106","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758106"}}}}}