{"entities":{"Q3643363":{"pageid":5673269,"ns":120,"title":"Item:Q3643363","lastrevid":50813027,"modified":"2026-01-15T06:48:00Z","type":"item","id":"Q3643363","labels":{"en":{"language":"en","value":"The algebraic lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629409"}},"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":"Q3643363$087DA471-2C87-4E35-B458-6154F7885C99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5f3aa9652a5ccd78f365c385822dcd0854be1f1","datavalue":{"value":{"text":"The algebraic lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3643363$9037B33F-1B3D-468E-8354-915C1327004C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f3d1751740d0873376e7e15c306f5c8c224c610","datavalue":{"value":"1186.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643363$36575B6E-A70E-4401-BA15-16DBB6ABF196","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e46084205b562125a6f40da12c7c731df3a35434","datavalue":{"value":"10.1017/S0960129509990089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643363$C92FFB56-27F5-4A07-B912-52E87FE9217B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ccf0a589fb3b807ef69a799e91744fd52002786","datavalue":{"value":{"entity-type":"item","numeric-id":2373710,"id":"Q2373710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643363$FA06AF15-503F-431E-9F7A-AD7B9FE7DB3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643363$48DD75DE-8A86-4A81-87F7-9CDEF3CB7714","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"429e5dc74b4b8740784417ec8a9f9bcbd45639f0","datavalue":{"value":{"time":"+2009-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3643363$78CD3159-B18E-4D64-A0DA-003727E397FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643363$3660D30E-34F6-45C8-996C-61C1B9D3B218","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12a9b22ee2b137b1bcde3e8eea7c1cacbd614fec","datavalue":{"value":"5629409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643363$D6AE0352-FFFA-4EBB-A281-D02285C7EC92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c74ba29fd99d5b52955c16ba416452c993b9e883","datavalue":{"value":"algebraic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643363$26F4102F-B160-484F-BC60-80CDA203026F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643363$C4044E0E-2ECA-40A5-9F2C-51A8BBABB046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643363$7F0DEDCC-C3F8-4B4B-AD0C-BA0E8EE61F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643363$C5140D3C-F8CD-42D1-9DBB-EAB1680D101F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643363$8F514005-9D65-4106-955B-F7469CECEA7C","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":"Q3643363$0355A009-98DB-4441-BAC4-A5AC54166BC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643363$6E30C3BC-F313-46EC-B26C-DFD7EF01EB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643363$2EA5C076-231D-438F-A201-0AC53A180C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643363$A065C9A7-5D52-4D94-A97E-D555B122F40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643363$3528AEE1-3793-488F-85BD-9F590CF4CB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865b75cced7ee435c9dfb2ebd9223962b3c16bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2373711,"id":"Q2373711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643363$CE2BEC14-5FDB-4DAD-9CCD-993788335A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643363$E7855FBE-01C2-46EF-80CB-6729D8763F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643363$11EE50A6-084D-4D5B-89F1-9FB3D7C8831D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa4ffac722421ce8a95fb3f6bb1fe774a94144b1","datavalue":{"value":"https://doi.org/10.1017/s0960129509990089","type":"string"},"datatype":"url"},"type":"statement","id":"Q3643363$9906743F-A5EC-4CE0-B550-1F3E6E563498","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2019c96354958c54d015b72a2e2c92b8a42f37b5","datavalue":{"value":"W2151097168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643363$FCD87886-023A-4660-A042-77581D267405","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268b9fd4b083be61c1f5f80f9881a807981e0d77","datavalue":{"value":{"entity-type":"item","numeric-id":5432352,"id":"Q5432352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369f8a0d6d2f28ca98d31d4ec22fe9944e60954f","datavalue":{"value":{"amount":"+0.8422163724899292","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":"Q3643363$D9E2695A-261C-4DF9-AE98-41EAC4A8E7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e087c61fe2738d6348d9fbe65d5b85cbfd09b6","datavalue":{"value":{"entity-type":"item","numeric-id":5858674,"id":"Q5858674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969175b9bc666af1453787520bca9bd83e1d3911","datavalue":{"value":{"amount":"+0.8212326169013977","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":"Q3643363$893F9A0C-D381-481E-BC53-C44E315263E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114941f7931c3b195587f701beb9e1579622913a","datavalue":{"value":{"entity-type":"item","numeric-id":1207945,"id":"Q1207945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab5615ded097b8489c8209ff9b8adfc1aac8467","datavalue":{"value":{"amount":"+0.8121429681777954","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":"Q3643363$5E51F18C-E877-4FA6-A8D5-5EA860C83991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07ea29f34a0ae3c3bb20ee1e6b731c59ab57a81","datavalue":{"value":{"entity-type":"item","numeric-id":5055747,"id":"Q5055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc53a80d1fa0930138987e195e3555c632795ffc","datavalue":{"value":{"amount":"+0.8117441534996033","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":"Q3643363$1974FF9B-355D-41E3-94EE-5CC3B68458A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237b97dcfbfc01474547724047ebed891866bc69","datavalue":{"value":{"entity-type":"item","numeric-id":1197987,"id":"Q1197987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f98cf256f35f1d2693b540d7e724a90732a3608","datavalue":{"value":{"amount":"+0.8041931390762329","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":"Q3643363$422A4AD0-7C1A-4BE1-B3D5-513A2BC07FA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3643363","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3643363"}}}}}