{"entities":{"Q3508519":{"pageid":5538423,"ns":120,"title":"Item:Q3508519","lastrevid":50395385,"modified":"2026-01-13T23:19:46Z","type":"item","id":"Q3508519","labels":{"en":{"language":"en","value":"Zone-Based Universality Analysis for Single-Clock Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5294865"}},"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":"Q3508519$50E2BE9D-85BD-41EB-8915-88BB67C884E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14adb0b126c8d50e6c3b232852522941f83ae99b","datavalue":{"value":{"text":"Zone-Based Universality Analysis for Single-Clock Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3508519$4814195B-2D54-4D2F-A0D1-F3177BE8FC90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"178f00a9fd5d726557dfc9ff1fa4160e09fad232","datavalue":{"value":"1141.68422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508519$67ED04C9-F06A-4416-8E47-AC237777ACC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a0045625b43dd9792796f46662456fd208d84d5","datavalue":{"value":"10.1007/978-3-540-75698-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508519$4682629C-677C-4DE8-B66B-90AF4530C5B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508519$C9966BA6-4CCB-440A-9749-78465C20CEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac1f415631a4eb910cb7254df99f703f97084f4","datavalue":{"value":{"entity-type":"item","numeric-id":548691,"id":"Q548691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508519$57EAD1B3-8F8B-4524-96C0-C1550D8D941C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508519$6E91A63E-11A6-4457-9128-C2892FBF4FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508519$41351BFB-64B9-4DD5-9F54-6C694610556D","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":"Q3508519$80DBAC4B-557A-4A38-A377-27F28230245F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3508519$1077DA89-F123-4DEF-941D-4CA941EFFC89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508519$72007044-95A7-4A6C-8FDB-1932E568A85E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"422fc863aa6cc31baf48b2d9beba2e21c3b1fd18","datavalue":{"value":"5294865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508519$EBDAEE15-89D3-4214-8430-10A2675EDD67","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":"Q3508519$F5C456F0-4F97-486F-A13F-5AF50CB78A2E","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":"Q3508519$26C3C6B6-6E4F-4F29-9DA9-32F26E5037D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a7d67dcfc527a61dbc073e4a3792a5385cec28a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75698-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3508519$A6382D60-34F8-4B10-86B6-FBC16FC95900","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7ca8e4073dee1ab0408c130ee028b7dfd4481ce","datavalue":{"value":"W4236746061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508519$D225A344-8E33-445E-A987-2ED2465E3823","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3a1f1e04bf9916fd4b76a9838e88ffe3963c81","datavalue":{"value":{"entity-type":"item","numeric-id":3601411,"id":"Q3601411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a722d8f55b2bc4ac14cf2c4f893e1a60c4b4aa","datavalue":{"value":{"amount":"+0.9345051646232604","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":"Q3508519$5E7C54DD-19FB-4DE2-AF6B-6C08AA06B0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718489a289676537198ae32405d8f635f14df783","datavalue":{"value":{"entity-type":"item","numeric-id":4418006,"id":"Q4418006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69cd037d557e45c8eced298364a3eca5fa36c624","datavalue":{"value":{"amount":"+0.8084927797317505","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":"Q3508519$862A305E-6F97-4C21-8E2D-6DF95B4D491D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1395b95b89e73242afefcd1dc09c6087f98f1e08","datavalue":{"value":{"entity-type":"item","numeric-id":3510831,"id":"Q3510831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b788bd65302b3b6c9d3cf6c29eb04b19c39abaa","datavalue":{"value":{"amount":"+0.7940584421157837","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":"Q3508519$F2B3955A-B3ED-42D6-BF4B-F2BA6BDB0C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1a5a824c6782c6c527d5ab5690a8b5922f04172","datavalue":{"value":{"amount":"+0.7890059947967529","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":"Q3508519$16AFC147-54C0-42F1-8800-C3D893091389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de457464770338e5c6fbc2cc8cbda2105cef7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cfc02e29d86a9c78d16b433c02028c846c5a478","datavalue":{"value":{"amount":"+0.7837393879890442","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":"Q3508519$057B2F6F-3A98-4D2B-B4C2-C3F676DE6C57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3508519","badges":[]}}}}}