{"entities":{"Q2695495":{"pageid":2706239,"ns":120,"title":"Item:Q2695495","lastrevid":79289150,"modified":"2026-05-06T13:34:44Z","type":"item","id":"Q2695495","labels":{"en":{"language":"en","value":"Reachability is NP-complete even for the simplest neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7670978"}},"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":"Q2695495$853DB354-CD5A-4EDE-A4FC-C046B43311AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc521b0ba970a3b3ef1f93ba76f7a4e011366534","datavalue":{"value":{"text":"Reachability is NP-complete even for the simplest neural networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2695495$0FF88FB4-F57C-4F6B-8DE5-02EF8339E950","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a1720dd7109aae718ea6880fbfa8b323faab861","datavalue":{"value":"10.1007/978-3-030-89716-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695495$33C848A4-1E26-4349-A205-90AF089DD18D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5b4d45632682bae7fb6a46711cb4142f3fea250","datavalue":{"value":{"entity-type":"item","numeric-id":2105476,"id":"Q2105476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695495$CC47AFE2-CCB5-4247-8AF3-F4B895EC1292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695495$B3B299E6-94A6-4D71-A65A-D394B4B13329","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3ef9f4f305b7318a6b75fa16ddb737b2de6b534","datavalue":{"value":{"time":"+2023-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2695495$6B064774-A0FD-45B4-8D36-B9C7EE770BC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b304bb172b5b5dde0f6bd95869fb7460b01096e3","datavalue":{"value":"https://arxiv.org/abs/2108.13179","type":"string"},"datatype":"url"},"type":"statement","id":"Q2695495$B8A0A266-899C-4A35-B1E4-83A1ED76DBEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695495$F3889D9F-2D12-40BE-916E-A69F7A183286","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35bbc66d7974ec2fd606819113242f319d5c6ad1","datavalue":{"value":"7670978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695495$CE69A679-7E69-47FD-8FA0-58723ABE7298","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695495$52716FD6-433D-4CEB-BE08-B4D25E6C8521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695495$C3E3DA9B-AF78-4910-AAEC-BDA88E426757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3431022e47f4c7c698b44b873df60fa42bbd492d","datavalue":{"value":"formal specification and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2695495$BF303605-FBD2-42BD-B965-2283B09EE04C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77ee4d4f0c080b590cc7dcb6cd2fa06be781d021","datavalue":{"value":{"entity-type":"item","numeric-id":54222,"id":"Q54222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695495$834808F1-055A-42DC-B3DB-A4B1D495EB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdeb5563f9f4ae0d5cbfbc817bf66308e0a0c1c4","datavalue":{"value":{"entity-type":"item","numeric-id":32917,"id":"Q32917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695495$AE3D327F-63BC-4211-AECE-5DA988646F69","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":"Q2695495$11DB0424-797D-41E7-95BE-44C19496698E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8baf515eeabebaea0b084610b82ba471a267d07a","datavalue":{"value":"W3208223916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695495$992A5956-B408-47F8-B884-53FFD7A8A45A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1289f68cf63cc7e3a789b4e495dbc50e895bf33a","datavalue":{"value":{"entity-type":"item","numeric-id":4586450,"id":"Q4586450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695495$5585DA08-01F0-44FC-9E95-58CA8239277E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0530cff2ea3a00fdf0e71f199a08187bea8b91","datavalue":{"value":{"entity-type":"item","numeric-id":5096089,"id":"Q5096089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695495$943F7448-D7DD-4EE4-9ADC-90680066F53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdca663ddce1210e95fb4bd242238ce255b275dc","datavalue":{"value":{"entity-type":"item","numeric-id":2026298,"id":"Q2026298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695495$CD172A61-6955-4E5F-8CE7-004AC7B0FE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b86da6901907b4b60c4d755cbdefb3d87af7f5","datavalue":{"value":{"entity-type":"item","numeric-id":761967,"id":"Q761967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695495$39723E70-69AF-45A5-A702-2C268F4E1E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d76610be2db7a475aae1f8e37aec5be549c297","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695495$923762C0-9D0B-4330-99B4-65EC06CAF152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc9f7ebd5f09d49a9e465debd4557920ac25257","datavalue":{"value":{"entity-type":"item","numeric-id":6108442,"id":"Q6108442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695495$678CF0FC-D2A1-46F2-B11A-4CE68ACE495A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability is NP-complete even for the simplest neural networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_is_NP-complete_even_for_the_simplest_neural_networks"}}}}}