{"entities":{"Q5747746":{"pageid":7777297,"ns":120,"title":"Item:Q5747746","lastrevid":41043415,"modified":"2025-04-17T23:28:49Z","type":"item","id":"Q5747746","labels":{"en":{"language":"en","value":"Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785432"}},"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":"Q5747746$693A7E59-D8E3-49C0-99A6-DC07E483A833","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"737779548b4d14300f5a5f1da8e9d86aed0aa977","datavalue":{"value":{"text":"Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747746$0D98ABBC-FE51-4D0A-8341-72FD13D3ADB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a29b32e6985be95e574cbf3adf13e5ac1234048","datavalue":{"value":"1291.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747746$988E2566-335D-4F3B-9A23-5FD17D307ECF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03c34ad5f86e764f3740c802cacd8a5aa49e65ba","datavalue":{"value":"10.1007/978-3-642-14203-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747746$C2FD6291-00E8-4BFB-AB75-849F6DB87104","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"528abd8d6563a2c95f54d9a11ab202b68cd4233b","datavalue":{"value":{"entity-type":"item","numeric-id":2871869,"id":"Q2871869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$901285F1-ECA1-4558-9CEE-11B692CD4C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1024ad51fb0c89617301d9b58c1789ce603d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":2092486,"id":"Q2092486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$7E67CB5C-2DA1-457C-B8D2-33E4B71898C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$56AC9462-BCD7-4DE3-8141-AEAFC083B1AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747746$885BA47D-25A1-495B-9946-B40D265BCB1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747746$D5EC5591-D892-43AB-87EC-8EAF53555CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747746$D1E69E9E-76E2-4E70-AD44-AA70D2501699","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f693f82c62d73b34ab05f2a16773b9b0feaa8d87","datavalue":{"value":"5785432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747746$2BF2E470-75D0-48BD-B616-B1997B32C71E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$0CFB7406-86C7-45D5-BFAB-10648D65AF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$75821A31-82C2-4C1B-824A-4543C8EFEFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8b05ec686e5cf36ec21c150af705733aeafe240","datavalue":{"value":{"entity-type":"item","numeric-id":21443,"id":"Q21443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$0B5D7BE8-B12B-4C07-B9A6-F282CA8E3788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$461CEFA2-06EA-433C-BE35-1F65A00F10A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4679151adf8ac447edfc2fb5110876fdfca498c","datavalue":{"value":{"entity-type":"item","numeric-id":20987,"id":"Q20987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$FF2BCFE2-82D7-4B24-A98C-D662FD919984","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":"Q5747746$9FD7D81F-4A00-4078-BA83-2C99CA397D80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"120628da58b08f0b48a5d78afbb0e997534ba0dc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747746$F2A61E30-D78C-4EF2-A036-88E423D42136","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88e663dd9a58a1dec874ab5675cf3aa132b99e69","datavalue":{"value":"W1759101439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747746$4A90BDCA-9EDC-4E49-A80C-5DC20A6EDA10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$ABA40335-40BC-49EF-9053-128E4D8534FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc984cdec628cc7f36b386f0c4b014ff5e947f6","datavalue":{"value":{"entity-type":"item","numeric-id":2754029,"id":"Q2754029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$4624EDC3-64B0-4DE1-A7FF-688EA8D29ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd2134f394c79633368977edccb4641841638f","datavalue":{"value":{"entity-type":"item","numeric-id":3541698,"id":"Q3541698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$C3FE48F5-20BC-461C-BC2C-9378C15869A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfa964f55f2ef74f21d27e9bd8a3aa00682e204","datavalue":{"value":{"entity-type":"item","numeric-id":4444908,"id":"Q4444908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$85205064-548F-4837-9063-AE397FFEBE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca6e35da2579d765c3b1a7323f92c035647e4ce","datavalue":{"value":{"entity-type":"item","numeric-id":3608416,"id":"Q3608416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$3EB0F8EE-81ED-4D39-90D7-3E9F1CEF4D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bab25eceb42f52701d753efa4ce1915a7e4709","datavalue":{"value":{"entity-type":"item","numeric-id":3024846,"id":"Q3024846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$193E58D0-9ADE-4A8B-BC12-A4A0281F3127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f424568afbee8e6c5fde4c7bebc92442b4ccc1c2","datavalue":{"value":{"entity-type":"item","numeric-id":1129257,"id":"Q1129257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$51CE6E3A-61B6-46B0-8055-676FDAD4F30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5529fc59fde090e80519f64caa2fc1f892f31635","datavalue":{"value":{"entity-type":"item","numeric-id":5458389,"id":"Q5458389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$47F64244-E510-4DBC-B512-AAFD45D9BEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024a43fb48c6e06ffc87d6fb6cd37e785b8125e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541713,"id":"Q3541713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$0217E47C-9A07-4255-BD1A-C2257A2034DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0f85a488d3f386518edb0636f9b1f48fc0498f","datavalue":{"value":{"entity-type":"item","numeric-id":5747746,"id":"Q5747746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$BF22A7C3-C2FF-4E5B-9BED-DBF06854D6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d434966473eea1b46469590e756fbfa4aaa54d1","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747746$117C6AFC-33D0-49A8-AE16-A920C762B4A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eaf1b4434dd63be30e34a133d16e928b854b7b0","datavalue":{"value":{"entity-type":"item","numeric-id":6116572,"id":"Q6116572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49ee267a6c18404925b4df63a7f6769131c30f52","datavalue":{"value":{"amount":"+0.89037037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747746$5429B63B-3D56-41EA-B3D5-03ACC4D81E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b361ca1aa5526764549f3d95137afb2aca29dcf6","datavalue":{"value":{"entity-type":"item","numeric-id":6061881,"id":"Q6061881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e018a206a3e46ac64ef0a4fe1ea849bc4c710a72","datavalue":{"value":{"amount":"+0.8893154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747746$759E38D1-4829-4126-84C7-A67CC3A4EB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae33ec0cec722ae39db812bfd7fd70874e418f99","datavalue":{"value":{"entity-type":"item","numeric-id":2713357,"id":"Q2713357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a19984c1354be51a4b232b85fee9a778d0a3ddde","datavalue":{"value":{"amount":"+0.88871586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747746$137D212D-184F-49EE-A5D4-CC990933888A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268a7a1389d90c8337ebeaae3326824bf72a6d3e","datavalue":{"value":{"entity-type":"item","numeric-id":4364376,"id":"Q4364376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6020940d2f0a275a6b0529310c032a0544e360b9","datavalue":{"value":{"amount":"+0.88746786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747746$B4F816F4-51E3-4A3A-8550-B31F61E81E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b831ee8c09ba3e9977779ca68ccb1cc211fba6","datavalue":{"value":{"entity-type":"item","numeric-id":1575247,"id":"Q1575247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11dba813344b2ab9c281bbebd04022b109f4f9f5","datavalue":{"value":{"amount":"+0.8779108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747746$F54370A3-0A1A-4BB3-BFBB-88F802D1BE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e11eee860428ebcd4ef314ee9e234f223a776","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93688b40a060d001101ed846b18b4cf9a0b49a8a","datavalue":{"value":{"amount":"+0.87741184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747746$1E754EFD-5E72-404B-BF71-489DAFF52E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84552983a22f6f68b1aaacfe13c4e7ca7480ba50","datavalue":{"value":{"entity-type":"item","numeric-id":530864,"id":"Q530864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b701fe0bbda6a9c908a2ab37711c4245bb8c56d","datavalue":{"value":{"amount":"+0.87121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747746$711ED791-F53C-4BB5-B832-EFB62FE5317F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42797fc209eaaddb74c3306a25952bf259efdce8","datavalue":{"value":{"entity-type":"item","numeric-id":1850959,"id":"Q1850959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7c7dcc926d4613b35a03014f347c564069899e","datavalue":{"value":{"amount":"+0.8658949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747746$D65C1EFE-5E2D-4427-8E9F-307364F30298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653c98086433f6d31f2dfac92d8f72b159f546c7","datavalue":{"value":{"amount":"+0.8651978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747746$99A33EF8-0A3E-4E6E-9948-C7C64E5B4F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26aceb348552d8be97fbc20ac7fc65a99c357c3","datavalue":{"value":{"amount":"+0.8648974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747746$FA3AB3F2-34EF-41B5-BE2E-B5787C7AF8C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747746"}}}}}