{"entities":{"Q3783264":{"pageid":5813170,"ns":120,"title":"Item:Q3783264","lastrevid":52547825,"modified":"2026-01-22T22:42:42Z","type":"item","id":"Q3783264","labels":{"en":{"language":"en","value":"Categorical semantics for higher order polymorphic lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045708"}},"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":"Q3783264$E98E4F5D-6E2D-41D9-AA48-1E6F7CEDC447","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00f47fdc1b285b29670ad7655442e4a30f3df8fa","datavalue":{"value":{"text":"Categorical semantics for higher order polymorphic lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3783264$ABA1BF95-F378-4041-9701-62342E885790","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d9e96f5a0a4ac92aa376bede55c09b0cd549af0","datavalue":{"value":"0642.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783264$FC9D7CC0-FEAC-4BF7-9C6B-D9526C14667E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e6a0e6af191a14d35f97f83e3b9360e02ebadd5","datavalue":{"value":"10.2307/2273831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783264$42A6B8F9-9D6A-46A6-A3CB-B8281A205900","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d982c5d0e038afc73121713cd489a6ab9fd68","datavalue":{"value":{"entity-type":"item","numeric-id":674461,"id":"Q674461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783264$860371D8-DD8A-4101-A5E2-150982114F9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783264$7D833CDD-EBFC-487E-B177-04D3D277FEC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3783264$DEC9F16F-0E50-402A-8FAF-82A4C1ECDEDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"161fd433e1e5deabb237d3830534dccd4182ab97","datavalue":{"value":"https://semanticscholar.org/paper/23a40e57eb3092ecda7204eb5e397f4fb92fb440","type":"string"},"datatype":"url"},"type":"statement","id":"Q3783264$14573A6F-6CEB-4B5E-8076-BBB3C6411F08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783264$3EE5359B-9BCB-4187-8035-66F189C81C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783264$CE0C98BE-7903-4B40-B9F0-E984CD278F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783264$0AF573FC-967C-4AB8-B1DF-8AC68C0DFAB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13b309f537708ba88d7a3d7d6602aec9b5f63c43","datavalue":{"value":"4045708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783264$EC3D9A53-378B-4191-B686-3A3243189461","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1295ad9d2d3a14aab12f252627333b3b9d9c8119","datavalue":{"value":"semantics for polymorphic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783264$25A2FE47-210A-443D-90A4-38F4A2E63F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5934bfe488ad6ac441a2d887e283b8ccc7bca59","datavalue":{"value":"subtypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783264$5FD4E38D-296B-4A52-9828-B35EDECD2B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f868d59a376419cef9b4a6745285364977ce35ac","datavalue":{"value":"Girard's extension of the Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783264$131A93EB-3DD2-4CEA-92D9-865A6AD8CF64","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":"Q3783264$1D63142E-F968-49C7-BECB-9E05941CB21C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68ae1bf2ab0e7c23f50e0f9c4dc2a3880d9a54af","datavalue":{"value":"W2032017843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783264$168036DE-0B9A-46C4-9AB0-CED275E6D760","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783264$B76A8881-A36D-43D9-8289-8E7297623194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783264$8FF3FF61-2C36-480B-BDAD-71028D10EC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783264$4EF23818-3A3A-4B70-AACE-0B31C5C27B69","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":"Q3783264$D9FA4AAC-CAB2-4D17-A1A9-A2B04FDFB836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3b6866662741aaae533cc58b1394eba5b77691","datavalue":{"value":{"entity-type":"item","numeric-id":4196420,"id":"Q4196420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783264$801D37C1-8F3F-4A2B-A2E4-BBD2D85425A0","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":"Q3783264$165C6621-5610-4441-B27C-78F1557D8526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783264$22B737BD-EBF5-46BA-9BE5-C381141A1E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbf2d5b157e5fb4d1745288b32c2de045384528","datavalue":{"value":{"entity-type":"item","numeric-id":3679177,"id":"Q3679177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783264$E42B95D0-BFFB-4BB9-9C0E-669940E68D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783264$C84C30EC-2609-4374-A83C-9CD8BCE5A1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2c283ecaaa5d345904a687c7a7b5c0128d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5623646,"id":"Q5623646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783264$8D8D5D40-9BB7-4D1D-AA76-08D9D50E00D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c097eca35bc531bbbb108f2dacb4adb59289e5","datavalue":{"value":{"entity-type":"item","numeric-id":3768869,"id":"Q3768869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c09c855f9ae28446580e4cea7d9221525f28180","datavalue":{"value":{"amount":"+0.97001046","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":"Q3783264$399CE95A-8591-4742-9080-722B9F88F9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53facd2fa443e736e0cad757fe7e0f6d3112630d","datavalue":{"value":{"entity-type":"item","numeric-id":3768870,"id":"Q3768870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc5aecc6f693eebf5ccb3f0909684696732d0b7","datavalue":{"value":{"amount":"+0.9509473","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":"Q3783264$492D392D-CB1E-4A67-9D34-08E5B90A3B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b23f757c9584f0eefb90ae44c1a588abdb4ab0","datavalue":{"value":{"entity-type":"item","numeric-id":4896529,"id":"Q4896529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89dd5e44e91eb1dd4f427256d2445e873b451026","datavalue":{"value":{"amount":"+0.9471177","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":"Q3783264$84BAB85C-8972-4AC2-ADD3-1A99CADFF1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b746edd308170903cfbc8a7995491f3c2873ec7e","datavalue":{"value":{"entity-type":"item","numeric-id":1349667,"id":"Q1349667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de83f54ee7d772a45a1c523e3d3f26024b4bbcd4","datavalue":{"value":{"amount":"+0.91591954","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":"Q3783264$8D5E1D59-99F9-4D5A-B02B-D86343AAE75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8b78ad67ea637acfdde64e29d61878b7e4aac2","datavalue":{"value":{"entity-type":"item","numeric-id":3024851,"id":"Q3024851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ca693b89143b0e0d463d254e1bd8534e7ba467","datavalue":{"value":{"amount":"+0.9157744","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":"Q3783264$8D9DC8DA-ADBE-43A5-9A8D-2D75514BD097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656736a0c8119672175ff38c7b9d1d8d6ce696b2","datavalue":{"value":{"entity-type":"item","numeric-id":5150148,"id":"Q5150148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca5b0674b4a6ba9356f3da93b9529ac4c3a5336","datavalue":{"value":{"amount":"+0.9079903","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":"Q3783264$DD2DCF64-D968-44F9-B88B-D7B282B2A5DF","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":"ad861c804501cf78fca1389378a5f51a160f3126","datavalue":{"value":{"amount":"+0.90465564","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":"Q3783264$CD8DB322-7BE2-4757-8BF6-0C5064EBAB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a715d38b9608064b19a7f411bef7ba6321fa368","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfcf552ca0ebf03bdae7b922e33a47bc23fd9e60","datavalue":{"value":{"amount":"+0.9036315","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":"Q3783264$7E7389BA-07B8-4345-AF6A-9B4E441410E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4507a171a5c48359760d38d7eee08baed8bb23","datavalue":{"value":{"entity-type":"item","numeric-id":5057475,"id":"Q5057475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa61457dd5c4e71cc33a7c30b45f9cd14fad104","datavalue":{"value":{"amount":"+0.9035426","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":"Q3783264$1404E033-DD72-4317-B4F1-F344F26BE93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5545babfa51fa205952cb4eae6c787eac443e770","datavalue":{"value":{"entity-type":"item","numeric-id":4725711,"id":"Q4725711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ce5c93c88fc2f91e1d88e23f98cef90e0cb2e7","datavalue":{"value":{"amount":"+0.9004968","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":"Q3783264$C80A5809-2CA3-4F74-B9B4-FD29C7554F5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3783264"}}}}}