{"entities":{"Q2102064":{"pageid":2112807,"ns":120,"title":"Item:Q2102064","lastrevid":43514398,"modified":"2025-07-30T11:41:43Z","type":"item","id":"Q2102064","labels":{"en":{"language":"en","value":"Automatic verification of differential characteristics: application to reduced Gimli"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7627822"}},"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":"Q2102064$E1F4CCCE-4088-4D89-AE3D-CE7BED463F3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e28c00e7d696af08a364ae072615659644817ba4","datavalue":{"value":{"text":"Automatic verification of differential characteristics: application to reduced Gimli","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2102064$723CD4BD-1E15-48EA-AB3D-D422025D3DCD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f9aca0df981885124b42c67d6c153080e4e67cc","datavalue":{"value":"1499.94045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102064$13332EE5-5E9F-40AC-AC29-F588C3A189AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da32f038f990f37159947ab2924f7f7fe41be2ad","datavalue":{"value":"10.1007/978-3-030-56877-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102064$D2178615-7CFD-4EA0-B64A-2613656F1C97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06d370e787de0cda1447dc8a4cf646a9eecc59ab","datavalue":{"value":{"entity-type":"item","numeric-id":778903,"id":"Q778903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$DFF806B7-E436-4FEB-A96B-6BE42281F50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28c6f8f2930c3ea8d91a391a272b07acde558039","datavalue":{"value":{"entity-type":"item","numeric-id":778904,"id":"Q778904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$04E08D55-7BFA-4437-896B-EFFDBA5705E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a6226ab8a6469154e062680fb33e8ab215570df","datavalue":{"value":{"entity-type":"item","numeric-id":483132,"id":"Q483132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$8B1E0B29-04E5-4BE5-8A28-7B7BCE878ED0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-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":"Q2102064$B3D3E382-2A51-49DD-903B-223D140EEE0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102064$6E019686-011F-4394-82E4-10420BC362AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66bb09c6743311a5b63ad32654486d4e01398ce1","datavalue":{"value":"7627822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102064$72AF59FD-6E6D-4DD1-968C-27F21D7BD2EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e681f8cf673a2635a4e49466f254ac53de8e773","datavalue":{"value":"Gimli","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102064$B1D053FF-F776-453B-8A0D-2C83054122BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4328b4cc36b17348e112d3a732b528b5cb5fa05c","datavalue":{"value":"hash function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102064$301DEE63-AFAF-47DD-ABF9-D77196EA6B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d60044cc35ca5610a5fd4947e3c384f75997ec4e","datavalue":{"value":"AE","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102064$BBE9E2FD-86D0-408E-B4B0-1467CC74624D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827db536e2c8f850bd3cec9368c0bfd10a50ab98","datavalue":{"value":"MILP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102064$BF75E84A-074D-478D-89FE-3AE6A8CDCB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c6d2bac38f4c5c83b55874a1f0b63cbc4f3af8","datavalue":{"value":"collision","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102064$DE3353EF-D108-44CF-96B6-75F94EFF7576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74cbe0eadc9fe90e8da543e3ffb93e00a2601705","datavalue":{"value":"state-recovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102064$1D80AE2E-2FB0-4FE1-B0F0-A2E796E988B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc465bca64e64dd0a1cc77f94f1ebeca4bc40ff4","datavalue":{"value":{"entity-type":"item","numeric-id":21706,"id":"Q21706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$24B94516-6C8F-4DF2-A03C-09EB373373DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8838526b20e4ccf859f62c34abb0ccc393be80c7","datavalue":{"value":{"entity-type":"item","numeric-id":21813,"id":"Q21813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$A767AA4F-AC84-45B1-A3D5-F9B3D1258A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b79d87aee11bd7fcdc3381869d8414bc7877152","datavalue":{"value":{"entity-type":"item","numeric-id":25735,"id":"Q25735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$FEEE19BC-9095-4741-A03F-7BDCEEC667B4","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":"Q2102064$E339F340-8694-4AB1-97AF-5A3A38099CD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0492c9c84eddb41a5dc1fecd5004902abd08f55","datavalue":{"value":"https://doi.org/10.1007/978-3-030-56877-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2102064$1D4789F7-48B3-4E5C-9BC7-EB2A376329B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"749090654694a32e79bb107646a533e4d9b518be","datavalue":{"value":"W3030300659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102064$208DE0B6-6F43-4480-85CE-141CA7755DE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eec0005f60a9f13e573c957913e88dc7f8db194","datavalue":{"value":{"entity-type":"item","numeric-id":3650713,"id":"Q3650713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$936FAD26-2F1E-43A4-8722-5F078241172A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83cc4e1544b7ea3438741cb1aa2b3dcd4085776","datavalue":{"value":{"entity-type":"item","numeric-id":2889879,"id":"Q2889879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$AACB330F-1456-4496-A2EA-A08AB58E7968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16031b2f14529eb3b286b8f9d5136e1d1f7c40a1","datavalue":{"value":{"entity-type":"item","numeric-id":4924418,"id":"Q4924418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$32A12408-4329-4ED1-8353-3DF23D4B6FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2736bf8a52a3f8ac043057d4265a8f6301c36a","datavalue":{"value":{"entity-type":"item","numeric-id":4279560,"id":"Q4279560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$6A1F89C5-4A46-4951-8D33-8A312C92BB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1029ebd1c29f576ea69d4ccc228dce91d8d3530","datavalue":{"value":{"entity-type":"item","numeric-id":3013086,"id":"Q3013086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$00BA67B2-5B62-47BF-88D8-F9F32C14B59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fabc68dd7e1712974e0fc7efee18a5e0a9ad2901","datavalue":{"value":{"entity-type":"item","numeric-id":2845673,"id":"Q2845673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$00CEDD6F-E32A-4094-8F02-F432613DEADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7bd719fb63bb8653c90a60056906a477aa3bd7","datavalue":{"value":{"entity-type":"item","numeric-id":5459066,"id":"Q5459066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$ED16EA53-1187-4980-A3D1-FBFE6E59115C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e033db03b6b0c639b9acf584abde786d0dc36dc6","datavalue":{"value":{"entity-type":"item","numeric-id":2790053,"id":"Q2790053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$47622A2D-E6F9-4FDC-AC27-18E986829A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b0c78ac44f235400690ef7561bf025387d3ea9","datavalue":{"value":{"entity-type":"item","numeric-id":3457109,"id":"Q3457109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$A23A48E1-B821-4FC6-94DC-4B1B2DFC27FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1baa05ed540dab41647c7856b6a336bdc7accb","datavalue":{"value":{"entity-type":"item","numeric-id":4911588,"id":"Q4911588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$09D0FE79-8995-49F4-8849-4A7B6A4610AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648199635b7ea97d106eb292980f4d3e2a9dbec","datavalue":{"value":{"entity-type":"item","numeric-id":2845676,"id":"Q2845676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$BE8B6D8F-5592-4C6A-9D49-C0C0C79828A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7425fe44dd7e684c3c1ec99db4d593a6eb3007","datavalue":{"value":{"entity-type":"item","numeric-id":2102064,"id":"Q2102064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$C896B2F8-4BAD-4D24-A521-3D42D61D3E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f24261a4979ef41b5426b1adc6be0ade732fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3102193,"id":"Q3102193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$5F7C792D-CDC5-4CD4-82F8-5C962AC11A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8481b9dfe0d480f4985193de48055a1bd81e23c","datavalue":{"value":{"entity-type":"item","numeric-id":5756584,"id":"Q5756584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$D7A0DB21-AFD0-43E4-B96C-DB8681C45745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23745b135c4b77fe3d81abd8b9c0cf80c585258c","datavalue":{"value":{"entity-type":"item","numeric-id":1675745,"id":"Q1675745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$EA8EFD95-472E-46AE-8175-B8BEC8DB5A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c1ae1f4f43ad2829bb5437c383ae3606acc96","datavalue":{"value":{"entity-type":"item","numeric-id":2938843,"id":"Q2938843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$BEFC0DD0-E7C4-4E0B-9FDE-36BAE13AFBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bb0947ed236e3acc7c72a8a23a5f812d7fb4be","datavalue":{"value":{"entity-type":"item","numeric-id":5451016,"id":"Q5451016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$7642DD93-4F72-4526-847D-F5A21A6889DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3dfbbf9c9c6addd3e47b97b77ac64e6588f671","datavalue":{"value":{"entity-type":"item","numeric-id":5385718,"id":"Q5385718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$EAFB531A-08F6-4D37-8970-2F9439E4D35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbca8eaaebb4065d9d6dd8e1e3f0bec3aca99715","datavalue":{"value":{"entity-type":"item","numeric-id":2958142,"id":"Q2958142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102064$FF09F7BA-58A9-404C-8949-1EF78B0B4930","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4fdc8bbc9d2998bdb36ea8f7f77cf71d57c3f72","datavalue":{"value":{"entity-type":"item","numeric-id":653756,"id":"Q653756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c2b414a6f2c7be9349949c7651348032158998","datavalue":{"value":{"amount":"+0.8044481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2102064$0E25B33C-D71F-4851-850B-FB32527F15D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b573f1459a9b44b56a59f80f301e3c1183b18d13","datavalue":{"value":{"entity-type":"item","numeric-id":4855524,"id":"Q4855524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8faf18c42c4651ce2faa9b26ce716be3f6f1860","datavalue":{"value":{"amount":"+0.80007803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2102064$C1795D18-0249-40EB-A145-95C464BA51D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72c3b5928919ae783128bcbeccc09fbcf3340e8","datavalue":{"value":{"entity-type":"item","numeric-id":469363,"id":"Q469363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f57b64c64fc8f928f9cdd594b9d2934ffa2d4f","datavalue":{"value":{"amount":"+0.7884344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2102064$B283E0A6-AC6C-49E1-91CB-21FFFEB75969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26713e4b81a0151596a5532b9983823aec6ded01","datavalue":{"value":{"entity-type":"item","numeric-id":1037397,"id":"Q1037397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca04523059a830d280ce9f99ce33168a5478e8b","datavalue":{"value":{"amount":"+0.78785366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2102064$0C361948-66EE-4F23-8415-905789455933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bdcbed46abf83e78ddc2e68ed374f36a237e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4851616,"id":"Q4851616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e85fba53b0676040ea440453f137e902feef6e79","datavalue":{"value":{"amount":"+0.78609276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2102064$6AA2E3A8-5953-4072-96ED-42A0E6413030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e634c9d897eb4d2bce4992a979f8888f5e3b122","datavalue":{"value":{"entity-type":"item","numeric-id":633151,"id":"Q633151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c573f09deb73884c3b1907c82d39d76cb9e5e2","datavalue":{"value":{"amount":"+0.784526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2102064$4A306DD4-C1D6-4746-9817-E654CA1EB057","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2102064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2102064"}}}}}