{"entities":{"Q440685":{"pageid":442452,"ns":120,"title":"Item:Q440685","lastrevid":51530741,"modified":"2026-01-18T16:13:18Z","type":"item","id":"Q440685","labels":{"en":{"language":"en","value":"Model checking time-dependent system specifications using time stream Petri nets and \\texttt{UPPAAL}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6068264"}},"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":"Q440685$B00BC4C2-0646-4209-900F-F9512EA8FB27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90670f6322be1e0b79a395274a896a6dd9147867","datavalue":{"value":{"text":"Model checking time-dependent system specifications using time stream Petri nets and \\texttt{UPPAAL}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q440685$18A5094E-3E53-4877-8EB8-F8062CE8F538","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"519cb081e2ee9f4891e00ba1d9f58709fcfc07c6","datavalue":{"value":"1252.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q440685$50747AA3-5DA6-4560-95CB-F6347CFAA82C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f350b7615524343171b6d4e979fbd0f0fb3e131f","datavalue":{"value":{"entity-type":"item","numeric-id":440682,"id":"Q440682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$92663408-4454-4B51-8C6C-DC839C0533AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54915429603b85937852fba154e43413c839bce4","datavalue":{"value":{"entity-type":"item","numeric-id":440683,"id":"Q440683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$8FCEFC70-E262-4C63-8432-18E0F4C80058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfef5a9c7fa55ef30f54ed29892bcbb36042155a","datavalue":{"value":{"entity-type":"item","numeric-id":440684,"id":"Q440684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$53A6BE5B-82A1-4C7A-8E5B-53810B776502","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"add6fb6b993c46c88f8cbd1c0026e2e785c9381d","datavalue":{"value":{"entity-type":"item","numeric-id":70476,"id":"Q70476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$88FB6001-2CC6-4377-A934-B218F615BF4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aadcda1680b9a6b772fb8e17d695691f631a3cfc","datavalue":{"value":{"time":"+2012-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q440685$750362B5-BFF0-4EEC-9E74-21432007C41E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q440685$FD5414A1-4C24-4625-9C98-22F4685B3348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q440685$06FCD811-7EE4-4DA2-9CAB-A9878B61F2AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3087b8d8b176745f397e6598428d95611b2dc850","datavalue":{"value":"6068264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q440685$0994135E-EBEE-442F-BDA9-F4789EA2E671","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q440685$EDB00C03-B652-4909-98D6-00397038063F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a7ca9b84fff2296a074d490e9537d617dc33beb","datavalue":{"value":"timing constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q440685$5158BF80-582D-4034-8246-CB00BA32762C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q440685$57B5C263-8FCD-4035-A7F5-6A4A4FEC8A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0747a1371e9853f2e15e7d69d08e6bc66eed39fb","datavalue":{"value":"schedulability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q440685$BE135C35-4558-4B1A-8012-4D5D268BA3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0cfea9eb75fa6c1cd41f14f04b0eacb9ae34577","datavalue":{"value":"time stream Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q440685$2F173C90-9A30-4CEF-A8C2-BD965C395BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q440685$F27383BC-B489-491E-9A31-9E85A59BE8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q440685$DCE1AB2B-0754-4145-80D6-70EF53046843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92da14a5d44d3a12e33e63a9db7f071388e63e81","datavalue":{"value":"\\texttt{UPPAAL}","type":"string"},"datatype":"string"},"type":"statement","id":"Q440685$A3A7759F-2591-4AB3-854B-3855625F9CA3","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":"Q440685$D0DD4C14-8638-4967-B43A-029FED1F3541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$5550B400-AFD3-4A94-97F5-6165FC086589","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":"Q440685$3574056D-1E1F-4E4B-B153-69CD031BA1E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ce1431de9ccabfe86066128b7cbfc8e5c3b781e","datavalue":{"value":"https://doi.org/10.1016/j.amc.2012.02.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q440685$18D456D0-8232-4414-8CF4-971DCFC59BAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acb0a54e277f87d8b6b6fb712e3a8ff9ede1affe","datavalue":{"value":"W2064787495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q440685$5230B6D7-CB74-4F97-A4D0-5AADD81D39A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44538946fe811cf0187b1e06bec804c9dc495d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4136583,"id":"Q4136583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$586B4075-ADE4-4604-8756-5B84FDD9FC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774ef1456680181a495ccddbb48627134ba228b","datavalue":{"value":{"entity-type":"item","numeric-id":4671274,"id":"Q4671274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$006AD9FC-45A2-41F1-AE02-17462AC62008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16e75441a0a2cfce612ca3935f3d183f9a26868b","datavalue":{"value":{"entity-type":"item","numeric-id":3617018,"id":"Q3617018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$B5E4DC16-7890-4B77-BDBD-CEFDD2E39C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9444cf330aefd85ccfe7e6e5c8047158f0085d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1032541,"id":"Q1032541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$0073EDF6-BD9C-4FA5-ACE4-7B242F23937F","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":"Q440685$686E5824-E847-481D-9DFA-69B2D5CD342D","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":"Q440685$A7B7CC7D-869B-4774-A857-29B86A68564A","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":"Q440685$868D889C-AEB2-4861-B67E-E775D970EF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696b4604bcdf2ef71d5d6c1e9945d55987888719","datavalue":{"value":{"entity-type":"item","numeric-id":1431366,"id":"Q1431366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$899C3558-2E6B-4FB6-B535-C3C6B9ABA9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$6076490F-17E1-46F2-855D-396311D5CB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$F0713E63-338A-4D25-A6C1-F3BC60250DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$D213D5FC-C04E-4800-A1F6-1764E3B86084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba36144560bdb024bde12f3710ba389aa3cafe5","datavalue":{"value":{"entity-type":"item","numeric-id":862989,"id":"Q862989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q440685$C890CD2F-295F-41B7-830B-9E77FFD3FB3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df1ecedd8110a4cc1dc0d9140e5a67c44dee9317","datavalue":{"value":"10.1016/J.AMC.2012.02.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q440685$0BCD600E-9D3A-4232-8751-836434B165BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bffa92a03d4b169ce6eebd87f95b9efa1ef873","datavalue":{"value":{"entity-type":"item","numeric-id":2848419,"id":"Q2848419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78988b17cc9645d03e69fd7eaa96979750eb5327","datavalue":{"value":{"amount":"+0.8121892213821411","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":"Q440685$B2974E14-0764-4274-AAAA-927D1F181566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a6772dd4ed6a93faf5dea75aebe1f3d266561","datavalue":{"value":{"entity-type":"item","numeric-id":5712359,"id":"Q5712359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3a2ce6e2b7f3bc750df467b0f993260adf950b","datavalue":{"value":{"amount":"+0.7967813014984131","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":"Q440685$374AB243-AC8F-436D-AD54-E0491C82E9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b64cbcd0a97ba46d657da392bed5347fb29435d","datavalue":{"value":{"entity-type":"item","numeric-id":3656779,"id":"Q3656779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21e224e5c6966177ff9b2afe7cbc7d4f0fee15d","datavalue":{"value":{"amount":"+0.7942781448364258","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":"Q440685$32D0F63F-282F-46A7-B3F0-86615BBB9AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d358075e56be23fd0e920738b29b2c3a6dda8d16","datavalue":{"value":{"entity-type":"item","numeric-id":859736,"id":"Q859736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369c703592122307fa2c41ca1f6eb12747211d6b","datavalue":{"value":{"amount":"+0.7919042706489563","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":"Q440685$79D3AF89-2450-4B37-A6A7-7FE188647332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0fc6ef197a9b760a2f0b31c4c5d54e1acf2848","datavalue":{"value":{"entity-type":"item","numeric-id":4951403,"id":"Q4951403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c388486311666ad065dc96b8eade8da053d3c27e","datavalue":{"value":{"amount":"+0.791847288608551","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":"Q440685$3DDF9992-4196-41D3-9031-60CBAFA08188","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:440685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:440685"}}}}}