{"entities":{"Q832168":{"pageid":834016,"ns":120,"title":"Item:Q832168","lastrevid":64706508,"modified":"2026-04-11T21:40:53Z","type":"item","id":"Q832168","labels":{"en":{"language":"en","value":"Scalable polyhedral verification of recurrent neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498139"}},"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":"Q832168$0D4DDCA3-5154-4186-8ABF-2AB89943891E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9c605516b31b5d6d08a94534a02da6ededa7139","datavalue":{"value":{"text":"Scalable polyhedral verification of recurrent neural networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832168$843810CC-3D24-4EAB-A275-78E6D7329211","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"814a82afed34b772dea2a9315b0f8ae0cfbf2a09","datavalue":{"value":"1493.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832168$9C7AA56E-4D08-4C3A-B192-819C7271DFCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f2a0b873ab7f46f5e29299d88b669871aa5581b","datavalue":{"value":"10.1007/978-3-030-81685-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832168$A987D7B0-2315-45E5-B9C3-9806A1E213EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d138f8797b5996c53e0789c8b9aa2b8fb2d1286","datavalue":{"value":{"entity-type":"item","numeric-id":832165,"id":"Q832165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$CC7D72DF-B66F-4742-9283-86017288275E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06afacdf62bb911919165169117ad6a2fd93d6ad","datavalue":{"value":{"entity-type":"item","numeric-id":832166,"id":"Q832166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$D32ACC85-C525-413A-8B2A-D88A83934753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c3e8fee6d91f3b3b34c4fe192bb8b40f28bb8b2","datavalue":{"value":{"entity-type":"item","numeric-id":832167,"id":"Q832167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$AE0D153C-DFBF-4986-842F-F01B05F83FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a255e7cccd6ab0db9b345e7e07f75e1563b1ace","datavalue":{"value":{"entity-type":"item","numeric-id":326864,"id":"Q326864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$287DFDF1-3080-43F5-915F-2A9F34C3F2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58e1f45a09a9a289346056c16d3533cd18ecb557","datavalue":{"value":{"entity-type":"item","numeric-id":681345,"id":"Q681345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$76D37252-0418-4C56-B840-F39D04B6117A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3e55c227f8b64771c2649b094e2a0e25a9ba811","datavalue":{"value":{"entity-type":"item","numeric-id":2164252,"id":"Q2164252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$9E30B93B-9E00-4B16-A36F-B71AF46D6E9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832168$BF1ECDC7-CAD0-4FEF-8FFA-762124D1D585","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73c43d221216f07f70ba52167a3cd8c53fe353d0","datavalue":{"value":"https://arxiv.org/abs/2005.13300","type":"string"},"datatype":"url"},"type":"statement","id":"Q832168$71C0B1A5-92E9-4216-8B7E-74224FD42CCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832168$5FA3B037-ED84-4AD8-8E76-490A052877C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832168$318238DE-A5EC-4807-B6F3-B95EFCA3277D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"090113fdfa74cc3569e836b393bf817736151f85","datavalue":{"value":"7498139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832168$0DCEBF63-CFF9-4D42-ACDE-AEF0718FF833","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82c623d681f15a4d9c36e93eec1d6544fabe005f","datavalue":{"value":"robustness verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q832168$1787E3E9-C324-48CB-BCA1-5FD4BABE8D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75c959425daa579c0648cf50fbd56f102f0c3d2","datavalue":{"value":"polyhedral abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q832168$3FD6AE31-EA9F-4B6E-92F4-F34FA52215FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bb3d834d03fe1fa31207629b1eb5842c280b221","datavalue":{"value":"recurrent neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q832168$F12A39A3-3D6B-4A48-9A1C-CA853F920281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a91032915a0208b56adf11137400322b63166748","datavalue":{"value":"long short-term memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q832168$E88D65E0-031B-4B75-897E-232C6BEF327A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q832168$F237A309-3ECC-4772-A609-57DDB389F6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e9037977048cf06cb1f5034f4bc4aece6d5723b","datavalue":{"value":"speech classifier verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q832168$C8165DA4-C7A7-4A91-874D-9D513AA89CCF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a28c49518b2391a3c9e2da3891679e04c0308e5d","datavalue":{"value":{"entity-type":"item","numeric-id":32752,"id":"Q32752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$D42EE49D-9000-4516-A5EF-D19D5E89B290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"056dc63ab571b8b3aa7bed7580d01f4eb97aa08d","datavalue":{"value":{"entity-type":"item","numeric-id":56129,"id":"Q56129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$F8B0A273-B190-4394-A0D5-92DE04864DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cf1d641c63f4af32ac3c0856508572ebf5960c9","datavalue":{"value":{"entity-type":"item","numeric-id":35497,"id":"Q35497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$2F2F40C9-1D86-4793-AE3B-075491369B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"30bf75efb36ce548a631ba3177096a709329cc05","datavalue":{"value":{"entity-type":"item","numeric-id":34000,"id":"Q34000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$B8D2D9B3-F076-4CA3-AFB1-DAC0F634ACD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$E125660C-BF04-4DE3-84B6-4446E3228B0E","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":"Q832168$E918FF34-B8C9-4F76-A5A5-F01E12EAAF51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37ac01742cdc6f5ace61dbbd0c1d4aeb453e928c","datavalue":{"value":"W3184424313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832168$8E8BB559-893D-46B0-A431-74BFABE6B7F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db580a888bad472d3e5863a45b0476c5a437f237","datavalue":{"value":{"entity-type":"item","numeric-id":1119552,"id":"Q1119552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$549FC3A6-0C54-4950-9912-E44B620CE4B7","rank":"normal"},{"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":"Q832168$4D2C6EBC-882D-4CFA-B193-085AA8B3FDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$E25EDBF4-460E-45FB-A1F3-AD8069E03054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c11a3656bdd9767b08f88d08fbce19aff9f396","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$2B8FEB63-AD59-4056-9633-93D32DB6EE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$22FE16DD-41FD-419C-A6DC-2AD248F4AD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05f84c1eae7d58b1794ec71b77ea8963935fe7a","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832168$91745FE6-5900-4A2A-A2C2-38E5B7C75555","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":"97e741f68e8cb4f4c4a39f65a60c5c0f000cc6ae","datavalue":{"value":{"amount":"+0.7763670086860657","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":"Q832168$552BC160-6793-4E62-80B5-6814436B1098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67df03dfec7b065915edeb5eef477accec0e2c62","datavalue":{"value":{"entity-type":"item","numeric-id":2147216,"id":"Q2147216"},"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":"Q832168$A329D21A-9413-4FF0-89EB-9397167F875F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48df00c9c5e50ee749ea5374ace1386d1a8698ec","datavalue":{"value":{"entity-type":"item","numeric-id":6487315,"id":"Q6487315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e56dd3d2d26ce21fea43d706276da6c0c6b0c55","datavalue":{"value":{"amount":"+0.7291263341903687","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":"Q832168$C2253455-8156-4D55-AF01-425245C33AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6db2590a686e2cd107be2bfb07bc1026cc813b3b","datavalue":{"value":{"entity-type":"item","numeric-id":5096089,"id":"Q5096089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c01581ad1bf6909e6de1088e2cd208a7049846","datavalue":{"value":{"amount":"+0.7262425422668457","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":"Q832168$DA07BDEF-9543-4105-8B8A-C90DE82E41B7","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":"f3e8a7124b7ee2cec125153f8250290db1b590c8","datavalue":{"value":{"amount":"+0.723928689956665","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":"Q832168$ADDF4BF7-A925-4F69-9FF8-62A2689B1A09","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":"Q832168$D73D8DC6-D3BD-48E3-97DC-D6B0FB9512E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scalable polyhedral verification of recurrent neural networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scalable_polyhedral_verification_of_recurrent_neural_networks"}}}}}