{"entities":{"Q6908082":{"pageid":20948341,"ns":120,"title":"Item:Q6908082","lastrevid":84165140,"modified":"2026-05-12T20:31:16Z","type":"item","id":"Q6908082","labels":{"en":{"language":"en","value":"Explainability requirements as hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8113901"}},"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":"Q6908082$92CA94B7-F2FB-47B3-B510-7E08F3663A9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0cf861837d55c0f628528d85fc9f3297a749bcf","datavalue":{"value":{"text":"Explainability requirements as hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6908082$C87448E5-2022-4B68-B519-45E71EC19590","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ba963944cac6088940f4fd318653afecc992eef","datavalue":{"value":"10.1007/S00236-025-00507-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908082$2F8BC348-6984-4A7E-B716-4F474CFFCB4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$17C84B2F-3974-4EB0-9F50-08C284B26B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b80c981b0f87aca916b62eb55463fd761796f20c","datavalue":{"value":{"entity-type":"item","numeric-id":832241,"id":"Q832241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$46C41311-3564-47ED-A04D-0E2F92446220","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$D1062977-3E38-4FF3-8625-4F585DDCA053","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91a038f19cf3fc844d7c3fb11200ffb5487a4cb4","datavalue":{"value":{"time":"+2025-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6908082$C9854164-1634-4B23-B35B-7378122E7DF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908082$B7D863D8-BB69-4FC4-A22D-CE58C6A87446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908082$E35E3AFA-04D3-4C73-826E-920293C45BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908082$8369854E-EA9E-490A-9E1D-3AD522547D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908082$68455961-ECF1-4468-98AC-8F6A3D0D6845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908082$34F39CDF-C1D4-4181-813C-F176FD3FE49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908082$27DEAC40-9521-4049-868A-6A2EF1D027D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"789b716907886fa7b295e25405baf2c7a6165c7b","datavalue":{"value":"8113901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908082$75D44910-3DF4-424B-83B4-435D21A09340","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":"Q6908082$611734CA-626F-4057-B39D-F7E0E69157D6","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":"Q6908082$2013A4B3-F115-416B-BF4B-8CDF9B1100EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca2fcee1fd6919a0db354b6be3a6754db0afc06","datavalue":{"value":{"entity-type":"item","numeric-id":2949438,"id":"Q2949438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$B72AF549-3C2E-4C75-BAAD-FD6031F542ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25ba2b7e97b74cd0e537d5eee9da0cbab25c82e","datavalue":{"value":{"entity-type":"item","numeric-id":6493419,"id":"Q6493419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$C9BB198C-9067-48B8-8964-CBAB96981B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53d6693d512649b81b3d5089191781b47a2d178","datavalue":{"value":{"entity-type":"item","numeric-id":6654505,"id":"Q6654505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$47C855F1-51B8-4601-9F7E-FE095ACCC92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fa54282fb74121f1e189242f0577cb575562da","datavalue":{"value":{"entity-type":"item","numeric-id":6487323,"id":"Q6487323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$30C92065-5FF8-44DC-A221-18F4A3FB3339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02bfd74020b9b7b2f79e7d48c9e675b0fda8dec","datavalue":{"value":{"entity-type":"item","numeric-id":6160913,"id":"Q6160913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$10D9CE0D-8592-4634-9E79-E74033B71312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$BA5583EE-1EB9-4937-8238-CC805D467434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba9eeb774a485d80af2c4c19b68cb8293336100","datavalue":{"value":{"entity-type":"item","numeric-id":7025219,"id":"Q7025219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$C0DB9A3E-1AE1-4ED0-BCCF-4CE300CA780D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e974e536e1e5ef78e02c4e4f5c09b5521b168313","datavalue":{"value":{"entity-type":"item","numeric-id":4636628,"id":"Q4636628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$2124A472-DB24-494D-B5B9-C4E59363EBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"249f90bf8e3a210e46f80cad6cdaf5f9349141a7","datavalue":{"value":{"entity-type":"item","numeric-id":1806328,"id":"Q1806328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$7F8FCF92-F92A-4663-BFC8-C4F9EE0BA043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dadb59f1283fec755060b1490a99a038acc0eac","datavalue":{"value":{"entity-type":"item","numeric-id":5290434,"id":"Q5290434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$42F1BB46-219D-4E85-B2E8-BF61957C9BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abf76aebf96e463bd6d2218d132cdbe2721a0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5290435,"id":"Q5290435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$5566A22D-306C-477D-ACD2-1C45A2077AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$42B3D948-1E34-4BBC-B842-24F38A2DD14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$86345130-6A42-43F9-8C49-4E8ED2CBA24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009e2b649cdae58783d1c9fce3f0453608e2f427","datavalue":{"value":{"entity-type":"item","numeric-id":5885774,"id":"Q5885774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$37F98676-EF44-4601-AC43-EA530AD96D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9423e8a70f66f1c42f30543c752d4bb06e3d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$2719CB1A-0B9C-4934-A705-2BEC6677EC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e0c597ce2dfaa2e54a53bfde6d5ec42d99e17f","datavalue":{"value":{"entity-type":"item","numeric-id":2321252,"id":"Q2321252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908082$055FF084-B952-4F0F-A7C0-E3AFB5B2A75A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explainability requirements as hyperproperties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Explainability_requirements_as_hyperproperties"}}}}}