{"entities":{"Q5277979":{"pageid":7307554,"ns":120,"title":"Item:Q5277979","lastrevid":58512915,"modified":"2026-04-05T13:19:18Z","type":"item","id":"Q5277979","labels":{"en":{"language":"en","value":"Extensionality of \\(\\lambda^*\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744293"}},"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":"Q5277979$A77A54DF-81BA-4FD1-8545-14E73EF35EEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"675ae1bc5683d8ba732517492c8e11377967197a","datavalue":{"value":"1434.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277979$9C732B76-D2A4-4EDA-85A9-FEEF97A40F02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75cfcd3b65fca9dabfe6a7a0d6f510ecbd180120","datavalue":{"value":{"entity-type":"item","numeric-id":2200832,"id":"Q2200832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277979$80778916-695A-4C18-917B-00AC6AB73EC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277979$786FD8D9-6B0C-4B54-985A-8B926588270E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a46ff3eceb55419e72d826b24ae4572ba213112f","datavalue":{"value":"https://arxiv.org/abs/1401.1139","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277979$752C0734-5908-4CC7-9965-8994D41299E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277979$776F4875-5B0F-41A1-A5E1-18E73556CC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277979$02E8B2D0-D94A-4733-83FC-2E5B142ABDDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ded1c2f9e4d74d47e3288e0e3ee1d364c72c5e9","datavalue":{"value":"6744293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277979$CFE24E19-F947-499D-91FA-C3BACE9D6011","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277979$3EE9B00F-F1E8-4E5F-A2C7-DE4C380A14AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277979$893474BD-ACC3-44E5-ADBF-15E32E10B50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277979$6C11A971-F84A-422F-84E0-FDCEE7846407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277979$F9931BC8-E8E0-4F0E-82DD-D65177D7B6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277979$88DC04A9-FE39-4603-9134-6C7960F955AC","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":"Q5277979$BA65771C-E4D6-457B-BB8E-9D40F8865F6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8a674c16ab1ca851d0323d5467c79f091b01856","datavalue":{"value":"W2962900194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277979$41FAB3D9-DD6B-419C-B674-CB3190B69E7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bff68350299b64a684ac57f5b63070f7bf25878","datavalue":{"value":{"text":"Extensionality of lambda","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277979$809CB964-3758-42B7-8606-813E514E956A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1a615c0e8341426e8402c104f78441a7e4cc51e","datavalue":{"value":"10.4230/LIPICS.TYPES.2014.221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277979$99287511-D1E1-49BC-AD44-2394DE4EB44A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7077bcdcfdbb1afc2c28fd4777a92925dbd296d","datavalue":{"value":{"entity-type":"item","numeric-id":1024547,"id":"Q1024547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2649d0c395de093f8595413a1dfddb544a9873a8","datavalue":{"value":{"amount":"+0.80129474401474","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":"Q5277979$00B70FC9-B76C-4A9A-94C4-256B50982DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81622c7d1e10e3d3586021e9b2a8f69e94eb54d4","datavalue":{"value":{"entity-type":"item","numeric-id":4647577,"id":"Q4647577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a76ec709241d2b90db9bc9b310d119d919278fd","datavalue":{"value":{"amount":"+0.7606446743011475","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":"Q5277979$9637B5BD-5D26-409C-8ACD-DFC52A6F0D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70cc80044f2ebba1d573679a54781940d183a73","datavalue":{"value":{"entity-type":"item","numeric-id":4531082,"id":"Q4531082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5547a278a3ff7ed9aad0512b50ba37de3971c3","datavalue":{"value":{"amount":"+0.7568728923797607","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":"Q5277979$4695ABC3-953F-4C85-B092-AA1460420346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a288f2fc28ec2baab271cdb8106dc6e506c062b0","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d259ea710fcd887376bad0a9272a16a93bcb5215","datavalue":{"value":{"amount":"+0.750799298286438","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":"Q5277979$5F003FDA-1217-4ECD-BBA0-F699A8CFD0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c1fb9e9faf442b00d73c7d597ffd692849bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1765154,"id":"Q1765154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647214e0b3b7e6a731785bd8cd46428ceceb2e96","datavalue":{"value":{"amount":"+0.7495177984237671","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":"Q5277979$B4E23F94-68F2-404C-BB34-5A2B11A947B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277979"}}}}}