{"entities":{"Q832173":{"pageid":834021,"ns":120,"title":"Item:Q832173","lastrevid":64706544,"modified":"2026-04-11T21:40:54Z","type":"item","id":"Q832173","labels":{"en":{"language":"en","value":"Verisig 2.0: verification of neural network controllers using Taylor model preconditioning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498140"}},"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":"Q832173$D97A856C-2FC0-4C13-81E5-EC22F982500D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7291c503074cdad901e2eba1fa369dea1624f170","datavalue":{"value":{"text":"Verisig 2.0: verification of neural network controllers using Taylor model preconditioning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832173$8F6EA16F-4182-4584-9B42-C548E7BEC975","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39fb921fa8e561d59ee857a3c48d49c79d0576a3","datavalue":{"value":"1493.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832173$5CA59870-0F53-42A0-822F-7DAC9623F1C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e252de52712a3492447d4c87a2a44b668872d1c","datavalue":{"value":"10.1007/978-3-030-81685-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832173$AC6CF01A-6ABA-4A1D-BB37-6A35707BD0E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf338ee4f534ee64257141889e52a45fe4d6ab45","datavalue":{"value":{"entity-type":"item","numeric-id":832169,"id":"Q832169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$95B4E176-6DD2-41FD-8A32-A83915E2606A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7c2bb63b87941f179cc3f8f71ada506231bf6d9","datavalue":{"value":{"entity-type":"item","numeric-id":832170,"id":"Q832170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$56899474-3B51-41F9-8F49-EF7FE55FFA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25ac1c8d7a11c9062a06e56203362ec688330aa8","datavalue":{"value":{"entity-type":"item","numeric-id":832171,"id":"Q832171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$1239FC7B-DA57-4331-AA1A-4128F98E5EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$2696BD29-6272-47B5-8093-9E0900CBEEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05c6e35e3e7e07e6f3cb1d9f24540dfd7608799d","datavalue":{"value":{"entity-type":"item","numeric-id":234682,"id":"Q234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$9D75F4F4-9249-48BF-B3FB-5F92BD098B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab46375faf5dfaf24470278e369ba293e0a7afc2","datavalue":{"value":{"entity-type":"item","numeric-id":207162,"id":"Q207162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$D1A35ED9-3DFC-4189-8BDC-699B8620B92A","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":"Q832173$F9E8E4E6-3029-4606-BB81-5385E1CA64F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832173$8A284469-B362-433B-9CE9-42E6B61361FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d9b6913944578a9a87092cdae44c0d395b22c43","datavalue":{"value":"34A34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832173$8D7FC3B4-3C28-4A32-B269-44A2022F8D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde5a4fbe64a00aecf96d44aa53174002a5dae04","datavalue":{"value":"65G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832173$4347E0FA-7231-4612-A80D-5C59762BE449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a791263e4e07e7e02b7f9a5a0bca82e7a96f68a","datavalue":{"value":"65L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832173$129B84A4-6ECD-4B33-8BD4-A61497B8CE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832173$38F170A1-4D51-410A-A83D-27B521BACC1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf80a34daedaf2451a26de15a448e86c7beb585a","datavalue":{"value":"7498140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832173$9E0002D2-2736-4E77-A52D-B6C8EA0739E0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2baa433ea7627024fb25eaccd2496380af3ae962","datavalue":{"value":{"entity-type":"item","numeric-id":5974300,"id":"Q5974300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$6E5D45E2-4CD8-402F-A9BB-889493BFCDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df9f46973d8c78aa3238ba7e8fb358838da0670f","datavalue":{"value":{"entity-type":"item","numeric-id":32636,"id":"Q32636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$4779A34B-9433-4013-86D5-4FF88C2A64EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"362276dc9dc01835cbb5c70dcdc2f9aa6d2008f6","datavalue":{"value":{"entity-type":"item","numeric-id":1351987,"id":"Q1351987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$1745A5E9-07CE-4657-9840-58B42798B05D","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":"Q832173$5F6302A1-3DC5-48F7-BDBB-3A40689EBD9B","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":"Q832173$54378497-2199-4D42-918E-83574CE0AD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$FDE0D919-D9F0-4385-8047-1287CD308D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b424b0f4cf122cdeae51acafebcdf4dbab7ee597","datavalue":{"value":{"entity-type":"item","numeric-id":21754,"id":"Q21754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$022D30FB-74E5-4B03-ACD4-C8045B017E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a3e8c914f9136fc479e3de0d5a736e858c9b352","datavalue":{"value":{"entity-type":"item","numeric-id":31984,"id":"Q31984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$AABBAACF-DC9A-4410-835D-0A8ED2223EA6","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":"Q832173$6C7E40BD-0845-49ED-8264-F7F8E6463980","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7285b0b5049167f39b640234acc54433b1dd8b59","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81685-8_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q832173$FD7BF3B2-970A-40A7-BE09-167664A192BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12091f32312f046ebc7466af93ba4f8500e0eee5","datavalue":{"value":"W3184441520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832173$1BB3B6A4-EE2A-40E4-B8FD-EFE92ECC6622","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$CA9F8625-3FE1-45E3-BA08-B89C8A9067CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$FEC235D2-E952-405A-A7AF-EB17B5BE1DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6765c3e21ef1feb36b6720a1571c949f6125de4","datavalue":{"value":{"entity-type":"item","numeric-id":5444070,"id":"Q5444070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$B28512BA-C37E-409A-BD55-1E6D8CFC1F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bef7da6f721acd6129927d43edfe7dfae2ccb7b","datavalue":{"value":{"entity-type":"item","numeric-id":5239232,"id":"Q5239232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$A1ACB3ED-5C69-467E-A23A-35722BD06A18","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":"Q832173$5A8F0C39-F689-4C38-939C-BF51FC2BFEA4","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":"Q832173$DE405D11-2B35-47ED-9B64-A2D2C74764A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6edf800eade254c32816bc49ffc06179866f3e9a","datavalue":{"value":{"entity-type":"item","numeric-id":5146397,"id":"Q5146397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$9BC081EB-B98F-4DB4-8E91-9540DE061A75","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":"Q832173$D3CC5CB7-07D6-4BCA-AF6A-FA5E777C5B02","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":"Q832173$0C3F5D40-8882-4C3D-9BFA-BCBB56206B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9c62e5a36aa1e16bced33f90c0bf15448a031d","datavalue":{"value":{"entity-type":"item","numeric-id":5449035,"id":"Q5449035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$118C07ED-29B7-4699-A9CE-2B1A91A56388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f0633ab1796d017ff362ce5c69c201e296623a","datavalue":{"value":{"entity-type":"item","numeric-id":5239231,"id":"Q5239231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$EC83D655-1410-4872-8161-81F1A61AFAC7","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":"Q832173$FEE08226-3491-4F35-B192-38B89037E9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"628df707085084acfc0001075364fd4c81272e56","datavalue":{"value":{"entity-type":"item","numeric-id":5239235,"id":"Q5239235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832173$1B2EFD79-AE54-4FC0-84EC-3C5B9452C94B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247d2778ad12707d5eb18c4036c6bd4370b231a8","datavalue":{"value":{"entity-type":"item","numeric-id":5239233,"id":"Q5239233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bd2ef910c128c000235707125957f2993b0a4b","datavalue":{"value":{"amount":"+0.8953174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832173$695B0BA8-C9DA-4B51-8A04-E01CE24C06FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb22c75a738b83ac9e6e38116cf47347a78af889","datavalue":{"value":{"entity-type":"item","numeric-id":5239231,"id":"Q5239231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4250bd6c227ab062769b3da4b1bbdf0b4c546dae","datavalue":{"value":{"amount":"+0.8719289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832173$93FEBCC9-941B-4926-AF5B-B9C1DB880F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad154492e2ccfce2f2ad6c23951e81de3c57b2b1","datavalue":{"value":{"entity-type":"item","numeric-id":2225075,"id":"Q2225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762ca309b3e794312a1a292b1f150c1ebbbf6bc1","datavalue":{"value":{"amount":"+0.8690752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832173$BC5032DC-CA02-4FA1-B0BA-B10E10740C7D","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":"938ec8a0b68af74aed39ac6e65fcf0336d720028","datavalue":{"value":{"amount":"+0.86076844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832173$DFEC4FBF-1B5B-4032-A36B-C5413884C9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d76b8e4de3a7441fcc68a29e8b3ae5d635e8fd","datavalue":{"value":{"entity-type":"item","numeric-id":4969086,"id":"Q4969086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1822ed469b63d5da189aa02bab24e6a3eea488a2","datavalue":{"value":{"amount":"+0.8542423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832173$B68E222B-E5AF-45ED-8DEE-FCDB0BEF6420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7594e0bd8e19d030028ffeb913e279a8573504","datavalue":{"value":{"entity-type":"item","numeric-id":2046329,"id":"Q2046329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0acae3db72afaebf8705adbdffe0cbbcce7335d","datavalue":{"value":{"amount":"+0.85213673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832173$7251F346-E32B-4A0F-A9A8-E6B7AA8033F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e95d6088a6b758e9c4a4496a7c94d8586eadc61","datavalue":{"value":{"entity-type":"item","numeric-id":6535337,"id":"Q6535337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e66dc32500a7b56778f6b9f970a28c0b17334d","datavalue":{"value":{"amount":"+0.8493352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q832173$6F2D4092-0CEB-4B3D-87EF-93094EB95807","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":"Q832173$9B98884C-6BD6-4B7A-B54A-73298FBFBE13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verisig 2.0: verification of neural network controllers using Taylor model preconditioning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verisig_2.0:_verification_of_neural_network_controllers_using_Taylor_model_preconditioning"}}}}}