{"entities":{"Q673121":{"pageid":674970,"ns":120,"title":"Item:Q673121","lastrevid":46473702,"modified":"2025-12-24T21:02:29Z","type":"item","id":"Q673121","labels":{"en":{"language":"en","value":"A characterization of lambda definability in categorical models of implicit polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985385"}},"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":"Q673121$950FAA97-01FF-4ABB-8076-443B8B545FD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb4e082e44625c4fe2279ccafde89e0843c2d738","datavalue":{"value":{"text":"A characterization of lambda definability in categorical models of implicit polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673121$828E67A6-CCEC-4F12-961B-E209908BD245","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8efb7f63fcec8873790e5cd15dfa49a0f032a3e7","datavalue":{"value":"0873.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673121$09D511AC-47F8-483B-8B60-543DDDA22265","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3d160131b6af5f7fe8646d91e709670a5a7627c","datavalue":{"value":"10.1016/0304-3975(94)00283-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673121$4C15B1D9-15D3-4222-A03D-5D94F42D6980","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"951064c90fb46c119e7a7a6c5b6108d198d04a49","datavalue":{"value":{"entity-type":"item","numeric-id":673120,"id":"Q673120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$3649DD61-5C56-4BA9-8D73-751B14135C5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$89115629-FD79-48F6-99ED-1CF7C9CFF73D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673121$C9947DCC-12C9-4D79-8231-F0D2DEF80AEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673121$E2F1EE97-7E34-4ADC-B4E8-19A14C53F291","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0c2bb2966f6993ab2ee14f152d71a75bf3034c6","datavalue":{"value":"985385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673121$5B7772F4-79FC-448F-933D-830F8CA5D905","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d506702094430eca810da656db888382b74dda6","datavalue":{"value":"lambda definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q673121$D4E33041-BD3A-4B2A-A404-026EDE293273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd1f74565e8247459f558fb5413fabb6e0386d21","datavalue":{"value":"ccc models","type":"string"},"datatype":"string"},"type":"statement","id":"Q673121$1F476174-188A-4659-9B16-E31A10779DEE","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":"Q673121$E1DA72C2-9546-42A7-A8FB-B9077EF29119","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$E5871077-7E83-432D-A4F7-74D8033BFA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$36D53B75-4080-4781-BAAC-500B63EB2A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54868b722751ad0e075936ac6a123a5f7734f8","datavalue":{"value":{"entity-type":"item","numeric-id":4029341,"id":"Q4029341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$F04A3511-915B-4DAA-A279-6A208BF6FD08","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":"Q673121$E441822F-10EA-4BD6-B471-7C1C060136AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ad9da17a866aedbb1fcb0b1b80324ca70c7695","datavalue":{"value":{"entity-type":"item","numeric-id":5619069,"id":"Q5619069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$6B95423D-5123-4675-9F52-83E69B135DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08427b30aac08e02f04f166ab00d76cfca546567","datavalue":{"value":{"entity-type":"item","numeric-id":6171748,"id":"Q6171748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$D89C9ACA-8E28-469F-8188-E23B2027D427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76cd3a8ba48ee34d922f75db8eaff1b1a239078a","datavalue":{"value":{"entity-type":"item","numeric-id":3680264,"id":"Q3680264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$5B582354-0561-4ED1-B389-A51F9F7348D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492542c2fa16745b6c1ab27c66663c1aea1182a1","datavalue":{"value":{"entity-type":"item","numeric-id":804559,"id":"Q804559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$BE50B9C6-529A-4122-96F5-A4F4936E39C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ece9f88a5860d659787874ff1cb3f2701585e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4283246,"id":"Q4283246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$FFAC709D-4F7C-4D55-9AF5-CEDD3805A67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0c6d6d042c46abf1963fa55483f5344d41b204","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$E134C179-E0BB-46F4-8578-1FD96E2D2BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e999bae0a616c880e150ce22a0e3ec926e7ed4c5","datavalue":{"value":{"entity-type":"item","numeric-id":4713399,"id":"Q4713399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$E3D07296-613B-4B04-93C6-5947E59A5242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a44e53117e2b5122cf3411e07466ea55fcf7f2","datavalue":{"value":{"entity-type":"item","numeric-id":1898483,"id":"Q1898483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$413F45D5-A6D9-4306-A616-4917EA181C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3683459034a240002f90c09e2ba2fe76d0cfbd1","datavalue":{"value":{"entity-type":"item","numeric-id":4369880,"id":"Q4369880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$7AB788B5-450A-4482-BD92-EFEDC66B296F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$FF3DE147-C07E-4B28-A642-DA156863398D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$83FBE4B6-73D9-40B7-B209-3EA5E4E5DA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965a1e995890935d5b7fdb325d83f6de8bb8d74d","datavalue":{"value":{"entity-type":"item","numeric-id":1118410,"id":"Q1118410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$27F4B037-78E8-4FD0-85ED-B47A5575FD5C","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":"Q673121$DCD5B40C-9C87-4308-B446-A2E32E53DA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531abc143c539bf5980f3593b87d7cc25d9d1318","datavalue":{"value":{"entity-type":"item","numeric-id":3138547,"id":"Q3138547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$11512170-A814-4124-9661-4A9FAF057F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673121$11AAAE24-8BF8-416F-9F3B-3270CBFEA15E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfaa915bb5186d7a8ce8cc70f2b1dcf6c12da441","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00283-o","type":"string"},"datatype":"url"},"type":"statement","id":"Q673121$977DD68F-E33A-4444-B85D-B6262FD020CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98950bb40be8325165cd0fbaec1104163e638c6d","datavalue":{"value":"W2034606068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673121$BFF05388-85E3-40DC-98B3-0278E1B27EBB","rank":"normal"}],"P1643":[{"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":"bf8250292c1d7ec96af1ab11e5f40e99570b23ba","datavalue":{"value":{"amount":"+0.7855010032653809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673121$0E77AD69-9E5C-4775-909D-E748283213E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"275c3905642ec414dcf6565ab7194ef8478ba571","datavalue":{"value":{"entity-type":"item","numeric-id":3540185,"id":"Q3540185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6b57528ef62893c862bb4ca611c97b43782f7e","datavalue":{"value":{"amount":"+0.7813484072685242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673121$4A03E422-AEC3-487A-823E-A388D60FA7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbbc472cab6ac25a680c07707cee212f1b6ed69","datavalue":{"value":{"entity-type":"item","numeric-id":4281477,"id":"Q4281477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a727bcdba20a5a5baec915bb7b5714d41ba8fb2e","datavalue":{"value":{"amount":"+0.7802013158798218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673121$195417E2-50BD-4BAC-B095-5F1B4F0117D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8183e2cf7c92527d06dc8bcff56a29a674d63f","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80cfaa6909c141d8bafc47dd4fa0be952bddde03","datavalue":{"value":{"amount":"+0.7757613062858582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673121$D466CE40-8D5A-4B62-B0FC-E5EB7B2EB1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48af7596498ced83994ccc33df2b4a2f13089461","datavalue":{"value":{"entity-type":"item","numeric-id":4263868,"id":"Q4263868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037e271e471936ecd90b426d691871197dfa568e","datavalue":{"value":{"amount":"+0.7687448263168335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673121$9D9838E3-2BA8-443D-8221-1E0B07F2FC3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:673121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:673121"}}}}}