{"entities":{"Q6993484":{"pageid":21463896,"ns":120,"title":"Item:Q6993484","lastrevid":83965826,"modified":"2026-05-07T15:13:11Z","type":"item","id":"Q6993484","labels":{"en":{"language":"en","value":"Falsification using reachability of surrogate Koopman models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8030855"}},"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":"Q6993484$BCF21EFA-D8DD-4CD9-849D-A583EB4F1E08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06a6665a187004044c75e971fd74b0bcbaacdcbd","datavalue":{"value":{"text":"Falsification using reachability of surrogate Koopman models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6993484$E020C02D-E38E-4F55-83C9-85577725891A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29a68fdc6223f921d3ce1f5b8875688b471fcd13","datavalue":{"value":"10.1145/3641513.3650141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993484$9369D9F0-6DBB-4C36-BD66-318132EBE82F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b477b5658b51465a1d02c115134f329e7a04eb9","datavalue":{"value":{"entity-type":"item","numeric-id":296101,"id":"Q296101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$18810B3D-E591-4318-AB51-11E58D8BCCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb437ea5b8672cde24df14f00f6f0a6c774b0f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1683443,"id":"Q1683443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$0111B8B5-AC94-414C-BB19-2FD9783939FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"028824c69a89bd3111d309846495de2551e15b8d","datavalue":{"value":{"entity-type":"item","numeric-id":6993481,"id":"Q6993481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$8CD05FC8-3D6F-4D9B-9B34-9CB17217DA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c27e4631b2c9b13c752eefec6794fe8a11e84f","datavalue":{"value":{"entity-type":"item","numeric-id":2116656,"id":"Q2116656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$641C1CDA-25AB-451C-9AA8-A06384528EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc77181af482d664935fbbab242ba1b39c5b8733","datavalue":{"value":{"entity-type":"item","numeric-id":6485588,"id":"Q6485588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$B4BE929E-29E5-40C2-BB3A-1A6B99F941D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6f9f73e085eea0d04576c77581e3b919799f67c","datavalue":{"value":{"entity-type":"item","numeric-id":6993482,"id":"Q6993482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$06C2E69A-F854-4892-82AB-A32086636E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebce7f998726c33f63b115c413b793fdfc2ab335","datavalue":{"value":{"entity-type":"item","numeric-id":6993483,"id":"Q6993483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$64510A00-DE83-4753-A7A3-11121658D103","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36d5abadbf07d23923c3e363e6676c69e633cc71","datavalue":{"value":{"time":"+2025-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6993484$1035B906-7C67-49F2-9D3F-C9A2D165198C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993484$23EC94A5-BCB7-43EE-B5AD-2A8699158E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993484$B3035915-9EC4-4253-9BE8-9028121893E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993484$C8A61E55-336D-42C7-BBF7-006E207ADFF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1232308612876b4f8a5510bed20a1d3eb50bc7d9","datavalue":{"value":"8030855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993484$A835A21A-A747-4062-8E7B-05B7FD9AE520","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993484$C208578A-D591-46E8-B946-A1DEDF410631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993484$7F815CE2-BB75-4775-9AC9-B718BA8F3182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a42211baebf8e4c42bd364e772ea062582ecf1e","datavalue":{"value":"Koopman operator linearization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993484$7AAC8792-95A5-4B83-BEA4-22F0FCE46DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993484$26F10709-7E7B-4F36-8D1F-26CC1880C120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4eb58354b3c549322771087f8738a33713616b","datavalue":{"value":"signal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993484$86537A52-DFEB-4B11-9775-A5A078C2225D","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":"Q6993484$C33EB64F-6D5D-40A6-8FE8-2EE67AD53C5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$27D60ED0-CFC4-463C-9EF0-2CC9EAAE5F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4210c8aea09880546d29e9e230c6a0170c66e8c","datavalue":{"value":{"entity-type":"item","numeric-id":2151263,"id":"Q2151263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$A1AE94AF-36E7-4187-B420-9A0F7E6276D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492fc584e9c604ee4649f44bb0a592d55595cc7f","datavalue":{"value":{"entity-type":"item","numeric-id":6487327,"id":"Q6487327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$05244ADB-EF4B-42F1-9AAF-811B0D653930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1aa8941a9714affaf65c52158d6b08a8d5f30ee","datavalue":{"value":{"entity-type":"item","numeric-id":5239213,"id":"Q5239213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$1DCC7DE4-4ECB-4699-A94B-BC7C3C3BF5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6392a2b783c04ca9495be6443303923047819c92","datavalue":{"value":{"entity-type":"item","numeric-id":5230606,"id":"Q5230606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$6FA9C335-2970-4C68-A96F-871F2AE1CAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e16c13edb03090e9dac8b50ea3feefa038939378","datavalue":{"value":{"entity-type":"item","numeric-id":3460587,"id":"Q3460587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$10B27619-DA57-45EA-A87D-1B2C7F987EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$1BA19B15-C7FC-46FB-8E7F-993A3A7F249B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8967b41cee834110af61a78cae027299233470b","datavalue":{"value":{"entity-type":"item","numeric-id":4957696,"id":"Q4957696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$8C819D97-AC28-4DD1-B6F7-0DE38C7E7153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c91fe8a80f6182bf82cf8c569e8bbd2b51d93d0","datavalue":{"value":{"entity-type":"item","numeric-id":5146360,"id":"Q5146360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$BC901526-2AB5-4499-998E-681E2E85BF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003f1f74a7ddc195e9447ac551c87c15f269c40d","datavalue":{"value":{"entity-type":"item","numeric-id":4478017,"id":"Q4478017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$3B88A4CA-D811-455B-96F4-BB13E627636B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79962f87e08c1be31e03f53f30000437d0116be6","datavalue":{"value":{"entity-type":"item","numeric-id":1796994,"id":"Q1796994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$D3F0D4CB-FC71-4BD1-983B-B9B8FC9DC57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e87c916fb74cdf6b7545219a9d9e0af42288b4c","datavalue":{"value":{"entity-type":"item","numeric-id":2957673,"id":"Q2957673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$3F846277-2F84-4912-ADBC-8C9795C077C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4257b5e2db7d3f37d06c4d752c51c4e9ea7d8d","datavalue":{"value":{"entity-type":"item","numeric-id":3028795,"id":"Q3028795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$2FB7CFA7-68F5-4A4B-8D4D-FBC813300749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a6397f8b1a67b35a942cb0babbabd1a9b82bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4808034,"id":"Q4808034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$FB21D7E2-CDD1-4AFA-899C-06636CB1A970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$9441D99D-08EC-40F8-9098-9F0E2E6B8717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0af101ec2b4a57a5bd6580fb73a1e1551fc121e","datavalue":{"value":{"entity-type":"item","numeric-id":2985883,"id":"Q2985883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$69C67548-46B8-4854-9DC8-91463A9A711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9def7019b40a9a030aea096150fea5a811949a8d","datavalue":{"value":{"entity-type":"item","numeric-id":6190317,"id":"Q6190317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$9D0533E7-82D4-4C2D-9CDF-70BC4F929B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80eaa52138fe6dc1cc5abd1424bc7779edb1d9a","datavalue":{"value":{"entity-type":"item","numeric-id":4689064,"id":"Q4689064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$53C51CBD-8C19-4735-BE0C-8923A7954113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820738a090159326019a3bfeea91c7b5c48d8884","datavalue":{"value":{"entity-type":"item","numeric-id":2986759,"id":"Q2986759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$6E4A6B6F-96FB-4994-B8F6-6A52AED16FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08705741f8ecac19d762698e0493c8dc1d9a7fba","datavalue":{"value":{"entity-type":"item","numeric-id":3993512,"id":"Q3993512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$29A23205-B126-416F-9AEC-09ACB67618AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7288fce2854898a0ec4db125404d3829d2f3776","datavalue":{"value":{"entity-type":"item","numeric-id":5146373,"id":"Q5146373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$9D09DCAF-E5C1-4DBC-9F11-CF4FAED2A19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db4b4e19f60fb1a14b070e8118161e53d33dcb0","datavalue":{"value":{"entity-type":"item","numeric-id":897161,"id":"Q897161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$8F366C41-0C85-4D06-B657-F668262D4387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d91c8894973de1c318f03d56616c680a7d9ff2","datavalue":{"value":{"entity-type":"item","numeric-id":832206,"id":"Q832206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993484$EE8D1D23-D5FD-47F7-A044-8A7A787C8903","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Falsification using reachability of surrogate Koopman models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Falsification_using_reachability_of_surrogate_Koopman_models"}}}}}