{"entities":{"Q6116572":{"pageid":13250879,"ns":120,"title":"Item:Q6116572","lastrevid":47887393,"modified":"2026-01-02T23:56:42Z","type":"item","id":"Q6116572","labels":{"en":{"language":"en","value":"Simultaneous substitution in the typed lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7727401"}},"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":"Q6116572$DC8F3B72-604E-4008-B9E8-247E51D1AD03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e2f7cf7ed51d05ae56dc140e275786a699ce341","datavalue":{"value":{"text":"Simultaneous substitution in the typed lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6116572$81863A0D-7FD1-4544-85A6-83182BA60EFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc6683caec96c571814186b6e7518a8ce1a3bbb6","datavalue":{"value":"1518.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116572$68CDAD8A-2D76-4074-A8FD-40DA1B5F465D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5f262c3914036faaf881ddc4287a26465ffa808","datavalue":{"value":"10.1007/3-540-55511-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116572$C74CC1F7-E910-4798-B7B4-E1C85BE6B592","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b5cd70a601ae7d73d42d795608769e2a4e95ba3","datavalue":{"value":{"entity-type":"item","numeric-id":687574,"id":"Q687574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116572$9BC98210-26D2-4763-94D7-37E46272776D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116572$8E7A173C-1283-4256-8BA8-BD7371B7FDFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec3fdc4707afeadfab464a2e4a8e3d58168b3dff","datavalue":{"value":{"time":"+2023-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6116572$28FC675B-A537-4F42-95BC-42E31020D786","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116572$5A9E7228-6D52-4DDC-B2C2-77E10EA89DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116572$6C705DEB-6F71-494A-8ED3-BEF7704B0169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116572$8DE7CE5F-E786-4053-9F87-2C3936EA786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116572$C361773E-1DFA-43DF-89F1-A74C3EBF8164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116572$BC1FA4D8-34EB-4242-960E-479FD82A6648","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11b563b5c8ab3c85242981027ac1b567e7032846","datavalue":{"value":"7727401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6116572$D4C895D2-E9DC-4103-ACBE-66FA572DC68C","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":"Q6116572$125BB834-239F-47FE-AF7F-400F3C987B3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87159350b1e75c254b00ff776f3b82e554fb8c60","datavalue":{"value":{"entity-type":"item","numeric-id":3201049,"id":"Q3201049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116572$FFEAB7D6-A996-4DE0-A132-41F5D2A6F371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae29cb2b97befbd91af14330209faae3e3a879b","datavalue":{"value":{"entity-type":"item","numeric-id":687575,"id":"Q687575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116572$0830DD15-EBBF-4188-B71C-293877BB4C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2dcb0390f8cbacfc6eb44ba408bb13c644039c","datavalue":{"value":{"entity-type":"item","numeric-id":3978972,"id":"Q3978972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116572$BF960B28-FBE7-49FF-900B-C322D1398262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116572$F4E156E8-EF18-49AD-B3B4-FBEE8BE03ACC","rank":"normal"},{"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":"Q6116572$74547FC7-7C13-448D-9170-8F9E678B6B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f149ec444851c81f8f28cc669b90ac06bcf6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1106190,"id":"Q1106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6116572$58FF517A-835A-4AAD-8339-F3FDE94C6813","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14b6207b035d4af9ebd9981a353c89ba6b971e6","datavalue":{"value":{"entity-type":"item","numeric-id":1106190,"id":"Q1106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46aa34eee2b98340213a3b0245e35e39fc91a20","datavalue":{"value":{"amount":"+0.874424397945404","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":"Q6116572$5E8029CA-59C1-4FD1-9364-7E481AD76569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d114b68c8bdca87f93fe5ac469a6d3a03827b2","datavalue":{"value":{"entity-type":"item","numeric-id":687575,"id":"Q687575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2d07d25a01e9ddcf46420e0156cf4fed312cac","datavalue":{"value":{"amount":"+0.8103250861167908","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":"Q6116572$7A82C8DE-13F8-443E-9F84-5E12B76E6C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1381ba5e65d72f963524301b06e5959f3d3eac3c","datavalue":{"value":{"entity-type":"item","numeric-id":3395095,"id":"Q3395095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0a0358894d4d8765a3259a1deca4c101bee8e9","datavalue":{"value":{"amount":"+0.7860188484191895","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":"Q6116572$6B53AF38-8B13-4EB0-AEB6-4980E5CB4673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84552983a22f6f68b1aaacfe13c4e7ca7480ba50","datavalue":{"value":{"entity-type":"item","numeric-id":530864,"id":"Q530864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb515b6527a2b1bb459e534f6b697fec0e4f86c","datavalue":{"value":{"amount":"+0.7654997706413269","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":"Q6116572$B793EABC-8715-4626-9966-20EE6144FC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ec66fa9b1c1b00857d6d8adde14a14b665361d","datavalue":{"value":{"entity-type":"item","numeric-id":1854398,"id":"Q1854398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f6594f09731c5af630d93c1ac0f4a63632b5ef","datavalue":{"value":{"amount":"+0.7637409567832947","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":"Q6116572$F4A05AA3-3DF2-4602-B526-FA505463C766","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6116572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6116572"}}}}}