{"entities":{"Q4500177":{"pageid":6529770,"ns":120,"title":"Item:Q4500177","lastrevid":47025096,"modified":"2025-12-26T01:52:10Z","type":"item","id":"Q4500177","labels":{"en":{"language":"en","value":"A linearization of the Lambda-calculus and consequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501400"}},"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":"Q4500177$F80E15BD-EA4B-4DDC-A23D-AC8F4CA1F0B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"373de9942fbd0d6b445453f2e4bf15085bb131c5","datavalue":{"value":{"text":"A linearization of the Lambda-calculus and consequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4500177$DDA2733D-986E-406E-AAF9-EF5807C90361","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75f138c67324a0ab7e4fd28e5f79c9f602bab247","datavalue":{"value":"0953.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500177$994262D7-D6C2-47B8-811B-11A89A718580","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d9747839bcddbd973b100af1b34777607177c4","datavalue":{"value":{"entity-type":"item","numeric-id":801664,"id":"Q801664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4500177$DDD29A28-FC61-4A40-AA18-CB0D38C405EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4500177$FAB026F5-EFF0-4544-A1A7-75E8DF9ACBE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e77ebdc2ecbce44f57818853d595191b65fa69a0","datavalue":{"value":"https://hdl.handle.net/2144/1597","type":"string"},"datatype":"url"},"type":"statement","id":"Q4500177$9FEA8700-1728-4783-A070-A60D66408EFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500177$D194B526-6DA6-41BA-AAE3-9DF2C7338040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500177$8E7EC079-1620-4F54-A892-286C25DE3D65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78d67741735f10f8c638bc5f2591672b257a8465","datavalue":{"value":"1501400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500177$2D91DE15-3E9F-4033-A899-C16D69767EC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52fedc06b05496f4c6f09890ca4e7c626a7a377","datavalue":{"value":"weak normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500177$18F51B5E-067D-4BCD-A5F4-185D15173ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500177$FD7F894C-A7AB-4F71-9BDD-1608B8A5F91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500177$09292036-28A6-4DC6-94C5-E592477645E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500177$C35ED61B-D9DD-4A5F-B3E1-F46423C707C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69a65a9b72f3252b50c1079e74f1dd71ba7c18a5","datavalue":{"value":"generalization of beta reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500177$39E9D0FF-755F-4A90-BA5F-EAE9D1D6C24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4500177$855B6064-A634-4357-82FB-9C24B75C7318","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":"Q4500177$7D9B0857-25B6-4D40-A1B6-D27F99A68C70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb5bc48bbc30be6a253e9abdf58aa98cf22664f1","datavalue":{"value":"W2002689571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500177$4EDB3AB5-BE29-43E4-AF43-CED376B16377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f42d30824e21b8c05fbf50af16262eb37d2b340","datavalue":{"value":"10.1093/LOGCOM/10.3.411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4500177$A505D20B-2E08-43D3-8FF6-A3123DC0A5FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4500177$761C1F44-22EF-40D4-8C42-A9DB37ABE957","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4849900eb7ad962a5fe6bdd4653caf38ebcb76","datavalue":{"value":{"entity-type":"item","numeric-id":5692152,"id":"Q5692152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d9290d481c824bb939c0fbc3191c251e5f80c8","datavalue":{"value":{"amount":"+0.8408236503601074","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":"Q4500177$32A811EE-0446-4C62-9F39-7A4AA3B49A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2069cca7704d3ff65bbd3dee2d017cabd588e9b5","datavalue":{"value":{"entity-type":"item","numeric-id":2566028,"id":"Q2566028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6dbd888fe0ff016749b14bfa9461519be3bf4a1","datavalue":{"value":{"amount":"+0.8111931681632996","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":"Q4500177$296571D3-AF25-4A62-866F-78275062BDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712576e596f6617f303ee8b32bb91d309c5147b3","datavalue":{"value":{"entity-type":"item","numeric-id":3527292,"id":"Q3527292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"924f642fbde7ed21222b11dc9ff847b9579b2d06","datavalue":{"value":{"amount":"+0.7884137034416199","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":"Q4500177$986EA4D8-B7B0-42F4-9EC2-56B733D06CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771b1d8e65d5e23cbb79f4cd4d7616ba55631ba4","datavalue":{"value":{"amount":"+0.7763519883155823","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":"Q4500177$7143B98E-81C7-41E4-B880-35748B7AA55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4f09844710e9f1778fd7a7e76b7cb62b72ca67","datavalue":{"value":{"entity-type":"item","numeric-id":5014809,"id":"Q5014809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3c857e24c3ecfae7bf824d577d711d465f3e1f","datavalue":{"value":{"amount":"+0.772326648235321","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":"Q4500177$5C709A53-5B9F-449F-88ED-6B08593144A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4500177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4500177"}}}}}