{"entities":{"Q6904625":{"pageid":20927095,"ns":120,"title":"Item:Q6904625","lastrevid":84171995,"modified":"2026-05-13T00:22:53Z","type":"item","id":"Q6904625","labels":{"en":{"language":"en","value":"Extracting forward invariant sets from neural network-based control barrier functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8116975"}},"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":"Q6904625$B244DE00-D5CB-4B23-8316-B36D43ABDB11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb5d402c56624f7fd7d336348fc9626e1b7f09b5","datavalue":{"value":{"text":"Extracting forward invariant sets from neural network-based control barrier functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6904625$C1401042-C4FD-4071-AC58-5184A3160725","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7800f639e6f84a66dc8fd1864e21cea5b8f3938","datavalue":{"value":"10.1145/3716863.3718050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904625$1C00BD80-6243-45D4-A39D-49C8A7567B1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baff13fba00e426dc840c966c4253dd5da794db4","datavalue":{"value":{"entity-type":"item","numeric-id":6904624,"id":"Q6904624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904625$85785F8B-A4F5-4E60-91B2-2384682D383A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1ffb086d327bae1f380896b28a7de74e56fc337","datavalue":{"value":{"entity-type":"item","numeric-id":5014798,"id":"Q5014798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904625$404F283C-7E9D-449B-A7C7-9A7235BAE4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c21024dd91d241763e80a44e8417410f31e6a183","datavalue":{"value":{"entity-type":"item","numeric-id":1987259,"id":"Q1987259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904625$F6332209-959C-413A-91A7-B4C7C225B85C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb362a705940cd90fcce9cff27386cf2e571803f","datavalue":{"value":{"time":"+2025-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6904625$2466D2C7-C4CA-47E8-8751-B794222A7A77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904625$1CEC66DD-CD68-4A19-942A-4747737B25FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904625$6F5FCA8B-4632-4F4D-85B1-7908F73D4A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904625$A7D980C8-1BB5-4AD5-9D30-0C5C3281CD03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cf0dbf8bcf3c6d39599ee7d94fc4ccde86959c9","datavalue":{"value":"8116975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904625$4B1B6E93-296F-44EC-95E1-15F601DAF0D5","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":"Q6904625$40FEFB78-A79D-41DD-8B4B-34E720BAF8D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e32a01f1d588f6d8c933d64e7a17325dbff022c","datavalue":{"value":{"entity-type":"item","numeric-id":1917258,"id":"Q1917258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904625$2972F1B7-1469-41ED-9196-319FC8307AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cfa55ee8e4f8391e83616d39fe30a883d3d4b4","datavalue":{"value":{"entity-type":"item","numeric-id":3218178,"id":"Q3218178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904625$DE268F8D-D49C-4B49-9635-A0880613C53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bb2a78ba34e8728e91d77da2bf6df4e36bb56c","datavalue":{"value":{"entity-type":"item","numeric-id":3740283,"id":"Q3740283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904625$F354B181-927C-4C25-96B4-A11C86F6E593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c942b0891b96af25afc0873656ff4bbf0310bbb7","datavalue":{"value":{"entity-type":"item","numeric-id":6120722,"id":"Q6120722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904625$B44BE5C9-4CEE-4DBC-8B5A-14F9D9529D23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extracting forward invariant sets from neural network-based control barrier functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extracting_forward_invariant_sets_from_neural_network-based_control_barrier_functions"}}}}}