{"entities":{"Q832044":{"pageid":833892,"ns":120,"title":"Item:Q832044","lastrevid":42717881,"modified":"2025-07-09T11:21:42Z","type":"item","id":"Q832044","labels":{"en":{"language":"en","value":"DiffRNN: differential verification of recurrent neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498004"}},"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":"Q832044$59A2A12F-7526-4CA3-A256-63FFB2BA662F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f3162a2a149b3d180c3a1be44610496f605ac1f","datavalue":{"value":{"text":"DiffRNN: differential verification of recurrent neural networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832044$745EBD19-9F03-4584-9EDA-282D4069A8CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"488f9a8c9c35f3886b42c5f61290bb24b56df1ba","datavalue":{"value":"10.1007/978-3-030-85037-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832044$25CCF036-7014-4CB9-945A-55BF4D228BA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8bcfe37ddb29c4652da229ce7df2a89019ed37e","datavalue":{"value":{"entity-type":"item","numeric-id":832042,"id":"Q832042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$450654E4-E19E-44A9-8641-100E089AE641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b21bc3d0708933d67347488aa81775cad9c0cf","datavalue":{"value":{"entity-type":"item","numeric-id":832043,"id":"Q832043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$C2E5FBE8-8333-42EE-AA08-82F6D4D9C0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10bfeb6e5c3c1810665b004434819ea4b3dc39c2","datavalue":{"value":{"entity-type":"item","numeric-id":526756,"id":"Q526756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$05A5B034-7ABB-4F57-B9C7-3FA0E5CCB4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1bd835aad3f28b70e4d220903c239104ceef70","datavalue":{"value":{"entity-type":"item","numeric-id":432141,"id":"Q432141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$DD472A25-CEAB-4F4C-9A3E-39D083A85702","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832044$B7868AB7-AA56-4CE2-8477-C7DC01F1AF36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba04dd1a11e1377217617c22d33accce3d65507d","datavalue":{"value":"https://arxiv.org/abs/2007.10135","type":"string"},"datatype":"url"},"type":"statement","id":"Q832044$32AA943F-4124-4ECB-8D06-7F1CC1741172","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832044$1E391936-9173-4B65-ACA6-56FBDF33C2CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc2f4336b2c2a6b2773206bc9daed16be2f50c0c","datavalue":{"value":"7498004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832044$E6FD6EF6-3BC7-40C3-9105-8359D3DD34BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bb3d834d03fe1fa31207629b1eb5842c280b221","datavalue":{"value":"recurrent neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q832044$5E748386-BD34-45B3-A6EA-C623E1E93B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b72f7030aa605b53edf6c7e3a5027265e502f3","datavalue":{"value":"resource-constrained platforms","type":"string"},"datatype":"string"},"type":"statement","id":"Q832044$6DF6956B-DE0C-4FD0-8968-3F5356003956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098c0877900aa22001c7fc924c15afcf1812fc44","datavalue":{"value":"compression techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q832044$6D7743FD-3BEA-46F2-863D-5F0405495273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0674aa5588b976345bf8588e8e5c5cb29110e3e8","datavalue":{"value":"differential verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q832044$A464200E-39CE-49CA-B6A8-29ABCFD9DF0D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8221baec6867fe4331380011ad42b8a20aa2e776","datavalue":{"value":{"entity-type":"item","numeric-id":5974598,"id":"Q5974598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$110ABEBC-F568-4FC6-B23B-34D0A12AF7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b656aea9025dc14c32211c148a1ab9ac957193ec","datavalue":{"value":{"entity-type":"item","numeric-id":5973380,"id":"Q5973380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$7B20F49A-1A0E-49BD-90E0-4A95B1371223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d187e416ecb9c67cad8c8495bf71d6c77cc91c0","datavalue":{"value":{"entity-type":"item","numeric-id":1351995,"id":"Q1351995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$64E94FB5-FB54-4CB6-9147-DF1DFC57C562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3e1ebb2ee4283095295da6cc2c7f9f64be726af3","datavalue":{"value":{"entity-type":"item","numeric-id":5972861,"id":"Q5972861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$3A930EB0-99AF-4659-9D38-C5870554C678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9626ce25464c95cc7e23fb8fe69a6061f0533df","datavalue":{"value":{"entity-type":"item","numeric-id":32750,"id":"Q32750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$D8F20509-B1D9-40FC-ADFA-FD690AD66CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28b262f5075491f23ac2822633358bf2834d09c0","datavalue":{"value":{"entity-type":"item","numeric-id":56246,"id":"Q56246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$2CA374E8-E209-4C59-BA8D-45D0076CA905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e114fabacca379e1dc21384fcc7e0a16fc37c466","datavalue":{"value":{"entity-type":"item","numeric-id":56247,"id":"Q56247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$D662D047-AF30-4A01-AB77-FF46A420B39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effe9c2d4219217194a88b4011545e9a51179824","datavalue":{"value":{"entity-type":"item","numeric-id":1353190,"id":"Q1353190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$2CB6687D-4F3B-4784-BA8E-BE004A73B46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"03751e842a825e216f5700a4e5fda1e5fdcad9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1353188,"id":"Q1353188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$027C3559-1AD9-4640-B41B-21B6899DECA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"952fcd03c119783a6690a1a02f6d19748c140805","datavalue":{"value":{"entity-type":"item","numeric-id":24783,"id":"Q24783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$3CCEDEC6-44E1-443C-A52D-12F6F6FE3788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fac9f12a57b80383023f1d0f3d27b15b8df1d760","datavalue":{"value":{"entity-type":"item","numeric-id":43078,"id":"Q43078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$9ABEA5A3-EE24-49C5-9BC8-DD7BF8407352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$39AEA17D-CE83-4716-9F3D-134146AF2D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"273a55e912b533b7db7ca824eda3b520cd983c15","datavalue":{"value":{"entity-type":"item","numeric-id":43079,"id":"Q43079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$B301E1D7-7607-467E-AD58-1B51E0C4F951","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":"Q832044$CE88CE45-8BC7-43AC-B2E2-E89C6A8F9473","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"056aa393ca8fc950856e0d3b799210b88470891e","datavalue":{"value":"W3197827783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832044$FAB79C34-5F91-42B0-9006-E3D7A36ACABC","rank":"normal"}],"P223":[{"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":"Q832044$C8B5659B-639A-471E-A6BE-1B079AD231BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$0333257B-1206-4F88-88A6-9FF10C95AAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c5f008b4f4c1807fbea38f0fe3e22fe63b6287","datavalue":{"value":{"entity-type":"item","numeric-id":6109575,"id":"Q6109575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$CE68D557-3959-444A-84F7-6DC757AD6FD3","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":"Q832044$DC0F323A-024A-44CB-9012-7822FF3635D0","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":"Q832044$4E589112-F510-46E8-868A-91D2A1223FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a544f201c6283b7933810872cf2a33339cdad9","datavalue":{"value":{"entity-type":"item","numeric-id":3605131,"id":"Q3605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$2D773458-3A76-47AC-8655-78EA7FD96DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f24ddf9350c2e13d988a7049c4fedc4d395d6d","datavalue":{"value":{"entity-type":"item","numeric-id":704864,"id":"Q704864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832044$A34D005E-9ABA-45B0-9082-59E6B7FDC3A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:832044","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:832044"}}}}}