{"entities":{"Q2814125":{"pageid":2824863,"ns":120,"title":"Item:Q2814125","lastrevid":52558535,"modified":"2026-01-22T23:23:32Z","type":"item","id":"Q2814125","labels":{"en":{"language":"en","value":"Statistical approximation of optimal schedulers for probabilistic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6595084"}},"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":"Q2814125$742EACE5-0E67-4731-81E7-96F1D5BD160B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d2fccdf34d42efe512a3bb67179e307fb96f057","datavalue":{"value":{"text":"Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814125$5A0EE007-431A-4F4E-AA58-DDD86F2B5128","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0d59abb6a920ea47e06059a405efdfe2c030368","datavalue":{"value":"1354.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814125$90667E04-BB4D-4EA4-89A6-FF8D5F190A86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f221c76bbfb5999a8f8088dbb81d63bfca221858","datavalue":{"value":"10.1007/978-3-319-33693-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814125$B1FB6809-E463-4F70-BF5A-E47A787FD2F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7587b268e1527b1fafbccca805f2d5bdc79d38c","datavalue":{"value":{"entity-type":"item","numeric-id":832047,"id":"Q832047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$1E1F9982-9057-490D-9DA8-911DF314C66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$ED2E3845-C637-475A-9327-CFA9F36C13DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39db320c091dbceb1577c5fb39426f47b4caacd1","datavalue":{"value":{"entity-type":"item","numeric-id":289448,"id":"Q289448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$2FD179DD-00FA-43F6-8391-E1742CBE59A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44fbc514ac4414d1f77b758348bbf20c72a9d00a","datavalue":{"value":{"entity-type":"item","numeric-id":1391790,"id":"Q1391790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$78C5A3A3-7285-4039-B40B-DC6545E72B90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$7F2A77FD-D293-45AC-ACBE-EC560611CBB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c31e552012427c3e62f18a09181317c2bfb4828","datavalue":{"value":{"time":"+2016-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814125$E568ED61-189B-4E80-A1F0-6B752F07D1CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf33a4cbd03a14d5bad6e98b4df5557ce1321cb0","datavalue":{"value":"https://research.utwente.nl/en/publications/statistical-approximation-of-optimal-schedulers-for-probabilistic-timed-automata(19366aa0-8dfb-4785-a653-1814c5e1df25).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814125$8C92B019-373B-41CE-B05B-CB9EE2C11733","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814125$608389D7-8503-45B3-9C4C-2B569479BB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814125$FE6C3D61-9A0E-479D-9993-6F9DC4A17F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814125$24DDF002-5C8F-4F09-837E-4C2F6F3B1FF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bb9bb4190aa53cbe798f1f9e6867669468de2c9","datavalue":{"value":"6595084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814125$2188CB31-FB4A-445D-A1F1-1B93CFD26145","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"861443a070102dae819f802c4e9019c8e18ea0a7","datavalue":{"value":{"entity-type":"item","numeric-id":30260,"id":"Q30260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$FBF943B0-9252-4230-8EA9-A84E820874BC","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":"Q2814125$71574E87-03D5-4D5C-9E28-B8497B6C4DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dafecf3283df8ccaa4c245bc31762b904ddf38b8","datavalue":{"value":{"entity-type":"item","numeric-id":44818,"id":"Q44818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$FB7F5CDD-37C4-44D4-8930-E76E4EF16374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$6B3E1702-8F33-4EC9-94AE-8C41394C0D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$AC29704E-C36C-4458-9D6F-191AE0CF90E9","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":"Q2814125$37DBA6FE-98DB-431B-84BC-5F31A2BAB0F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8c2e013d20d92736062baf735339a130ddfdb45","datavalue":{"value":"W2482035342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814125$94CC0DFA-14FD-4F07-8C78-6253A338F312","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":"Q2814125$59754323-E075-44B8-A945-5CE7B42DBA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7478f7e5eb6073b49fc25f1cf590815bd02a9a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3457782,"id":"Q3457782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$7EA62A72-E760-47A3-8486-89EA5461B921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dab088d995d3d939e403e3a0a80def6dff68a2","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$7ECE94D1-CFF8-4923-A629-BB3D2C6BE9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d615dacbf3f35be184edc2977b87fd140cee3a6","datavalue":{"value":{"entity-type":"item","numeric-id":2894294,"id":"Q2894294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$A6A563B1-0AD6-4C5E-9142-1AE4067BD207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff81489e80366438468bf6dfe10c7a159bc3ea8c","datavalue":{"value":{"entity-type":"item","numeric-id":4057549,"id":"Q4057549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$588E77D7-7E08-44BC-A2EB-4FEFF53F4B9F","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":"Q2814125$2E734E5E-56D7-4480-B4CA-43C353ADBBFE","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":"Q2814125$F283DAEC-B3FE-4B5F-BD3A-771891E87A1A","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":"Q2814125$7509AD98-7905-46F5-A8F8-4FD03F8F21C8","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":"Q2814125$C8AED835-4923-42DB-B1C9-AD27FECAFCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e261472d519b46c8f6d17ce5ee94d6c35f79bae4","datavalue":{"value":{"entity-type":"item","numeric-id":1708653,"id":"Q1708653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$1E3CF43C-F12B-4579-8D84-3C05ABB43339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565422056a5f210aace0a69b27549f3fa24348f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814125$D384895E-7CBD-427B-B2CB-B0E2F6AF6348","rank":"normal"}],"P1643":[{"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":"33e8ab48f3a701cd82acf85632b51e9f2cc645dc","datavalue":{"value":{"amount":"+0.7793629169464111","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":"Q2814125$86A079BC-C3E7-4E30-892A-A7B25A369125","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":"14bd8a1bbf879790715a491592a9f07c22546ce3","datavalue":{"value":{"amount":"+0.7535244226455688","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":"Q2814125$A81CBCCE-E656-4C1F-8652-635587F06BA8","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":"a23b7bec813b6940c2596ecb4dd88238ace18304","datavalue":{"value":{"amount":"+0.7511486411094666","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":"Q2814125$E67E885E-F8A0-4229-BA2A-C8ACD9894681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f56d5a57474a80343dfa180397e8a88345a3744","datavalue":{"value":{"entity-type":"item","numeric-id":1653000,"id":"Q1653000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1bd71bf312bf619a2468fcf6ce9090478e65044","datavalue":{"value":{"amount":"+0.7466685175895691","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":"Q2814125$FAD07AAE-AFD8-4541-9ABB-F888C1A08B94","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":"a0079c60201794427ed292a19d58afd90be33c54","datavalue":{"value":{"amount":"+0.7451041340827942","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":"Q2814125$932F36B4-B35D-4075-8F54-17C7F77E0BA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2814125","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2814125"}}}}}