{"entities":{"Q2879263":{"pageid":2889983,"ns":120,"title":"Item:Q2879263","lastrevid":83671673,"modified":"2026-05-07T09:56:17Z","type":"item","id":"Q2879263","labels":{"en":{"language":"en","value":"Formal verification of optical quantum flip gate"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341492"}},"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":"Q2879263$F0D565CB-2D21-4173-8259-AE2FB77D53AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff115c528e0fcc0633238b615d541c84c75db0e2","datavalue":{"value":{"text":"Formal Verification of Optical Quantum Flip Gate","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879263$65C1A983-C283-4B29-B7EC-460F992B7493","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"676262f55258a57b520330640192dca8c2db305c","datavalue":{"value":"1416.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879263$CC7D2D1C-6CFB-4AE6-8FE4-CE4726F58925","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"844a28f67a74dc81f39308c4f2e0f78277c033ca","datavalue":{"value":"10.1007/978-3-319-08970-6_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879263$EB11C3AE-8108-4164-8631-94FD488A8A4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb4a3b184e2709849382aae1ffe1670556b6493","datavalue":{"value":{"entity-type":"item","numeric-id":475381,"id":"Q475381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879263$B260EB7B-D13E-4337-A9F4-877A759D8C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b58753525834b22585058db2818f43049ca5ee","datavalue":{"value":{"entity-type":"item","numeric-id":475382,"id":"Q475382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879263$807C60F5-A07C-44C3-9B58-0136B0E920F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879263$9FF18B3B-E4BF-4E43-BE0D-A8B52A54C64D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879263$C1EC5F29-9CA4-4EDB-9A0B-17BE3EE6EEE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879263$6D4C4A87-C16A-4AA4-908F-FC75FC5CBF3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879263$A2D2EC3D-C12A-44CD-8EA5-761A29527A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7e4c8075688274f719c26409a2318d38b8972ba","datavalue":{"value":"81V80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879263$B3CA2B3B-421C-4988-A7C8-F19E593D99F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"069947789e6be961edb49723398deeab0affb564","datavalue":{"value":"6341492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879263$51FFB935-FCEC-4770-BD8A-2500163FD4D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49575ff0c914c607cecd71c5b97156ca31beacf0","datavalue":{"value":"quantum optics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879263$4C958290-BA19-4D88-90C7-DBDDEFD53772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b114e73f4ccb5447c7b76a779e0e1edd2a4e5d","datavalue":{"value":"quantum flip gate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879263$1ACD044B-F335-44F6-B4C5-199096733A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f4b282011539db2760fdd371c4ebeccd3cb7af","datavalue":{"value":"beam splitter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879263$A96184D0-CA25-4585-94DA-2CDAEB5B801C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52690890c8a614298afb95bd279b14d54d8765ac","datavalue":{"value":"phase conjugating mirror","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879263$AD603A61-C8DB-4C7A-A733-446536A56F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879263$DD1E4092-B207-4739-A07A-841F791E4302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104686f3a3b63f31fa6c79f5f0116fe39fff0a7f","datavalue":{"value":"HOL Light","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879263$E4464EB6-E1AB-4EDD-ADB1-32D2228B504F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879263$31A7B143-C2D3-4883-B2DF-EFC96BB17A5E","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":"Q2879263$2EB25BDE-2A56-4F26-A54B-273C6415CD3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85f09aef4abbf0ff35d50baf4158a28bcc4e615d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08970-6_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879263$906855C1-EA99-4503-B4D0-B578AEB2A7FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4b64e98d779924661a1f9f3ec9faeabca13f917","datavalue":{"value":"W235293953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879263$136156AD-B310-49A2-8530-58C9BD6E7ECC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a660a827bd3cc03fb60103bb58452e52e5f7b3","datavalue":{"value":{"entity-type":"item","numeric-id":2418045,"id":"Q2418045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eaf72e91188d8c83190117ff960a76e17d58eac","datavalue":{"value":{"amount":"+0.8190640211105347","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":"Q2879263$9EAB17F5-6B45-4BE7-8937-576996807E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c7fe952212f46f3df1c6e72df84e26cd4d51e4","datavalue":{"value":{"entity-type":"item","numeric-id":2311888,"id":"Q2311888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b659af2965d3ccaa337ec37eff9f4cd89455715c","datavalue":{"value":{"amount":"+0.745479166507721","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":"Q2879263$3D62E228-D06C-4007-9790-65C7F7DED3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d2f033e8d8dd03ba5af13ddb06fe14e8181f07","datavalue":{"value":{"entity-type":"item","numeric-id":3656843,"id":"Q3656843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06b71bb78c73653bbb96b929db3a27139b3ff0e","datavalue":{"value":{"amount":"+0.7323501110076904","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":"Q2879263$591F7A0A-45C9-42B1-8EE0-FC1A899CBA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc55ef2613b371848912866130d0919ff51b30f","datavalue":{"value":{"entity-type":"item","numeric-id":4688901,"id":"Q4688901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e96a9d16bb9b3f538e5d91017d2232b2c5ecfe","datavalue":{"value":{"amount":"+0.7284074425697327","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":"Q2879263$2A4909F5-3D97-4F6F-B373-09A00D5085E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b425b71db0d9d827326b4625f1b9b6694b42249","datavalue":{"value":{"entity-type":"item","numeric-id":3385623,"id":"Q3385623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913ef5abce8c990a9664e1a0678705cd5b8b10cd","datavalue":{"value":{"amount":"+0.7283440232276917","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":"Q2879263$5CC72619-FBEB-4CBE-9ACC-3B662C1E7F77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of optical quantum flip gate","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_verification_of_optical_quantum_flip_gate"}}}}}