{"entities":{"Q4649399":{"pageid":6678980,"ns":120,"title":"Item:Q4649399","lastrevid":51601208,"modified":"2026-01-19T00:40:48Z","type":"item","id":"Q4649399","labels":{"en":{"language":"en","value":"Static detection of Zeno runs in UPPAAL networks based on synchronization matrices and two data-variable heuristics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109504"}},"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":"Q4649399$5B3BB570-74A1-4C88-8953-045A0DB15B67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba6d3bced84d744c8e3e898f5a23bcba87172d51","datavalue":{"value":{"text":"Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649399$B2F6F183-B115-49CF-A525-881EDE181649","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c65ff6863c0bba32042be294e1f6f9207dfe25ab","datavalue":{"value":"1374.68298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649399$A652710F-BF07-4C58-A136-6F4C23462381","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"863f4fcf6c7acc15c9ee1131a8ecca198ef29a92","datavalue":{"value":"10.1007/978-3-642-33365-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649399$BF6F855F-5F43-4A62-ABD7-42AE247B4B58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8912f18c230223f82502d63c3e5cf6a90330efb8","datavalue":{"value":{"entity-type":"item","numeric-id":4649398,"id":"Q4649398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649399$C99884E7-49A2-4681-B197-A4D20E7098F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a5377b25afc1082aaeac24b288b40ed81534db9","datavalue":{"value":{"entity-type":"item","numeric-id":1629963,"id":"Q1629963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649399$28AC4848-1E12-425A-A6F0-731110A11C6D","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":"Q4649399$E97C312D-1244-4B82-87EE-85289470C61E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649399$706FCD3A-A8AC-41EC-8335-111C4442B0B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649399$AEE390EB-38B0-4686-BCC5-56B6CF356A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649399$D8244690-8349-42E4-B573-9567C1002C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649399$C2501D7F-927C-46B4-B51B-D40C2753B929","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25ffcc718ba0bfc075c4496f237be50ef9373c85","datavalue":{"value":"6109504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649399$2E9B4EF3-D47E-431D-942F-32F27AADF757","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7b1a055e1c84d91bcd6a083603e6509dbb04cec","datavalue":{"value":"Zeno runs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649399$9C55DA4F-6DBD-44CE-95D6-16C6C5BF9D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649399$9397474C-1771-4929-A1AE-6DB1BA9A3335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8a319e4928213107bdf90311c84fcbfea3e116","datavalue":{"value":"UPPAAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649399$FA503175-E6C0-44F4-8AC4-5E5E37EE9FAD","rank":"normal"}],"P1463":[{"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":"Q4649399$73F6BC18-8E69-4783-91DC-68451F875171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eae07c3221dce85b659ece78ed363767e2901e07","datavalue":{"value":{"entity-type":"item","numeric-id":22097,"id":"Q22097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649399$A23DADE7-C7D9-47D3-936B-131DE2309934","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":"Q4649399$AFB285DE-BA66-4CC8-BD7F-564E88FDE658","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":"Q4649399$2F01C7A5-285E-4DDE-A588-3E25BE777F86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8328a763855018e74a2734cc27b55d0622a90d85","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33365-1_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649399$678E5409-EB7B-45C8-B270-E66E7A6A43FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a743c5b9f30162e8b3f07ca29803aa14b227308","datavalue":{"value":"W85611312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649399$6DABA994-5215-4466-A903-9F14ED21C52B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7544124a4232ec3850f86b379191696dc7bcdf89","datavalue":{"value":{"entity-type":"item","numeric-id":3510844,"id":"Q3510844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774f02764e17a2815a19cfd7ecdf5a71f4c7954c","datavalue":{"value":{"amount":"+0.8659675717353821","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":"Q4649399$E8F498FB-ECFC-4D92-B70B-15538874FB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1056e1e32cef5bd069021eed125b38cd28246c49","datavalue":{"value":{"entity-type":"item","numeric-id":4913769,"id":"Q4913769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1519d9aac53967f15fddd6a1bedf9ef879a7f2ba","datavalue":{"value":{"amount":"+0.7863041162490845","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":"Q4649399$BE1DEED7-941C-4E9B-9056-B8B11A10D844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a170975d6532548c3e7f6c048cca75ddb42df254","datavalue":{"value":{"entity-type":"item","numeric-id":3090824,"id":"Q3090824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1519d9aac53967f15fddd6a1bedf9ef879a7f2ba","datavalue":{"value":{"amount":"+0.7863041162490845","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":"Q4649399$D744222E-EE2D-4E54-A453-9B527F4F7162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ffbf24666ffbf4ad7b0ecad418532d312c8a8b","datavalue":{"value":{"entity-type":"item","numeric-id":2851073,"id":"Q2851073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527a48a6d47063d0ddbcca692d3eb655297cc931","datavalue":{"value":{"amount":"+0.7654753923416138","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":"Q4649399$2B75A5A8-2DA8-4DBD-881F-365C39938202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f12ebe22f80b9bf1ee6a1e2082925ac10012cd","datavalue":{"value":{"entity-type":"item","numeric-id":855006,"id":"Q855006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f07d39152a95b51b44335ed2628fbc10e2fa652","datavalue":{"value":{"amount":"+0.7431260347366333","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":"Q4649399$6747B8AB-0869-4E3C-BC77-52E1D79E05CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649399"}}}}}