{"entities":{"Q3884083":{"pageid":5913988,"ns":120,"title":"Item:Q3884083","lastrevid":54604757,"modified":"2026-01-29T08:38:00Z","type":"item","id":"Q3884083","labels":{"en":{"language":"en","value":"The Standardization Theorem for \u03bb\u2010Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3689357"}},"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":"Q3884083$562ACF4A-26EE-43A4-B5EB-939BF3DF7BB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2885f5a07b89a55a0a2c7a6a6defa1e99088afb7","datavalue":{"value":{"text":"The Standardization Theorem for \u03bb\u2010Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3884083$27AC4C5C-D0FB-4F32-AEBF-7A41731B65BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8df833c75a712fdc24cab08010ef8dd15f5a8fb8","datavalue":{"value":"0442.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3884083$741569C4-94BF-4F67-B4DA-B50109A660B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3239c0a7edef972857483c44afb8e320239fe63","datavalue":{"value":{"entity-type":"item","numeric-id":1054938,"id":"Q1054938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3884083$6A1FCC44-D6CB-4405-B8BA-CC27AD8CA2E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3884083$B66C7C5B-44EB-4E98-83AD-AB21010BDD20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3884083$DE3203EC-E0C8-48D0-8FF2-0F61E5FA879D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3884083$C8F75C54-B4C6-4ABA-AC39-E86B8A5B6D91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edb8867f30facbd003fd9b72201406a92ba82289","datavalue":{"value":"3689357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3884083$C0C6C725-A29D-4943-B23D-6CD607330A05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3884083$71E10FD1-9416-4A00-A2F9-A68CB52BB044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542ca1301ecfcf98fba554fb95dc21b23433dd17","datavalue":{"value":"standard reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3884083$1A9E17B2-EFCF-4EAA-9F24-9F10873E9B5A","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":"Q3884083$1760DBA7-CC82-47BE-A292-116BCAF13915","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4be7a29d5bd838084e283102eea2cb27f942a465","datavalue":{"value":"https://doi.org/10.1002/malq.19790250104","type":"string"},"datatype":"url"},"type":"statement","id":"Q3884083$02BE72D6-8441-4C68-A0D1-0731C148BFB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27741066e7b9c8f1ed775fab563c59980f63a645","datavalue":{"value":"W2036609822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3884083$F982D9BF-6DA6-4825-A63B-4A67A3CCDA79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"247ebf548f23672073d1f3675ac0985926fcb58f","datavalue":{"value":"10.1002/MALQ.19790250104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3884083$8C727507-18A3-46B8-9FB3-5F003182853A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3884083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3884083"}}}}}