{"entities":{"Q6584559":{"pageid":14195715,"ns":120,"title":"Item:Q6584559","lastrevid":95585939,"modified":"2026-06-05T09:20:47Z","type":"item","id":"Q6584559","labels":{"en":{"language":"en","value":"Falsification of hybrid systems using adaptive probabilistic search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7893506"}},"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":"Q6584559$6BFA5A4A-DC2D-471C-A532-EC67ADE6C1E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d916dffb615310e1b7b865e70015f5182d63680","datavalue":{"value":{"text":"Falsification of hybrid systems using adaptive probabilistic search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6584559$D73B2E25-534D-48AD-9E08-C7E5E07E51D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1364cc58dca581ee66c55c9227860ec7dd019d8","datavalue":{"value":"1542.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584559$E930EB73-9212-4F85-BE28-B1771C5A29E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fba0788ba0df89f2beb0a1f181007379ad15104","datavalue":{"value":"10.1145/3459605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584559$CF293F37-6B7A-48B3-9478-8EB359881032","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7516b2d7041865d357795becaaf644e1bfab9ce5","datavalue":{"value":{"entity-type":"item","numeric-id":1798667,"id":"Q1798667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584559$7BF0A551-2B95-4C4C-ACB2-BF49389A9666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39db320c091dbceb1577c5fb39426f47b4caacd1","datavalue":{"value":{"entity-type":"item","numeric-id":289448,"id":"Q289448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584559$9434FD8D-5151-4D18-9C9C-AFB946910900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a03fe31d8180dfc09d0a3209f180006f99a60bc8","datavalue":{"value":{"entity-type":"item","numeric-id":832204,"id":"Q832204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584559$2C8D4F8B-32B2-4321-AEAE-EB8BFB79725A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584559$F423A4F0-E16A-46BB-8FA8-322C96F6F893","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f5bae07c449260f47024289866c93e24bb0f22e","datavalue":{"value":{"entity-type":"item","numeric-id":64755,"id":"Q64755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584559$5131A45D-4B39-423F-A978-FEAE2D1A76EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fd15c6a45fe5e1ddcb64ec4c376a60cdc57323d","datavalue":{"value":{"time":"+2024-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6584559$4ED08D2A-90DD-4927-B865-0D925E46AD05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584559$CA9908F6-AFFC-43F9-8244-777EF3A2ADFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584559$DECD09FB-6B18-47DD-9843-F38BBDDFBF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584559$61F5345A-D959-49CF-9889-E6A83F1B468B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66386db28a398b8e273c6619de2729a18f5216e0","datavalue":{"value":"7893506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584559$5C696012-1CB4-4F3D-B0C6-1E85419B97D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584559$2E508307-3D40-4EFB-BBFA-8A62C791A1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584559$7FEFC0C0-9878-4DC2-A4BF-42EC294D73E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d386c0f0c54ae51c20a56f1381106179d147fa2","datavalue":{"value":"principled probabilistic search","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584559$B1ACA63C-EC3D-49F0-A918-74B1E17E60A6","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":"Q6584559$3D1F3498-6BA0-446C-8D1C-B907B1F21537","rank":"normal"}],"P1643":[{"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":"fb0667906ec865bcf93298156dc324983f91fe13","datavalue":{"value":{"amount":"+0.8161202073097229","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":"Q6584559$58636DF7-7E21-4BDB-B25E-63A30AF252DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ab08b62b0a6e9049b3c85e3b67773a96cf16be","datavalue":{"value":{"entity-type":"item","numeric-id":3172941,"id":"Q3172941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62648751762be32aea2df7127a477b9ac4156ec8","datavalue":{"value":{"amount":"+0.804413914680481","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":"Q6584559$91064BE0-C89D-4B2F-897A-11ECA9B6DE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef51496ddbb60778e4fdf08f32808ecb316e5e9b","datavalue":{"value":{"entity-type":"item","numeric-id":5500561,"id":"Q5500561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060da087ad34f1d79f9f7637c083d7696a977b4d","datavalue":{"value":{"amount":"+0.7991383075714111","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":"Q6584559$09EA42F1-71FE-49EB-8BB7-AC1260C4DEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48905b098e15d151884e506599b88002aabb0091","datavalue":{"value":{"entity-type":"item","numeric-id":5239213,"id":"Q5239213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5ba6b1f91acf0ee267ef623a85a7fc4cfcd437","datavalue":{"value":{"amount":"+0.7844473719596863","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":"Q6584559$D4A36855-034F-4438-B4F2-3946135C28A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73d6303ae62c20e2c1cd56dbc8affc68eb299212","datavalue":{"value":{"entity-type":"item","numeric-id":1039839,"id":"Q1039839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf13bfc5e3ea3c727e67efc960e9bbd654a2ad6","datavalue":{"value":{"amount":"+0.7838166952133179","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":"Q6584559$89FEF454-011D-4050-A061-0C03A795306A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Falsification of hybrid systems using adaptive probabilistic search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Falsification_of_hybrid_systems_using_adaptive_probabilistic_search"}}}}}