{"entities":{"Q2147216":{"pageid":2157959,"ns":120,"title":"Item:Q2147216","lastrevid":73435221,"modified":"2026-04-14T15:58:17Z","type":"item","id":"Q2147216","labels":{"en":{"language":"en","value":"Property-directed verification and robustness certification of recurrent neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7546614"}},"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":"Q2147216$BFA88397-0F41-40DD-BCCD-F63B30FDBDA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82fc4ab2da6ed094f6eb52a6b814b4a6f18fdec0","datavalue":{"value":{"text":"Property-directed verification and robustness certification of recurrent neural networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147216$B59DBA01-C521-4564-A1D7-BC3543F8E786","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7d503116655c59aa77845fca0c6639401c2723b","datavalue":{"value":"1497.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147216$4B7BF77A-9F96-4AB3-A3E5-727AEE36F267","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82463864e0b06549670788509f2fde20a35fa87f","datavalue":{"value":"10.1007/978-3-030-88885-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147216$63CEDFD3-9B82-4E07-A5E7-6811EDD87346","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0944675518f51c9d345290654618d314c9ace92","datavalue":{"value":{"entity-type":"item","numeric-id":2058565,"id":"Q2058565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$E58DBBE9-A759-44D7-A66A-AA9D5484D192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$EF9E7831-708E-470B-B8C2-0E385F80EE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"380a716c90a6ec4c02942aaacbb2cd16d6008f90","datavalue":{"value":{"entity-type":"item","numeric-id":537998,"id":"Q537998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$920CB2FF-715D-479F-831E-6C2810817B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f86559200fc39704a1cec91f9797e0c3086cea8a","datavalue":{"value":{"entity-type":"item","numeric-id":2147215,"id":"Q2147215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$4B43E439-E264-4B5D-8558-8BD05F9D06AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bf51f0ae4cf797400fbd6a96d9259a51cc234c1","datavalue":{"value":{"entity-type":"item","numeric-id":1693097,"id":"Q1693097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$FF004CFC-706B-4464-B455-3A476C4B0C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$7110A11F-5D4A-4C1F-BFCE-13C898E95DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$4ED1DC20-214C-46DD-8D63-BF9006C1B6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a84a7eb616e0cd93b88d763b8704865b733b46","datavalue":{"value":{"entity-type":"item","numeric-id":444482,"id":"Q444482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$9B84D43A-1999-416F-BA5D-E104CADABFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ea66c99404727bd3781ae03a59b6d43ee77ab6a","datavalue":{"value":{"entity-type":"item","numeric-id":409003,"id":"Q409003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$52A64C72-4145-40BE-AB91-4EBA77D04199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9211995ee2c9b003f62b5c38911c4d992017c369","datavalue":{"value":{"entity-type":"item","numeric-id":314812,"id":"Q314812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$C674600D-52F5-47CC-B28F-E120B6BEBC5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa612dd361e50848b97ee1c8010430ebd9d5009","datavalue":{"value":{"time":"+2022-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147216$98FA7AC0-60A2-4AE2-83BA-AFE6033B5BEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147216$5A76B2BE-CD26-40FB-861A-C546F9CCC659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147216$6C814D65-EC3E-434E-9284-8B8E117F62CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7d0df3be5d45ca020e5ff95caf395a3b803f27f","datavalue":{"value":"7546614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147216$CA2F15CA-4DB5-4630-824F-3AD98F65B7C5","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":"Q2147216$3970F327-2207-44CC-A8B4-9ACE8B0157A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d15c06610501fbf4967911f20b4eed1f7ad3cdd","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88885-5_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147216$2E73B014-F0F3-4A4E-9AFB-EAF8DA3BCA33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba4135d239cbbf5695b870ee27ad166388a0580e","datavalue":{"value":"W3206992005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147216$70FCB1BF-D860-4CEA-8482-E2B5D141DAEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$257259B2-08C8-4738-8BEA-3031280B6876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$D00D5189-2B93-4BB9-B2E5-3597BE5F7E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42034f1c46f6c5ff14d312168261c88428a17125","datavalue":{"value":{"entity-type":"item","numeric-id":2428675,"id":"Q2428675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$726201DA-D886-42AC-BF50-8D3316992482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$C3DB1A7A-6603-447A-A978-85601A8499ED","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":"Q2147216$730C1B6B-6444-41F6-877D-B1CDE323F2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd85271c66521dcfca1826214de4024b6500ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4807832,"id":"Q4807832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$4641C9BB-BF26-47D1-B37F-BD26300245A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cbec5912f55ed72783405c1e02be8361bb44687","datavalue":{"value":{"entity-type":"item","numeric-id":1403072,"id":"Q1403072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147216$01CEA8B9-5B8B-4C30-AA87-8628F0E3B742","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d64f097ff2f5c48daaae55323ae0d3305c1db980","datavalue":{"value":{"entity-type":"item","numeric-id":6485856,"id":"Q6485856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"903769b3f84be6c3d20a8c361c706d3524ff3bcd","datavalue":{"value":{"amount":"+0.7995718717575073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147216$72FB0DE8-8A51-4777-A854-25598A8D12E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf24e9f721fb827a7be4bf40b8d0b1b20ddec3c","datavalue":{"value":{"entity-type":"item","numeric-id":832168,"id":"Q832168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54cca1a906a17a4b521ee03cd030baec3f9dad1","datavalue":{"value":{"amount":"+0.7756574749946594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147216$803C0853-36B9-4834-B7B9-076D8D5875F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e32d0928afa227b930f11aa7c1b20da6e71bb73","datavalue":{"value":{"entity-type":"item","numeric-id":2165516,"id":"Q2165516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83483de7f62e5a0d15b1a75d74747a0b4e4d1631","datavalue":{"value":{"amount":"+0.7417427897453308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147216$CC83C97A-EB23-4A14-BF21-6C3DE0307CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c35f16574fc06d6eccd38fbf10b4591d2b7727","datavalue":{"value":{"entity-type":"item","numeric-id":6108442,"id":"Q6108442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1e31d9d32de4cab765fd045280bb7ae4d2008e","datavalue":{"value":{"amount":"+0.7136484384536743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147216$255DF1E1-414E-47BE-961E-451ADBC8D4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af31fb59eda929cea216c67c45e6e252ec9e724","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be447c47e836f791d926a5b3ad8b1cd696a437de","datavalue":{"value":{"amount":"+0.6958411931991577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2147216$F73AD068-1CDA-4A85-AF60-B020A60C0929","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Property-directed verification and robustness certification of recurrent neural networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Property-directed_verification_and_robustness_certification_of_recurrent_neural_networks"}}}}}