{"entities":{"Q4006235":{"pageid":6036050,"ns":120,"title":"Item:Q4006235","lastrevid":55162966,"modified":"2026-02-04T07:17:39Z","type":"item","id":"Q4006235","labels":{"en":{"language":"en","value":"Semantics of the second order lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55591"}},"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":"Q4006235$97FCA008-BA37-4D14-A83B-6FB5F96FE325","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"164c111607c0a3e85e87a1bd4abc2d86e9470915","datavalue":{"value":{"text":"Semantics of the second order lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4006235$686D96EE-08EA-4064-8124-0D5141A1170E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09dba9113bb22b5ec3626c9163e8929132645468","datavalue":{"value":"0751.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006235$C8CBB517-2134-46EE-9506-9E5F7713EB99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9eda5006a7a7cd4f6e92bf0504fdda0f507083e8","datavalue":{"value":"10.1017/S0960129500001341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006235$241EFDEF-DB56-492C-B9E0-561D50CC3DF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$906B6CC5-6B36-419C-90B1-BA6784FC8E53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$E0ADBD41-3CB6-4A88-B287-F35A5901BC3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4006235$93EF8796-4D04-49A9-8FEF-5A7A9E8A890C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006235$2666F0CE-FB9C-43DC-81AC-B1D8315DC61B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6be7491bcd1590b0f5b6df55bc885731f04cfe5","datavalue":{"value":"55591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006235$67EC89B8-68DB-4618-BC39-C8CC907CB47B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced5665202ad838a2b26e5c07283bb70811d2155","datavalue":{"value":"models of lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006235$05F9D3AA-BC71-4EA7-8668-589719D94EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006235$EF9F08D1-1BA9-4036-9B05-C9E45278A33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f225847bebbbd70d61785ce4ab123db6af3778","datavalue":{"value":"categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006235$FE6A4478-FBED-41FC-8370-85D25A5E9B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5b64958fda5f6681d8fe6c630e03be8bd421f6d","datavalue":{"value":"second order \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006235$963F412F-12EA-4057-B983-9C7D001B0E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c0c1eb265e230d5e12a335925c4e2869913935","datavalue":{"value":"semi-functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006235$341E53E7-76B8-466C-9A4F-947C5F0A98BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ac5b7a9ac10296639c360731983fdb3f59b9b94","datavalue":{"value":"semi-adjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006235$332C9A5C-2990-4E1B-B9F8-FE2381C5B786","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":"Q4006235$81C6C5AF-F7DE-49AE-BA74-221A9EED30A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$58BAACF1-EFB0-4A49-8562-2B790537EBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$FAB348A9-F962-490C-99B3-5D8C01EF5E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$48A2169D-FC1F-45B3-AB8B-E6BDB6D4FD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3375fe95d64eb1965b010106ac93d2982d639c","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$434BE61D-74A5-4314-AF5F-375ECCB13238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783487fbe7d5d00c916a5e1c362e506e08b899ca","datavalue":{"value":{"entity-type":"item","numeric-id":3678692,"id":"Q3678692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$C1393099-1024-4464-849D-F89ED7C89314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$DC2562A2-25B6-4D11-B069-B363CBBCE1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$47E75CE8-7CE6-434E-8AC7-CD8C1030E921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38483d0fbe69a41e391e9ababe59aaa707c2cd75","datavalue":{"value":{"entity-type":"item","numeric-id":3322103,"id":"Q3322103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$9E942095-8344-4932-A0D7-C49E2E627065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$6AA84B64-0913-4FCA-AAF7-C6DF8F3A5D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f3fd26345ebcb47fdc2decbe06144bf40762a9","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$254C8671-3D54-4ACF-B025-F1154774B2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$CBE32AEB-DAB1-4F32-938A-384FBE68D57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041d27619ddd593aca8298cbe17a548a65e007bf","datavalue":{"value":{"entity-type":"item","numeric-id":1075312,"id":"Q1075312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$47A3D242-B628-435E-93CF-1201BFC02D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006235$1231A720-59CA-482A-B219-255231E06808","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c82bd62b9eeb78852f8ef43e653193ec7627bdb","datavalue":{"value":"https://doi.org/10.1017/s0960129500001341","type":"string"},"datatype":"url"},"type":"statement","id":"Q4006235$2E488A39-363C-4D7E-BAFC-1051B2EB2FF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd52ba1f9178ef575e3d5d4aba8b3240fb35a000","datavalue":{"value":"W2107903102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006235$B8CE5207-C884-4974-B070-44D0B177F5D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c2d0b5daa9213419ffc84806953b4e747a2b4e3","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278e99a54f1ec42a92202b20853ee777d70e94e6","datavalue":{"value":{"amount":"+0.9924292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006235$229E74F5-532A-416A-A13B-24B772EDEB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfe8faeb7c5e632c37904d2120e62e56925732d","datavalue":{"value":{"entity-type":"item","numeric-id":3216628,"id":"Q3216628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21534b6ca3db3e58de574cb0c992533234dd6984","datavalue":{"value":{"amount":"+0.963711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006235$D7C03681-FA26-4542-9D5F-4F65B2E17C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3bbd71e7cfd351da60e595e1ef3fa6222ef6892","datavalue":{"value":{"entity-type":"item","numeric-id":4934238,"id":"Q4934238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88301d5d18657589c95fd90f3a0ca0f118f47162","datavalue":{"value":{"amount":"+0.90878725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006235$E7C0DA9D-1D0A-4E90-B4B9-9E5EEE164F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aedf9c230831d7c32a2469d424ad742688c901d5","datavalue":{"value":{"entity-type":"item","numeric-id":5277728,"id":"Q5277728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50f3f4c9ee1f8862455df931b624a99336e2918","datavalue":{"value":{"amount":"+0.9052874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006235$FED9181A-4CF8-4429-ABFC-AAA28888BC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027924e56977055251b69c9956876298d1e80e50","datavalue":{"value":{"entity-type":"item","numeric-id":4982628,"id":"Q4982628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70543748e7a565d253be62f8d8b869b40c01a79e","datavalue":{"value":{"amount":"+0.90391237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006235$BC4494DB-CE67-4104-9B56-72046A82E7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ba330d6958da46eff5b1cf9c3e67524bc6e935","datavalue":{"value":{"entity-type":"item","numeric-id":3787978,"id":"Q3787978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb2adba136505a1174d4ed18c850e00cfe7f7c5","datavalue":{"value":{"amount":"+0.9034233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006235$8925DB4E-BEE5-447A-8A77-2C62BBA2769A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"443a00175662a9ace6e9914191341a7f2b09cfb0","datavalue":{"value":{"entity-type":"item","numeric-id":3787977,"id":"Q3787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf81a288120698e9a08b3ed2910fcb2cdb2c1ff","datavalue":{"value":{"amount":"+0.90064275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006235$55DC1923-5E87-4C01-9776-F2D1E66B4006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1aea8517ddb5b7ed3634277fc635559dbb5b9dd","datavalue":{"value":{"entity-type":"item","numeric-id":732007,"id":"Q732007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d5870c33483b19ef95d21c62eeba201a0fdbb1","datavalue":{"value":{"amount":"+0.8981203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006235$C462E806-A9C1-4099-AB3E-74CEAB7BBDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec631c05321dbc7306e9c1d245bda028c4260410","datavalue":{"value":{"entity-type":"item","numeric-id":5096261,"id":"Q5096261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4856d2ced6c529ddcef545a21a107c33890a2c78","datavalue":{"value":{"amount":"+0.89764565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006235$BFAADEA8-B2D9-41E6-9655-7208A51856A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62c0f1507268f2f74ee18bd4a18691de5d31e09","datavalue":{"value":{"entity-type":"item","numeric-id":3395101,"id":"Q3395101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c858c39daa853afebd93f7cd149b1f489dd3c01d","datavalue":{"value":{"amount":"+0.8948652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006235$45B10772-0BCD-4359-81A0-2413CE693E7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4006235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4006235"}}}}}