{"entities":{"Q6860017":{"pageid":20656735,"ns":120,"title":"Item:Q6860017","lastrevid":84252209,"modified":"2026-05-14T05:36:20Z","type":"item","id":"Q6860017","labels":{"en":{"language":"en","value":"Typed compositional quantum computation with lenses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158256"}},"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":"Q6860017$D00904FD-ACFA-4847-91FF-4D3454318458","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efb29fd7a24a4340ce13509afd77eecd4187c7c4","datavalue":{"value":{"text":"Typed compositional quantum computation with lenses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6860017$C611C7FE-99B1-4A94-AC63-39446AC2C70D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7cf07a18bfe5062886d8eada37835299438e8ef","datavalue":{"value":"10.4230/LIPICS.ITP.2024.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860017$F55417AE-F138-4C05-8CAE-FB1BC43DF415","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f4fe5739bc92b9b7dd1c7e60f1d057a2d93c386","datavalue":{"value":{"entity-type":"item","numeric-id":1350340,"id":"Q1350340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860017$CE13A479-F15B-4D13-BFBD-8B5530043502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"983cfb37f70d08a317b16d177b21808cd2975933","datavalue":{"value":{"entity-type":"item","numeric-id":2176679,"id":"Q2176679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860017$33109ADD-9AD1-43EB-9902-46239D1CC77C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6860017$5E5DFA75-143A-4F86-B816-1EC7E0A3902B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860017$935FF5AE-CEE5-4C84-8EB0-0BF08E162719","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"795455b23cbb7feea66eb0d4cbaeb4951c7bda29","datavalue":{"value":"8158256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860017$171AEA6D-FA41-4886-A115-5B93035C3D8E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860017$16FBA1A9-7A2E-4158-84CC-212090B59D55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fdee470dbbb1cf7986bbcb0c71a5b313b719c1","datavalue":{"value":"quantum programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860017$690953AA-FC40-443E-9384-AB3C4D5DCE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860017$B771C825-8075-4DD2-A065-7F4EF647F79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cefafdc12d80aac4a57b10d5dd4ce268a2e6aa24","datavalue":{"value":"lens","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860017$87DA5801-57BD-4471-8F85-837EF833C847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21c9a0ea6f6cd210eaaa42228894e909c0ebc3f7","datavalue":{"value":"currying","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860017$09BEE9E1-ED38-4C3D-92B8-75DB56644D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860017$72C28208-A026-4D1D-8351-78E4BD358390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b26a28fbf66dd7c84b3d320153f1c90888cdf17","datavalue":{"value":"mathcomp","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860017$D6885C24-1C3C-4931-85CE-0319722F1607","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":"Q6860017$B46E4E78-A5F8-4822-A45D-B7682322F512","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ee72dfb42e2ffc1454ffd9bb23bca2c64af87","datavalue":{"value":{"entity-type":"item","numeric-id":3917520,"id":"Q3917520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860017$F4DAAA76-1426-4ED1-A674-6DA1DF53DB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40e6e7fca863501671c1883f0eb1d7652b5f3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5176940,"id":"Q5176940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860017$2C8C5E90-8A56-4019-8A9E-8934928DF3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4df1fbe284d5fc9f37495f92c778c1ff839b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2233453,"id":"Q2233453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860017$F2CFCF77-0D60-4C00-8DB5-827268EB468F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26096337c4bdb69f9671beead4d3955914fca9f6","datavalue":{"value":{"entity-type":"item","numeric-id":3519509,"id":"Q3519509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860017$EE3EF81C-6322-4298-B158-585DDF4DF88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd79437c79144327c3d252da8e681f6f81d9c985","datavalue":{"value":{"entity-type":"item","numeric-id":2970049,"id":"Q2970049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860017$4D6574CB-C050-4F8A-84A5-DA8F51CF9C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be977a859de854f15077584bfba61ff5a85d99ca","datavalue":{"value":{"entity-type":"item","numeric-id":6854399,"id":"Q6854399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860017$C96C7963-6347-45D1-84F3-4795B51B6150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f933bc25a716aad10a4b75bc37eda092a661fca1","datavalue":{"value":{"entity-type":"item","numeric-id":5370918,"id":"Q5370918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860017$33AA0F1D-F7DA-417B-9CDF-44A9A125FD82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typed compositional quantum computation with lenses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Typed_compositional_quantum_computation_with_lenses"}}}}}