{"entities":{"Q3564326":{"pageid":5594230,"ns":120,"title":"Item:Q3564326","lastrevid":90388769,"modified":"2026-06-04T20:03:21Z","type":"item","id":"Q3564326","labels":{"en":{"language":"en","value":"Sampling-based falsification and verification of controllers for continuous dynamic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5715554"}},"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":"Q3564326$7D5806AB-4A63-448B-A195-CF23E39EC11A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1c7d3750768e3f2b7e52de876feb7324ce5b259","datavalue":{"value":{"text":"Sampling-Based Falsification and Verification of Controllers for Continuous Dynamic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564326$0A466C35-8BAF-45A2-8DB7-B79419CBD022","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14a29ee1d79330f3da831d4a25bacf7784f33c8c","datavalue":{"value":"1188.93029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564326$646B0079-4013-4ED7-B854-AFF53B744DA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"599eaf99a2be017fe09495dc87d83d133f43ca1f","datavalue":{"value":"10.1007/978-3-540-68405-3_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564326$95A2E7A7-68ED-4F70-8692-246958324D83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02fd9f5ee7701d3e88fe5ff42345899b07015a27","datavalue":{"value":{"entity-type":"item","numeric-id":346638,"id":"Q346638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564326$ED0A17F9-7FDA-484D-8A27-68D39228F764","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d839b5eef1bcdf95ed84bc93ea6b8a9df9f4c28","datavalue":{"value":{"time":"+2010-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564326$8E622804-D3F2-4BDE-8985-D9694F874335","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564326$FA284FD0-8DAC-4CF4-97D4-75FEC52C0D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e134fa16ab2f5a6350ceac50979452dda7b0aefa","datavalue":{"value":"93B18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564326$B8BE004E-5829-4D93-9317-DA03DAA5F5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18457c8394a4b6201dcccd409d083d717a8c4e70","datavalue":{"value":"93C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564326$20AAC849-F753-46E0-8736-9FE26A01D87F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ce57da155e8424c0a622f8b9d740c91f8df20d3","datavalue":{"value":"5715554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564326$2F0AB754-525C-4307-A924-D2B24ECF2C08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"490f9e3c239f80ed1697961a25e49746660d9ee7","datavalue":{"value":"controllers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564326$38FF7627-EEF5-4238-8C4F-7F9CC44D4489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23fda2f6f3c5d6877570c031c2e575c7daf289a9","datavalue":{"value":"continuous dynamic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564326$94EB5491-288B-46A1-9719-65E56752C7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2f0701084b129ddb800338da5eadbf0cb09261a","datavalue":{"value":"sampling-based verification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564326$1EAC1689-CF12-4072-8118-08411FD9D617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a72ede3a50dbf68fc7919bb9eaf45e67f4ea6f6","datavalue":{"value":"discretization of the state and input spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564326$EF608708-2524-45D8-A02D-C3C51C8D78DB","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":"Q3564326$1240B4AB-2084-4A07-BF31-7329F5E3B0FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f67c6e6dffada35df713374ace710e332d4ea497","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68405-3_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564326$8B46A004-B470-46D7-AD2B-ACED2894EF5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8cbc164b4b92070ea720917b45c597510cc09c5","datavalue":{"value":"W2038687253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564326$CC297D9F-1E97-4B80-A24E-D8DB1185873F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec47db6584184be202df6b6654fb184ac305c7d","datavalue":{"value":{"entity-type":"item","numeric-id":3523142,"id":"Q3523142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907036496966102af662fa0d7b8827f56ca1a7c0","datavalue":{"value":{"amount":"+0.8066815733909607","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":"Q3564326$726AE91D-E23E-4C93-999D-74121FA9FBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f415a6852a58f2d977de9675b6eec470a19253b7","datavalue":{"value":{"entity-type":"item","numeric-id":3612969,"id":"Q3612969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7647500886245e759593f779bcb96dbb8ff7c4ed","datavalue":{"value":{"amount":"+0.7461889386177063","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":"Q3564326$9D925590-7A31-448C-B2AC-EEF7CC4C0376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"695bae453e2cc3fcdb121ff956c4c4727f24141e","datavalue":{"value":{"entity-type":"item","numeric-id":2988928,"id":"Q2988928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2c870aa4c024d06b8561ea62f43d9e2c32cb22","datavalue":{"value":{"amount":"+0.7374655604362488","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":"Q3564326$F246F6CE-73DF-4828-8A4D-2CB0DAB83D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e1d9c2bcf81614c8a20f5ab29f72b56446f0c8","datavalue":{"value":{"entity-type":"item","numeric-id":4707173,"id":"Q4707173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"954eb82967235881a56234cc060a790da472dd7f","datavalue":{"value":{"amount":"+0.7226946949958801","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":"Q3564326$B194B589-9B2F-4160-BB9F-4AEE5862D7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66fd147f8d099cb75fbb1f105836834e56f5c407","datavalue":{"value":{"entity-type":"item","numeric-id":4994712,"id":"Q4994712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0dd8b490b8e63d442f9a11050b512dec68bd33","datavalue":{"value":{"amount":"+0.7111763954162598","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":"Q3564326$00AD0223-6292-45C0-9F95-FFF1676E1818","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sampling-based falsification and verification of controllers for continuous dynamic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sampling-based_falsification_and_verification_of_controllers_for_continuous_dynamic_systems"}}}}}