{"entities":{"Q2982009":{"pageid":2992734,"ns":120,"title":"Item:Q2982009","lastrevid":52799399,"modified":"2026-01-23T13:01:41Z","type":"item","id":"Q2982009","labels":{"en":{"language":"en","value":"Compact bit encoding schemes for simply-typed lambda-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713900"}},"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":"Q2982009$C4A7D3AA-9EAB-4BC2-AF07-010E58BD00FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4534010794dee4367155d7c8a7c8231141f61772","datavalue":{"value":{"text":"Compact bit encoding schemes for simply-typed lambda-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2982009$D0FFDDE8-A5D9-445F-B319-0D642259584F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d84a9213e7b46954d64ef01cc1d60a6d843dce8c","datavalue":{"value":"1361.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982009$3385E4E2-1BAB-43B3-ABD5-D827779446CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe863c5c6be6ed6c6d0965608d72f1c18646bb98","datavalue":{"value":"10.1145/2951913.2951918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982009$FBF0777B-413E-46AA-993F-4A11777ECA98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb3bb466f798c3667dea8c47f9ade0bff84c8d2b","datavalue":{"value":{"entity-type":"item","numeric-id":2982008,"id":"Q2982008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982009$58B6B65F-2BD5-410E-A1FC-93EF6C2EDE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982009$F09520B6-AC1B-4536-9F62-CF6D1B2C1C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"030d011c619531e8085212d1d5a8e7d79856ad6f","datavalue":{"value":{"entity-type":"item","numeric-id":526440,"id":"Q526440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982009$B3F8F940-826C-4BE9-98F6-F4D618C4DAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f919044541ff85168c0a049d263045de77e3a296","datavalue":{"value":{"entity-type":"item","numeric-id":496551,"id":"Q496551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982009$0AC60A32-696F-4DBD-9AD8-233CC74F4CAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982009$9A631FD8-CA24-429E-8EA9-1C897ACF7080","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2982009$9B414405-1959-4A43-B22D-153D6E2A658D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982009$DF394305-8EE4-4113-B633-B80DC9F22D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982009$ED7A672E-B76E-4464-B4C4-616502E69CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982009$8FD771F4-55A0-40B2-B593-264967135A75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2dafcad36a46d7a8f77eb2ee08356a5a76d211e","datavalue":{"value":"6713900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982009$88EA2537-41DB-4CD0-9BF7-1E4DD781DB4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"150c10d1d121c077f32f84c5eb26a9778b3c0eee","datavalue":{"value":"bit encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982009$188B135F-75DB-4739-A56C-DB3E55C12830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99de46d71759c0d7b682d826cd549f3d1ed09133","datavalue":{"value":"data compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982009$B07F1C44-F248-4096-9E53-C672B2E31002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d16a741da1e08903c84a973e87820e0425d498","datavalue":{"value":"simply-typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982009$A648C70A-3DA3-4A8E-8A7C-9D041609F85B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982009$1063E977-E63D-4FBC-A5B8-7AF665064977","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":"Q2982009$DC2466C5-F7EC-4C10-AD34-C81D95608D35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"954ab5c142c2c2fee6806d89ec847eb13c69bf8e","datavalue":{"value":"https://doi.org/10.1145/2951913.2951918","type":"string"},"datatype":"url"},"type":"statement","id":"Q2982009$EA0E076B-1E5D-4C03-B759-00AB0DEE36DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2033ca6bb80089395e044c7fd5901dc0836ab7de","datavalue":{"value":"W2507631408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982009$0F37D4BB-9A9B-4101-965C-83C89ABB7CDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61cce187e4c7d73f28903fc6c1de9a32212780b0","datavalue":{"value":{"entity-type":"item","numeric-id":526441,"id":"Q526441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a031d002655d207ded76305019e750fc0fcdea6","datavalue":{"value":{"amount":"+0.7840339541435242","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":"Q2982009$E0309706-15D4-4321-833A-35DD7866585A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f105925f5ee941cb243ac7c604b53771672e05c8","datavalue":{"value":{"entity-type":"item","numeric-id":3453110,"id":"Q3453110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283abc339006b3128548333132e2924bb0054da0","datavalue":{"value":{"amount":"+0.7501384615898132","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":"Q2982009$A94FD70C-B1B9-4BED-B3BD-0525EC170CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1358f4307127863caa46d3e605932c1276c1d8","datavalue":{"value":{"entity-type":"item","numeric-id":5176924,"id":"Q5176924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1804d227dfcd4f54a528852b3f5945c56a3f44","datavalue":{"value":{"amount":"+0.7305606007575989","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":"Q2982009$1CC422AB-F896-47F5-80B0-057D0EAD60BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a256567501ac2eb6a7ede02e6becffafe9839463","datavalue":{"value":{"entity-type":"item","numeric-id":5448306,"id":"Q5448306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1db43d8d65600a32abbe57b8429486498b1f104","datavalue":{"value":{"amount":"+0.720337986946106","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":"Q2982009$CDDF75D8-5093-4E10-82C9-8649AAFB1969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ce9a4f203e55f37fb33e73f450618654cab652","datavalue":{"value":{"entity-type":"item","numeric-id":2789550,"id":"Q2789550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04af286c41edea343bd7968b73dad582d9843891","datavalue":{"value":{"amount":"+0.7159314751625061","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":"Q2982009$5197E3F8-0336-4486-9859-849342D8B2AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2982009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2982009"}}}}}