{"entities":{"Q831950":{"pageid":833798,"ns":120,"title":"Item:Q831950","lastrevid":42717699,"modified":"2025-07-09T11:19:10Z","type":"item","id":"Q831950","labels":{"en":{"language":"en","value":"Formal analysis of symbolic authenticity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7497927"}},"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":"Q831950$0346ACC6-9B43-4D22-B079-88FAB2C61F1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e7b74b42da201a666da69b948b10541d4fe289c","datavalue":{"value":{"text":"Formal analysis of symbolic authenticity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q831950$3EC34C67-AB0B-4750-AB34-91B575BCC78D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd3e52bcb8ea2003b208a4fd8a3a18d293ae8e37","datavalue":{"value":"10.1007/978-3-030-86205-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831950$4D0A0818-9697-436A-BEB4-82D3643E815F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831950$4F28E814-CBCA-4B8A-B593-A85D850AF285","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q831950$D50D7EE3-D36B-4E53-9829-BA37A7ACAB09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831950$AA3187E3-B62F-46A2-B12D-6A4A993E2E90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b634f0131d56042caadfd5791acea39f547e03c3","datavalue":{"value":"7497927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831950$FACD9264-422C-4A4F-AFF6-475E657C6454","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q831950$9BEB1359-3CAD-4DEC-A42C-95729E003023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ad090ba89bc60cf1c038a0b14aca46e0afbe23","datavalue":{"value":"authenticated encryption","type":"string"},"datatype":"string"},"type":"statement","id":"Q831950$63440D25-5E3B-4C08-B938-ABCAED9EA8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q831950$8852903C-E0BF-44EB-898F-FAEDC47F9E69","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":"Q831950$0D03382B-5D1A-49BE-80E7-43A5408FFE4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aaf4efbd63e8a8dd214c50985c76fe55ce2e404f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-86205-3_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q831950$45A758F2-C192-4E03-A215-2F0ED42D75ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db0c8ee536cabcca1f4f437fcccfe4f0e36763b2","datavalue":{"value":"W3196815304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831950$5060D0F5-1072-4583-A8F9-AE60DEEF4173","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68dfdc7c94dd3e7cf9ad3eb4c8dd29dba3cffcb3","datavalue":{"value":{"entity-type":"item","numeric-id":5739224,"id":"Q5739224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831950$AA3254C0-BB37-47B9-BB1A-132B3F035081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d237b438472627ad8a082743a273cbe3b3b23a","datavalue":{"value":{"entity-type":"item","numeric-id":2829955,"id":"Q2829955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831950$B6D29CBE-114A-402D-9811-8D3F844CBFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c697b4b3b0b00847fd552b55819c8434b24e260d","datavalue":{"value":{"entity-type":"item","numeric-id":3046594,"id":"Q3046594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831950$1ADC4560-58F5-4FB8-B2DA-4E63C2FD4FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6017c04cf410d72b3ef3ad1b1a046eeeda1172","datavalue":{"value":{"entity-type":"item","numeric-id":1749300,"id":"Q1749300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831950$081051F2-B6D2-4732-91D5-2D8794A4B1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ab82103ec83fe2729ae628539aae1ec6236b48","datavalue":{"value":{"entity-type":"item","numeric-id":4409107,"id":"Q4409107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831950$E363BC34-9773-4A32-89A4-EF38432971FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea33fc62a19f3264bd0c97f331643feaa91840c","datavalue":{"value":{"entity-type":"item","numeric-id":5418701,"id":"Q5418701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831950$9F658F99-ADFC-4714-B912-4B6D14F8DF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831950$7F27AA70-6841-4ED2-A3C4-964D973E62A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:831950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:831950"}}}}}