{"entities":{"Q6340939":{"pageid":13475892,"ns":120,"title":"Item:Q6340939","lastrevid":95071982,"modified":"2026-06-05T08:18:04Z","type":"item","id":"Q6340939","labels":{"en":{"language":"en","value":"How to generate random lambda terms?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900430565"}},"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":"Q6340939$C7460EF4-1293-45D2-AD78-DED9B472FBAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e4c2460cf5e76fd9a7859f4a9a393cb04f5318e","datavalue":{"value":{"time":"+2020-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6340939$5BB76D69-94D6-4D0E-9716-D7B010FFDD1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36b03d965b708db71b66f91ec8846bbddfbb03ef","datavalue":{"value":{"entity-type":"item","numeric-id":2327213,"id":"Q2327213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6340939$AC2FB25D-DAD3-4466-A673-64E10D358C16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffd67a2db6187e951c3ad5906d413f2bba050afa","datavalue":{"value":"900430565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6340939$64DD8616-805B-49EE-BD36-11A8F615918A","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":"Q6340939$3A014D12-6BB7-4CD1-8BCA-291538DB5072","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to generate random lambda terms?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_to_generate_random_lambda_terms%3F"}}}}}