{"entities":{"Q4917199":{"pageid":6946780,"ns":120,"title":"Item:Q4917199","lastrevid":51705416,"modified":"2026-01-19T14:25:23Z","type":"item","id":"Q4917199","labels":{"en":{"language":"en","value":"A typed, algebraic, computational lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6159158"}},"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":"Q4917199$19D782AF-4C91-40FC-8CCF-9772C7905169","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7513a0f859e4b86b0a879ac700ffa0a2c70c80ae","datavalue":{"value":{"text":"A typed, algebraic, computational lambda-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917199$A5F35780-43B9-4BA4-BDF7-D212029D4CFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48be22c2d081e7220ab072bcce7806a8cb5c333c","datavalue":{"value":"1312.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917199$BAD50860-DE50-43C0-802F-2EB1512CFBA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16eefcba893247fa9be97f4e6075e212b69eff77","datavalue":{"value":"10.1017/S0960129512000205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917199$A140B623-FC39-42F1-8FD5-533570E7AEEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdedd14f542819f3e703a4797215dd716a1cd763","datavalue":{"value":{"entity-type":"item","numeric-id":468583,"id":"Q468583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$592B06E0-64CD-437C-893F-D38F44A3D7C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$0466D03C-2E92-430C-8504-6AED03ED1346","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae17c4ecf184e2afd3c8b133626fdd9ae2ee388a","datavalue":{"value":{"time":"+2013-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4917199$152CF70F-4112-4B96-B152-766179F648E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917199$153A4D63-EAB8-4B94-BB6C-0CB7964D8E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917199$050F744F-DB8F-4787-80C4-7A9F85A22865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917199$8AB34891-DBF7-47FB-882E-1A4C5EE8F8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917199$962049F4-320F-4345-B84F-DA66F023168E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90591952e7981a83b43499756eff35fc5a03e369","datavalue":{"value":"6159158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917199$51DB4B89-9447-480C-8F2D-055305E311BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdab31fbaa588e430ddb0a889f9c2ec0966895a6","datavalue":{"value":"algebraic lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917199$7DBDD151-C12A-4149-9009-FF9F8A6B46F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e40c01a10e7c8520ad6eb5b13e8848c2151e66b","datavalue":{"value":"categorical framework for semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917199$2DD2C972-7DD1-418F-B049-7EDC4FABA15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917199$4A15294A-161A-4DEE-8D0E-ED3DB480864A","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":"Q4917199$EF035EF8-301D-4A42-91DE-1F0A2EA9F785","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$57FB3754-7859-43F5-9F60-4E209C44929E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a724201ff43afc7a9d9191ef4bbb8b92b1f8655","datavalue":{"value":{"entity-type":"item","numeric-id":1884896,"id":"Q1884896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$F2C6E234-C15B-4241-ADF2-98F27D6381FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$D8FEF672-E4FC-4FDD-9D88-D9A54DFD4D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$FB5E5290-5E57-4F87-9EF1-FE852EF2CF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$7C940E04-8346-45C5-84C7-9A37035EF5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$AC8B4AC5-49DA-492E-A9CB-3C2A76C45AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$0D39C407-BCD7-4C6A-91C4-6377B9FBD29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7631dfe98f153b44523a49c42bb14e1fd65c15","datavalue":{"value":{"entity-type":"item","numeric-id":3605523,"id":"Q3605523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$CF2DBD5B-6F6B-48A0-B259-4267AF3E92BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb96fb7fe69adf25841ec11cad0a036fedd3ca91","datavalue":{"value":{"entity-type":"item","numeric-id":1176244,"id":"Q1176244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$EFB44FD9-B951-46D8-9091-4B33A4175F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4f020a51168a828551c25efe2435d5943ef4dc","datavalue":{"value":{"entity-type":"item","numeric-id":3522006,"id":"Q3522006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$8E8D5ED1-1185-406B-8AD2-3365E13B167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5eb4a9e70f21c6dfe8888ca8944df9d2ab9a557","datavalue":{"value":{"entity-type":"item","numeric-id":3643363,"id":"Q3643363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$0542F1F8-2655-4823-8047-C6A3F67466B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a53aa878a0e3d2d54f529465218e08501ed64c9","datavalue":{"value":{"entity-type":"item","numeric-id":4651508,"id":"Q4651508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917199$9DA8E562-252F-460E-A372-BC9E9E0C772D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"114524056d04283b8ff8e3199953a07e0fefd09c","datavalue":{"value":"https://doi.org/10.1017/s0960129512000205","type":"string"},"datatype":"url"},"type":"statement","id":"Q4917199$761E0BA7-025B-4EEF-8695-AA2D95BBF482","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"070c5a03cfceab0a11a96db2e3dd41af562da0a4","datavalue":{"value":"W2027907817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917199$1DA31D86-917C-4C1C-A9BC-DECD13AD4F15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a926631441a75b693cd9d5643e10e86bfdd18ff","datavalue":{"value":{"entity-type":"item","numeric-id":5151026,"id":"Q5151026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462b2169a00a8f3f05719880266ff1c022bc894a","datavalue":{"value":{"amount":"+0.920439839363098","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":"Q4917199$A6A9413C-C9F6-43F2-A253-283DC45E3F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a715d38b9608064b19a7f411bef7ba6321fa368","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042e7877b04a3fbbd49676d984d861c2f77c862b","datavalue":{"value":{"amount":"+0.814360499382019","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":"Q4917199$180C86AB-91A3-4AE3-A9F0-FBF9227C4E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e8b1f86535197a6c989c0a63f77bcb56e463f6","datavalue":{"value":{"entity-type":"item","numeric-id":529049,"id":"Q529049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c345a51246b8835c0f0ab8cb0dcc963bfacffa","datavalue":{"value":{"amount":"+0.8134822249412537","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":"Q4917199$DDEF61B3-C8DC-445D-85B1-5245C456333B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b13b86fc5e315f3c929a43bda53b8eb60a63d9ac","datavalue":{"value":{"entity-type":"item","numeric-id":5055791,"id":"Q5055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8921c503e44138d0e226a9d31b299caebfb5e7","datavalue":{"value":{"amount":"+0.8075697422027588","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":"Q4917199$8E948F90-5E42-4FD6-928D-EDAE383344C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0950523ccad0a81270e80e1c15a8940ddaa1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4986659,"id":"Q4986659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8154e3d0e14a10f3e479119a1017c13f529e0f55","datavalue":{"value":{"amount":"+0.8018315434455872","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":"Q4917199$A9D2BFD2-5C34-40B7-8A75-9035A8C366CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917199"}}}}}