{"entities":{"Q2932835":{"pageid":2943555,"ns":120,"title":"Item:Q2932835","lastrevid":52155287,"modified":"2026-01-21T01:26:29Z","type":"item","id":"Q2932835","labels":{"en":{"language":"en","value":"On the type correctness of polymorphic \\(\\lambda\\)-terms. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6378824"}},"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":"Q2932835$B9979272-D7A5-4C19-B2CD-0CF203BAD49D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1f64392ac1db00b7d46be731515d76f6c2ed51b","datavalue":{"value":"1301.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2932835$27E94958-F8E0-4715-A403-F5CBE68D2A8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5403885ff04c6338c99ed32cd50c2701a274515b","datavalue":{"value":{"entity-type":"item","numeric-id":2813850,"id":"Q2813850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2932835$B3BE3FC7-E1B6-4055-99AC-FA210259B145","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"647b7a1b0f81a95dd0d55b044a22a9b52645ffc6","datavalue":{"value":{"time":"+2014-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2932835$0B0B266A-7779-4BD5-B199-CCF6970F2CF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2932835$D76CAB32-1FB0-47A0-9F0A-E8661F219C76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6df846f9514b229d3a3ff1435a363d424d47e1b6","datavalue":{"value":"6378824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2932835$5EC3D4CE-893A-4894-89AF-8BB99D09D648","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2392b672efbd1bb0bba2c5ac67141a3f83c1afc","datavalue":{"value":"constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932835$84310A73-C455-4DFC-B6CF-6A270FD75785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59d2d5af916677cda6e00167d8e60bf3faac75db","datavalue":{"value":"skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932835$4261BD17-3DBA-4012-9742-64EA28387F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56e5793ea33870a204239ad40fe7f02bf24fac2","datavalue":{"value":"expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932835$6A8E47E5-B744-4F83-B1CF-43126FB2C132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c51cf925ba6fa31daf1d9ec9d2cd203492fb59b","datavalue":{"value":"principal typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932835$443CBB96-F347-4AB1-B5F4-C715ED0464D7","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":"Q2932835$8D75EE66-478B-4F5B-8165-1BB910E51CD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e48c3380d3827763f947ff32a44c654cd65d32a","datavalue":{"value":{"entity-type":"item","numeric-id":2826506,"id":"Q2826506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786d90b046b7498056ed049ab3e7b1a2a544e4bc","datavalue":{"value":{"amount":"+0.9579747319221495","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":"Q2932835$0EC6470E-87EF-4A71-BB0F-0C6205846B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f9a9c100ead7a2cf3eebc7c05ad2c3b47d5818","datavalue":{"value":{"entity-type":"item","numeric-id":4038680,"id":"Q4038680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a63625ebe0eb5b4f04b58773ed831fe4bb53a53","datavalue":{"value":{"amount":"+0.8151125907897949","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":"Q2932835$E4CCE1E0-EA94-4D67-B7E3-9D08763C8EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79bf2999a629ddee6218a2e2becb113340921911","datavalue":{"value":{"entity-type":"item","numeric-id":3486543,"id":"Q3486543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a7c1d14f205389f37bb6c4d45ae4662944fa8a","datavalue":{"value":{"amount":"+0.809582531452179","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":"Q2932835$44EBC61B-21B0-4C18-9473-D0C4B010736F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a797d8a82b1c80b2aa58f83f73031e83ca90888","datavalue":{"value":{"entity-type":"item","numeric-id":3003364,"id":"Q3003364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b944133af6eb624568850a443a3002f917c2d4","datavalue":{"value":{"amount":"+0.7900301814079285","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":"Q2932835$B90D97F0-3C29-4872-8D0D-A2E82FEC48B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2059065ece6d261328f820bf9c39836938c83c8","datavalue":{"value":{"entity-type":"item","numeric-id":2453585,"id":"Q2453585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ceecbd7f818e7f50071574b78572bd277ee9e1","datavalue":{"value":{"amount":"+0.7833091616630554","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":"Q2932835$243FCE95-BE5E-4333-9EF0-04470201E869","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2932835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2932835"}}}}}