{"entities":{"Q6671789":{"pageid":14282946,"ns":120,"title":"Item:Q6671789","lastrevid":99971522,"modified":"2026-06-05T21:07:25Z","type":"item","id":"Q6671789","labels":{"en":{"language":"en","value":"Formalization and analysis of the post-quantum signature scheme FALCON with Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7975264"}},"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":"Q6671789$887448B4-C4E0-4725-A562-A81E1970A344","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce64de8aa9e02eb757f9cc448fcd1c0b8500c457","datavalue":{"value":{"text":"Formalization and analysis of the post-quantum signature scheme FALCON with Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6671789$A00F534A-9913-4CE4-A582-10506A00C277","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c73ef50764af0610752ebb9a4de240523b13e7d","datavalue":{"value":{"entity-type":"item","numeric-id":394263,"id":"Q394263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$7530FDE0-C72C-4362-A022-D3C60996A92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$61DEC31C-D204-4866-99FA-9F494F6861FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$0A0E200C-CEB0-4C36-8F49-CBE6B4226E28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$617613DE-EB19-489D-A075-E326B2A96D3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01c8fda91d942add7e0cfd27c9eb0e6bdff75079","datavalue":{"value":{"time":"+2025-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6671789$F46D10CB-FF9D-475B-BE2E-58CDE961C500","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6671789$1610BE4C-108C-48B2-A97C-10F0F8272E67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2b96d30c1008b4d79c1c5f864314abdc31268cf","datavalue":{"value":"7975264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6671789$48346E74-6066-44D7-8F55-80662C7B098D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6671789$B4A8943B-2A2F-4801-9E45-559DDEE32BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0963c12df09c4675df998a51150b2e668f4be697","datavalue":{"value":"post-quantum","type":"string"},"datatype":"string"},"type":"statement","id":"Q6671789$0DB5646D-CBE6-4466-AA43-6C9A2C0CB66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b144e6975a69ca17f1c2e6aa6ec1fa1127653de","datavalue":{"value":"signature scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q6671789$0AB82297-DFB7-4053-90DC-6ACAE31A70CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bed880c0c57593db2417aa6ddffbd857b7652d7","datavalue":{"value":"FALCON","type":"string"},"datatype":"string"},"type":"statement","id":"Q6671789$FAFFDD26-5A35-4E7D-8917-36380A8693B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q6671789$95D60649-5399-48C9-9EAC-41D0539D28B8","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":"Q6671789$90D1C925-0B9E-4D8C-938A-4641E9E8CF7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80187e65c3d02218a1c1b84468898391dd828b52","datavalue":{"value":{"entity-type":"item","numeric-id":4145254,"id":"Q4145254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$CD8FB29F-1C3A-4D21-95D6-134C64F66F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d4b69c424c8db80f6be35cae6a132069304c1f","datavalue":{"value":{"entity-type":"item","numeric-id":2894308,"id":"Q2894308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$E4E16878-F6F8-4E8C-9C89-B818997751C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0035b2c8af5d10594fe2243a270bb9bfcc0983","datavalue":{"value":{"entity-type":"item","numeric-id":3176380,"id":"Q3176380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$6E775A9E-C3EA-4BCA-8075-5F407D865A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$72AAB064-E597-4B80-B9A7-D607D67D9B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766f3e64390acc4c220dfb9b10c7d0bad57454c8","datavalue":{"value":{"entity-type":"item","numeric-id":540683,"id":"Q540683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$FF804BDB-C5B2-4E92-9AF5-E747C7555DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb649047d8af54739f248f01cac42e5a1915d422","datavalue":{"value":{"entity-type":"item","numeric-id":1601823,"id":"Q1601823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$D9DCC824-BF37-462B-BCE4-2E69821BB082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2613520dd94bccb06517a96e46dc00cc2cb71a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$E84CFF32-917C-4BFA-93EB-CAE84D4302BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6faf23ae58f0d008eb59c8c3066e56d64ed7b45","datavalue":{"value":{"entity-type":"item","numeric-id":860906,"id":"Q860906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$36B732F9-E1A2-4A04-92AF-4F7CE3827B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$BED4C9AF-B5A8-4365-AD13-FD6C3F022ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9347765136650ae068c681dd50837d0a09bc96f4","datavalue":{"value":{"entity-type":"item","numeric-id":2291818,"id":"Q2291818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$4634F1CC-AEEA-4008-BE1C-FF72E21C46E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$C2079BD7-F053-44DC-B2FB-0A13D9CCB7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0992a9732d4c0a6122dab597921488e8c283dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4421726,"id":"Q4421726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$65474636-F113-4BFE-8982-FCDF7D69530D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390625b68dbe2b8d09a8b8761adaaeb9920b09d3","datavalue":{"value":{"entity-type":"item","numeric-id":1931912,"id":"Q1931912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$C77371B5-6460-41EE-9B00-3909F6E30ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9476ac1a83fef954224ee7cb1285ac824e5ebfbd","datavalue":{"value":{"entity-type":"item","numeric-id":877024,"id":"Q877024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$5360304B-A82D-410C-AE7B-DFC7505A435E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$49A05DC2-FFFE-4CD1-9AF4-00677CFE7CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7d72fb0b583e355b8cac85cb179d5e07a3d64a","datavalue":{"value":{"entity-type":"item","numeric-id":2851053,"id":"Q2851053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$0BEC1AC1-A876-40F8-844C-0628FE345DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40651885e589ae16736b2ed26430168a8207418","datavalue":{"value":{"entity-type":"item","numeric-id":3875826,"id":"Q3875826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$1654BA0C-AE5E-4356-8E64-AC6485B5C42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2fc581f39eb60847efeb423e51f3711c8ca911","datavalue":{"value":{"entity-type":"item","numeric-id":3787914,"id":"Q3787914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6671789$D15EE2EE-B410-4BB6-991C-7EC4B5F5AF4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b69e95cb05cf49785962b09107fd84f26724f5ef","datavalue":{"value":"10.1016/J.JLAMP.2024.101034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6671789$F4A5867B-909F-4FEF-8646-A016F53F8524","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf702c89830b56b4c01e7a76c05254fa6428eea2","datavalue":{"value":{"entity-type":"item","numeric-id":6119663,"id":"Q6119663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe8670154621f428687d7252b16ddd9d612dfeb","datavalue":{"value":{"amount":"+0.7371514439582825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6671789$55C56262-F11C-430B-AA6F-3B8E4DFC8F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929422e2598b6bbfac4d0e9d3105206a38a52052","datavalue":{"value":{"entity-type":"item","numeric-id":4971463,"id":"Q4971463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4df09a7a6e5606fb03ad4ad01966107e74a685","datavalue":{"value":{"amount":"+0.7329278588294983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6671789$0F500CDA-4B6C-490D-A00F-6AEB0C6A1561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73ae9c1eee82d1a5be3195b725760ce840f07a45","datavalue":{"value":{"entity-type":"item","numeric-id":2948336,"id":"Q2948336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a19c8b968dabef9071966f3287a72d420f2e9b","datavalue":{"value":{"amount":"+0.7301099896430969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6671789$B8291596-7D99-408C-B1A4-72E42C5C3AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e2564b9bda4672233e2e667574587d45b5c280","datavalue":{"value":{"entity-type":"item","numeric-id":3613266,"id":"Q3613266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774ded51c73f11303602770a1f3f15e0e590257c","datavalue":{"value":{"amount":"+0.7288916707038879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6671789$834C6780-1742-4D3C-B3A0-D4A968E13CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e42b37904f37b4b778d114fe80d45c157f790ad","datavalue":{"value":{"entity-type":"item","numeric-id":2390954,"id":"Q2390954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b323879c12e812850c00c745980cc291b124fc25","datavalue":{"value":{"amount":"+0.7241266965866089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6671789$79CEA04D-8E4F-49CD-8BFB-FB2CFA4D0100","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization and analysis of the post-quantum signature scheme FALCON with Maude","badges":[]}}}}}