{"entities":{"Q4921510":{"pageid":6951092,"ns":120,"title":"Item:Q4921510","lastrevid":51713159,"modified":"2026-01-19T15:38:43Z","type":"item","id":"Q4921510","labels":{"en":{"language":"en","value":"Operational properties of \\texttt{Lily}, a polymorphic linear lambda calculus with recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6162148"}},"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":"Q4921510$2DAE6BDA-9B68-46F5-9F4E-E18CBC053642","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db7169caae6b62553f5ceb58d4aeee50cf769ff6","datavalue":{"value":{"text":"Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4921510$1A2FC768-5331-4A16-AA2A-AFFEBA3F2D80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed61d3d740446dd17929fecb0d3c29a8392476e6","datavalue":{"value":"1262.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921510$281B75C3-35A4-4613-9E11-67ACA7B64F38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd1d61741bd71b8a189e30824e2cb0b022f7c912","datavalue":{"value":"10.1016/S1571-0661(04)80874-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921510$6A874648-BFBF-4DBE-8CB7-254A796A81AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38c1f622ca5a8e1981406df5479b2fddfe8cfc72","datavalue":{"value":{"entity-type":"item","numeric-id":1575876,"id":"Q1575876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$95E93BF6-EEBF-4D30-A328-CE17F97450D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$9511860B-D3EE-4651-877D-6C5D814E1701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa7c0318e444c8006643d5c4da512d22ed7aceb","datavalue":{"value":{"entity-type":"item","numeric-id":724926,"id":"Q724926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$A441A10C-FF86-4C43-BF21-22CF00DA916B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$5047E791-BDEF-4242-A80B-68F09FAC0EE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bcee510111679fcd7197118580cf67e59ca48dba","datavalue":{"value":{"time":"+2013-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4921510$266C8068-435E-45E9-9FB2-AAA70F6B4DA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921510$B5A95A9F-CBA6-4D0C-A880-DEFCCE3B0856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921510$3D06E99F-389D-45DC-B6AE-E1DDE4E7B640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921510$317EEE8F-2703-4EA7-8F0C-EED5E5D78E9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"882da4a8abb904d66971b11dc4858724917e7359","datavalue":{"value":"6162148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921510$7BCBAFEF-C9CA-44D7-800E-83F3EE2DB521","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":"Q4921510$6744D96A-D6F6-4736-9CE2-0F6AE9F0AD42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$1ADB5A2E-67AA-4962-BC70-065104528414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66acf7c53f747598a6796c13d52d0dc53dc4cf6c","datavalue":{"value":{"entity-type":"item","numeric-id":4500364,"id":"Q4500364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$BAEC5B81-7019-4101-860B-9BC479D8BC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b446a9efc9b95e79a4963e360bfd0dc2c967cf02","datavalue":{"value":{"entity-type":"item","numeric-id":3138538,"id":"Q3138538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$E2D8034C-0E6D-49EA-9B50-64DD85855093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a61b7701da971a87c154b5ba63697136c95a92","datavalue":{"value":{"entity-type":"item","numeric-id":4385538,"id":"Q4385538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$542939F2-B586-4D13-8197-5F0AFFC38817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$9997DE0A-A088-4562-840C-CDBDC5383F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab98f9144c6732b53f94131308e4bb8bf4b801b","datavalue":{"value":{"entity-type":"item","numeric-id":2704324,"id":"Q2704324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$6A87DA23-A51A-461E-928D-A29BE5115043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$ACE3E8FC-6685-4DD1-B496-E14CB80ADA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$B0535402-319A-4CFF-AB55-575F18DA27F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11248074f90b42acfd4b4063271d8b8bb599a405","datavalue":{"value":{"entity-type":"item","numeric-id":4225151,"id":"Q4225151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$ADE226AC-7C04-454A-B827-4D4441B4BA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87feef774d412b9e132997ca8ddf128402bbedd","datavalue":{"value":{"entity-type":"item","numeric-id":4105769,"id":"Q4105769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$E4944E93-C4A1-41E9-8310-98B8ADA03DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8952469047e1b527e3099da8ba6f1fc71a2a80ed","datavalue":{"value":{"entity-type":"item","numeric-id":5487826,"id":"Q5487826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$3BBE939D-E66E-463F-A74E-D72BB95935D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$96C4F594-BE5D-41E0-AD5A-288118FC1F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$5E4941B1-5EDE-4386-A209-A34F22E56AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c96e6ef420e336bd830ba623cd9f00a626f44150","datavalue":{"value":{"entity-type":"item","numeric-id":1126266,"id":"Q1126266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$8345577D-DBB4-49CA-9CA5-B8BD91F25BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80b1ce6c7c55e134225781cab112803b76b1488","datavalue":{"value":{"entity-type":"item","numeric-id":4358457,"id":"Q4358457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$0410CA6C-41A7-46DF-BEAC-AC477D9FBA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41308c1782b1ff2b7c0782c40e4e87e4e08e5ed","datavalue":{"value":{"entity-type":"item","numeric-id":1575871,"id":"Q1575871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921510$7F787DAC-8550-4BB8-9BF6-DA94498E77C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74b3c06f1cb6090807d1162001454390c44ed9f1","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80874-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4921510$F244F248-A860-4B61-A869-EF7A34CB18E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8f83b82a3a466986f7477a51bb3bd03ff0f68af","datavalue":{"value":"W2045564677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921510$4F6026AA-9075-4248-A80F-87CAF9B24627","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca48d0e440db16032230a87f8cae57570a5856a","datavalue":{"value":{"entity-type":"item","numeric-id":5703851,"id":"Q5703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8102c7ab8f20fda609ea96dd878795adfa95544e","datavalue":{"value":{"amount":"+0.8170084953308105","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":"Q4921510$A9BE9817-8796-431E-B32E-959F3DBA758C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375787a7d09051c927a086ef702d4e1204039100","datavalue":{"value":{"entity-type":"item","numeric-id":4222926,"id":"Q4222926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f3830a6b946cd6dff75b7d20897f8e9a41e4e7","datavalue":{"value":{"amount":"+0.7625933885574341","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":"Q4921510$5E1F0F9B-11A2-428C-A145-ABE6AB2F22BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33a0d85284950b77a2a9774beb91bbc035587e4","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01b40b3be9c3a5c1c07be2f1f3c0f52993a2d84","datavalue":{"value":{"amount":"+0.7618147134780884","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":"Q4921510$52CF3ECD-11EF-4503-B492-1B4698A37929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b380c46ed4d52695839de7c81db48dadacf57759","datavalue":{"value":{"entity-type":"item","numeric-id":2802478,"id":"Q2802478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79625130e09388e3f4c950cdfbf7cf2a14c24c8f","datavalue":{"value":{"amount":"+0.7466888427734375","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":"Q4921510$087B26EC-EC82-48A5-8B3E-AA6B174735BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624c15ac79f8b04c5b00510533ba4e6d96011e57","datavalue":{"value":{"entity-type":"item","numeric-id":952487,"id":"Q952487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8cfc46fa871d5a639dd3e63acd403a7e5dc09a","datavalue":{"value":{"amount":"+0.7359532713890076","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":"Q4921510$46C82443-48CF-43F6-B127-E1BE01DE14F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4921510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4921510"}}}}}