{"entities":{"Q2200848":{"pageid":2211591,"ns":120,"title":"Item:Q2200848","lastrevid":73580538,"modified":"2026-04-14T16:31:58Z","type":"item","id":"Q2200848","labels":{"en":{"language":"en","value":"Quantum programming with inductive datatypes: causality and affine type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250957"}},"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":"Q2200848$793FA956-3B38-47D7-ABB3-77E498705B4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7df287b1bcaacc5b7de7788819a92520c4bcf99f","datavalue":{"value":{"text":"Quantum programming with inductive datatypes: causality and affine type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200848$6E211706-B549-4B12-8024-9291C3525473","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26b85c4415f996ad9a842ce380c012d019288af6","datavalue":{"value":"1442.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200848$68DAA327-C2D0-4CCA-9BA3-27CC4BCD833E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4efa5c94000824532ebf788dd245d686177508c6","datavalue":{"value":"10.1007/978-3-030-45231-5_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200848$87C3D8E6-4717-489D-9CB9-E4A6AB1AA672","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fff50a7a9071a09e7be8e0564680a871ad9ef12","datavalue":{"value":{"entity-type":"item","numeric-id":1640982,"id":"Q1640982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$B2DC96A1-DEEB-4E1E-B382-0DB808650AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c8a0fd260d93698449c2617220404dbb84d4f0d","datavalue":{"value":{"entity-type":"item","numeric-id":496042,"id":"Q496042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$827FB921-1803-4E5C-9D03-9D39922BE7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56bc8899c76a806cfc36f25fe746d940df884643","datavalue":{"value":{"entity-type":"item","numeric-id":283771,"id":"Q283771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$B005705E-7E50-4CEB-82E1-D346F1EA8B5F","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":"Q2200848$B6933738-7AA0-49E4-A04E-6AF51FA5010A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2200848$FFE622D4-AA7B-4501-B3D2-FA81D63E95D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"769125d65fbaf951b448dfaa45ecd78f7ca748ab","datavalue":{"value":"https://arxiv.org/abs/1910.09633","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200848$64768589-AA94-4C42-AD4F-B329FCDA119F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200848$770BB545-A044-4FC8-B055-9EE983068D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200848$B213A8DF-956E-4729-961E-D47FD7D009AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200848$B920C8C4-009E-4951-B62E-496C6EA3CC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200848$2A1EDB30-8A19-4FB9-8905-44522DFEE827","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af680938df37b58b4c4dca7af5b403e8565d0227","datavalue":{"value":"7250957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200848$20660A9C-C32B-4289-BA20-D67CABFD6C15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fdee470dbbb1cf7986bbcb0c71a5b313b719c1","datavalue":{"value":"quantum programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200848$DAF84F58-E3F0-4784-B931-A00AF16CED28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200848$A6047668-650B-4325-81EC-DAD0C2E0629C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955ae0864b7877b34a072672137a835899d70acc","datavalue":{"value":"adequacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200848$726978D0-8E3C-4841-B18D-F9F44A121888","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":"Q2200848$4EDD8C88-3E34-407B-981F-854A80976DB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9051c64dde07648eaee24ceb3cd31426d898dfa","datavalue":{"value":"W3104517613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200848$6131277F-0933-48E6-84C8-C2C9CF7D37C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b608bd03578cf4d4900b375527741695d27d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4997288,"id":"Q4997288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$5088FCC3-B02D-4F6D-B5F6-5E5D3D7EB48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69410f8f56b740753e2db49e5b744fdb25828c5b","datavalue":{"value":{"entity-type":"item","numeric-id":1670504,"id":"Q1670504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$2D0CE28C-769F-4367-AEF6-704C488A0FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5548dd8f4137bb27824ba48cdd74950e341d77","datavalue":{"value":{"entity-type":"item","numeric-id":5237210,"id":"Q5237210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$1AC8F76A-65A6-4F9E-8A24-F1040FB4021A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbee4e5958f32edaa75dafd943ae3a18c85abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5482260,"id":"Q5482260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$6CF06D09-EF4D-4115-8C0B-E31E8E87EE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b4388744fe1c161e5d4c40b01d90df494e6e176","datavalue":{"value":{"entity-type":"item","numeric-id":345711,"id":"Q345711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$3A0CBB1B-D0C1-4F71-8308-0C5CFA8608DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"097bd2d7839a0946b9431bc006d7f64de037e1e0","datavalue":{"value":{"entity-type":"item","numeric-id":5144641,"id":"Q5144641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$41EBAFE8-C632-4CCB-9654-4768D3994B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71193459d97c315cda4505c6a2ac3ad937fe5e1","datavalue":{"value":{"entity-type":"item","numeric-id":4595314,"id":"Q4595314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$FD2909AF-9EEC-4808-9871-B1F4FC10A798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2b9f18ec546e00cf26c8d63230eb3ae1b5d40f","datavalue":{"value":{"entity-type":"item","numeric-id":5370917,"id":"Q5370917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$4D869AD3-BBFB-4E8E-87F9-12CD446478D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb41300f74dff0bc5950f7508fd361c41f40aad","datavalue":{"value":{"entity-type":"item","numeric-id":4989404,"id":"Q4989404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$4AB64CBC-992A-47C2-A848-9D6FD7109D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e0f295381d340077da9e780036a3b798ee921e","datavalue":{"value":{"entity-type":"item","numeric-id":5145342,"id":"Q5145342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$B499FD33-68EE-4F43-9415-94CCF0F9235E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a122bec8a0c9623d3baa3f6b071dc66632a816","datavalue":{"value":{"entity-type":"item","numeric-id":5408456,"id":"Q5408456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$BA515F6A-10BE-42E4-A71C-0533DA2E9B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"837d8f760c5bfd8dd4fb2615dd93f4e44b3fb8a6","datavalue":{"value":{"entity-type":"item","numeric-id":3522076,"id":"Q3522076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$DD19A89C-FF89-4FBC-A17B-A1444B7F50F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d92e8e7ae276b4037ec23da7d5ed2177005933e","datavalue":{"value":{"entity-type":"item","numeric-id":283772,"id":"Q283772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$AC5153E3-5CA0-4F6E-B422-EDE2A038497D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9888c3757ab243ad1f0c597eea02a6445700651","datavalue":{"value":{"entity-type":"item","numeric-id":5109520,"id":"Q5109520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$9559E55E-307E-42E3-B47F-88C63890987E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e3166c702946f2401b3476066fee9ebe1fba7b","datavalue":{"value":{"entity-type":"item","numeric-id":4818937,"id":"Q4818937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$C7E081CD-5B76-41D2-8C04-BC0716D7ED6A","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":"Q2200848$93D39DB8-1025-4EC6-AE71-025969921E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fce0a3279468eca2f8e4172e1ee216ed091a4a","datavalue":{"value":{"entity-type":"item","numeric-id":5952643,"id":"Q5952643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$59254AD3-64FD-4EDE-9243-70DE4A916FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d764fa1d2703683c228c00cdc1b3a4fce7c0bf3","datavalue":{"value":{"entity-type":"item","numeric-id":5014792,"id":"Q5014792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200848$2F0DABFB-5834-45F7-8438-FA70CB213A6B","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":"Q2200848$96CBDFAF-AB3B-474D-9132-1C85FE9E3AF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54ccd535c27c82266e22755dc2aa79640d18f3e7","datavalue":{"value":{"entity-type":"item","numeric-id":2229237,"id":"Q2229237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b99ab793be0f96d0f70b735de8502957625f3dd","datavalue":{"value":{"amount":"+0.7346336245536804","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":"Q2200848$A916180A-EDB0-4AD9-B6BA-8BD9ECFEB6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86ad39613f47706eca659299cfc834184c01e16","datavalue":{"value":{"entity-type":"item","numeric-id":4997288,"id":"Q4997288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3d70dc999e8ad5f3073cd9483c51097071fc3f","datavalue":{"value":{"amount":"+0.7336539626121521","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":"Q2200848$08D91FA3-9854-4314-BF33-57F1B50A9FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94c526005cf1800ddd5d19763461b63ef455544","datavalue":{"value":{"entity-type":"item","numeric-id":1670504,"id":"Q1670504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a509dc9ac97b2132ae51913ea67bfab11056d4f","datavalue":{"value":{"amount":"+0.724557638168335","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":"Q2200848$E519F415-9675-43E7-B2E1-A5C490975D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f5b604218160dfcb116d84742bc3b785e265734","datavalue":{"value":{"entity-type":"item","numeric-id":5482273,"id":"Q5482273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba3e77f7d29c8b716f297e648523884f1d87d57a","datavalue":{"value":{"amount":"+0.714177668094635","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":"Q2200848$F243B525-9ADE-467C-BFC5-0FD1C14B3880","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":"Q2200848$77C4F135-D49E-45A1-B9C8-9F25CE1CD142","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantum programming with inductive datatypes: causality and affine type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantum_programming_with_inductive_datatypes:_causality_and_affine_type_theory"}}}}}