{"entities":{"Q4946629":{"pageid":6976211,"ns":120,"title":"Item:Q4946629","lastrevid":47468680,"modified":"2026-01-01T20:09:07Z","type":"item","id":"Q4946629","labels":{"en":{"language":"en","value":"A general method for proving the normalization  theorem for first and second order typed \u03bb-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1422510"}},"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":"Q4946629$EA01667C-44D8-42AD-94DF-ACD12E651C0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75b73c35ba642407c6a795c96d3a8ef8ba9067de","datavalue":{"value":{"text":"A general method for proving the normalization  theorem for first and second order typed \u03bb-calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4946629$AE3970A3-5B9A-4F50-B6EA-AE1ACA6E5772","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3c450f82dcab2860e72719e2a95023c1c9b6b78","datavalue":{"value":"0942.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946629$8A0CC657-A28E-440A-B778-110F906E2BD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11922eaa813fc2354c01b953c75f89dd412d4cab","datavalue":{"value":"10.1017/S0960129599002923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946629$F6740B8A-25F0-47DA-B3F1-C920E6D67D0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f305346d5b7751261acdf176028ec2b84c015b","datavalue":{"value":{"entity-type":"item","numeric-id":639642,"id":"Q639642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4946629$C8859EF7-8768-45D9-8855-20AFFB3D015D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4946629$06CC679E-7C0E-426C-AB3A-C5029514E4C4","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":"Q4946629$BC211322-B2BB-4D98-BCE1-8E9D29EBE123","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-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":"Q4946629$CC4B5F16-4639-426F-81F9-BECAD698CEB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946629$158F9CEC-5435-415E-A761-422BE952D74E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d88d1aaeab71f70e6a28d01948ace0a214aa6af6","datavalue":{"value":"1422510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946629$B09A0806-1B0E-4B63-9BAE-19A3BD85B6C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946629$E124C5F7-9E23-4A22-A604-CF4F7EB00AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26cb24495877e615809101b5b828d2479f51b06f","datavalue":{"value":"normalization property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946629$A44656AB-0497-4C6A-9B7F-59F65ACE6EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e233df1907d27272bff41366068c326d7dfe00","datavalue":{"value":"Girard's system F","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946629$D362EF41-D452-4F78-B5C1-3F5788B490B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4946629$9D70CA28-12E3-4539-8B2F-EFD2591BA8AD","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":"Q4946629$893CC936-A317-4DCD-8ED7-3DCFA22863AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8780c26ed105eb53c43e82a6bd122fcb31b36706","datavalue":{"value":"https://doi.org/10.1017/s0960129599002923","type":"string"},"datatype":"url"},"type":"statement","id":"Q4946629$7FEB369A-1861-40BA-A870-93FD6C63669D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a730b16d8cecfaa7b8cf29f84148cdc0942647d6","datavalue":{"value":"W2010737695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946629$3FE8389D-539F-4B30-801D-ED29F48FDA9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c69c984026464bc3ed3212594c1ddf307a8382e","datavalue":{"value":{"entity-type":"item","numeric-id":3035254,"id":"Q3035254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628a91fa3f9aabbf0e2ca81eb9e491eca8d0c31e","datavalue":{"value":{"amount":"+0.841282069683075","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":"Q4946629$E703CE38-05CC-45A2-B4A5-8B4B5380F244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bceb4084705be097f5e8e7948406a4af77dc085","datavalue":{"value":{"entity-type":"item","numeric-id":2871835,"id":"Q2871835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1eea68a9f903f0970d90e8ae54e041e4d314b16","datavalue":{"value":{"amount":"+0.8125752210617065","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":"Q4946629$031DA471-CC46-4E30-957A-DBA55E6FB79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6299ddc75dd5b9152285f4bbf46f17130efe0549","datavalue":{"value":{"amount":"+0.8115691542625427","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":"Q4946629$6AC359BE-40F4-4577-8153-E834B955AEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90de395bee12df483a2e23c4bb7bd4a7f77ac96d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b9fec493398c9d9ec77fce045c1f3ef242dbb7","datavalue":{"value":{"amount":"+0.8074766397476196","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":"Q4946629$EF19D416-6DD0-4B0B-B7B1-7D9306AC8166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a1e95e103b48b2ec9f98a8e4b8a2be4e2bde0b","datavalue":{"value":{"entity-type":"item","numeric-id":3599163,"id":"Q3599163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca46f1b4ffa40516674f15e4fadddb7a080848a","datavalue":{"value":{"amount":"+0.8070901036262512","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":"Q4946629$D169CE3A-D489-4E14-BAB0-016C2D9A1B20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4946629","badges":[]}}}}}