{"entities":{"Q6636079":{"pageid":14247231,"ns":120,"title":"Item:Q6636079","lastrevid":40605919,"modified":"2025-03-10T09:18:17Z","type":"item","id":"Q6636079","labels":{"en":{"language":"en","value":"A Coq-based infrastructure for quantum programming, verification and simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7941770"}},"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":"Q6636079$843C729A-A2C5-4F15-9ABF-8615B6C0CF38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd50507e9848f2561e87d84803d1939548529575","datavalue":{"value":{"text":"A Coq-based infrastructure for quantum programming, verification and simulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6636079$A8FB4B56-0607-4F7B-BE66-A4C66654BF46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92ca6844f8d5c06b4f7092ebba6c93a8ee6f73f5","datavalue":{"value":"10.1007/978-981-97-2340-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636079$3160CF7B-B809-44CB-8ECB-19891C8AAE42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"891e77a3f835973d424d28aacb20ec47e6e306ba","datavalue":{"value":{"entity-type":"item","numeric-id":6636078,"id":"Q6636078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636079$1498C688-ACA8-4E2C-9BBB-F338410A94C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"678f6a739ed9608146f6948cf5a8eb9a13fd03d8","datavalue":{"value":{"entity-type":"item","numeric-id":840846,"id":"Q840846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636079$388EA7B2-50F5-4924-85F2-E980AE3E3014","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60fa3f87d97ee0a9686c2e5537009cd3455d3ea2","datavalue":{"value":{"time":"+2024-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6636079$3E1754D5-E0F3-4A9B-AD53-DDA20EAE4815","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636079$D93A871B-AAFE-433C-AA04-0DE48B6A6A36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4fcd2bdc2c1bf82fb51e3177a5b6b34ec1be490","datavalue":{"value":"7941770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636079$3CB97869-D77F-4764-B876-50C5D9D41E82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fdee470dbbb1cf7986bbcb0c71a5b313b719c1","datavalue":{"value":"quantum programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636079$0E51459F-9386-4B9C-8B30-AFB830F2AFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636079$D116B6B2-A265-47A5-AE20-5233897532BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636079$B5CC0D6E-42F9-4590-B605-DE4AE5349B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de48ab2a57cf77daf01856bbc30be18a53dc51e6","datavalue":{"value":"quantum simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636079$3240EB15-9B94-4164-BEFD-8A592E535669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8e841e4cc6e9002be5ed45d8dcddb3e497bd39","datavalue":{"value":"OCaml","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636079$931A3F6B-695E-4326-B001-09C55DB0D03A","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":"Q6636079$822C299B-A0D2-405A-970F-84FFAF206099","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":"Q6636079$85C3520E-2BEE-43F7-BCC0-E40775B41F4C","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":"Q6636079$9AB939C9-57B9-4CB9-807A-6B53F2C46D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7bdad72047ed9d33667f3daad935eaa5b4f7773","datavalue":{"value":{"entity-type":"item","numeric-id":6099610,"id":"Q6099610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636079$C43764A8-641C-4346-A613-9F133E19C0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96e3cd73827723a8dc982d846104e251d12bb4f","datavalue":{"value":{"entity-type":"item","numeric-id":6154880,"id":"Q6154880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636079$87326113-EF3A-496D-9ACE-6290C7C0D145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"809ee6484c0c68405593abc0bdb5cf0eb6c6d6e8","datavalue":{"value":{"entity-type":"item","numeric-id":4496837,"id":"Q4496837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636079$1DD85C31-3587-4C4D-BC44-8F31D01011FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6636079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6636079"}}}}}