{"entities":{"Q7361728":{"pageid":31520723,"ns":120,"title":"Item:Q7361728","lastrevid":105368408,"modified":"2026-10-07T13:37:30Z","type":"item","id":"Q7361728","labels":{"en":{"language":"en","value":"Uncertainty Principle"}},"descriptions":{"en":{"language":"en","value":"AFP entry Uncertainty_Principle"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"624fb796d8107177b3c243d8095e55157d025534","datavalue":{"value":"https://isa-afp.org/entries/Uncertainty_Principle.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361728$B523682F-9816-4A0B-9D8D-52DECF1E43F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7022ae53c448f75d91b8223b5d0f2519da4678b","datavalue":{"value":{"time":"+2024-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361728$E153D812-905D-48CD-BF66-6B9C470F7FCC","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"6996d1eca30b82515d84c381c93203a4d23bf3a7","datavalue":{"value":"Alexander Treml","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361728$EFF2BF43-C989-4FEB-93F6-461D69042F3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b18cb0df9e5ddd4f5146b32efb8e4538a04d3623","datavalue":{"value":{"text":"Uncertainty Principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361728$25F203FC-E9CE-4814-A457-C73BC3F40560","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c6abe965857aa0d59da1a93b277b23ddebb41c2f","datavalue":{"value":"This is a formal proof of the uncertainty principle known from quantum mechanics. It is based upon work on complex vector spaces contained in the QHLProver session. The formalization follows the proof outlined in the book \"Quantum computation and quantum information\" by Nielsen and Chuang.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361728$3A9D3D33-791F-4CC2-B2BA-3E6B995643BB","rank":"normal"}],"P223":[{"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":"Q7361728$8AD2DA50-DD6C-4A29-9960-3524353B310C","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":"Q7361728$D1741776-CC5F-48BF-9113-BD81AA3EB9F5","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"de597ee37a809f17786e63a0a28d6bb72352cc0c","datavalue":{"value":{"entity-type":"item","numeric-id":7361944,"id":"Q7361944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361728$02BAE000-AAE5-44AB-89FA-EC2D82E221C5","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"d73f0f4d5cbd6c90251a5cb625c295e8562c8b03","datavalue":{"value":{"entity-type":"item","numeric-id":7360833,"id":"Q7360833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361728$5EBA67A8-5344-4201-ACF9-BDF3D748EEE1","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":"Q7361728$92765DAA-6826-419E-8F66-B27FCE87BF16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uncertainty Principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uncertainty_Principle"}}}}}