{"entities":{"Q6514985":{"pageid":14093944,"ns":120,"title":"Item:Q6514985","lastrevid":40024280,"modified":"2025-02-11T13:08:53Z","type":"item","id":"Q6514985","labels":{"en":{"language":"en","value":"Model-Free Verification for Neural Network Controlled Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6514985$50741A30-FD92-4D41-91D7-6E4159F45142","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e4877cf3f4ebf38f37b9a8d488fe176e58274b2","datavalue":{"value":{"text":"Model-Free Verification for Neural Network Controlled Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6514985$2F7C31C1-4370-4457-B17C-1F0DAE4493E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d23891cce24ad97b94dac2acd5ae91dbed802f62","datavalue":{"value":{"entity-type":"item","numeric-id":374487,"id":"Q374487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6514985$21CDBFF2-2B53-42CF-88D6-5C3ABE4A0A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedc2a8acdd72811a51029b3a4ef15ac5fe7624f","datavalue":{"value":{"entity-type":"item","numeric-id":6514983,"id":"Q6514983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6514985$E9540F28-EA70-40AB-9B40-A03A3F9FEF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82b15599abd51307e8a6d2c38c031ec457772adb","datavalue":{"value":{"entity-type":"item","numeric-id":6514984,"id":"Q6514984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6514985$E9671E97-78C3-4592-A212-B3241778FC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2057936fe9539eab5bf0f4576738eb905a25a209","datavalue":{"value":{"entity-type":"item","numeric-id":254571,"id":"Q254571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6514985$A5BDB091-795C-47D2-AD36-501CC1CEC547","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":"Q6514985$EB1275CE-2139-4D48-9943-1B2475C3B3C8","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"3551145f88e6ef30c63ed9b734e63fd8bd573d6a","datavalue":{"value":"2312.08293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6514985$C80CE207-F0E1-404C-91FE-ADA4E31C002E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6514985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6514985"}}}}}