{"entities":{"Q897487":{"pageid":899335,"ns":120,"title":"Item:Q897487","lastrevid":42751257,"modified":"2025-07-10T09:58:20Z","type":"item","id":"Q897487","labels":{"en":{"language":"en","value":"Book review of: H. Barendregt et al., Lambda calculus with types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516818"}},"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":"Q897487$476EE1BA-5133-480D-BACD-AB2EEF33600C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c18148ebdb0aac18ee8c15a57e1cdfcbeb307b80","datavalue":{"value":{"text":"Book review of: H. Barendregt et al., Lambda calculus with types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897487$44630720-153D-4973-A45D-8948B552CB93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d15dd37d775e64663e4b326ec637d65ca8e6f2e","datavalue":{"value":"1360.00060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897487$70B2D711-4474-444F-9699-E4D983250747","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e0e90be1d62f1335a9628c9fff612cad845dead","datavalue":{"value":{"entity-type":"item","numeric-id":897486,"id":"Q897486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897487$6404CDD5-F0F6-4F20-B6F3-4552A3714564","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897487$6EF382F3-D49B-4111-9772-A707A7073F8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q897487$84F19C74-97D1-417A-B14D-2239D3AABBA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cdbcb9a9433c83028f6e622f8bfd7755585518b","datavalue":{"value":"00A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897487$54A82CFF-31BD-4100-8E2E-9988721210CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897487$E5ED25D2-445C-49D0-90E1-C22A1C70564B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897487$E46D4C03-DA38-4D58-88A7-2EC34F590812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897487$60B9CB4B-5D00-4973-99B1-EA556418B052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897487$4E33A627-A7B0-465D-BE4F-31D929220C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897487$C1742DFA-584E-4D1D-A4A0-4A26483E9BF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"910efb731aedad276d132efd2a844810e0f7fa52","datavalue":{"value":"6516818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897487$56F33BF5-6DBC-474D-B3B3-0CF52088C1B1","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":"Q897487$F1A34B5D-5FBA-485B-A866-BF2CA2ADD581","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65810ea26e6c3f2fd5af9b6988be7309a5de6de5","datavalue":{"value":"https://doi.org/10.1007/s11225-015-9634-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q897487$F1405FAF-C173-4FFB-BA82-3555E434E39A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1235efb8eab7e62c236dbc7903f28197bedf4128","datavalue":{"value":"W1920096898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897487$CB8CEEF3-64A7-4D25-8098-1D874D33FB5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecf4c04d482c53ac4f1672fc22ac91be4e40da0d","datavalue":{"value":"10.1007/S11225-015-9634-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897487$737276AE-5D9E-424C-8224-FE26B32BDB34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:897487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:897487"}}}}}