{"entities":{"Q832180":{"pageid":834028,"ns":120,"title":"Item:Q832180","lastrevid":64706607,"modified":"2026-04-11T21:40:56Z","type":"item","id":"Q832180","labels":{"en":{"language":"en","value":"Robustness verification of semantic segmentation neural networks using relaxed reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498141"}},"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":"Q832180$E09D472A-3FC3-453D-B679-6F09BDD0AA71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1546e528885d1c5218310b4bfc7fdeb5f7eb8d36","datavalue":{"value":{"text":"Robustness verification of semantic segmentation neural networks using relaxed reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832180$E1091D62-63AD-49FE-AE1B-A3C975E15839","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d24bed87d990e58d39f4145b5c529d29e4edb74b","datavalue":{"value":"1493.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832180$4C317B2A-A737-4A5E-88FB-D79582C725E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02205afbef81d753de35fe865b86043317cea3d3","datavalue":{"value":"10.1007/978-3-030-81685-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832180$D9A2F7EE-3AD2-4E55-B122-EC6B7AAFA2F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4e6981264371a222c260c51150751e6b6f45dc","datavalue":{"value":{"entity-type":"item","numeric-id":832174,"id":"Q832174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$B10FD31C-4E9D-40C9-9B69-2479D52A8A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc3d05c152ac984eae3acef205144f10a552ce3","datavalue":{"value":{"entity-type":"item","numeric-id":832175,"id":"Q832175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$1D317CDF-7251-4357-86C4-7C4D81A674A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35558937bc60cba46737360aa994c544f1b1d8a9","datavalue":{"value":{"entity-type":"item","numeric-id":832176,"id":"Q832176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$46F60C35-C175-4049-98CF-A624FEC84D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59bc7627fa218e5a9d74fb5e9a7741305fd88002","datavalue":{"value":{"entity-type":"item","numeric-id":832177,"id":"Q832177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$9E7C3294-3753-4AFE-A1C4-BC55933EC9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6f77f9b0c7fb04a1a56c0b5a48a6a2c10afce9c","datavalue":{"value":{"entity-type":"item","numeric-id":813564,"id":"Q813564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$E1B095B3-688D-4771-BF8F-23E3F6EC8A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b477b5658b51465a1d02c115134f329e7a04eb9","datavalue":{"value":{"entity-type":"item","numeric-id":296101,"id":"Q296101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$DFDEBFF9-7F0B-4697-AC44-B67725BFA916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e69541f5d9e9de0adc652cdfebff99a31ad41bfc","datavalue":{"value":{"entity-type":"item","numeric-id":832179,"id":"Q832179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$E2D817D9-1F45-42B0-842E-16212C8758D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6577768a03fec5347836df1fa460cb5f5eabd400","datavalue":{"value":{"entity-type":"item","numeric-id":2112129,"id":"Q2112129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$7EE80322-00C5-46F2-8550-CF4A4CB58D67","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":"Q832180$E3EBE872-3107-4582-A9D1-B04B555AF548","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832180$1F8987D9-4FEA-4D76-A0E0-ECA8B69C4565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832180$B6A6FBEB-1FAC-4CCA-B487-0BD5C94DFAD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58bc2b6bdecc743b6821408680bb1648cfac1ac7","datavalue":{"value":"7498141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832180$DFF9EF67-5E9E-4814-82AB-9637319D2AE1","rank":"normal"}],"P1463":[{"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":"Q832180$DAE9791B-1AD8-4CD6-A0C6-EA7263105FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"953cf70caba6de880b36217f845ba7a7d959f0a4","datavalue":{"value":{"entity-type":"item","numeric-id":44261,"id":"Q44261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$2D140623-0EDD-43B4-867E-EEED9AF055BD","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":"Q832180$55C41295-E93B-4D94-B1BE-5C0726546DE9","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":"Q832180$EBC85F21-056B-40C6-9EC8-F3D55CE6AC1C","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":"Q832180$F980C3D1-C983-418B-BB2D-251C630B1B5A","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":"Q832180$303FA4F6-A0B2-46E0-B3AF-E7C52D8D356A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0d64dfd0a2741b796b9392495a6e66cc9d243ec","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81685-8_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q832180$603E4042-A09F-46E5-989F-2B2B8913C6BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b51b5a8a3f0c2a42722597aec137cd3a309da6e8","datavalue":{"value":"W3186627997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832180$0096B514-C4FA-4EFA-BE34-8D39B1BA3871","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3971371b90a9c3399b1543fbb0799c60a386f29b","datavalue":{"value":{"entity-type":"item","numeric-id":2225077,"id":"Q2225077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$E2661F0C-A012-4D5B-8724-8BA802294822","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":"Q832180$5C6B478F-FC6B-4805-A18F-BB8C514C718E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe0410e1201db1f1ac1c349cee58665c3f2b1b7","datavalue":{"value":{"entity-type":"item","numeric-id":5033991,"id":"Q5033991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$1CC39820-C1A4-4E87-95F9-7F7B8DDE199F","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":"Q832180$DE1BBC82-DA0B-42C1-A045-B65294E337D3","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":"Q832180$536A8927-828F-44DB-9095-C595548C0AC1","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":"Q832180$A0572072-5DE8-40D7-B887-90B764C33AE6","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":"Q832180$547ED0DC-0CF8-44D5-A1CB-13DB40C87B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a11ebadcb58c67798856970cbffd1e7880f49d5","datavalue":{"value":{"entity-type":"item","numeric-id":6109579,"id":"Q6109579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$5D55B7CA-F74E-4401-8FE5-72FD3ADCFEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1b3c3221bbad32bc620782560fae55a4c6dcfab","datavalue":{"value":{"entity-type":"item","numeric-id":5918475,"id":"Q5918475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$092B8BB5-C291-4D2B-AFAE-19BA00156827","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":"Q832180$B4FE9E73-774B-482F-8FA4-BB1F55919125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999cf2e6278ba54cf0d79c77e3661aea4e64fb2b","datavalue":{"value":{"entity-type":"item","numeric-id":2286751,"id":"Q2286751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832180$B49A0E39-ABAF-483B-BE6A-1BE0E35CBBC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460f518104e0ecdd1c6e673ed29c147db1e2991f","datavalue":{"value":{"entity-type":"item","numeric-id":2102314,"id":"Q2102314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c15f4ffed2757a3d7c176dcb0291f21ae1fdce0","datavalue":{"value":{"amount":"+0.87633485","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":"Q832180$0D83C488-3DC5-435F-A808-B7C3CE0700B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502c74c0a5a2bc4c7c610d5649e4e5c86673ea39","datavalue":{"value":{"entity-type":"item","numeric-id":2050096,"id":"Q2050096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96410b3356a57ff0670ee28fc3d4b01108d3fcc","datavalue":{"value":{"amount":"+0.8676969","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":"Q832180$3BFD9472-BDBE-4296-925D-21DD065F5BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb285eea37aa643adaf140d4f5b7b14297550645","datavalue":{"value":{"entity-type":"item","numeric-id":6535354,"id":"Q6535354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71902935d55c32e1fcb117da8add1b834b339f2","datavalue":{"value":{"amount":"+0.85948557","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":"Q832180$95A07923-2B56-49D7-AF92-DA669910211E","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":"51ce9338498f9e158ecaa0ea9facafef1c07baad","datavalue":{"value":{"amount":"+0.8574531","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":"Q832180$8E61B148-0AC1-4A3E-ACB9-46DF36ABE99E","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":"a625cb3fd2a1d459e60aa8420f82d0ae9ba9ce98","datavalue":{"value":{"amount":"+0.8516634","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":"Q832180$4B1CF69C-6E7D-4EB4-973B-050CA6B38607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abaf2235d8d9b2b454b6ed6e6d6a7c1c20d0335a","datavalue":{"value":{"entity-type":"item","numeric-id":6164433,"id":"Q6164433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3299eee24819167f84500e7f22e7cfc04ff7af5","datavalue":{"value":{"amount":"+0.84903","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":"Q832180$CC90D233-5AE4-475A-BDC8-EAECA02CE8EB","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":"Q832180$0CE6A138-A734-43D2-92DE-D030DDCFC80E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Robustness verification of semantic segmentation neural networks using relaxed reachability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Robustness_verification_of_semantic_segmentation_neural_networks_using_relaxed_reachability"}}}}}