{"entities":{"Q3196357":{"pageid":3207065,"ns":120,"title":"Item:Q3196357","lastrevid":58147836,"modified":"2026-04-04T00:17:42Z","type":"item","id":"Q3196357","labels":{"en":{"language":"en","value":"Ellipses and lambda definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501872"}},"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":"Q3196357$00641023-6EE5-4243-917F-C74D80A1C24D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb09dc0acc7e9ea6e199d7a476acc9d17d23ed17","datavalue":{"value":{"text":"Ellipses and Lambda Definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196357$8B1A5CA0-8F39-4034-82F8-452143B3C6EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32792db0fb723a71099e4473c3521b9383bf9776","datavalue":{"value":"1448.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196357$9ADABD4D-1AE6-4C7E-BD92-7E5F155DDC7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d21d47f8e9b483ed8b965ef77e53cf22718b8820","datavalue":{"value":"10.2168/LMCS-11(3:25)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196357$F5D07A85-2D93-4D36-9D4A-F5F6AA57A73E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06faedd9e195bc435901be02e1baaf30d3515170","datavalue":{"value":{"entity-type":"item","numeric-id":294780,"id":"Q294780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196357$9298D0B8-AF4C-4C3B-BF2A-FB7862A15367","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196357$F01D9CCC-05B0-4D59-85D9-90A1F4328150","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-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":"Q3196357$3587301A-1C54-4C5A-84EE-C5ADF2BBB56C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24265ab4e0bf7d4ab069726350f0e711e76306eb","datavalue":{"value":"https://arxiv.org/abs/1508.02864","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196357$6087F922-0726-47AB-AAD6-CBEB1916CDF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196357$481246C4-0991-410A-991E-6DE0145B1CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196357$584A9C19-5C88-4705-BD08-796DC0D5E407","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ef4db32858c8ff7d9b63a3d6aca5b93d943afa0","datavalue":{"value":"6501872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196357$2C206A30-95E5-494F-A8FA-D9812D2DA56C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c441b8ae11616c291ce1ee22baa766416b5bcba5","datavalue":{"value":"arity-generic expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196357$467F4A16-FE0D-49DC-8E26-C00C50D20F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b07fe34f0773cdffa0944406228855f3aed26f5","datavalue":{"value":"bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196357$40821EB8-CEAA-481F-9F9A-A167C448C01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196357$AB8C2E54-2DB0-4943-8C15-DAE7B2268081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7215d9b2d82a4024eecf2459710d747574a5faf3","datavalue":{"value":"fixed-point combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196357$555F035B-3971-4357-89A0-2980205872FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196357$D388EC83-12F5-4679-A946-5719ADD9EBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71582c7979fc4c9641b7a281bb1720d0114e5ffd","datavalue":{"value":"LISP/scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196357$EB59508D-ACC5-425F-B9FC-59179DED536C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30c288a7effd3bd313bcab33adb6151071591b","datavalue":{"value":"variadic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196357$4FE503E9-0951-43B8-983E-66B4B6C00449","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97a4b6d3c8d40b2dcd33f0a7a9a105bc3e94ffed","datavalue":{"value":{"entity-type":"item","numeric-id":13907,"id":"Q13907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196357$805647EB-210A-44A9-B3B2-BAE7232B6093","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":"Q3196357$C9ECB120-0099-4F32-BF6B-571ED5F7858F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"126e616f7c920f05289ab507164a5a6fc15ad1d0","datavalue":{"value":"W2216922462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196357$0C88B6F4-7C0E-48A5-98B4-627EAB3B8000","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e34271297f17f06adff91d24772010504cdcee3d","datavalue":{"value":{"entity-type":"item","numeric-id":812092,"id":"Q812092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8cb08acae194d3db12fec96786b5de3e047780","datavalue":{"value":{"amount":"+0.6809821128845215","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":"Q3196357$91704931-297E-46EE-8152-F9950DB3A65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3539e86c314860ac117cec6d25423e75abf17963","datavalue":{"value":{"entity-type":"item","numeric-id":2973253,"id":"Q2973253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871a54f3a2abd648e566b48167adbf58a260ffdc","datavalue":{"value":{"amount":"+0.6724695563316345","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":"Q3196357$E304A32B-5DAC-4BD9-8F8C-6079B9184B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716097ce76445ff5dae18ad8efe9b23276673ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3804171,"id":"Q3804171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65cf882f529b44193a6d9602a1a678f0955d950","datavalue":{"value":{"amount":"+0.67243891954422","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":"Q3196357$B9AC717F-B56A-4A00-87DB-D5974EAA502A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d301c3a00d4ed0f804abf02c6ef83602cdca56","datavalue":{"value":{"entity-type":"item","numeric-id":5293569,"id":"Q5293569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c5e673c712b724a2000ecfc2f9410787c922cf","datavalue":{"value":{"amount":"+0.6706218719482422","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":"Q3196357$7F89DE1B-A1EA-4FCB-8AFF-5B8DF1D02EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bc1f4262c020a297002138e11c4f957db4662a","datavalue":{"value":{"entity-type":"item","numeric-id":688729,"id":"Q688729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41192b31535ec1ed1dabefc0b233213e636541a2","datavalue":{"value":{"amount":"+0.6695425510406494","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":"Q3196357$4C8D4B99-258B-4433-B145-93D73D92EB04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196357","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196357"}}}}}