{"entities":{"Q633291":{"pageid":635139,"ns":120,"title":"Item:Q633291","lastrevid":63127842,"modified":"2026-04-11T10:46:38Z","type":"item","id":"Q633291","labels":{"en":{"language":"en","value":"Scenario-based verification of real-time systems using UPPAAL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872805"}},"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":"Q633291$A01FC626-AB4A-432C-865F-A0499576E4D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d57f84e6964ae98814e66bcf0643aea594e2958","datavalue":{"value":{"text":"Scenario-based verification of real-time systems using UPPAAL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q633291$D96273E0-563D-4EB0-B178-E78269A7CB23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5394325bcfbe8c0b7ff11b6a1f8bcedd93458fae","datavalue":{"value":"1209.68323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633291$5079C77C-E12A-41C2-84D3-3FAED1A3D598","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e67029617b4e7ef0c4c6915cb54701ab19b6abe4","datavalue":{"value":{"entity-type":"item","numeric-id":633287,"id":"Q633287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$60D69264-A7E8-4AC5-B6B5-220D914743D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eca83b34f5e6cb6bda135f957b43b90a5aceac7e","datavalue":{"value":{"entity-type":"item","numeric-id":453540,"id":"Q453540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$552B23E1-E11B-4AC5-8A70-63105A21CB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2472f24de3f200b8d9fd7690c3d07a5f6f3b2a7a","datavalue":{"value":{"entity-type":"item","numeric-id":633288,"id":"Q633288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$EFB5B8FA-8000-4927-B91F-ED909B1504B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd4a5905996b9155c693737af794b0811054c3e","datavalue":{"value":{"entity-type":"item","numeric-id":633289,"id":"Q633289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$CC8D241E-B4FD-4C12-A6B8-0E8AE0E0421C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bdb7df19f45c9da9ac63a907a86140d89d57bb","datavalue":{"value":{"entity-type":"item","numeric-id":633290,"id":"Q633290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$6976A0AC-298C-43A1-A740-154AB38A1E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$D7A95D5A-BD0A-4429-9628-FA6D7C7E2732","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$8D6FC9E5-E345-4B1C-A2EB-7BB21E6D27B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fe372e1991dbf3d8a4d35b1d3367503510d1cea","datavalue":{"value":{"time":"+2011-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q633291$8AF2365B-8E61-4B7F-95E6-3C76C882B4AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633291$DB82A306-C5DB-4D7D-ADA2-94FFC6AF323B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633291$0D6DAB28-0761-415C-9555-04A717A2AA73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef9f897cfbd15da71ca65fd935200cbe11f7a0c5","datavalue":{"value":"5872805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633291$F5E6E162-81A9-4951-871D-A475AF5A2BA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a5cb8f0a2e3ee48e312b2fe05f0225c0a3c2ce","datavalue":{"value":"real-time system","type":"string"},"datatype":"string"},"type":"statement","id":"Q633291$BA62EE1A-BE36-4A43-ABC3-48F804228B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q633291$173FB21F-50E3-403B-9E3A-76DFB873C1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q633291$F3B69F95-45DD-4511-9107-E59D64A11AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cd70fb7787b96b0098e8da6a63f5d6309a7efc8","datavalue":{"value":"scenario","type":"string"},"datatype":"string"},"type":"statement","id":"Q633291$CDF1CF1A-E5DB-4746-9ABF-FCEABD665F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e1ba07cf9de46115eaff36e7a3633728f7eb69","datavalue":{"value":"live sequence chart","type":"string"},"datatype":"string"},"type":"statement","id":"Q633291$34EA1C86-D2D7-4EFA-89BB-E7F3D2D54090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q633291$643CB391-3904-471E-8108-CE15630CCCE8","rank":"normal"}],"P1463":[{"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":"Q633291$6A1D55D7-8C93-4134-B866-9A69D3272D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$8C9B1A9C-A892-44E7-8762-4574B3FB86AF","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":"Q633291$3F3F7D9B-6A5C-4C06-B753-D396DB149934","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fd40d0e53ce5be5c62ef485eb94e5a867214405","datavalue":{"value":"https://doi.org/10.1007/s10703-010-0103-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q633291$5D25EF08-712F-4965-8840-BE817448EC95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"317bac86330d366cfe256dc08f4b348edaf75e89","datavalue":{"value":"W2146580567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633291$13ABF864-B8E4-48AA-A6C6-FB7823D01798","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":"Q633291$247DE724-2A7E-4D04-BFB6-001834E453D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881637adbe5bd4a8e1fe279ca2a0a9a662216680","datavalue":{"value":{"entity-type":"item","numeric-id":1856191,"id":"Q1856191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$A2523D58-6A01-4C74-9295-B556C952EC43","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":"Q633291$7A0A73F9-3D31-4052-96E1-79250F67F489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f365978d5d88c687ae51184e1d5e47892381da","datavalue":{"value":{"entity-type":"item","numeric-id":2372186,"id":"Q2372186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$8677662A-53A1-4CCF-838C-B1C037E99D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761764ab341e3c45ab12b1fd51baacfaf6590a95","datavalue":{"value":{"entity-type":"item","numeric-id":5946346,"id":"Q5946346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$222B9A8D-D830-41CD-B9A4-BA2D410842F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078f86c8fbb50a7d84e780de2c1da8d67c43ab1","datavalue":{"value":{"entity-type":"item","numeric-id":5959851,"id":"Q5959851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$B4495BC4-5414-4B1A-AAD8-5BA663AC8B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09a5d3487c964638324c64e99c9c381aeb0f994","datavalue":{"value":{"entity-type":"item","numeric-id":3593076,"id":"Q3593076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$262E14BF-9706-48FE-8CE1-E39888E80564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dcfe452f87d59b894e47305e9d428abada34954","datavalue":{"value":{"entity-type":"item","numeric-id":5308451,"id":"Q5308451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$06991DA1-1791-4307-8BB2-D417B7100CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957ca1b3f93af567f6152b6b43dd2b5768568d53","datavalue":{"value":{"entity-type":"item","numeric-id":3021937,"id":"Q3021937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$3CCD203D-93A1-4A95-B7BA-509A2025A730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5854c9ef8001a768e1a0af9fc2479bed9f84a667","datavalue":{"value":{"entity-type":"item","numeric-id":4427918,"id":"Q4427918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$AC87DF0B-399B-4B6C-99A8-D5365CC5317B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67e6f3a857a73698f17a631eeab1c5f4c0d58fb","datavalue":{"value":{"entity-type":"item","numeric-id":2390036,"id":"Q2390036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$CAFB16E8-3DF5-4BCB-92B6-7EF250CBA263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"828eb970f22b65ac9c9d4a43705a670bb2d1033d","datavalue":{"value":{"entity-type":"item","numeric-id":5481211,"id":"Q5481211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$3964D61A-B7CA-4330-906A-D10C0A81AA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62f78e316374320235d19951ac33c1b0c9848e4","datavalue":{"value":{"entity-type":"item","numeric-id":2769611,"id":"Q2769611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$5D01FA3B-0416-45A5-B66A-ECC5BB942193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc42e717653badb818d087f3066d60b19186fe9","datavalue":{"value":{"entity-type":"item","numeric-id":5756737,"id":"Q5756737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$AD7F16F1-D810-4BFA-8A54-F10387655E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612277e182ba1b70a3979c9589d06d0d97b6ea4c","datavalue":{"value":{"entity-type":"item","numeric-id":5703777,"id":"Q5703777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$90B27A3D-6002-4CD0-853F-32CA77494A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e05267320fd0db92204b25c288fd840ee02c7c4","datavalue":{"value":{"entity-type":"item","numeric-id":633291,"id":"Q633291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$82C4E993-6283-49AD-9ECE-98F1FFFCC56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445c5e7300b6a347c9111bb1ddfd03b2953d95a2","datavalue":{"value":{"entity-type":"item","numeric-id":4435875,"id":"Q4435875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$3251474C-4A06-4341-A9BF-9845103849B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633291$2E43F5A8-3EBC-4F5C-A191-980D31B20470","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3645249fa5b35f344c42561911d89563cb32260","datavalue":{"value":"10.1007/S10703-010-0103-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633291$7C286F8D-D10F-4BE3-9969-F412C02BED69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d347909db590246446ba31d5dddc3be87dc7ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4532077,"id":"Q4532077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0243775349c3552f9b506319d5b116a0d4238744","datavalue":{"value":{"amount":"+0.817308247089386","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":"Q633291$994B1B3D-1345-4945-B011-11641149EC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a494f76c7f53d2412d0db24a84cdb39b10ce58f8","datavalue":{"value":{"entity-type":"item","numeric-id":5710654,"id":"Q5710654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0243775349c3552f9b506319d5b116a0d4238744","datavalue":{"value":{"amount":"+0.817308247089386","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":"Q633291$42BDBC23-9A4F-46BD-B014-4C299584F286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1372bdb69ffda7f6288354b2e25e1c88d3694f","datavalue":{"value":{"entity-type":"item","numeric-id":2766550,"id":"Q2766550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539c23cfcba97e4c32a2f205c4d8b209603227e9","datavalue":{"value":{"amount":"+0.8033086657524109","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":"Q633291$85D0F337-8DC5-4033-82E2-F410CCB90F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d268add763ecbb41f2db6207f0c8e409265eec6f","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0072ecd8de630f030d37386a60e75a13aff563","datavalue":{"value":{"amount":"+0.8018028736114502","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":"Q633291$014AB121-E5DA-478D-B66F-7F201FFEC28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883a7d122c60fc31f18afff8e8832a1c6a190f9f","datavalue":{"value":{"amount":"+0.7946128845214844","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":"Q633291$B39505CB-0C52-453A-8338-314C2FDD9C0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scenario-based verification of real-time systems using UPPAAL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scenario-based_verification_of_real-time_systems_using_UPPAAL"}}}}}