{"entities":{"Q5875417":{"pageid":7904968,"ns":120,"title":"Item:Q5875417","lastrevid":97508783,"modified":"2026-06-05T14:55:15Z","type":"item","id":"Q5875417","labels":{"en":{"language":"en","value":"Generic Authenticated Data Structures, Formally."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649959"}},"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":"Q5875417$609A9731-4C3D-40F6-AA4A-9A0D18083E7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d58eb6e29ccc48030ba246b8c67b3b17f523a81","datavalue":{"value":{"entity-type":"item","numeric-id":5875416,"id":"Q5875416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$792541A2-8DD0-4DC8-BE34-36781F86908A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157dc0abe360dacc915db0769a2ed352a42201ad","datavalue":{"value":{"entity-type":"item","numeric-id":1687534,"id":"Q1687534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$01339936-DFD6-48E6-BC09-4803EA2A5FAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875417$D13D8919-A8FD-40F1-9213-F26AA5627B5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875417$71795F15-F8C0-4B2A-A901-469E9E6B650B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"feab053ad6aad641a397e59471f869d2d4700686","datavalue":{"value":"7649959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875417$8B6FEACA-0D7A-4B9C-ADB7-BC4B2A980D32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f25332e5f9ba5e50d3ff80c444db336ecbc8018","datavalue":{"value":"authenticated data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875417$EE422F98-CB44-4B23-9D1B-BD372C49EDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2db1bd2a721eaea8f3e4ab7dd6f65578daec2e95","datavalue":{"value":"verifiable computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875417$9BBE07D8-2247-4E01-B504-26E04E292243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875417$2C516112-DB65-46C4-A715-C8732D40E23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b94cf12b514b82bd9372646d7199e845de3b7b90","datavalue":{"value":"nominal Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875417$559A3FCF-12E5-4321-A6D5-896BE57D82EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$D8B76B0C-B987-43FF-87C8-64F92A446E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$D2E781E8-7956-4B77-B7F5-05D9B7360C6F","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":"Q5875417$F07CCB26-E9D0-4DB4-9052-00A18AA14EE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1d9b668014d457d94346d96f2ba1b71d55afdb4","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.ITP.2019.10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875417$B5023BF7-2625-4791-9F41-77203E35589E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"715a7c1619317adf4d4ef56d276a2c6e23d35ad8","datavalue":{"value":"W2977737234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875417$14E44009-D68D-4EF0-AA5D-69A031A35C10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"261f95061c67d7409f3fd5fd979cd7634c462f6f","datavalue":{"value":{"text":"Generic Authenticated Data Structures, Formally.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875417$86FDDA6E-E8AB-4943-B923-590A77AD1923","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd586d92053abc0bb1bf3c558de1e0427fc7df2c","datavalue":{"value":{"entity-type":"item","numeric-id":4912847,"id":"Q4912847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$C51CEEEC-8816-4A29-BC18-BA856D633232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738af7e11be31bd6c06dd8391d032fdc6994eea5","datavalue":{"value":{"entity-type":"item","numeric-id":4577822,"id":"Q4577822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$D688FF81-59BA-4BBB-ADD0-09DB022590C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405864a5f87cd80c2a6137e1c1428df1394c9f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2765457,"id":"Q2765457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$9103A367-528A-456F-BD36-652555AEF86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$7BA87FDA-70C7-4B0B-80AF-8E4671802CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7e549f0fba6b332f88c2b3d15bc37b5e90f37a","datavalue":{"value":{"entity-type":"item","numeric-id":5747640,"id":"Q5747640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$2028F932-59F7-42AB-B891-A63332C3F289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce6970e34e76dcad688d52cd440efe81ff857b8","datavalue":{"value":{"entity-type":"item","numeric-id":5408436,"id":"Q5408436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$D392043B-438E-4685-A823-9F08B395D8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2969083e68a429ef1cbc6af2b74e4e340fbb0bde","datavalue":{"value":{"entity-type":"item","numeric-id":5394629,"id":"Q5394629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$C7163385-D93E-4788-9E6D-759CFCB5B277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab84f6aaf590fa756248847abc358b761eb7958","datavalue":{"value":{"entity-type":"item","numeric-id":286772,"id":"Q286772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$08BF063F-5C91-4780-9B63-9D1F447DDBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$996FB785-7125-44A3-8617-F10C53DE2989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d4a2aad4cebbcfa646c9c5d2e3fb1738d09daf","datavalue":{"value":{"entity-type":"item","numeric-id":5891628,"id":"Q5891628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$640DF1F7-CDFE-42AD-BF4C-522EDB716FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe367300975639b5ced32766a3192e0ebd50725","datavalue":{"value":{"entity-type":"item","numeric-id":5178966,"id":"Q5178966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$E0170F67-C4D0-49A5-A41F-060E77011BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f8f6dff394ac274489a2a8165abb84f760b4be","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875417$71AFF940-B1C5-4C1D-BF9D-D02DEAD417D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8a5022ffd7db62138e800efe594f7be3e4e91e6","datavalue":{"value":"10.4230/LIPICS.ITP.2019.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875417$E5FA4875-C908-4CD9-B2FE-916180F32997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic Authenticated Data Structures, Formally.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_Authenticated_Data_Structures,_Formally."}}}}}