{"entities":{"Q4997293":{"pageid":7026870,"ns":120,"title":"Item:Q4997293","lastrevid":58384077,"modified":"2026-04-04T23:51:57Z","type":"item","id":"Q4997293","labels":{"en":{"language":"en","value":"The dagger lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7364204"}},"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":"Q4997293$93FB44EC-628C-42E4-BAB6-30232F4C6F30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8375f157c69cb3b57a47cbcd097d6e31b7ab2c03","datavalue":{"value":"1464.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997293$4DC2BD1D-4FA3-40C2-8C35-6B8FA701FA69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac95b96df8a6fcb4340fc2e3a9f0dd883da8873e","datavalue":{"value":{"entity-type":"item","numeric-id":4997292,"id":"Q4997292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997293$471E8C8E-28BF-4766-9391-62F6DBC5C780","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d21c1dddb5f2ede5fcb624ae09d09a40dc912d4c","datavalue":{"value":{"time":"+2021-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4997293$72B597EF-D6DC-4192-AE61-A31B53DC24DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9824482c307a8b43902694c9798fac8bef7602c","datavalue":{"value":"https://arxiv.org/abs/1406.1633","type":"string"},"datatype":"url"},"type":"statement","id":"Q4997293$8C06852B-91D2-4BEB-B3E5-5B497E7B8973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d1ef3e6ef18c899e8ac3ab54389e38aa216e632","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2014.15","type":"string"},"datatype":"url"},"type":"statement","id":"Q4997293$6AEE5239-BA61-4913-8DB9-4C3015E568CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997293$3EE1D646-BBBB-45C5-B9A2-1FA85F877753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997293$4EBF2BF2-A973-4F95-9995-907F002E1DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"feece2eea231a0363f30d0450235dc183ba5af91","datavalue":{"value":"18M40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997293$5EFC1ABF-6CE5-45BB-8604-68708715C8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997293$4AB0634E-63BC-477D-8572-5FE1E5EE22BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"748d682fedc28befc2046ede53c80104e55c0609","datavalue":{"value":"7364204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997293$BAC2A28E-4339-4702-BCF8-A33582F0B9F1","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":"Q4997293$6A7D8393-3C35-4E98-B469-545D3C28763B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa3e8f074d8cd2c3084400492782fbd5e53f338","datavalue":{"value":{"entity-type":"item","numeric-id":2864173,"id":"Q2864173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9abb0938788789fba204be7a97fb3ed18dd59f","datavalue":{"value":{"amount":"+0.8190625905990601","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":"Q4997293$73B64EC5-A704-42A5-B4DC-9284658CED40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460c3288f9b9544302f2a116bea4168baebe5740","datavalue":{"value":{"entity-type":"item","numeric-id":5482271,"id":"Q5482271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d6654e9b9abcaa0a6f895f8b70029db87b2a2b","datavalue":{"value":{"amount":"+0.766600489616394","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":"Q4997293$EA435EA7-CE2B-4CD2-B768-273A35CBA585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b1d07abfc90d154e6255b5dfd7fd3e99caed68","datavalue":{"value":{"entity-type":"item","numeric-id":3067641,"id":"Q3067641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d5e5121f69ee0ccfd804a81f6bb99ad3d8073f6","datavalue":{"value":{"amount":"+0.7596027851104736","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":"Q4997293$9BF14DFD-8E77-4914-84F0-A0D6CAFD10E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a9d23838947a8b61d12ce558b50329131b10d02","datavalue":{"value":{"entity-type":"item","numeric-id":3625676,"id":"Q3625676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a9e2725bb20b88b1325f7a792fc56dc22b353f","datavalue":{"value":{"amount":"+0.7592640519142151","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":"Q4997293$26A03244-1132-4F25-BFD3-08F1CD0884B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3ad2053a4f7f25f144f42bb2af9f82d09241ff","datavalue":{"value":{"entity-type":"item","numeric-id":5410470,"id":"Q5410470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef21a0aabed6a65e0f4efed345ffdf3b61b036a3","datavalue":{"value":{"amount":"+0.7572870254516602","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":"Q4997293$8AEE4431-AB24-4529-A76C-5530CBA30237","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4997293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4997293"}}}}}