{"entities":{"Q2883111":{"pageid":2893836,"ns":120,"title":"Item:Q2883111","lastrevid":51464267,"modified":"2026-01-18T09:06:25Z","type":"item","id":"Q2883111","labels":{"en":{"language":"en","value":"Realizing the dependently typed \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033360"}},"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":"Q2883111$853A6EB8-6F41-4037-A051-40805DCBF139","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a0f08871197d484e65972154cc718764ad83147","datavalue":{"value":"1237.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883111$9E8ACDB5-B469-40D0-821C-1AB70FA1A585","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab515f1cd06cbd298eaef621dba8d17add4ed07f","datavalue":{"value":{"entity-type":"item","numeric-id":2883110,"id":"Q2883110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883111$67582CD6-6C35-4907-AF3A-B76E264AEB59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-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":"Q2883111$0D7E21E1-997D-4128-85D9-5AFCF40578AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"962f67129e194b9ea43c60b43b7c8d5a5865b312","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_37b5.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883111$4680551A-4FE1-41DD-9BB6-A8217D1C2D8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883111$347DA54B-E0A2-4CDF-8413-3AB882603C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883111$0589B149-ABC2-4849-BE15-0BE75092D5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883111$D52F3A22-D207-444E-8C1E-65ABCE5939A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883111$3BE3AAB8-0E00-44B7-AE6C-B203AB708CA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4194414adb34924c3eea7bd3fceea7096610c18d","datavalue":{"value":"6033360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883111$54069435-94D0-4016-BB03-28944667857A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883111$84BE0EE4-E014-4277-894E-D524BBEAA142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883111$40500A6D-BEC8-473D-93F4-8FF2E2F5C39A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"688eba81cb056dd5bd9a14f97160caacc67f3346","datavalue":{"value":{"entity-type":"item","numeric-id":18616,"id":"Q18616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883111$FD172213-6457-4C05-ABC7-6AF60A268519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883111$8276E0EE-A1EB-455A-8CB0-1879BF93DAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f30e5dd378d1c8d431ca832dc781025a9796eb77","datavalue":{"value":{"entity-type":"item","numeric-id":21438,"id":"Q21438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883111$D79E6DFE-DD9F-4A1E-9B1E-FAE6EC8D3E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883111$1BE94518-03ED-4868-9B68-F9A178375B29","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":"Q2883111$D4011D2F-0CE7-4A50-8795-F65886E78364","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8aa2960630f50ab00ae60645b5a7b598c193ebec","datavalue":{"value":"W1588631167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883111$D923B527-FDFB-4B6B-9A04-FABA27E6636D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3423864d7ed95a3338055b1837758bc83a7c9fa0","datavalue":{"value":"10.4230/LIPICS.ICLP.2010.294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883111$9ABA0D87-95BE-43DF-997A-B35C3F67873B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"959aa4f4c4e4f395f2826b69ef5c8ac912cfa23d","datavalue":{"value":{"text":"Realizing the dependently typed \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883111$2C7FB718-F993-4626-BDA6-F22295F3E42A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ec43f150e0dbc8e2356d4a810ffb760b54eafc","datavalue":{"value":{"entity-type":"item","numeric-id":6488533,"id":"Q6488533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b037add0bf7daa7d12fa2974c12e7c175c5064","datavalue":{"value":{"amount":"+0.9097273349761964","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":"Q2883111$35BFCF96-3277-47EC-A89E-E377A7380807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9d59bdc6ae437ece8127a1d514a0d68e56907a","datavalue":{"value":{"entity-type":"item","numeric-id":3491030,"id":"Q3491030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44aef76dc46698ecf2083eedc09bd27dd4d7a276","datavalue":{"value":{"amount":"+0.8880681395530701","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":"Q2883111$5F1ED8F4-11F7-48C8-9EF5-4FDAA28249AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90fbc8e2b2495cf799cfd99e80095a31f4948e4e","datavalue":{"value":{"entity-type":"item","numeric-id":4012881,"id":"Q4012881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee64ab3c1bb4ad2dc7bf648f3ac243d9d73ddd90","datavalue":{"value":{"amount":"+0.8407365083694458","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":"Q2883111$947C52AF-47F7-4551-AE0C-18AC329960ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9af094cb20226c99db0cb8ff7bed51d584eaa7","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73bff1cc73642267e6e57aabc0d639ad36c06cd6","datavalue":{"value":{"amount":"+0.8403557538986206","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":"Q2883111$95433F67-DC1E-4881-8346-0AF9DF022198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d700ddad6d1e7cb86f82803ab615af4c6216d9","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ec0cbd67a73bee2679c28c8699dd90abdaffff","datavalue":{"value":{"amount":"+0.7868245840072632","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":"Q2883111$B4C927EE-DB2D-4C65-BDA8-BD1039478CE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883111"}}}}}