{"entities":{"Q5145342":{"pageid":7174913,"ns":120,"title":"Item:Q5145342","lastrevid":58456557,"modified":"2026-04-05T07:29:59Z","type":"item","id":"Q5145342","labels":{"en":{"language":"en","value":"Enriching a linear/non-linear lambda calculus: a programming language for string diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298791"}},"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":"Q5145342$738484DE-70F2-4382-A518-5A8B44D22A53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07b480cdee5f8ae35d823bda5b1f1e7528df7a12","datavalue":{"value":{"text":"Enriching a Linear/Non-linear Lambda Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145342$56CA6E2F-815C-4399-B0BF-831AAC8A68E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d573bab10f4ea9d890fefe23f8bfb78ac77c400","datavalue":{"value":"1454.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145342$FFCD7BF9-2A23-4C5B-B86D-3B67E295AFFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1a554087608e5d07d52a1766407316203bf34f2","datavalue":{"value":"10.1145/3209108.3209196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145342$2E22E239-0EA0-4104-9768-AA24B04049D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24f5ba5d748f81640fc166415b6f8552a86086e7","datavalue":{"value":{"entity-type":"item","numeric-id":2088112,"id":"Q2088112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145342$2F996C43-AFB1-4661-8058-4A87ADFF600D","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":"Q5145342$0AD7498C-7E68-431D-A16A-F5370926ED16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46a3e3c8a24b211e7440a6138147de4bc19693b","datavalue":{"value":{"entity-type":"item","numeric-id":581872,"id":"Q581872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145342$0A237B01-0670-4913-950D-200D1F09F1DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145342$6C30138C-FC62-4FEB-B161-E0BEF48FBA9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145342$70A5E114-6C00-43DA-8696-DFEA5A401CBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f465ed830d1b713c8c96c5a07e8cfd0cb61bc45d","datavalue":{"value":"https://arxiv.org/abs/1804.09822","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145342$1748423D-4689-4E6F-B288-795610B5F79C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145342$435F1AF2-83BD-49A3-9FBC-3E5ACF780F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145342$5AACE054-6BBB-4B66-B50C-FD8A714798FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145342$DF491911-F5D6-4203-B4FB-A36BEDC1CC28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f81240f8660383f0db75d91758f13f291734814","datavalue":{"value":"7298791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145342$383E78F7-9187-4BE1-B0B2-EE10224FEEF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145342$35FC0A0A-1FDB-4837-AED6-3FC9CEBC6519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4562f0fd995d557f4751e6f3c5888fc0f4f4d672","datavalue":{"value":"enriched category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145342$1C704AD0-C7F2-49D4-BEE1-99E7F9439552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145342$6877A6E0-4475-4CF3-B336-50ED52C56216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145342$BCC89ED3-E206-4351-B905-C5844E9895BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d550d58996ce31d7946eace013bf629d3913d2ff","datavalue":{"value":"string diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145342$1492591F-5380-4352-B23D-A661DD712A1D","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":"Q5145342$2B3D1730-4EB7-43B2-A194-8C6FEC49A498","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":"Q5145342$3D6DC10D-802F-469F-9820-5C0BE14A5FFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3dfde6ae2e2df203d1d795b63bdc8d05294a655","datavalue":{"value":"W4289760920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145342$93BC79EE-9F08-4BE1-8716-CE9C1F430DBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6f75383e53c58e51301817e2748283683e3f74","datavalue":{"value":{"entity-type":"item","numeric-id":5458352,"id":"Q5458352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4508f8e99e7332e42d9cac1195128016d13228d","datavalue":{"value":{"amount":"+0.744339108467102","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":"Q5145342$61A0643E-DF91-4856-9C48-9A0A2463C3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea79bc2622693809ae52968ab411a2ff3d33530","datavalue":{"value":{"entity-type":"item","numeric-id":2937687,"id":"Q2937687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5bbec32944ff97d2a631518d63fc2bf890e94f","datavalue":{"value":{"amount":"+0.7258589863777161","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":"Q5145342$05DA4256-4A30-4B9B-AB92-E0E1BEA13335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9780eae0a34f2bf652daa583b96cc2f0a8ae73","datavalue":{"value":{"entity-type":"item","numeric-id":3644752,"id":"Q3644752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a034dabe77fb7ea805dae85bf083fe3f1eb992","datavalue":{"value":{"amount":"+0.7099499106407166","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":"Q5145342$D3824284-8341-4676-8A74-ABC63D805FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656736a0c8119672175ff38c7b9d1d8d6ce696b2","datavalue":{"value":{"entity-type":"item","numeric-id":5150148,"id":"Q5150148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd8ac14327eeded04b0b4f435c12e00464bef20","datavalue":{"value":{"amount":"+0.7053254842758179","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":"Q5145342$B6B1BB9D-B48A-4217-A6BC-5BC7A1EDA133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982e65de43aa8aba239f0007ef6a6ecea64e2970","datavalue":{"value":{"entity-type":"item","numeric-id":2980972,"id":"Q2980972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9982aa5855cf9fb5814754e845750b56e06269f1","datavalue":{"value":{"amount":"+0.6974471211433411","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":"Q5145342$6302B295-9AF3-450B-9B67-E0DB133050AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145342"}}}}}