{"entities":{"Q6535254":{"pageid":14146397,"ns":120,"title":"Item:Q6535254","lastrevid":57343989,"modified":"2026-03-30T14:06:04Z","type":"item","id":"Q6535254","labels":{"en":{"language":"en","value":"Type-safe quantum programming in Idris"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770327"}},"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":"Q6535254$AA67C343-B796-4410-87D9-EB5C2C6A8D9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ea4252072a08f4abda01a626dee8e099ffbd2f8","datavalue":{"value":{"text":"Type-safe quantum programming in Idris","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535254$3A2B79CF-3768-4C65-8E3D-6474DE5355C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"433a796ebbbf9b18c9f03f8816fb5de16bba3f94","datavalue":{"value":"1541.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535254$A1D625EA-2907-44BD-A863-838809EF8CD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5556cefbff8b976bc95f8914961e6a0c4813a1c3","datavalue":{"value":"10.1007/978-3-031-30044-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535254$3B96C28C-288C-4537-8E84-D580382A1B15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"705a3b59cf53a6eccbe3f49468a318759ae03569","datavalue":{"value":{"entity-type":"item","numeric-id":6535253,"id":"Q6535253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$136A20E6-74F7-49CE-8C8A-DA91E63849D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"464f0fdc8f0ac24a2780ce4feed43050ac87ac2f","datavalue":{"value":{"entity-type":"item","numeric-id":384927,"id":"Q384927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$44D75F27-C8F4-49BA-84ED-2F6FEE0A7086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c53ee96c25258a099adffdda89c42403a08a832","datavalue":{"value":{"entity-type":"item","numeric-id":2200847,"id":"Q2200847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$7611CF54-11BB-4F4C-97EF-4B19CEE17B92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535254$2265D1C4-5594-4BC0-BE85-A495D265F3D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535254$FAEFD41F-345B-4B01-8F8F-E4A5C07CAC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535254$CBA082D1-D618-4F2C-82BE-75F42672C915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535254$7BE0E39E-C424-4225-8F67-33CD78D0289F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535254$DF8A6C5A-FB65-4B69-9005-A31856ECBD7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b441f319ae3ff2b113a464f094a54cd825b92c0d","datavalue":{"value":"7770327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535254$4759FC21-7685-465F-8EA1-EEB1D6EF9E74","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":"Q6535254$7D2E1EBE-3C33-44BA-9771-00BEAEEEEA14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"977efb754361644901b8cefbe524f88b55e3a574","datavalue":{"value":{"entity-type":"item","numeric-id":3560840,"id":"Q3560840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$532647DA-2655-4489-903E-5EFFEAF77E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0bf4d0370e73f02ad33b97c00b2a12344329fac","datavalue":{"value":{"entity-type":"item","numeric-id":3638920,"id":"Q3638920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$20B75A5A-48A0-4E7F-AE47-F3B0FD37A452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f61bd595446db29343db326f47cc40d28f087e","datavalue":{"value":{"entity-type":"item","numeric-id":5166619,"id":"Q5166619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$F4202D62-2345-47AB-A5A1-BE135A264A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324ecf1b83629f49a2cf02432ea440e2d5e9d22","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$427409FE-D2FD-4C65-A6AA-C60FABD59B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$DA18B3C3-A2B1-4DC6-8947-34AFFBBA9250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"538648d7b90d65521cf8abbe022d0b3e52b88dde","datavalue":{"value":{"entity-type":"item","numeric-id":3002797,"id":"Q3002797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$DE80A70A-1B9C-4E2C-A570-AED7D621E68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ea8c3eaadcc3548c99da1050597140b09009ab","datavalue":{"value":{"entity-type":"item","numeric-id":2039896,"id":"Q2039896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$75F08AE1-B323-4D38-AD85-CC6E661A7A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$A5D8A2D9-5600-4319-B278-B9A2719DB714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67f4f0b42c5d01363eae21bced4a80941606e06","datavalue":{"value":{"entity-type":"item","numeric-id":2868442,"id":"Q2868442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$196D3BAE-3C71-4714-9FB9-91983D539394","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":"Q6535254$28431966-27E2-4CCE-AFF4-0CCC954C2B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78f8f5f44891dbcf46a92514a699b5527659f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1566910,"id":"Q1566910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$8E125039-9067-4536-8E6B-BB4A89FD2CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$B5724ED9-C9E7-4E73-BF0B-4197E368C0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8eae90b3712e039a2cc5ccb788b8ef094b8aab","datavalue":{"value":{"entity-type":"item","numeric-id":270034,"id":"Q270034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$6F81A9F3-B9C1-4497-9221-883A157BA0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104de9f445922b948f21b653f9bc6f6f7aa4669f","datavalue":{"value":{"entity-type":"item","numeric-id":5854958,"id":"Q5854958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$BC99403A-0CF6-419D-8FAE-42EABA3D3A7C","rank":"normal"},{"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":"Q6535254$B3E52C32-0ED4-433A-921B-79B750FC3D7F","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":"Q6535254$E08B0CD9-3AC4-4E75-91E1-1A4F8FDC67EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbbdac3eae1ef4b981134828ee5f705ff928cf5","datavalue":{"value":{"entity-type":"item","numeric-id":2200848,"id":"Q2200848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$E4117C56-DCF6-4A4D-9A3E-89BD9FB20B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8374d9733503d9dbb69dc71cee4f30cf2fe4aac5","datavalue":{"value":{"entity-type":"item","numeric-id":3385643,"id":"Q3385643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$EB7A2C17-727E-4C36-8ADB-67AE83B00F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8781691f3a90f4232c741473b5f76f8ee4cf3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5482273,"id":"Q5482273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$18123845-F49C-433C-BF0F-690492A6E176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15fa75a78897f722d65394759efbf902c79b4ac","datavalue":{"value":{"entity-type":"item","numeric-id":4255836,"id":"Q4255836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$DEE7F3B3-9B85-4C3D-B4C2-5EAD51AF1AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4dd650f233f7de7ab1ac959a09efc30e858a194","datavalue":{"value":{"entity-type":"item","numeric-id":5354396,"id":"Q5354396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535254$EC092392-30E9-45C2-869B-5E0916D57607","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efda4dfb2b7f918df9fc00086e2e13170b278d19","datavalue":{"value":{"entity-type":"item","numeric-id":6566187,"id":"Q6566187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea7b44ea7f6cf6297f3adb5b0d326078023c4c4","datavalue":{"value":{"amount":"+0.7605062127113342","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":"Q6535254$8B5B45D2-5E72-4C9E-9D4E-369AA30E0CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058098cae5445bef5cf499285b3781b733da7c8f","datavalue":{"value":{"entity-type":"item","numeric-id":6091535,"id":"Q6091535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1273ac3f9487bbb367c189db88c229d2a3d8fd","datavalue":{"value":{"amount":"+0.7305780649185181","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":"Q6535254$28B259B7-B199-4A1C-85B5-344100B0F94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f76dfb44f7958e0166ea91e53d51ca7af9bbd18","datavalue":{"value":{"entity-type":"item","numeric-id":5854958,"id":"Q5854958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a79881932040d22c70c161ee6754f7e12a470b","datavalue":{"value":{"amount":"+0.7169247269630432","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":"Q6535254$1E194057-21BC-4CB2-B9F4-A6A3DBBBA0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0460dda471d569bd91a2d773545aafbd563731a","datavalue":{"value":{"entity-type":"item","numeric-id":5018491,"id":"Q5018491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ff6ae7d8e0df62685faf8c606a9eec4a4b683e","datavalue":{"value":{"amount":"+0.7165634036064148","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":"Q6535254$C328AE5D-9F9F-446E-B62A-7AB138B4982F","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":"Q6535254$4B971E12-5A1C-49D6-950E-046341094E94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535254"}}}}}