{"entities":{"Q2986759":{"pageid":2997483,"ns":120,"title":"Item:Q2986759","lastrevid":52804436,"modified":"2026-01-23T13:18:12Z","type":"item","id":"Q2986759","labels":{"en":{"language":"en","value":"Falsification of temporal properties of hybrid systems using the cross-entropy method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718032"}},"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":"Q2986759$A786B362-80D5-4667-B7DF-A2A521C83054","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1dd505b302a95159cb975a3d34bfed52efb0c7f","datavalue":{"value":{"text":"Falsification of temporal properties of hybrid systems using the cross-entropy method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986759$C301BA0C-46E3-4864-B225-13DA24513210","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6deb7b9501811e4122196e500a80daf706858517","datavalue":{"value":"1362.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986759$F186057A-2F61-4F3B-B778-89635B5B078F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"415408f17b960a8632a9841592106589be064069","datavalue":{"value":"10.1145/2185632.2185653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986759$46AF4B27-4B5F-4C89-ADC4-2D6F24D8E57D","rank":"normal"}],"P16":[{"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":"Q2986759$31352C9E-3FE9-47BC-83D3-46BD388CE8D9","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":"Q2986759$19BCECA5-6F08-4F6C-A04A-BC15F604EA0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ac4eb98cd212461f5ff58ad0e77202dc879157f","datavalue":{"value":{"entity-type":"item","numeric-id":2986746,"id":"Q2986746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986759$55B7E4AE-40A9-441D-95F1-33106D5BA2A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986759$EDDC0130-7145-4009-812B-56950F896835","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986759$3268A272-9482-46CF-AA3A-9E5303A2F5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"63aec181f5f25f527f4a50518ef030353abadcda","datavalue":{"value":"65C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986759$436190DF-2E83-489C-82CD-E68C5E27A6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986759$7E0AC56A-C5B3-4FA5-AA10-38E9517B69B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986759$3F5A08D9-8BCD-44E8-93F8-CB26553D008C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e30d62051793251cdb7305d492b252b2239dfb5e","datavalue":{"value":"94A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986759$A6B00244-466F-46D1-9F2F-021BFB3C02F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e464e93e7833387960633f15e0270d45530424e","datavalue":{"value":"6718032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986759$C4190094-9337-409A-8150-3909DD3E0C97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50518829480aec7ee8a90e19523e6c30b84e695","datavalue":{"value":"cross-entropy method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986759$553DF91D-1F5D-44A2-82A8-18DF9AEC6C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986759$08355BE0-3053-4BAF-9780-8D01010712EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986759$4D30C4ED-DAF1-4DB1-8C47-1AF52B6847D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0355ad5081926210f7b05a023ba7f447917068d","datavalue":{"value":"Monte-Carlo simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986759$C8420ACA-F1F3-4E5F-A9A6-64361FF934AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986759$13160E2B-5752-43F6-9047-F6DAAF90CC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986759$36F05D14-013B-4893-85C0-F0CD01AB88E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b424b0f4cf122cdeae51acafebcdf4dbab7ee597","datavalue":{"value":{"entity-type":"item","numeric-id":21754,"id":"Q21754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986759$78058867-C4EC-421B-96C9-834D3890BD15","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":"Q2986759$706F03B6-C4F5-4C77-B659-6063B9B4143D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfda6be563183ea4062e5bea05b65753c5a147dc","datavalue":{"value":"https://doi.org/10.1145/2185632.2185653","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986759$0BE0AD44-6643-4B00-AB90-E15368865FE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79e99466a08001f47d311bf4c2db00dd9ebc9d91","datavalue":{"value":"W2039287452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986759$3FBB3A04-2D87-46E6-AE52-F4CBF4198DE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5686408ae12e7a38e69fb76847253c29033cd50a","datavalue":{"value":{"entity-type":"item","numeric-id":2985883,"id":"Q2985883"},"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":"Q2986759$66673073-95CD-43C2-9E5F-37665783A5E5","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":"580861882ead27eca9367f23428e4cdc1f2cf335","datavalue":{"value":{"amount":"+0.7394269108772278","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":"Q2986759$B67B0095-2161-41B6-85E4-27376CDD6B84","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":"d67ef9cf94ed6676b0cc7faad00843c120315348","datavalue":{"value":{"amount":"+0.7273774147033691","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":"Q2986759$36F387CE-AAD6-4E61-9A78-AE581C53898A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f22f8f8024a6257d27e35e89e8bb6f6cf4f3a7b","datavalue":{"value":{"entity-type":"item","numeric-id":2986769,"id":"Q2986769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac76742263a0db3eda3c428345663c0b0695d036","datavalue":{"value":{"amount":"+0.6897245049476624","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":"Q2986759$CF0C92B9-6A7D-4A9A-B449-9FDC7D1987CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adeb43e44b2ee645443d1c9235356e0e2e9c8412","datavalue":{"value":{"entity-type":"item","numeric-id":5429337,"id":"Q5429337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f23e8ce1f528b97f2378e2717bf5c1ba01ebc5dd","datavalue":{"value":{"amount":"+0.6897192001342773","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":"Q2986759$84CEAA52-0F8B-4637-9E4D-745EED23BB2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986759"}}}}}