{"entities":{"Q1683445":{"pageid":1694186,"ns":120,"title":"Item:Q1683445","lastrevid":71968452,"modified":"2026-04-14T01:46:29Z","type":"item","id":"Q1683445","labels":{"en":{"language":"en","value":"Time-triggered conversion of guards for reachability analysis of hybrid automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6814294"}},"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":"Q1683445$305EB45C-0E22-418B-910C-C2EF899EB07A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cac57f64cfc941e56f73612b447bc0710e36df96","datavalue":{"value":{"text":"Time-triggered conversion of guards for reachability analysis of hybrid automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1683445$8A489F49-63FF-430F-88E9-84ECD484225F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18b5a6db7c07c1c5ad60b4e0929380c6c5d842a6","datavalue":{"value":"1497.93107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683445$462F3AE8-E9A0-4A80-AC4D-0627CF1100B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca5b71cabb9d70e71086458ea8b4454eb407e6ca","datavalue":{"value":"10.1007/978-3-319-65765-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683445$3CFC1247-5701-4E8D-B445-3C108AAA5C0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b477b5658b51465a1d02c115134f329e7a04eb9","datavalue":{"value":{"entity-type":"item","numeric-id":296101,"id":"Q296101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$5BCFD21E-FA35-47E4-BBB9-2F4B7DCAD6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb437ea5b8672cde24df14f00f6f0a6c774b0f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1683443,"id":"Q1683443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$B03A4EBA-5EEA-4CA4-A393-03D899EB0637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07c5e313dd51ab1aed894a2b76df59a8e3b19f3","datavalue":{"value":{"entity-type":"item","numeric-id":988779,"id":"Q988779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$0522287E-9CEA-440C-83EF-4A6E05A1F450","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0b35d2e482cf5e430246ef005011e53c42974f0","datavalue":{"value":{"time":"+2017-12-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":"Q1683445$C490E08E-4A75-44F8-A7AF-CE638BA334B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c02850a7f4c22c1cf509a524ded03138bc308b48","datavalue":{"value":"http://mediatum.ub.tum.de/doc/1379649/document.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1683445$D2FE0EC8-FAD6-4EA4-8FA6-4EDF7F24A1A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683445$5A99A05D-A5E6-46EE-86A5-5CBD70F5C020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683445$3FD0A3FE-83CD-4E06-BF45-80CCDA7E1BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683445$8340F5FA-11CB-45E0-82D8-075D656B5566","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f540b4557099d664805223534112b260cc7adfe3","datavalue":{"value":"6814294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683445$7DC78A3C-6AE7-4FA3-BBE2-7179EF060301","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$E951F13A-6E20-427B-9A93-0ACB60815A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6df112174e3fed9a67e1e0c9a221e45f5bedc50c","datavalue":{"value":{"entity-type":"item","numeric-id":23842,"id":"Q23842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$3B6E2AA0-6779-485E-B898-53D6065E0443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a3e8c914f9136fc479e3de0d5a736e858c9b352","datavalue":{"value":{"entity-type":"item","numeric-id":31984,"id":"Q31984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$8AEEF849-12E9-4E5D-9AE6-CF6CC04A41B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d39ba802dd351e3e6aa58aa56f220d6f12006c","datavalue":{"value":{"entity-type":"item","numeric-id":31986,"id":"Q31986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$7D18B21F-A078-4B49-BDCB-7571B134B52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$B0065FC0-DC9E-4475-AD0F-1E7897F7C0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72c6069446114293a8cd5f220ea8f8621372c383","datavalue":{"value":{"entity-type":"item","numeric-id":32635,"id":"Q32635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$323A5527-F188-4129-B1B3-A5047A83DE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$0B5448F5-11C4-46F1-B98C-D527CAF7B8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$9EAC27C3-5B12-4AA2-B802-3044EAA628BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e18314438e4581bd9683299a70a3c70e402c082f","datavalue":{"value":{"entity-type":"item","numeric-id":31959,"id":"Q31959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$F19A3312-4B9B-4A33-B258-BD176498833A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe3b952b514ee684410972a5effd2c1c47e84d31","datavalue":{"value":{"entity-type":"item","numeric-id":37397,"id":"Q37397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683445$489C760E-83F6-4A93-8444-8EB41738340C","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":"Q1683445$8F4768C6-A6C7-49D1-87C5-624CEB44EE10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bd78e562848a48335dc08fb2faab20e17ddc010","datavalue":{"value":"W2739746066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683445$5308A05F-978B-4E96-9812-04F68A060700","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3acbcff542dd22e1e504b8565b8092827151a0","datavalue":{"value":{"entity-type":"item","numeric-id":5458327,"id":"Q5458327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab232035e58d005d7c92caddf7be3704cb98872","datavalue":{"value":{"amount":"+0.7460576891899109","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":"Q1683445$BC859E91-2F60-47D8-B629-B5EEFE15A287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e61385c05b8522a8d7f5fdaa84945cd74f0777","datavalue":{"value":{"entity-type":"item","numeric-id":2986751,"id":"Q2986751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04927b179ebca06264da179f146c15ec961031dd","datavalue":{"value":{"amount":"+0.7289884090423584","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":"Q1683445$9C754A5A-9789-4820-8C0C-256037875E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ec7866f7d50d75152ca45ca722e4c2b9caebd3","datavalue":{"value":{"entity-type":"item","numeric-id":3510848,"id":"Q3510848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae3a035583936945ee3ef7e9e2243e089458827","datavalue":{"value":{"amount":"+0.7163583040237427","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":"Q1683445$0E1C7CBE-C89C-4616-8D92-EDE40BDD6B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313c3cc62d8aa7169b46777cec3c0c8b0c7e7696","datavalue":{"value":{"entity-type":"item","numeric-id":3656877,"id":"Q3656877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b9918e04afa7622a29da68db0bde9f693339e5","datavalue":{"value":{"amount":"+0.7068343758583069","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":"Q1683445$F3DD52AE-C02F-4B6F-93C3-B7E2CCDEDBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9cb0ca05f5631519767ea3f1d57958772173c8","datavalue":{"value":{"entity-type":"item","numeric-id":2988931,"id":"Q2988931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9080ec8f76932a05450d4ccf4f534671479cf6fa","datavalue":{"value":{"amount":"+0.6970927715301514","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":"Q1683445$1BDBCEBF-A501-4B43-A3A0-F3BD081DA0F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Time-triggered conversion of guards for reachability analysis of hybrid automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Time-triggered_conversion_of_guards_for_reachability_analysis_of_hybrid_automata"}}}}}