{"entities":{"Q2039896":{"pageid":2050638,"ns":120,"title":"Item:Q2039896","lastrevid":72486384,"modified":"2026-04-14T05:15:00Z","type":"item","id":"Q2039896","labels":{"en":{"language":"en","value":"A tutorial introduction to quantum circuit programming in dependently typed proto-quipper"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7368053"}},"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":"Q2039896$DFC884DD-FC14-4F63-92A7-37B174D03763","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b680596c826986d9bf600bb84101e7977ccbb456","datavalue":{"value":{"text":"A tutorial introduction to quantum circuit programming in dependently typed proto-quipper","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2039896$F8FDC7DE-B750-4B5B-9404-76E025440321","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"636d90b9890b9ca05df305d12b9b15454fbc3d7a","datavalue":{"value":"10.1007/978-3-030-52482-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039896$A1C3D0CD-FFCA-40B6-8AFC-1B360DA5295C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b615b898de6efd0f31bf76761f7533501cd79f0","datavalue":{"value":{"entity-type":"item","numeric-id":815359,"id":"Q815359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039896$B35ABDF1-EA26-4D0A-A91A-B9E87C9EEB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60766a3f3637a5b4ce3085e6826d61ac6ea7500b","datavalue":{"value":{"entity-type":"item","numeric-id":334456,"id":"Q334456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039896$F9E66746-B245-4DB7-8B3E-87914AC0D514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a033995ae1934eb5924467e9047908d33a42350b","datavalue":{"value":{"entity-type":"item","numeric-id":1115457,"id":"Q1115457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039896$86E0D1B1-E042-4D3F-89E8-DF6BEF3689A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14e6c6a9f3aba119325d184495ec2d8e413a64ef","datavalue":{"value":{"entity-type":"item","numeric-id":1884895,"id":"Q1884895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039896$427658DB-5289-4981-871B-A29FC11EEC37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86486849d03cdb8621ac571bf3978b52d8c04f48","datavalue":{"value":{"time":"+2021-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2039896$89F2BB35-A9CD-4605-A44C-1788CE927D51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44849dd99bafe0399b80dedef4f56ead35be38c4","datavalue":{"value":"https://arxiv.org/abs/2005.08396","type":"string"},"datatype":"url"},"type":"statement","id":"Q2039896$995F8C13-FED5-4D9D-A7FC-A2D8FD756E24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039896$5CED38C6-185F-442F-942C-E9803755D0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039896$DEB40009-A4D4-4505-AE43-FB4A64E81E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039896$CD556326-365F-4E1F-9C8F-C8749C2CE01B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02f69ef32ff1211a8e4510d3cdc58099f282a07b","datavalue":{"value":"7368053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039896$286924D6-2CE0-4095-8519-1A5E26D1057A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7124f2b96b87dc1d10cc1333dedcde8971b1ea87","datavalue":{"value":"quantum programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039896$BA5FBAF0-5B2C-4769-B34B-65E250741732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a88c37ad01714e2f128448f7edeb02cc5e499068","datavalue":{"value":"linear dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039896$B1CAEFEB-CB50-444F-B676-73C2645B7103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a79442bd0b80ef919f0f4a0c099a07a9ab3d5b5","datavalue":{"value":"proto-quipper-d","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039896$55D282BD-EE64-4F9C-8FA2-2FDF1FA9B052","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec624d1a038e4817fb3fc38fd976b7bbe661ccfe","datavalue":{"value":{"entity-type":"item","numeric-id":21873,"id":"Q21873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039896$52C18768-9CFC-444E-AD39-4E7D2AAF2B03","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":"Q2039896$ABA29433-8B1E-491C-9482-6F7B08ED935D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c93023d101a5c54a39856e12ba3b9b5f867e228","datavalue":{"value":"W3046635395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039896$B66B264C-D9C9-42F4-825B-C89487733337","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tutorial introduction to quantum circuit programming in dependently typed proto-quipper","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_tutorial_introduction_to_quantum_circuit_programming_in_dependently_typed_proto-quipper"}}}}}