{"entities":{"Q6550569":{"pageid":14161723,"ns":120,"title":"Item:Q6550569","lastrevid":95548544,"modified":"2026-06-05T09:15:33Z","type":"item","id":"Q6550569","labels":{"en":{"language":"en","value":"An efficient state space construction for a class of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7860281"}},"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":"Q6550569$5F3D8369-6ADE-41A8-AA0B-C6A8861F25E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d6a0bd710507801f6526af24d71e0f30be128eb","datavalue":{"value":{"text":"An efficient state space construction for a class of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6550569$8652D075-FEDA-4EF4-9345-6D69064A88EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07fa8cb8aed0684d83ee7d2e724927141a608dc3","datavalue":{"value":"10.1007/978-3-662-68191-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550569$F263BAA8-DDC1-4588-891F-0BBA7DF5D51A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af19c76aedcdafe7b181e61b91f01473eb97863a","datavalue":{"value":{"entity-type":"item","numeric-id":4988952,"id":"Q4988952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550569$B1456D74-F7D1-4B71-BF4C-040871C0C3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"339e021ba63ce43474248ae6e57750fa061ec58e","datavalue":{"value":{"entity-type":"item","numeric-id":218984,"id":"Q218984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550569$F492E579-E596-4960-8A95-9ED295803ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e639d2eeaa2d3553e052d48e38290f102cbe38","datavalue":{"value":{"entity-type":"item","numeric-id":227613,"id":"Q227613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550569$3BC4592F-6802-4DD1-8EE6-CAD8FF230825","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5219263c6fa56721869b7c73877f4b0a69654303","datavalue":{"value":{"time":"+2024-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6550569$51D84129-8D2A-4594-A36F-0A192E1730C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550569$302D23A8-FF2B-4B51-92B9-AA5C6F6FB57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550569$53D30989-B213-422B-A676-30A41F5756D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550569$19114F62-3144-423C-9495-230A5004AF53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1eeec2c57c13b75d9755739987c8e1ba35662ccb","datavalue":{"value":"7860281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550569$B36A9990-DB11-43A3-A88E-C685CA2245B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550569$BE4015EB-2C73-48DE-9124-6C4452B274E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550569$9B68C9E2-0957-4929-A755-EE47620FACED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f5ed62fc34808c2c9a62668f66c8d6559ec26db","datavalue":{"value":"zone graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550569$3EFF4127-A35F-40F4-8843-2CC9DAE70A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550569$1503FCE0-A247-4316-92D8-CC211CC4B810","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":"Q6550569$3E5E3285-CE1E-4A98-85F1-965B27E9CD2B","rank":"normal"}],"P223":[{"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":"Q6550569$1C1EB5A5-0B9A-4EF9-8898-6F9AF2636626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc27406c654cfd8440dafdcdcbc0605ce5acae14","datavalue":{"value":{"entity-type":"item","numeric-id":4988953,"id":"Q4988953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550569$32D78BB9-9338-4EF6-BF3E-CF842D87365F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a459d2db3f32657a2d6999b1e05297d4d9fbbded","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550569$3DCD76A5-C327-4C32-9DFE-E4BAACAE7A52","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":"Q6550569$462ABDA6-8646-45E4-894D-C663D715C7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550569$A2D69F74-BA37-4177-81A3-EC279BE88EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b0b4f8e0ab1018da99283dae518cb63a3aa6dc","datavalue":{"value":{"entity-type":"item","numeric-id":4988961,"id":"Q4988961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550569$3093EEF3-C491-4A71-96EB-7FA671C734CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa63cde02729ca13f5ec2e95fa590f75befa6056","datavalue":{"value":{"entity-type":"item","numeric-id":4603564,"id":"Q4603564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5571cb285790c9f93b6ec992af7859d86a4233b0","datavalue":{"value":{"amount":"+0.7666738629341125","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":"Q6550569$6E2F6854-3C83-41A0-9D6A-962047C6EB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7229bff87447c2b4955dd697a0cd30b065d1b05f","datavalue":{"value":{"entity-type":"item","numeric-id":5496927,"id":"Q5496927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f82057db93e1f91f7ec85e38b28d5646c841e821","datavalue":{"value":{"amount":"+0.7666072249412537","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":"Q6550569$6B4C192A-1299-4FAD-A569-483054C2EDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"214632f75dd6877d69499b4281856f9aefe710a5","datavalue":{"value":{"entity-type":"item","numeric-id":4417927,"id":"Q4417927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfac8bc2cbfa7ba901151b21e20465ebd3219d4","datavalue":{"value":{"amount":"+0.7605075240135193","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":"Q6550569$3567192C-1B39-46E7-91D8-0096711159D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed4e0f7fb8a6fe0cfa20793fd9d8ff7a255bf6f","datavalue":{"value":{"entity-type":"item","numeric-id":3371683,"id":"Q3371683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ebe9a73e43b7fc5430ef53325dd21ee43f39125","datavalue":{"value":{"amount":"+0.7594482898712158","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":"Q6550569$27AB0DAB-7498-4CD0-A5D1-9357CBCFC1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834196c635c3180744a9bdd44090e6b68122c8bb","datavalue":{"value":{"entity-type":"item","numeric-id":4417948,"id":"Q4417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d15b5ff7a80a6a1004aa2c62c75fdab9100f48","datavalue":{"value":{"amount":"+0.7587546110153198","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":"Q6550569$6552AF94-FB4F-47DD-A56B-FC1581B99C95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient state space construction for a class of timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_state_space_construction_for_a_class_of_timed_automata"}}}}}