{"entities":{"Q6904644":{"pageid":20927212,"ns":120,"title":"Item:Q6904644","lastrevid":75558736,"modified":"2026-04-19T11:19:53Z","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"}]},"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"}}}}}