{"entities":{"Q4635902":{"pageid":6665483,"ns":120,"title":"Item:Q4635902","lastrevid":58313229,"modified":"2026-04-04T16:35:47Z","type":"item","id":"Q4635902","labels":{"en":{"language":"en","value":"Infinitary lambda calculi from a linear perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863514"}},"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":"Q4635902$6442967C-5935-440A-81F3-058DCDD71365","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16eff5319b79ff591029e52e0d80f138c8fb1d81","datavalue":{"value":{"text":"Infinitary Lambda Calculi from a Linear Perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635902$4631BF6D-1DBE-4CAD-93FD-F02ED2A16734","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0569ca3a0f3819978a8aff3a7aac6d95e8fc3d4","datavalue":{"value":"1394.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635902$6304397A-8360-40DC-8A44-0BAD260416F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59ef30432127636ccbe5db29e063958afac44af0","datavalue":{"value":"10.1145/2933575.2934505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635902$DF4516D8-CDD5-4CE6-AF07-7ADF4CB4CEAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635902$7FB52E25-9570-4466-83D6-74C8D52ABD47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635902$9FF1C21F-4FAF-4B34-A542-2EA55CD069BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q4635902$39AFD97A-D2E7-4DB3-A7B4-2DBBAF4840B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"856acfb8407ae39633c0bfb099b1003dcf1506c8","datavalue":{"value":"https://arxiv.org/abs/1604.08248","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635902$493C6DE6-D393-44A1-8849-63316B4620E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e36dcd0c43db350daf5034223fd4abe262e3b54","datavalue":{"value":"https://hal.inria.fr/hal-01400883/file/main%20%281%29.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635902$9116F442-1D9E-42A3-BF00-52F16D466512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635902$94EAF063-C4DD-4699-922D-BD198235FD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635902$E7E6D4D3-79BE-42DB-A548-86DF85E23400","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5b4af36fdadee5d60801ca9943bb6f862f90850","datavalue":{"value":"6863514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635902$2D5985C1-3975-4E9A-8F3D-97506461C623","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635902$CF0B5B6A-3FAE-4581-B113-22E9503198F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635902$1EF991E7-34B5-4819-8603-E150E9E18285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635902$FE55D285-5B1F-4F81-A0E4-5105AD226563","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":"Q4635902$7FCB1F18-8810-4F97-BCB2-8B4AAECD31F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ef8e275376d12d5986c0267e93f4989561c47c0","datavalue":{"value":"W2531157181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635902$FEF6902B-40DD-400D-898C-FC63F04E47F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ce453567755ea46448cee187e068fa4145be01","datavalue":{"value":{"entity-type":"item","numeric-id":4890393,"id":"Q4890393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa2b4c8ae57154c61aecdce0779fc7aeee679ac1","datavalue":{"value":{"amount":"+0.8116524815559387","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":"Q4635902$A6287627-AC92-4F3C-BD62-095B61772BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0990d888ded5d1fc5e1aecc39c558235d6385ee0","datavalue":{"value":{"entity-type":"item","numeric-id":1021568,"id":"Q1021568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb43c276403979548816d46043edc3dd72fbbc6f","datavalue":{"value":{"amount":"+0.803558349609375","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":"Q4635902$81F9922C-F1BA-4614-AD33-C27900FCCCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f1f786fc385181e3db0e8c20dcf850d9809052","datavalue":{"value":{"entity-type":"item","numeric-id":2787421,"id":"Q2787421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54aa1a1aed860c7f25c881b88d076141d6620a94","datavalue":{"value":{"amount":"+0.8017668128013611","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":"Q4635902$1883E2C2-A0D7-4B1A-9B25-E39ACDF63920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6c40c48c15de4bebaba55c9d164e30abd42a89","datavalue":{"value":{"entity-type":"item","numeric-id":2948550,"id":"Q2948550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2aec7456dcd0c899883a592af38f2658c400120","datavalue":{"value":{"amount":"+0.7861288785934448","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":"Q4635902$6027C287-EA60-4F24-8948-F8AFA34D1D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab1008699d7de7760144339951de376adc7a51a","datavalue":{"value":{"entity-type":"item","numeric-id":1275621,"id":"Q1275621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00dc90ae079e53d32cb929cc0b0a153f2f59929c","datavalue":{"value":{"amount":"+0.7760105729103088","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":"Q4635902$1E56877D-6162-4410-A8DF-6AB20BCAEFD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635902"}}}}}