{"entities":{"Q1683459":{"pageid":1694200,"ns":120,"title":"Item:Q1683459","lastrevid":71968569,"modified":"2026-04-14T01:46:31Z","type":"item","id":"Q1683459","labels":{"en":{"language":"en","value":"Simulation based computation of certificates for safety of dynamical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6814303"}},"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":"Q1683459$ED7D5601-8074-46D3-83D8-C96BFBA99BC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7137d2bc3661b20cef579f7749c53deaa112aa57","datavalue":{"value":{"text":"Simulation based computation of certificates for safety of dynamical systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1683459$81AF3836-804D-4647-AF64-7F5CF413BA70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3de004fa42ff53445b38c7df084ec76dbc469f91","datavalue":{"value":"1494.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683459$FFE07027-910D-48B5-81DE-BE26B4EC498D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e69584667146d75225f57d5d90bbbbf5d2b34d68","datavalue":{"value":"10.1007/978-3-319-65765-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683459$406FA1D0-134D-475D-A34D-6F368A4DACA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e504e5c78f160847d88d111e5ab65b0189aa771b","datavalue":{"value":{"entity-type":"item","numeric-id":389833,"id":"Q389833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683459$B9631B7C-8A40-450D-9E9B-4B72CCAAA967","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":"Q1683459$66A2B5F4-532B-48CB-8BAE-F7C0C0BC5D8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bba05d57da457e2fc7decd07ac332acac710e013","datavalue":{"value":"https://arxiv.org/abs/1707.00879","type":"string"},"datatype":"url"},"type":"statement","id":"Q1683459$7003E867-4642-48A8-8D24-AF7F4AADAD84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683459$050D3FA5-6418-4955-BE43-B4208A5B2FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be34bda1b0b40bcc51feccf21ef62990dbf02450","datavalue":{"value":"37M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683459$E85FC809-FB19-469B-BE5C-0C890815B489","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76b278a81a931e45de6e43fdc675290b6a082507","datavalue":{"value":"6814303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683459$9504EDA1-6D99-4058-93E3-FF97FEF1B8EB","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":"Q1683459$FD87B0AC-ABF2-47EE-8FC2-0D5A309831F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8591844a987b7cb84803629954c3736ef3ecd423","datavalue":{"value":"W2964162272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683459$BF6F2B4C-DEE4-4FFF-8730-91A3FF56EE87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4551b6b5ec698a29be044db47d15b5059ac553","datavalue":{"value":{"entity-type":"item","numeric-id":2986748,"id":"Q2986748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60e6dd392c4dc1d3f47310e36fa31e8dec643d2","datavalue":{"value":{"amount":"+0.7941898107528687","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":"Q1683459$14C885D3-3674-465E-81C1-C1E453C2BA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8151378930657753ba3d24cc59b59e9bcbc11a00","datavalue":{"value":{"entity-type":"item","numeric-id":518335,"id":"Q518335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310133602e6ef1144c5d4de650e6358c2b7dfa71","datavalue":{"value":{"amount":"+0.7886653542518616","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":"Q1683459$5204D8B5-3BEE-4A4C-A2C1-21B941DC5790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b55209ee41e179fcdaaec302fa853e7c5c6a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ded10375d4184945d540c90dad58b825c46c334","datavalue":{"value":{"amount":"+0.7873627543449402","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":"Q1683459$B0D0B943-CB29-4CB7-B5E1-5E820B6244B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45a368f3f418a412bf07930aeb13e8ad68a26f5","datavalue":{"value":{"entity-type":"item","numeric-id":832194,"id":"Q832194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22b9c1dd5a1d852992dd2fb66c5ec4bed648fd4","datavalue":{"value":{"amount":"+0.7832631468772888","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":"Q1683459$38172832-8987-40E7-A29D-B3ADB9CDD9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a9c373f77a123e476325b74fc1618aa6730954","datavalue":{"value":{"entity-type":"item","numeric-id":2044214,"id":"Q2044214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4dd92c82a87854980ef465eb03bf3e36170fcf","datavalue":{"value":{"amount":"+0.7786636352539062","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":"Q1683459$810897AE-AE00-4061-9629-EDB73B7C17E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation based computation of certificates for safety of dynamical systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulation_based_computation_of_certificates_for_safety_of_dynamical_systems"}}}}}