{"entities":{"Q1941900":{"pageid":1952642,"ns":120,"title":"Item:Q1941900","lastrevid":51679082,"modified":"2026-01-19T10:55:50Z","type":"item","id":"Q1941900","labels":{"en":{"language":"en","value":"Model-checking timed automata with deadlines with Uppaal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148362"}},"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":"Q1941900$145E6FD3-594D-4F6F-A343-9D0375566F01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a46a11e41d1dcf45b7bdd350fbb8c68eabd085d","datavalue":{"value":{"text":"Model-checking timed automata with deadlines with Uppaal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941900$738D23BE-F3B5-4484-B4EC-624DADF51963","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fe131f8eb3353ab965da0d9f63be1c10a3fc78c","datavalue":{"value":"1259.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941900$29608734-425E-4AC8-8D5F-F9DC0C40E102","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":"Q1941900$B6D0D85A-890E-4858-B37B-928B75319DB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941900$05F3B177-DF00-4C72-BE2B-67F93B0F160C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941900$5E2D9737-9964-4D46-B84B-F46F544B0FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941900$4FB33562-66C8-4015-BF12-CCB9C16078D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb401b60ea56e935b731021bca39c1ab614624fe","datavalue":{"value":"6148362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941900$1CBB9A6E-2EF3-4C9C-BEC9-BB3BB80432FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941900$FEDD4BEC-3B5F-44B6-9274-55A58EAD4382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941900$91BEC2EA-162E-45FB-9821-05AAB8EB5A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55623cbeca272bec8afdc1786435919d16f4df7d","datavalue":{"value":"urgent actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941900$CC87369E-7C16-4C67-87A5-B9D12514EAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f65d01751c07ae8477955dc1afcaf284f61d798","datavalue":{"value":"timed automata with deadlines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941900$1EA0A576-9B21-428E-AA2F-A09FECCED0B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97a61763a37e8959833ac600888f5506e81c1b4d","datavalue":{"value":{"entity-type":"item","numeric-id":736842,"id":"Q736842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$15FBA265-F5C5-4F27-BF09-A98D3EFAB41A","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":"Q1941900$33AA4F68-85E7-4D32-9784-231C5D5B487B","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":"Q1941900$AD839DEE-07FC-4C74-913C-E454B099B12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91826e6b2f9b2dcbda2f574b87530d30379e9497","datavalue":{"value":{"entity-type":"item","numeric-id":15524,"id":"Q15524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$EE82D321-D0DA-424E-A3F6-4F5EC1569EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"125944fdcc09f25dcfd82a5bab31c630b45b900d","datavalue":{"value":{"entity-type":"item","numeric-id":15835,"id":"Q15835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$E48D9E00-7573-4286-9688-E18D4E6A3886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd1a3dd9b17b8be196d9f3c5587425a76298afc6","datavalue":{"value":{"entity-type":"item","numeric-id":14250,"id":"Q14250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$BB3254B6-3056-4D7E-9397-7BDAFC088F1D","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":"Q1941900$53C75D25-5E66-414A-8FDB-F092383E2E4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c154a4b212abb87910dd504fedf05a2b055209a","datavalue":{"value":"https://doi.org/10.1007/s00165-011-0185-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941900$16DADA14-95FD-4578-A497-94FC648DDB76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a07720533e8d5f201257b1ea59aee7053825b91","datavalue":{"value":"W2056343052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941900$7F9D68E7-6A5F-4B9E-8BB1-EF4D5F69C2F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b470165b882e9f40d331f35f6193295ed50bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$5B7974AB-879C-463E-B9FE-D2D738D1D00D","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":"Q1941900$B09C1597-DB4E-4FC6-B783-514E8894E756","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":"Q1941900$1A984E00-E17A-479D-BFB8-7306EEEADD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d661a01437c0882438c5e881dfe7dceb390f5778","datavalue":{"value":{"entity-type":"item","numeric-id":1125438,"id":"Q1125438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$39FA3632-520D-4A7B-B204-9C3FA190A625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0afe23b312c742483b5022f2c4100ff024c46c75","datavalue":{"value":{"entity-type":"item","numeric-id":5200808,"id":"Q5200808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$4615D684-3774-4A93-8E5A-73FD9515BE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a45fb1359d2e66eafa82e7f6b15749ffb75ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5494311,"id":"Q5494311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$F9276FB7-ED61-4ACE-8FD7-3D07DF3DE992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa05466fd4cfda825a429d4fd862bb6c06b0988","datavalue":{"value":{"entity-type":"item","numeric-id":1889766,"id":"Q1889766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$603CD1E0-E5B0-471F-B835-24AC0EBEE062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$F4E0FBF8-6614-41A8-A500-65186144DF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$FF24572A-DBE3-4AB8-8E48-8B67D55BC682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60252cabfde8e6408e8ce460012d0830ce7daca","datavalue":{"value":{"entity-type":"item","numeric-id":5953452,"id":"Q5953452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$B3CCEA4B-141C-479C-A460-917561908314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b128595e2f50d35c99036ebd76df5d5e493730f3","datavalue":{"value":{"entity-type":"item","numeric-id":4593944,"id":"Q4593944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$98E63D87-019E-4B74-869E-479E1F945AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$06BFDF3A-25A8-4CAD-AFBA-F08AF9901545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47f67ab732f27a1237217a6e1db2073fbf0fd14","datavalue":{"value":{"entity-type":"item","numeric-id":855013,"id":"Q855013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941900$ED5CD176-E951-460E-8B3A-5D927067BFF3","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":"Q1941900$B4763060-C2F6-45FC-AD9F-AF3EF7A07CC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1c8bcd72296095b3a9a9d1435968869fb045670","datavalue":{"value":"10.1007/S00165-011-0185-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941900$51934372-BC29-4965-9640-548F1F5075AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d78b589cdf6f467bee18962b7895d45cfc7eb8","datavalue":{"value":{"entity-type":"item","numeric-id":3648831,"id":"Q3648831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02dfa79fe37daa3ec4bcde0e5714024b29b91249","datavalue":{"value":{"amount":"+0.9398714900016784","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":"Q1941900$855246A0-9810-4409-9625-FBB9DD6AF450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d208b446ccac64af76ccde11e6b331963a03dcd9","datavalue":{"value":{"entity-type":"item","numeric-id":3584959,"id":"Q3584959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"864888599cf8fecd1ec25a3a41bed75b1fe9cf28","datavalue":{"value":{"amount":"+0.8004409670829773","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":"Q1941900$664CD2BF-6F02-4047-BA4C-01CBF1F9927E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a57987723c2a2d461ff93665c6601e8c789bed6","datavalue":{"value":{"amount":"+0.7962933778762817","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":"Q1941900$9A72DC91-920F-46E5-97BD-CD58DE34AC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f65d70d8e96071696853e6020e7c1f66acfd92","datavalue":{"value":{"amount":"+0.7917191386222839","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":"Q1941900$516F184B-518C-4F92-A1AF-A0ED90C14231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37bb73517fcf582cb0a3405c25a9448eff5b2cb6","datavalue":{"value":{"amount":"+0.7875567078590393","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":"Q1941900$3C23700A-98B3-46B7-8DEF-A6943AD910F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941900"}}}}}