{"entities":{"Q3082924":{"pageid":3093639,"ns":120,"title":"Item:Q3082924","lastrevid":86436275,"modified":"2026-06-03T21:01:26Z","type":"item","id":"Q3082924","labels":{"en":{"language":"en","value":"Automatic verification of multi-queue discrete timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5867684"}},"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":"Q3082924$D236E838-D4CA-4459-81B1-51CE9D680077","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e27644660f723ed2e6a8c808e1829e4b09ed330c","datavalue":{"value":{"text":"Automatic Verification of Multi-queue Discrete Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3082924$4BD03061-EF31-4070-B667-35A34A561A5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15a766ccd508aeb8b23d794fbece14fa1b4fe0c8","datavalue":{"value":"1276.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082924$54CE735D-A8AE-40B2-81C5-972CCA6E2344","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15d8042fd47a9ea3096e5289b2ad4aaac901b48f","datavalue":{"value":"10.1007/3-540-45071-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082924$48224FA7-44B0-4F45-BE81-F8A91D7B2056","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"856e553426bf2fdacc265aabae14211fd962289f","datavalue":{"value":{"entity-type":"item","numeric-id":262136,"id":"Q262136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082924$4B80D4E9-1CA5-4542-9C61-E1A479C78286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77e44c9d54d0cfc71832e715dc19584237ba4067","datavalue":{"value":{"entity-type":"item","numeric-id":243822,"id":"Q243822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082924$572C39F8-9B51-4769-859E-6889C72D6FB3","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":"Q3082924$5A123952-29A4-4575-B43D-B815763FDA2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"491e77b99273305a3a3bbdb2dd66a2b0304c39fc","datavalue":{"value":{"time":"+2011-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3082924$E407679A-CD15-4142-AFBA-60977BB27782","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082924$0CDD31FF-B8EE-4174-B5C2-5B3D11EAD3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082924$CE96814C-6C01-4ED4-A056-C85A6F3E23AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082924$384BF92E-E8D1-41A5-8DE4-209E055AE992","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"373bb6b876e97fda1b29137f096a6a14e7c15e89","datavalue":{"value":"5867684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082924$611FF299-711C-45C7-B28D-E09E85B81E66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082924$DE7C8356-F784-40BA-B27E-3FB0163B9F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c599ce5257c0c4ec5db049bdd3e40cca7f1a5f","datavalue":{"value":"infinite-state model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082924$F92C13AC-8963-48BB-A361-71AF405AE515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082924$36009060-52F9-4FD4-AD8A-3A043A3B3167","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":"Q3082924$06215BB4-16FB-4161-BA83-A482D17D7792","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"308d9e6fff87686950de06f3504266cba525ec49","datavalue":{"value":"https://doi.org/10.1007/3-540-45071-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3082924$C30ED4AE-A3AA-4A71-BDA7-92AE52992777","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"643bffa00092821dbf0ac41de561e062513d996b","datavalue":{"value":"W1597676555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082924$EE38DB80-482E-4137-B7DD-75792740EC64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241c2944f4c1237c48f8c9b9e04d30b551719cad","datavalue":{"value":{"entity-type":"item","numeric-id":1401187,"id":"Q1401187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c7817cf3ddaf90cc86d6e532b27b469ec8f6f6","datavalue":{"value":{"amount":"+0.8129292726516724","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":"Q3082924$F0311072-54C6-49AE-AFA1-50CF22AD34AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44ee680a04de0cb5e022e932a94d690d6c4cea0","datavalue":{"value":{"entity-type":"item","numeric-id":1853524,"id":"Q1853524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2238a247e1e5fa799b25b83a1f9dd9d590439a1","datavalue":{"value":{"amount":"+0.7759891748428345","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":"Q3082924$A8C183EA-3431-4422-B5CF-9DC5FD7D8347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dae066feb7f7afe258f6f579fb51b07e367a70bf","datavalue":{"value":{"entity-type":"item","numeric-id":3021942,"id":"Q3021942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ffca9a4f3a605713a36a87a90dfef01eafa05d5","datavalue":{"value":{"amount":"+0.7738025188446045","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":"Q3082924$B05F3BE6-4066-42D2-954F-277F2F1E46FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddacc1abe0470b62a15418eaad57094dbb425d6","datavalue":{"value":{"entity-type":"item","numeric-id":3196352,"id":"Q3196352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8555a2ab0cb2276b9920714fe86b82746eec826d","datavalue":{"value":{"amount":"+0.7581784129142761","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":"Q3082924$EBAD5977-E363-48A1-852F-BBD69A66E03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e499e48c151e4fd7a131047a9bb83c549bd16a17","datavalue":{"value":{"entity-type":"item","numeric-id":3190139,"id":"Q3190139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69215cc0a10a67202569705bda3ccf732dd7a267","datavalue":{"value":{"amount":"+0.7581781148910522","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":"Q3082924$0777B50F-07CB-4DAD-AB9D-D636FFE4309A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of multi-queue discrete timed automata","badges":[]}}}}}