{"entities":{"Q6904644":{"pageid":20927212,"ns":120,"title":"Item:Q6904644","lastrevid":84171953,"modified":"2026-05-13T00:22:16Z","type":"item","id":"Q6904644","labels":{"en":{"language":"en","value":"Distributionally robust statistical verification with imprecise neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8116961"}},"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":"Q6904644$CFB59397-09BB-4D93-825A-E4363DE134B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"772a5263e33502eb37855d2a9c27d16d81bbcb23","datavalue":{"value":{"text":"Distributionally robust statistical verification with imprecise neural networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6904644$116C804C-2489-425E-80B4-E4D05E4855CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25760fff11f38dd487be07b3a0dbc52bc22a6ea4","datavalue":{"value":"10.1145/3716863.3718040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904644$CC4F7B3E-158A-4784-972F-E384E91C5AAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed576ca02759c4a4ea3100d044bf6f7edf2da1","datavalue":{"value":{"entity-type":"item","numeric-id":1796496,"id":"Q1796496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$902D4201-B1ED-4C06-B8C9-9B706754AF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf6ecfe3d6c4a7af5fb2f39efa7b79e330b8b49","datavalue":{"value":{"entity-type":"item","numeric-id":2105615,"id":"Q2105615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$B64AEC6E-6C10-41F2-9AFD-EF1626C92E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c89ce45258ab10a1e3b1ed5df40c3f57137db0b5","datavalue":{"value":{"entity-type":"item","numeric-id":6113994,"id":"Q6113994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$84337DB7-EF28-4BE0-B9C8-AC3D38C7F072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8afcf9f37841087924e571d4528c58c5e7e8699e","datavalue":{"value":{"entity-type":"item","numeric-id":2093382,"id":"Q2093382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$7603D323-3B1D-4803-95C9-1D882F884719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed5d21e222a503130f5b808075dd168974fb5c38","datavalue":{"value":{"entity-type":"item","numeric-id":6904643,"id":"Q6904643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$AF32C630-948F-4401-98ED-1C2978F949CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb2ea2be563e353721cc2ec6cceb75adbd2ceea3","datavalue":{"value":{"entity-type":"item","numeric-id":2024341,"id":"Q2024341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$89E1BA39-D0FA-4587-B0B5-708246856EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"362931b727102df5fedb6a28265dcdd6af53f427","datavalue":{"value":{"entity-type":"item","numeric-id":234683,"id":"Q234683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$246F9AED-0125-4481-B179-4DABA9DE8396","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":"Q6904644$3A094526-3B44-439C-80E2-D73D5B4CE740","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb362a705940cd90fcce9cff27386cf2e571803f","datavalue":{"value":{"time":"+2025-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6904644$CDDF23ED-3855-462C-98B2-F86CA8DB5A1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904644$030B40E6-2D1B-41F6-87C5-080B99D51A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904644$9F66BE99-706D-4939-9BA8-9BC334F6E8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904644$838B7D0B-9F08-431F-B984-3618B8AC57DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c62b2ce435f97709811a8d46a3aa319ce744ea4","datavalue":{"value":"8116961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904644$A9397EE1-52FF-44C7-A1CC-9599FF448DEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81a23a0004fe80a10e157c7f7172bfd27750eb33","datavalue":{"value":"statistical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904644$C0B1BFC1-C35D-4C67-AAC9-0385BEE97901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9335d12c465d60267eaf5aae3e8dbc9536b58eeb","datavalue":{"value":"imprecise probabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904644$8C884EC9-E61C-44A5-AE21-BD86907C024E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36596554f34054acf9dc6319bf5ac7c38f9eb557","datavalue":{"value":"neural network verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904644$F632C5B3-176A-45F4-81B8-5BD18A382509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab31482eee8f34fa99c5284980862acac4a0b6b4","datavalue":{"value":"reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904644$12121A93-1F7F-4192-8131-A1C84F5E479A","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":"Q6904644$A9AE2B4A-D3DD-4F55-A5B0-F3857EC9C7A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14818526ed32c2187525f7604196756c56de83c4","datavalue":{"value":{"entity-type":"item","numeric-id":5475274,"id":"Q5475274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$8678E7EE-23A0-4C06-8AAB-1DB7EE8DAC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791e8c7534f5333df3ca4539647f4bab04f34485","datavalue":{"value":{"entity-type":"item","numeric-id":2093383,"id":"Q2093383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$6ED2AF8C-B2C4-48CB-BE13-305F3B4453B8","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":"Q6904644$A057F304-4ED2-4362-88DF-4FA6EAD53DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7410de0f296fcc26d6c6d2d543327117f33dcba","datavalue":{"value":{"entity-type":"item","numeric-id":2038293,"id":"Q2038293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$BF5CAAF4-3FE4-4328-A84E-77B79A115554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf123deed99b9351625ea7390c1f580b29b0b7ce","datavalue":{"value":{"entity-type":"item","numeric-id":5901444,"id":"Q5901444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$27E962DA-8B8B-4F86-9DBB-2A58604346FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55d6f6110713c809872c071211b9e80186fc49f4","datavalue":{"value":{"entity-type":"item","numeric-id":832173,"id":"Q832173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$82E018BC-55A2-4137-B332-B6F2719BEFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1594f0902648479c27a4eaf8d961324786f1f261","datavalue":{"value":{"entity-type":"item","numeric-id":1687270,"id":"Q1687270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$25189473-56EA-4DD4-9431-D7E4025CAB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75d3da442701d3eb689cc5bd4a2fa9aebf552d07","datavalue":{"value":{"entity-type":"item","numeric-id":6202102,"id":"Q6202102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$43B612C5-EE56-498A-AA5E-D364F3D00257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a154543da4b1ec396c1bcfc0ce928daa4c4e4a82","datavalue":{"value":{"entity-type":"item","numeric-id":6651410,"id":"Q6651410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$9D6F63B8-1BFF-4C8C-AA40-91A4E25BBB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56bac58aeab25a171df32457d319977086c3ee04","datavalue":{"value":{"entity-type":"item","numeric-id":4709217,"id":"Q4709217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$BF6EDAB5-6661-43A4-9F49-7A24A65A0489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"484e753d6608bf0666d8a7ecc462e91f2fa47dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3096113,"id":"Q3096113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$F44A8E1F-B23D-4AF0-A372-81B90295D09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5717b4b345469471bf87e7b749141b3f1327f55d","datavalue":{"value":{"entity-type":"item","numeric-id":2945866,"id":"Q2945866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$E52034BF-CCF8-4AED-8796-31ABA736FD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6a4718a706dcca7799d4cb9313413587ec4309","datavalue":{"value":{"entity-type":"item","numeric-id":3067744,"id":"Q3067744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$2F6FAC29-D250-44F7-99F2-DEF4E6558FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c091d006c211f96005c071b25c2ed948b8188cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4677780,"id":"Q4677780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$BAF4EB0D-6460-48C1-B6C4-0FAF07143E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e981a5689a0bbbbbc89fd97af44d418685614f15","datavalue":{"value":{"entity-type":"item","numeric-id":3999364,"id":"Q3999364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$A0A1265F-C36A-4307-BB26-D780986013EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88a6ebe266d84da50f985dc45d54dca8e731cf04","datavalue":{"value":{"entity-type":"item","numeric-id":1813489,"id":"Q1813489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$B6C40257-7B8F-4E46-866A-782F7951C184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3b9f9b4a740f2e596cf3b593370e83f8c21076","datavalue":{"value":{"entity-type":"item","numeric-id":2089797,"id":"Q2089797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$05CD550B-BD4C-4CAC-8AB5-508B2C21A33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157696da9e45501273597c000bbfb9dc158b6a94","datavalue":{"value":{"entity-type":"item","numeric-id":5146374,"id":"Q5146374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904644$30DF6E9D-0B8C-42F0-9862-D67BC144A683","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributionally robust statistical verification with imprecise neural networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributionally_robust_statistical_verification_with_imprecise_neural_networks"}}}}}