{"entities":{"Q903501":{"pageid":905349,"ns":120,"title":"Item:Q903501","lastrevid":65257140,"modified":"2026-04-12T01:21:10Z","type":"item","id":"Q903501","labels":{"en":{"language":"en","value":"Accelerating worst case execution time analysis of timed automata models with cyclic behaviour"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526765"}},"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":"Q903501$34AE40D9-D0FC-41B2-81A5-CC0D95815C90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06ef83791b9aa1730377feda6ddbf0588ccdcec4","datavalue":{"value":{"text":"Accelerating worst case execution time analysis of timed automata models with cyclic behaviour","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q903501$DA12EC6F-0981-4CD5-8A56-E051D7BC72FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d82642dd734032bb0e997b002fdba2ea204c11b","datavalue":{"value":"1328.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903501$1D213FB9-362E-4664-8C00-B61B5FCA54A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b3d70bb43c97fb81b975ac6ec81a6f21a097fb","datavalue":{"value":{"entity-type":"item","numeric-id":507599,"id":"Q507599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$ECE0F23D-3014-49ED-B1EF-527C95A63841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$5220EA6C-A02E-4547-B46A-C9ED061BA453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731434e1148d12c80d6300dedff0088d080112c","datavalue":{"value":{"entity-type":"item","numeric-id":476191,"id":"Q476191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$CDE34376-1AB8-413C-93F9-0D6A76EF17FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$F32D8858-3B9F-4A5C-A4CB-8D16152BE92A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8558e5abb6cbfa3134664259730e3a690ab61c4b","datavalue":{"value":{"time":"+2016-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q903501$AF85A4E2-F4F8-4316-91D8-63C9FE628DEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903501$C25FEF14-BF48-476E-9D8F-F93C215180D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903501$0363E770-DEE4-476E-8ECF-85A18AE3EB34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de828f378ae4622ad673a5f3f42895d08c0a1ebf","datavalue":{"value":"6526765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903501$E86E2180-44AB-408D-8C6D-4FB96A58F80B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d93cec27d7f6fd807d02878a79d862c29a4f907","datavalue":{"value":"worst-case execution time (WCET)","type":"string"},"datatype":"string"},"type":"statement","id":"Q903501$966068CE-6F33-4DBF-95D3-25C7DF8EED17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q903501$8B8F2CFD-6552-477A-882B-036DE20531A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q903501$CAC5DE45-E780-4283-8747-D12F815102FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1563c80c1997cad4bfc3414c853ea4ba3f278416","datavalue":{"value":"zone abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q903501$F821AC9A-DD79-4FB9-A820-19DCB8366E19","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6dadb9f43fba665d186ab2174581ddb0df27b90","datavalue":{"value":{"entity-type":"item","numeric-id":25247,"id":"Q25247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$DC9E1D57-CEAB-4531-8C75-967DC934164A","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":"Q903501$622C6F25-F791-4B9B-92B5-0EFC6D562A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fedb99aafb4892a69662c5ebaffc64ecb6451370","datavalue":{"value":{"entity-type":"item","numeric-id":16326,"id":"Q16326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$10906B27-E700-439F-9EF5-17D8E4A2452F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1412ceb6c71a23f10e8f7e008bf034264afa1496","datavalue":{"value":{"entity-type":"item","numeric-id":41444,"id":"Q41444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$E5E84E8A-1679-493F-B39C-779E403F900B","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":"Q903501$BEBB494C-A547-47A1-8DC2-BFF0D9DFE8D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4ae777fd084f2d84394b900d1c99c85ece06b6a","datavalue":{"value":"https://doi.org/10.1007/s00165-015-0340-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q903501$F1A4DEF3-7026-491F-91C4-D403E326FC89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14e997bfd16b400b53217d17d162d33ac8d3ef5b","datavalue":{"value":"W966662723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903501$4100866B-7772-4260-89D9-59F9EBFF168F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"418820ef3007fc99e91307cecc2192e2fbaed8bf","datavalue":{"value":{"entity-type":"item","numeric-id":903501,"id":"Q903501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$0F05FC47-8773-427A-BD81-EFC409E64D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7907f4bb114f62239d83f0d6134317df12e6a49","datavalue":{"value":{"entity-type":"item","numeric-id":5500552,"id":"Q5500552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$AD4F72CE-227E-48EB-AF34-E6A6772239AC","rank":"normal"},{"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":"Q903501$B2FB20C8-1AF0-42FB-8370-F5128D80F58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f997f12b87166a6a45a50791137ddab7f5ee4fa","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$A3AF96E1-B044-4DB3-8174-880EF2DFB71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6677abc0859eba7c711819fb7971318ff9197f99","datavalue":{"value":{"entity-type":"item","numeric-id":5491888,"id":"Q5491888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$192ADBD0-34B9-4701-AFFD-C2ACA2CD85B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418f4ac8d00846a561da4f8b810b1d41d858e34a","datavalue":{"value":{"entity-type":"item","numeric-id":2769586,"id":"Q2769586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$E536F8E6-0F24-46F2-B42B-385DDF1611F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a83cc9aaa4ed6efdda4673399118f84fcef2cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4417927,"id":"Q4417927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$CFE7BCB2-C548-4AE7-940B-04517D107515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$2348C237-2CB4-4ADC-A820-B1B0C17D5A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b83ef6ef48951a2ffd166c2f336e62f16a62b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5897955,"id":"Q5897955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$9A1ABFE2-0031-49DE-AA44-271A3EB32BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a459d2db3f32657a2d6999b1e05297d4d9fbbded","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$6728C234-8B60-4947-A6CF-8F63974A26C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$B572E60E-BB83-4402-A688-2D4A934A819E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$7599678C-EEF0-4844-9A71-135DBC07DA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c11b7fbda938c615dfad23359f26f27592ad4f","datavalue":{"value":{"entity-type":"item","numeric-id":855006,"id":"Q855006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$C5799848-229B-45EC-88A7-0ACDDDC8959E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62182dcb51c15de8e9697db383dc1581d8b46dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3583851,"id":"Q3583851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$138C142D-72CF-41FB-9627-9D60A1371BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$A3225B4A-C612-4EE2-8653-04F73EBD5C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9012907f84af0c2e4e7211522c1d46661d671839","datavalue":{"value":{"entity-type":"item","numeric-id":2891451,"id":"Q2891451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$1B09F8E7-4F47-4AB8-B82A-7F69B2402457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"966e5b40477236cca7d9ddb79b1ddedc2d1b291f","datavalue":{"value":{"entity-type":"item","numeric-id":2842578,"id":"Q2842578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$86BE1E72-D924-40FD-9241-C11FEB50E2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6748191974cc4152edacc2739f66c80348656bcc","datavalue":{"value":{"entity-type":"item","numeric-id":5312911,"id":"Q5312911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903501$69FE1373-4838-4E69-9FC7-212723719CC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8755885f5ce04e50cd2071a68eebf5d1ab01977","datavalue":{"value":"10.1007/S00165-015-0340-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903501$3A79E825-7CA7-4831-8181-EA86EAE59ED8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90822a48dfa8e3bb07d362ecfafb43c9ef7e168a","datavalue":{"value":{"entity-type":"item","numeric-id":507600,"id":"Q507600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b04fd00326683e4202a52224f892ee47d587a0","datavalue":{"value":{"amount":"+0.855255663394928","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":"Q903501$872926C7-A1E4-469B-82F5-C5F0424E9780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b7fcf9c197fc2ba13bf6b08ad679e93c805abf","datavalue":{"value":{"entity-type":"item","numeric-id":5308362,"id":"Q5308362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02602c10957347eb8c20b671cbadb2bc940adc25","datavalue":{"value":{"amount":"+0.7365047931671143","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":"Q903501$E7347D5D-0A11-43BC-81AF-2B2E3E8FB645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c1b0bc00605c975f5744428b3d0b0bd4af25ef","datavalue":{"value":{"entity-type":"item","numeric-id":5493238,"id":"Q5493238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e4ec52a23f7b435a5ce8e2eeabdb4bf24de9f86","datavalue":{"value":{"amount":"+0.7322299480438232","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":"Q903501$6D19AEB5-17B8-45F1-8FC5-18F5B21A0C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cebc82ebdfd87c441982bbc0c40a7127d208704","datavalue":{"value":{"entity-type":"item","numeric-id":5312911,"id":"Q5312911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"336e5b1e5601feba9a565f9c4e9a6b79a5072266","datavalue":{"value":{"amount":"+0.7266653776168823","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":"Q903501$DBBA25D0-D587-4C3D-A718-BA6EEB95D339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44e67af49c4b78f4fc0743f10e3622f5882d9d5","datavalue":{"value":{"entity-type":"item","numeric-id":2802432,"id":"Q2802432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0317e97112f2be71c2db072f0a47dbe309789d50","datavalue":{"value":{"amount":"+0.7214215993881226","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":"Q903501$7C4DA84D-5453-4E5E-AEEF-EB0B45FC81FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Accelerating worst case execution time analysis of timed automata models with cyclic behaviour","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Accelerating_worst_case_execution_time_analysis_of_timed_automata_models_with_cyclic_behaviour"}}}}}