{"entities":{"Q1260643":{"pageid":1271393,"ns":120,"title":"Item:Q1260643","lastrevid":46294632,"modified":"2025-12-24T12:30:02Z","type":"item","id":"Q1260643","labels":{"en":{"language":"en","value":"On functors expressible in the polymorphic typed lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 370443"}},"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":"Q1260643$B606EC93-89F1-4F66-8F0B-67DDA967057F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87f522373b95b4b27821c21a1422d44e9d9c425e","datavalue":{"value":{"text":"On functors expressible in the polymorphic typed lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1260643$6C4E410F-A0D3-4BCE-8317-1A264DE84743","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9ce71638e296737f7e552ee501de0877fc03b0b","datavalue":{"value":"0785.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260643$57EE065C-A5CF-46FF-9159-14AD8C14EEEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ce89a28b8751be49dfde7a8a71f1ba0108c6fee","datavalue":{"value":{"entity-type":"item","numeric-id":1260642,"id":"Q1260642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260643$E47782FB-1485-477C-9CAE-703A9B03E619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260643$B972D806-B50F-4337-977F-C9F5D853F54A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260643$37B7D111-2D85-4739-BE77-1A40DD939D9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca925aef735ee73d86c6a323015bc1282d85f7d8","datavalue":{"value":{"time":"+1993-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1260643$0475CB6C-4567-4237-838F-24BDAA18E6AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"536d9e26a688d09cdb32db16e22421672a1ea24a","datavalue":{"value":"https://semanticscholar.org/paper/3397551bd817a057149c4fb0230fd01cce2327f2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1260643$81486FFA-081E-40F7-B00E-3E7711A3A8D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260643$62188505-4841-466A-A294-ACF4319A6B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260643$4A04CC3C-0428-4A64-92C3-2D18A8E08FE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6050309542e2c080d3cde80f51040bb3a2a88eb","datavalue":{"value":"370443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260643$9008C3D3-62A3-427F-B32C-CA7FB7672207","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db58725ebc124e0f593b0fc6bf810e055366c4e","datavalue":{"value":"polymorphic typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260643$BB6C8730-AD99-42FC-B518-F6475996742B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260643$CB0ACBFE-E20D-497A-8FA4-50CAECA966AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f64d2de916c192288c99185816ca80ede5e5f647","datavalue":{"value":"weak initial \\(T\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260643$582E456A-2B7D-4089-8A60-0E6FB60DD08D","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":"Q1260643$04F99B78-5371-4120-9046-C3DC4736614D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"befb91d90c333957379ab44f0a4ff03fd19b7b95","datavalue":{"value":"W1998095216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260643$2C2E5D54-9F06-41DB-9018-0548F493E6EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e7d5cf383731b1380a8df12f08072664d4027f1","datavalue":{"value":"10.1006/INCO.1993.1037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260643$41725A1F-10A4-4CC1-A91D-00EE8191EE41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437e8475196b1c74558309143d00e154b4d71f60","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ea080322fdde2b5f409322b23ea40b99099820","datavalue":{"value":{"amount":"+0.8032793402671814","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":"Q1260643$2D1FB685-7FF1-4A3E-BAE6-70A8F4B54FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58db8c06da0c5cb2a6d06b13a3b15a9c556ffcef","datavalue":{"value":{"entity-type":"item","numeric-id":5887531,"id":"Q5887531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c6d5344a1fe9f3826e89ba9837f92b485dfcb80","datavalue":{"value":{"amount":"+0.7945525646209717","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":"Q1260643$9356AE19-8AB5-4E5E-9772-93A876ACC862","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":"858c610933d25050e1cb4ea39d4525972295109a","datavalue":{"value":{"amount":"+0.7840777635574341","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":"Q1260643$69CA8D01-2D75-4C4E-9F24-4EE9E4BFCB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9e5dc2968041f4cb2517716fd874284e3ab330","datavalue":{"value":{"entity-type":"item","numeric-id":3483291,"id":"Q3483291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e9d9acacdb560a7a24d893a3201e95278b0855","datavalue":{"value":{"amount":"+0.7733627557754517","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":"Q1260643$3AFAE818-41C1-41A6-911D-07A1F052C4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1485f2f4746a943777bb46556e15c05ff09bfed3","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7f9473eb1f4d181239069249da87ab912262c5","datavalue":{"value":{"amount":"+0.7721236944198608","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":"Q1260643$B78EAA2E-9021-4335-B26C-E0BEA9A1D07A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1260643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1260643"}}}}}