{"entities":{"Q4649386":{"pageid":6678967,"ns":120,"title":"Item:Q4649386","lastrevid":51601184,"modified":"2026-01-19T00:40:46Z","type":"item","id":"Q4649386","labels":{"en":{"language":"en","value":"Dynamically-driven timed automaton abstractions for proving liveness of continuous systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109494"}},"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":"Q4649386$55E23ED3-37E0-4CBC-BFC1-6D7A5FFCB168","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f6e3e0fa2650c3a5b276336ec46fe12dc963e56","datavalue":{"value":{"text":"Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649386$5427CF73-76FC-4C62-9F45-17F5C17C641E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51a46b86c8efbfca57f2d7ae78a3df6a80a3b0a5","datavalue":{"value":"1375.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649386$DD782735-8EEA-44AB-B3E7-3A53AD329A3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb69efe976da46e5a9913b9b21a2cb925d3c18a3","datavalue":{"value":"10.1007/978-3-642-33365-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649386$749E53D9-2DB5-471B-A772-1FD82BB4EDC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5579dee58a95db795282343e25ebcde02cb200fb","datavalue":{"value":{"entity-type":"item","numeric-id":2629096,"id":"Q2629096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649386$D8CBAF44-575E-4132-9D48-2228BACBECA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06e96969b61dc496d5027716bdb3de08c20cc9bd","datavalue":{"value":{"entity-type":"item","numeric-id":955415,"id":"Q955415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649386$A7A874C2-E0BB-4028-8FDC-ADE03C4CE1FE","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":"Q4649386$E2574E9B-7884-4755-9E60-8D6AE5600A4C","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":"Q4649386$003247A3-953A-4510-AEA2-7C1EEEF9DF38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649386$E1101A7C-D612-47E6-8085-023F82FF39C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b559307b5b2969939e6945d65ee127220f8f6f4b","datavalue":{"value":"37B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649386$F8E5432F-FDE1-493B-86D0-13E36D8476DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6241f4161bb281a82fdac8ef3066a14d84b63ab","datavalue":{"value":"6109494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649386$69DD2121-B65C-4A16-8BC2-3FE826E0F838","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb40ab2963ea741e717b45b19225d049114cef85","datavalue":{"value":"continuous-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649386$47753B47-C27A-4683-A894-27F4D89F3F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649386$8955D1A4-F8B1-44AD-B410-F646BB0B64AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649386$2AE838FB-CC49-46F1-BD54-72CFEFA8BF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb94c6c984d21ba9bb7f538d309f513dd24943d","datavalue":{"value":"liveness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649386$91B7CB3D-0EA2-45A0-BBE2-22F163495EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649386$A47A3421-DE8A-4770-BE18-26E48C613D54","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":"Q4649386$D448A718-580B-4267-BE0F-59A24FACB4A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2baafb19e83d6467803945f99350c9ce2977488e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33365-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649386$BB09A984-D9AB-4032-BFD2-5CED06F16052","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c0c6a51d4fc2aff5e4365bfdcb5980b73a71859","datavalue":{"value":"W185629625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649386$B1EEF4A5-D9D0-44AE-BB7D-A8CAF4427CDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5ddf4a6493106d3cf060a4117fce3ec60cd8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2986758,"id":"Q2986758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a73248ada840299add1800adc74df0d5f665ee8f","datavalue":{"value":{"amount":"+0.7965186834335327","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":"Q4649386$70C35C01-F478-4886-A635-EF948B419C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae63d6c8447a0a39cf3d39408c0467f134b5a16b","datavalue":{"value":{"entity-type":"item","numeric-id":5206959,"id":"Q5206959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd88bf451bb79eb88d15041261719a23fd5822d","datavalue":{"value":{"amount":"+0.7635642290115356","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":"Q4649386$279E4D2B-0403-4CBB-B9A4-3A2AF3BF8684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60657b20b22812b44b4c584e5f556a3cc0b4eb6","datavalue":{"value":{"entity-type":"item","numeric-id":3506869,"id":"Q3506869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d6812b4bbf0834b6bbc9ea9a749a8fbdf2d9bd","datavalue":{"value":{"amount":"+0.7317379117012024","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":"Q4649386$39228B12-4496-49D2-A372-2B90B508C678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a1b23db82c0030f1eed2e7dae094c6bffdda32","datavalue":{"value":{"entity-type":"item","numeric-id":360650,"id":"Q360650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1be750ec8d886adbe3ef4ae84e6dd449fee805","datavalue":{"value":{"amount":"+0.7252855896949768","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":"Q4649386$04951EB4-69DF-4705-9008-88CA53C1CF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310e121da59e1833516c63390a2478e486a4073f","datavalue":{"value":{"entity-type":"item","numeric-id":763240,"id":"Q763240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e7620708fbe1df28ae174a15a451b1eeb5d269","datavalue":{"value":{"amount":"+0.7237532138824463","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":"Q4649386$B0CED40D-66EA-49CD-9343-64EC17C368CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649386"}}}}}