{"entities":{"Q6967321":{"pageid":21306990,"ns":120,"title":"Item:Q6967321","lastrevid":84054338,"modified":"2026-05-08T22:53:52Z","type":"item","id":"Q6967321","labels":{"en":{"language":"en","value":"DNN verification, reachability, and the exponential function problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056643"}},"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":"Q6967321$0AE9009A-D742-4AD0-9B3F-1BFABBB97609","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5edff2e2a709dab4636732adcac6fc8bf9d47cfa","datavalue":{"value":{"text":"DNN verification, reachability, and the exponential function problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967321$3B148770-B20D-4F32-8003-E9C63489B282","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d05c9e9302d20a70b9a012238963cee1da17e0b","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967321$A79793E0-F906-4C17-BA44-B5F60D9E053F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"733ca5326c9c2e57b6a6c5e45274871035631b5f","datavalue":{"value":{"entity-type":"item","numeric-id":6967320,"id":"Q6967320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$BF60D288-4D6A-4385-8F1A-B32B740640D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$DF7C8E18-38C1-4C85-B4D0-3DF6EE74CF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$57C13C9A-2B9B-4DD5-B40C-00C0DD7C6FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"051db72c27a6ffd1dc64c69febb1b92cb862178b","datavalue":{"value":{"entity-type":"item","numeric-id":2151236,"id":"Q2151236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$E160280A-BD44-46AC-A2D6-A42A98879C5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967321$E372A21E-6BB1-41DA-890A-1D3EC813114F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967321$7CD096DA-6C26-4F8D-A200-E9EA0006FACD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c954556fda11f57487e72414df2565ab0255317a","datavalue":{"value":"8056643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967321$940E5EAB-ED64-45B8-80E5-E66EF4181234","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$50117124-2418-45A3-9161-08BE9EC4D006","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967321$F22F8A6F-DBA2-4F38-B438-B87C25416942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967321$25A5388C-9056-474F-B095-B91394BC9931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45834fdab123fb26e935bb7ca4decfccc85c01c3","datavalue":{"value":"deep neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967321$E4820904-9691-4F04-A0F7-A1973D0EE59C","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":"Q6967321$6AFF6B0D-40C2-4F3F-8EE6-FCCC337BABE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"befcd603ea46f97b39b4dad5de43a9824ef49081","datavalue":{"value":{"entity-type":"item","numeric-id":6194598,"id":"Q6194598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$E098D999-48F7-4D8E-B419-6BFCDDAD4F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63598ebd52d831a12f353a583aeb504550a49674","datavalue":{"value":{"entity-type":"item","numeric-id":2225075,"id":"Q2225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$4C30A6C8-FCF6-44D1-9645-AD4E134904D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e87c28e491e650a4fbc04cfacb963a7c323d09","datavalue":{"value":{"entity-type":"item","numeric-id":3088050,"id":"Q3088050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$0F0F8F35-F7DB-4ECF-B95E-DFE599735A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b46d5f65e8737cac806fe4f42d3b4d6ec963c54","datavalue":{"value":{"entity-type":"item","numeric-id":556677,"id":"Q556677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$749DA45C-CB3A-4E6A-9233-BC320DC9BCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0262656e41c382f9f5a9a7b3bb892ab61ed599","datavalue":{"value":{"entity-type":"item","numeric-id":5270493,"id":"Q5270493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$53456B55-290F-4C3D-B779-65A595354139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0560d1c327ad31efacda0335b3172566e741ab91","datavalue":{"value":{"entity-type":"item","numeric-id":2151229,"id":"Q2151229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$AC04ACB1-BBD9-410B-9223-00FDD84CA629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10078acdb894426689781c3ba4c2827881f25f6","datavalue":{"value":{"entity-type":"item","numeric-id":6967321,"id":"Q6967321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$8A7FA1DB-437F-4C1C-A49E-788E19EA1834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbd0823fa5b5a36751278925bae4f67a5044c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5239233,"id":"Q5239233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$C5D72735-70DC-438E-B24E-3FBD99CB4217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43118d68ea3672ae3a4c154ccd8898e867ed4748","datavalue":{"value":{"entity-type":"item","numeric-id":4397030,"id":"Q4397030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$8FA0E3AB-B511-4217-98DE-223A421BD788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$D7A91F07-B07E-425D-92EF-481A101A103B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fefcfa398acb80ec88150255db1a4508f3ae3f73","datavalue":{"value":{"entity-type":"item","numeric-id":3655209,"id":"Q3655209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$636DC550-9155-4983-99DC-CA67CD4386A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8d495c451508305cdb95eaf5ba926efab7bae","datavalue":{"value":{"entity-type":"item","numeric-id":5565112,"id":"Q5565112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$2917FD3E-FF1D-4F11-99C5-17A7CAAC8D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2f566c3aa3f3fc022c74eb1a7ac1442e73983a","datavalue":{"value":{"entity-type":"item","numeric-id":4385440,"id":"Q4385440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$26CE7887-FE8D-4849-983C-5315655C0BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"763fb4f5fc0fc541642b9ebc33ba09f34743c5ff","datavalue":{"value":{"entity-type":"item","numeric-id":2695495,"id":"Q2695495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$9D7B9257-CE25-48F9-839B-F74EF0D3818B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7676fca4713644d932812db77235ae4be47b2c44","datavalue":{"value":{"entity-type":"item","numeric-id":2330586,"id":"Q2330586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$4915E238-74C5-4784-ACB1-5567BBE09C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$EFEB0BC2-234A-4244-A260-EB7B61F9015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c91fd99660da0e2343b02531a0a275f1692081","datavalue":{"value":{"entity-type":"item","numeric-id":5792485,"id":"Q5792485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$6C88F78E-CBF5-4FCF-90F2-97A4F924D19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87660c9c5fdc45e0d7335aa6496613f4289eb45a","datavalue":{"value":{"entity-type":"item","numeric-id":4391214,"id":"Q4391214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$04D87030-D1EA-4360-AF62-863944502157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a748714b8345f91d27541e05f92e23fd3e4dd2","datavalue":{"value":{"entity-type":"item","numeric-id":1853591,"id":"Q1853591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$8A22499E-53C9-4086-BEA1-22908BBBADD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e380f0634e7bb742b5e5f5caa3a75eb92cf878","datavalue":{"value":{"entity-type":"item","numeric-id":2225072,"id":"Q2225072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$ED805DDB-07B2-4F7C-8A87-A9A4207C3232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89672cb0ec7e2254752deb77b4101ebbd474b043","datavalue":{"value":{"entity-type":"item","numeric-id":6654554,"id":"Q6654554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$CDAAAA16-FC4B-4F3A-A1E9-7194D3E3EE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a66c7fd34e955c349d134c6217b2eb4a376c40","datavalue":{"value":{"entity-type":"item","numeric-id":5687291,"id":"Q5687291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$A4473326-6D45-4624-99BE-1F2C53D899FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c97de4f5b61c5674238486af79517fe1fe638e4","datavalue":{"value":{"entity-type":"item","numeric-id":6535564,"id":"Q6535564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$EDA1324B-CFE4-4D89-BCE3-02581406E0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7278bfeaae44013660dcff16955c03eb4e3406d6","datavalue":{"value":{"entity-type":"item","numeric-id":6623010,"id":"Q6623010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967321$ED55A075-0D38-4493-B48E-864C412BFCB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DNN verification, reachability, and the exponential function problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/DNN_verification,_reachability,_and_the_exponential_function_problem"}}}}}