{"entities":{"Q4364384":{"pageid":6393983,"ns":120,"title":"Item:Q4364384","lastrevid":46511871,"modified":"2025-12-24T22:50:25Z","type":"item","id":"Q4364384","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088036"}},"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":"Q4364384$7D51BDD7-1140-40CC-BB30-8B20DC4F9F4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1be3efbd81643d7c10e35a5ca3cab6af2a2a7db","datavalue":{"value":"0884.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364384$AE7CFBB8-AF69-4B95-B970-C25B94D5415D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364384$AE2BCCDC-1C0F-4000-A94F-7104CAC3E8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"041d5ee3fabd59c2cdad1eb3f2e35ff32f1de0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1630042,"id":"Q1630042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364384$A1592777-8501-4A02-A755-37738461690E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"363664994bd3f98264ff6fc78db2cfbbaf8e3fbc","datavalue":{"value":{"time":"+1998-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364384$CFA04D8D-320D-408B-B265-CA21E8572100","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364384$F9B76DC9-4486-4C3C-BB82-70368B6BDCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364384$F34D527D-0A02-4F54-8BAF-B158CC0C5E83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"958fcc23534f859a83c02470dba0239b3bef244d","datavalue":{"value":"1088036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364384$5D57EE63-4FE1-4CB1-A6E4-918A27462660","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954f05b9e3729cc65e8e7b71d0bbd06faf31c00b","datavalue":{"value":"cyclic lambda-graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364384$F4FE310F-8702-47EF-AB1F-09723AAD79C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364384$2A26A3F3-6417-41F6-AC42-EFAE0A31A662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e296e47cfefdb9641dce019464faf2d41611a602","datavalue":{"value":"extension of lambda calculus with the \\texttt{letrec} construct","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364384$8F2C9BD7-AD97-4FBE-A3DF-243F1CDA985B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fc5ecdcf361a6bc5f3aed5552cd571d75e42614","datavalue":{"value":"rewriting under lambda-abstractions and on cycles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364384$32809F9A-C32A-409F-929A-C7072216A97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364384$ED131039-727D-4E7F-A603-5393D7E004C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"381e402f65854444686d7887a277c6ca395b34d7","datavalue":{"value":"L\u00e9vy-Longo tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364384$EC108659-39AF-4D51-951E-C71DC334FDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7109923d535ea1365dfcc9cb4d42843a2f77d07","datavalue":{"value":"infinite normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364384$066AD0A6-2645-4F8E-9840-AAB0C63C6286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75bf5d67115efad26ce6c6d8d205434635a094ef","datavalue":{"value":"cyclic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364384$CE8B4541-39D4-4C37-8BA6-0D3250599BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"118a5af9157cd69dc2bdbd038c96db29521c894e","datavalue":{"value":"call-by-value variant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364384$EFB46221-4324-4E54-84F4-71D337F1730A","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":"Q4364384$DB0C7D20-FE96-466E-B54E-1A0B53AF836E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fff865f3a29e2b7ef896f141228a5c7edc05eb4a","datavalue":{"value":{"entity-type":"item","numeric-id":1849854,"id":"Q1849854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e4d552185f6f9a7e84b593bbf2901f74bef29e","datavalue":{"value":{"amount":"+0.8099320530891418","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":"Q4364384$C841C0A4-9D2F-4DA0-8C3C-D7CE0614AB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b7c1661787c8eaab80eda6545ab1bc6bc56ad0","datavalue":{"value":{"entity-type":"item","numeric-id":3024908,"id":"Q3024908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503abc9d8a577594730b654d7a89acbe4f093a75","datavalue":{"value":{"amount":"+0.8025412559509277","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":"Q4364384$06DB93BA-9D11-4613-9C89-0186CC8ED7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c2dec59b2fa3cd662fb4c67300976d3fbdd873","datavalue":{"value":{"entity-type":"item","numeric-id":5308094,"id":"Q5308094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"241a2bed063d5abc94a8b1ef529f7ea7f3adbc7e","datavalue":{"value":{"amount":"+0.785970151424408","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":"Q4364384$86781EA9-09B6-45FB-AB69-10F58B79BC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76ab0295fc0467218a9f23e19a5b632991a5cc2","datavalue":{"value":{"entity-type":"item","numeric-id":1383145,"id":"Q1383145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19f049a6e915a1054c93c37a4dc1b7f96268b2d","datavalue":{"value":{"amount":"+0.7811537384986877","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":"Q4364384$AF3E0F26-65AA-48E8-88F4-44C62FCCABB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364384"}}}}}