{"entities":{"Q7361307":{"pageid":31519460,"ns":120,"title":"Item:Q7361307","lastrevid":105364832,"modified":"2026-10-07T13:35:30Z","type":"item","id":"Q7361307","labels":{"en":{"language":"en","value":"Quantum Fourier Transform"}},"descriptions":{"en":{"language":"en","value":"AFP entry Quantum_Fourier_Transform"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d624bc16edc8dd0e5c18be1ce49f2e66e1d682c8","datavalue":{"value":"https://isa-afp.org/entries/Quantum_Fourier_Transform.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361307$B81A0AD3-D4F2-4D77-889A-B1762B592B76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2496244a8d73be6eb3466ad6b47d633d39ce8a01","datavalue":{"value":{"time":"+2025-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361307$C9588BA4-BDB9-430E-8102-F4280F5C4CC9","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"1d98cb199e5c218253ab31f1b62dfc65fc60ca83","datavalue":{"value":"Pablo Manrique","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361307$FCD1B37F-1CB7-4DBB-8649-FCE9A714F75F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d3782f2980428fbe2724b550401fd9adb7331c4","datavalue":{"value":{"text":"Quantum Fourier Transform","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361307$DDAA5992-BC16-4016-9E3A-1345CCC5F9C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9fd7986262901deba195078fab2427d693d5e831","datavalue":{"value":"This work presents a formalization of the Quantum Fourier Transform, a fundamental component of Shor's factoring algorithm, with proofs of its correctness and unitarity. The proof is carried out by induction, relying on the algorithm's recursive definition. This formalization builds upon the Isabelle Marries Dirac quantum computing library, developed by A. Bordg, H. Lachnitt, and Y. He.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361307$00073EE3-0154-4FCF-909F-BB40552B6C64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad66d8c8284793fd499f5f09ca59cf54c6ecb95a","datavalue":{"value":{"entity-type":"item","numeric-id":2666954,"id":"Q2666954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361307$59C84A5F-3195-4B89-ACE0-E89BDB634382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0dd98707b6eaad19f68a7dc4719e12007f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3067742,"id":"Q3067742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361307$4ABA67C7-0BD1-4D2A-A628-84950C68CBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e436caa8c9563f2f6cff860c2df91c6ce9132cd","datavalue":{"value":{"entity-type":"item","numeric-id":7017177,"id":"Q7017177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361307$AE299CC1-51B9-484A-AF6F-280CBDC5F6A9","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361307$16E0A7E0-30D7-47B4-9A8A-879D8C2E3B81","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"d6b6bd82378060fe0596bb81d76fedaccaa80fbb","datavalue":{"value":{"entity-type":"item","numeric-id":7361616,"id":"Q7361616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361307$66721559-B3F5-4687-9342-86E309248F37","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"614a8772e5f3899a0cc0a1a4053c669c97e90a28","datavalue":{"value":{"entity-type":"item","numeric-id":7360781,"id":"Q7360781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361307$A9D7931C-4428-4AA8-96D8-8DFAEE9D902D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361307$4ED2947B-1984-441E-8110-24A805CA8D9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantum Fourier Transform","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantum_Fourier_Transform"}}}}}