{"entities":{"Q6921903":{"pageid":21034213,"ns":120,"title":"Item:Q6921903","lastrevid":75728755,"modified":"2026-04-20T19:26:56Z","type":"item","id":"Q6921903","labels":{"en":{"language":"en","value":"Formal verification of unknown dynamical systems via Gaussian process regression"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8101048"}},"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":"Q6921903$FF366198-C49D-4A4D-91A8-7709D25059C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd228267a8d450f92c7b447dee2b7afceb8af16b","datavalue":{"value":{"text":"Formal verification of unknown dynamical systems via Gaussian process regression","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6921903$0AF1A29C-2C21-40D4-A98E-C46A45109191","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2260ff5788c175f55b56d6813318213b1bb48d3d","datavalue":{"value":"10.1109/TAC.2025.3532812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6921903$27F5015A-CFDE-471E-AB70-307A62AD64E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c2d7d279556cd1f36b1c88047ac96edbd608169","datavalue":{"value":{"entity-type":"item","numeric-id":6921902,"id":"Q6921902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6921903$360860A7-04C9-47FC-8E01-E955860AAAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93cabda11b21ba70f8ae7fe40e630688977aa7b8","datavalue":{"value":{"entity-type":"item","numeric-id":1693118,"id":"Q1693118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6921903$AE8675C2-1A82-4B8F-8290-5999D156D8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86fac0b7a425e99475edea76d5562fdff16e4f97","datavalue":{"value":{"entity-type":"item","numeric-id":3564134,"id":"Q3564134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6921903$8C9277D3-9894-4B3A-998D-B6BC31022C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a620c04d26114001de711f322b81557eb5ffa6f","datavalue":{"value":{"entity-type":"item","numeric-id":1024928,"id":"Q1024928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6921903$E5D494B8-0ED4-412C-A87D-2E879D2F2193","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6921903$DDD5CFF1-31B3-4654-9206-7804389951AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f9bbcbc314fb12f350c638ec64c57700f49d71","datavalue":{"value":{"time":"+2025-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6921903$54A0CA35-0A8A-4804-9F47-EDD0189E1098","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6921903$A72AD32C-C85E-4368-BC42-6EB739835E20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e2a5ece230521c8c7cb98485b706f4b6520d5bd","datavalue":{"value":"8101048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6921903$8D87CC75-6FA5-4EC7-BDD5-68D74CE4B439","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":"Q6921903$E2F2BB92-63E4-4C37-ABB8-8C9C0A0F3192","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of unknown dynamical systems via Gaussian process regression","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_verification_of_unknown_dynamical_systems_via_Gaussian_process_regression"}}}}}