{"entities":{"Q4325622":{"pageid":6355223,"ns":120,"title":"Item:Q4325622","lastrevid":28536109,"modified":"2024-03-05T14:22:15Z","type":"item","id":"Q4325622","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 733165"}},"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":"Q4325622$53D493E6-5D04-47B3-A7D8-C9643F6662F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b12306b8dab22e827473a2aeaf1097629c56ead","datavalue":{"value":"0812.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325622$2EB2D035-1956-4B1E-BAA7-5BA422F476CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4868e42eabe3e0f9f523662644367fc65b4422c","datavalue":{"value":{"entity-type":"item","numeric-id":4325621,"id":"Q4325621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4325622$ECB25786-EE8C-4EF9-A91B-ADC5E0C04C95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9131c94be31bdaaf0d96e599805bc96d4ac2c3d","datavalue":{"value":{"time":"+1995-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":"Q4325622$A177256E-BEFB-4BDE-A2B4-07A7886CBEB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325622$098D8D99-06C2-4471-844C-0A6CEE428D49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0111b6bffae2455841cbb0466d76a373b43d5aca","datavalue":{"value":"733165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325622$4F9161A6-2F5E-43C5-AD3C-1BB071525860","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c653a71f23af399371cd608756125be556080e23","datavalue":{"value":"combinatory completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325622$8206D5B4-7752-4F5A-81AC-8491052ED78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e3f98a8eb1cbb87a3e41d46e3993030b46e3fa","datavalue":{"value":"typed theory of combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325622$0C5C2CF0-4FAB-468C-99D2-50539968CA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325622$EF93ABCD-3818-4764-A02F-F4ED56E4F67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325622$47528F42-815F-4F69-98AD-C247BB415294","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":"Q4325622$BB6B1BC2-BC2E-4E92-BD59-C5802C38B773","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4325622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4325622"}}}}}