{"entities":{"Q6242566":{"pageid":13379363,"ns":120,"title":"Item:Q6242566","lastrevid":58843374,"modified":"2026-04-06T20:44:12Z","type":"item","id":"Q6242566","labels":{"en":{"language":"en","value":"A journey through resource control lambda calculi and explicit substitution using intersection types (an account)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900163494"}},"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":"Q6242566$C59EA750-F607-452D-A109-667AB58A6B50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24e68cbde7cd9bb92668bce7881c12e27824931b","datavalue":{"value":{"time":"+2013-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6242566$256EBC06-6FA4-4CFA-BD0C-7C12229680C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6242566$B5BCE829-1BC2-46B9-9DED-423A234A3A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cce0ce92a3ed785a05d622f72a3c118d17b9cb61","datavalue":{"value":{"entity-type":"item","numeric-id":1709699,"id":"Q1709699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6242566$AC2BFD3E-56C9-4645-9CE0-4197E2984995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6242566$5EEA342E-2C50-4247-A33C-3A2472BBA638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5448a351bf3feee9663629beddf06354ded52a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1434349,"id":"Q1434349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6242566$340C2F79-2832-432A-8BDF-F9F38590BB9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0eebe00553a5591638b9555cf948b1fe7d1efbd4","datavalue":{"value":"900163494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6242566$2D9A50F5-3F83-473F-A166-C46BE5568FE0","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":"Q6242566$197415B2-57F0-4968-913C-81D01D9D5613","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6242566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6242566"}}}}}