{"entities":{"Q6488462":{"pageid":14067231,"ns":120,"title":"Item:Q6488462","lastrevid":47841664,"modified":"2026-01-02T20:40:35Z","type":"item","id":"Q6488462","labels":{"en":{"language":"en","value":"Probabilistic Verification of Neural Networks Against Group Fairness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676977"}},"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":"Q6488462$E84206D3-4725-4336-A914-B59F51D0AAF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5427b0c2b2e69733153e8937df92d7e63c2a07ad","datavalue":{"value":{"text":"Probabilistic Verification of Neural Networks Against Group Fairness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488462$1361575B-8BA5-4E17-AF04-F62D45C8C33F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aa90feba10afa935cee54591a047c04fa2c7972","datavalue":{"value":"1521.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488462$0C71B955-4B6E-4D8D-9E62-B6ACD4AA1926","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"729785076e5e25a1efa997e360466442e5093610","datavalue":{"value":"10.1007/978-3-030-90870-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488462$A40D5D0A-F0AE-4F9A-88CC-875D81427CE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a577f5c74e6a666c32034ebce0ddf3844fa88cc","datavalue":{"value":{"entity-type":"item","numeric-id":277867,"id":"Q277867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488462$4DEC33C5-6DD4-49C7-A4EA-5674B49F5EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b57778316f2134b1a28645703493154e7af04a0","datavalue":{"value":{"entity-type":"item","numeric-id":6488461,"id":"Q6488461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488462$ABE0DCE8-7CFD-4A6B-BC03-56015656995F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f06b99de40020d54594a7c83ac445201b0f99279","datavalue":{"value":{"entity-type":"item","numeric-id":399193,"id":"Q399193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488462$3D1375AE-7AC2-4E8F-91F2-D4AF1A139D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27304e7def45c0c221f3f4489511000b00255675","datavalue":{"value":{"entity-type":"item","numeric-id":6053270,"id":"Q6053270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488462$D9CF74E3-011A-456D-A450-21959BE65240","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"260332f705ad2e0d1275bea375e8ebc598a68071","datavalue":{"value":{"time":"+2023-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488462$762A85FF-DE52-42E6-985D-FB93A022EC0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488462$465FE90D-5520-4D8A-8C65-FF93EC937FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"69417b84cc431ede4e5ec12a55be58b45cd19ec0","datavalue":{"value":"60J22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488462$8BA89018-9C62-47A5-8498-2889AA9AF9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488462$9F7CF7F7-4E74-428A-8070-05D5646D8F8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6423323d67cf8d31cef9a2e8cd418fd1271d19c","datavalue":{"value":"7676977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488462$1FEB8A5E-7953-48C9-8119-F8B290CD5F40","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":"Q6488462$64CAAAA8-145B-4F42-90C3-28D0F1E41E17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce5d947401b84324de4aebcd6c7471894331eea","datavalue":{"value":{"entity-type":"item","numeric-id":2151244,"id":"Q2151244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488462$697B955A-3D64-41D9-8DDE-2798FC31B86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8966a0fd31afadc5202af0ecc095c7211db6c757","datavalue":{"value":{"entity-type":"item","numeric-id":2226743,"id":"Q2226743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488462$34D6FBB1-0622-47E3-A560-76C2A29548FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488462$FA1FFA4B-75FA-4A47-8927-9B5C5C448355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d124ba485908c39aea6eefb8215d59ba42852d2","datavalue":{"value":{"entity-type":"item","numeric-id":4969086,"id":"Q4969086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488462$34743D11-F0FF-404C-BBD3-E7640FE3C86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e31236b8240e69c3de8b7a6cf2573054cecd5d","datavalue":{"value":{"entity-type":"item","numeric-id":2826058,"id":"Q2826058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488462$E775FF77-F92C-4BDC-BEA2-973E0C6602D3","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":"Q6488462$D499E8AF-B7A8-4E9C-916C-5656702E81AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97afb4a25787ace57fb8d51eea76fe0815729d4b","datavalue":{"value":{"entity-type":"item","numeric-id":6485879,"id":"Q6485879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488462$816B4590-DA38-4E31-A009-E269CD3867DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a22ccb6105873d56552574c67be5cd771f767d8f","datavalue":{"value":{"entity-type":"item","numeric-id":6485856,"id":"Q6485856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488462$C54C4461-1E9F-42E0-99A4-1B5DB7D9A039","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":"Q6488462$1AE6B741-32D4-4A99-8224-B64168C6CF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e2f6c00ec529074a370fb6498a18761aa02104","datavalue":{"value":{"entity-type":"item","numeric-id":4740474,"id":"Q4740474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488462$CCF7BFB2-0DC1-4883-9F01-DCACB29F3A9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98fdfd46f8b8da80eda4cdb62d6c302064b81fb2","datavalue":{"value":{"entity-type":"item","numeric-id":5381130,"id":"Q5381130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a64df4600ce5ec50eb3dc832c8e095b6f8d69c","datavalue":{"value":{"amount":"+0.6571643352508545","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":"Q6488462$1C326FF9-D060-49DD-988D-5BD0D1800E97","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":"36f4d3408c7008c6d22769fabede4b1814c562d4","datavalue":{"value":{"amount":"+0.6560081243515015","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":"Q6488462$2AE66418-A014-461E-A976-157749E54BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3129998f388753276f92ee304a1a52c375e2ae37","datavalue":{"value":{"entity-type":"item","numeric-id":1741377,"id":"Q1741377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de758fb721e4466442968abe8df3941ad567a87e","datavalue":{"value":{"amount":"+0.6549381017684937","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":"Q6488462$3B65C04F-094D-49C5-83F2-18A2AF3F3B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3f5d4ffd228e14c61a6f897273319b628af3d7","datavalue":{"value":{"entity-type":"item","numeric-id":6487342,"id":"Q6487342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b648490cc86257ecd6344c4607b0732c246b90b","datavalue":{"value":{"amount":"+0.654542863368988","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":"Q6488462$50CACF35-8DBF-4ABF-8169-C14501D45106","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":"410005d957354bcb698de037978e7b3c81f8f594","datavalue":{"value":{"amount":"+0.6532410383224487","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":"Q6488462$B6DCBDF1-9B4C-4F86-B1A9-334E4DD717AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488462","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488462"}}}}}