{"entities":{"Q2985883":{"pageid":2996608,"ns":120,"title":"Item:Q2985883","lastrevid":52799675,"modified":"2026-01-23T13:04:18Z","type":"item","id":"Q2985883","labels":{"en":{"language":"en","value":"Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6714004"}},"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":"Q2985883$0BD05901-CF6D-4904-B9A3-5DEC602123C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f677e005eed18995a8606032eac4eab88cd9f94","datavalue":{"value":{"text":"Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985883$E97FB42B-2945-468D-AFCA-D89BC29821B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76f6f1d4d746a254581e67317d70c14caa37de32","datavalue":{"value":"1361.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985883$C4685EEB-4D81-426A-8C7E-807EC8D7BB62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a48e5f57d78c8240db8e2e817498ff47349648c","datavalue":{"value":"10.1145/1755952.1755983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985883$FFB3467B-5B45-4CC1-AB79-47A7A5096404","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48c2b2327737ce3b8a0d28976483d8e590b87ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2985882,"id":"Q2985882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$58DCED93-95AB-4036-AA33-B387FF90A0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$5B2B9EAD-AF42-46CC-909E-266AD4D96B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e4f6b14f5ecf0170410995e1646547ad080542a","datavalue":{"value":{"entity-type":"item","numeric-id":732014,"id":"Q732014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$26A8D2B8-F378-40DD-91D4-26E7B79A3528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adf482bc390836e4c23988820629e51ba0628faa","datavalue":{"value":{"entity-type":"item","numeric-id":947792,"id":"Q947792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$F4FB214E-DFA5-46E5-B870-677DC131DFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$FC5A9416-CC21-436E-94B9-F6CECDD54555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab46375faf5dfaf24470278e369ba293e0a7afc2","datavalue":{"value":{"entity-type":"item","numeric-id":207162,"id":"Q207162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$5AF01A21-E9FB-4B03-925E-D665BC74C2D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0830b461b2628d60d78b1ee4b6f9ab7534bcf7ef","datavalue":{"value":{"entity-type":"item","numeric-id":2985856,"id":"Q2985856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$CC2650BE-2302-4C74-BD15-517CDACB66A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985883$D3C4814F-742A-4FB1-A1F6-ED08516C21DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985883$93148BB6-432A-4AE4-B9F4-D6720B416CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"63aec181f5f25f527f4a50518ef030353abadcda","datavalue":{"value":"65C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985883$EB60CFBD-7194-415E-B213-023220134CE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"711c9142810f735f88a027bfe756627a71d27d5f","datavalue":{"value":"6714004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985883$9E471291-285E-4A16-85EB-A8A1646DECF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985883$28D72221-BC5F-4A74-BFEF-4401320C7F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985883$FC603C76-00BD-4751-B2A2-38FE15706490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985883$3C959DDA-F0C7-47F3-9E3A-559432E95EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985883$A8ED37D2-B1BA-4CFC-BA86-8A90EE60BA52","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f91b5234133a0593d7339829fe62d177902c23f2","datavalue":{"value":"Q57581803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985883$1542A275-7820-469B-9C0B-CCA619846E27","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":"Q2985883$B5E3D12F-C229-4429-8AA9-262D22D36B06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"229b9119ee81db4743691d3e790d47d19b079cee","datavalue":{"value":"https://doi.org/10.1145/1755952.1755983","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985883$2E0A1378-032E-460F-B20B-1DC14F773B31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18cc1243eb8d0faa7de587abe8d04e1d2ac4dfa6","datavalue":{"value":"W2112656403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985883$594E319F-9A61-46A1-960D-DFDBDEA17EAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"287044077b582e9a462122d8a37c632519d945ea","datavalue":{"value":{"entity-type":"item","numeric-id":5307451,"id":"Q5307451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$B0ECA98F-B362-468D-A125-BF58FEFDB497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93fc1426a3a32f66268bd57c530edc65aec126a","datavalue":{"value":{"entity-type":"item","numeric-id":5703956,"id":"Q5703956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$9C480C86-090F-4960-849F-555573E36103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8c00e6859456436b4dd4fd8d1212e545db8330","datavalue":{"value":{"entity-type":"item","numeric-id":4953376,"id":"Q4953376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$8CCE936A-8D67-4A31-90C9-1691E79E8C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004893761a1ba419f20bd0d2cee6ecb5ba162dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2552879,"id":"Q2552879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$3B3D49A0-962D-4D7D-BC92-076595B8B3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a376a655e2451a7e6e0d1c6f7ac4717841b2bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":3624569,"id":"Q3624569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$D33E9A8B-D1E9-4693-B561-36089D226773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$1784AEF3-BCBD-485E-9CD6-6D62EADF9A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$B10066E3-2426-46B4-A6DE-43786C8B331F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$49D88068-3219-4B77-933E-78BEC8D409AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60f8c18f194bf33652be2dc20af60bb528fda07","datavalue":{"value":{"entity-type":"item","numeric-id":1960531,"id":"Q1960531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$D46FD604-521A-4361-8F47-919989B78AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$10599074-0965-484B-A647-5DC2AF36C50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6484148434bb6bf09207722b95c9d690bb339110","datavalue":{"value":{"entity-type":"item","numeric-id":5273868,"id":"Q5273868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985883$80267B90-AB82-4DA2-A3CD-2CAD21A510B2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"54950c6fe9b2176163f6e3a26bfd4e3216a57d4d","datavalue":{"value":"conf/hybrid/NghiemSFIGP10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985883$0838026F-810A-4EE8-B53D-32369EEE0016","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b84ab559bc92c70e5914cfbd07fab1dba3a740","datavalue":{"value":{"entity-type":"item","numeric-id":2986759,"id":"Q2986759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e8e13c2e87c0df7ab89e500042744c3f905996","datavalue":{"value":{"amount":"+0.7754560708999634","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":"Q2985883$48AB07E6-3AA1-4CB8-AE05-CDB4B5715E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed91a48d11db7f4ee0942145d6c97715ec481d3c","datavalue":{"value":{"entity-type":"item","numeric-id":3617769,"id":"Q3617769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a867c63c953499ebfcd5da58c8124da7ebb655","datavalue":{"value":{"amount":"+0.7739846110343933","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":"Q2985883$CC8A781A-AD57-4E61-8A51-D52B418B8F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31984a3b7cab027282720c38ff387d42b1f4fad3","datavalue":{"value":{"entity-type":"item","numeric-id":832206,"id":"Q832206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33109a10992f63546f8b15020a43effa6edc12f8","datavalue":{"value":{"amount":"+0.7691769599914551","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":"Q2985883$7BB2D370-C5D3-4EFD-A009-1AC5E5AAAFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4730f64746eb192f6a2cfc5a386a149f1b81293","datavalue":{"value":{"entity-type":"item","numeric-id":3460587,"id":"Q3460587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e472b8c77b4029fdf58247ab416439fbfda318d","datavalue":{"value":{"amount":"+0.7607688903808594","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":"Q2985883$ED9AF0AE-BBED-4499-A15F-0BD23862BDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bea21104b4e4e70e8430a318a310b77397b05c7","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caadbb8f3629bc7cd3a01cc32fd98df0d5247d0b","datavalue":{"value":{"amount":"+0.7528485655784607","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":"Q2985883$64D6C1D5-3703-45E2-A7EE-574C7CCC9D2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985883"}}}}}