{"entities":{"Q3452250":{"pageid":5227911,"ns":120,"title":"Item:Q3452250","lastrevid":52391801,"modified":"2026-01-22T13:10:50Z","type":"item","id":"Q3452250","labels":{"en":{"language":"en","value":"Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507256"}},"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":"Q3452250$14FD4020-E7E8-4514-8017-E62111C77404","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7009a2f0d775c6f108f520b121a291b36d7a4d30","datavalue":{"value":{"text":"Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452250$F427B5AA-62C4-456A-95A2-2BD3D9C93D8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ee166dbcbf654f77e0e98fc300181d26cd19ab7","datavalue":{"value":"1325.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452250$B7AB1C8E-982E-4225-92E4-C803C61265FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da1f80383d656be6dc069b6cd3402270933c6bca","datavalue":{"value":"10.1145/964001.964007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452250$6EB63D7C-B5FF-4480-A887-2C6BD9542C85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0eb8358d12293577adc3d69d0c5720bdeb6f4c5","datavalue":{"value":{"entity-type":"item","numeric-id":2498897,"id":"Q2498897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452250$32A29561-D5C3-40CA-ACFF-25123A3A27D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452250$72014875-E14D-4B0B-B844-2463FD680C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452250$E765D823-C3E6-449F-8ACC-80DFF4B8AD14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452250$22FDD14F-F13C-4054-B74E-9E0F8B7E34AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452250$751E3D17-8254-459D-85DF-04D1FD10CB12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452250$2B642039-7B41-42A9-A0DE-11BFA19E4FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452250$75F44161-EF50-4898-868B-0F9D12EDD3A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0834bb686d3d43befc907ec6b45ab83721095ae7","datavalue":{"value":"6507256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452250$8F2A2955-C498-4630-A545-F056CF025BE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02802d00b7ccaa63f2f5138160036b42af10779e","datavalue":{"value":"Grothendieck logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452250$9C9CA58D-47CD-4241-B7B8-D455603496B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452250$C1DC4D62-6276-41F4-817C-16D493CCA38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa65c73df3b4592edc0ac7d7e2dfc738e2e5f217","datavalue":{"value":"strong sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452250$656285BE-A51D-4F06-A57D-A1F9A4D2ECB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd659ac5b8a74f4c597d57fe951dd55cf510e8f1","datavalue":{"value":"type-directed partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452250$40E0888C-540E-4CBC-B184-F52D6C9F8696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452250$A906E0E0-1A48-4780-B612-4E5D4158EDE8","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":"Q3452250$0A3DB44D-C91C-4E5D-B6C7-117E9AB60B0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5802529e90522d734bc6c0ef967ccd9df3c035ee","datavalue":{"value":"https://doi.org/10.1145/964001.964007","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452250$3D88A6C6-1BD4-4776-9039-115803A5B38D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc6ca82e9e78ec7f99874096f48b29cbed31418d","datavalue":{"value":"W2140892577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452250$915C60BE-BDFB-43AF-9834-7FF32378D419","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50193511f07b105bf1a9975e80ce225a7ec7ebb","datavalue":{"value":{"entity-type":"item","numeric-id":4813224,"id":"Q4813224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7401d944e072d57faa4cc6b020aa4585a5579f9b","datavalue":{"value":{"amount":"+0.8328872323036194","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":"Q3452250$437F61F3-68AE-4D82-A103-412496F7FDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4561662ea25861eee8a7823dfb783e1751d20ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2778820,"id":"Q2778820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86db91596de647e71dfb406c39711775e9658da8","datavalue":{"value":{"amount":"+0.8266246914863586","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":"Q3452250$05103381-9981-424A-BB6A-466B39EFE39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72aa8b6de59fa6a24dccaf7a741a4368f2d51bc3","datavalue":{"value":{"entity-type":"item","numeric-id":4494371,"id":"Q4494371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe50d53d6157c65be6c65720862fe395d12ed579","datavalue":{"value":{"amount":"+0.8019495606422424","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":"Q3452250$00EDAD53-145C-41DD-934E-C9A18AF09DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b9cbfb80a3c71c4bf3f247de6c661e68291464","datavalue":{"value":{"entity-type":"item","numeric-id":3612636,"id":"Q3612636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25eb6da37df1fee839a410b916bc51449920700","datavalue":{"value":{"amount":"+0.796968400478363","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":"Q3452250$A9E7C126-756E-4E24-BA44-BD9357A5E481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ffa40b503cd2c081dc61973c12ce0b002c625e4","datavalue":{"value":{"entity-type":"item","numeric-id":5277972,"id":"Q5277972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8b5d04932f3f2bd8e0786a709c0f9db7b879fe","datavalue":{"value":{"amount":"+0.7876867055892944","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":"Q3452250$5527233D-91DB-465B-809E-8B235735708B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452250","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452250"}}}}}