{"entities":{"Q2467219":{"pageid":2477962,"ns":120,"title":"Item:Q2467219","lastrevid":50256770,"modified":"2026-01-13T16:16:30Z","type":"item","id":"Q2467219","labels":{"en":{"language":"en","value":"A mixed \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5228623"}},"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":"Q2467219$C6914229-09B9-4CA1-A132-75242CA85E33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12dc8f873d4f9845c574e93e52aa4c726611e7d7","datavalue":{"value":{"text":"A mixed \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2467219$56EC161A-B91D-4925-B7A1-06D89F9B5C8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3665dc4323e3f913ba8279883b621be9f46038af","datavalue":{"value":"1138.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467219$A2D25C63-01FD-4FA4-879D-49430CC2D157","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc2912c04ff9697be7b8e9bf41dfa9f38c673f84","datavalue":{"value":{"entity-type":"item","numeric-id":2467218,"id":"Q2467218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467219$B82B48C8-B1F4-496D-BF72-2AFA21C2DA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ef6258a24d49f3138933724f3b30422abc339ab","datavalue":{"value":{"entity-type":"item","numeric-id":408340,"id":"Q408340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467219$5AB50AEB-8BF5-404C-988C-B6EBED6601F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467219$50437F32-1A76-4875-BD98-C70366D1A2DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"affa7b8682af0f89ddbe03915b2eaa218ccb2331","datavalue":{"value":{"time":"+2008-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2467219$DD158842-A410-4F21-A955-A5D83B7C657A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467219$EA3FEE4B-BA97-4FC7-B755-24C33789E76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467219$8F11975A-84F2-4BFE-BC4C-3E176BA61A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467219$4B42FD35-B20C-4125-9721-76B73DA748F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467219$A813B696-C200-4277-A6D1-5A3F70024A00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e110cf5efb0eb49acb984a19bb6e8784f043235c","datavalue":{"value":"5228623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467219$A7E643C8-DE4F-4418-9CA1-5DF05672EC73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467219$1B4AA2D9-7041-4729-9783-17F318384268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"180ce5b0ea2470e230adc84365ced794410ec8de","datavalue":{"value":"non-commutative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467219$B6B30CDA-2EDB-4AB2-A181-2B083FD3828E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf224aad2e595a1dcaf074cb146e846c170da66","datavalue":{"value":"order varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467219$8CF0384C-187C-4B5D-B10D-639BED251B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c510d077d2f622909c14aeedc41201a205ed79a","datavalue":{"value":"series-parallel orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467219$E3BF333F-5CF5-44FD-B02A-E5BDA5198F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2467219$E350A4B9-6F0F-4897-A882-31C82A192ED1","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":"Q2467219$6EFB5C8D-C355-4435-9645-99836961DCB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b184815bbc64c21c903577f7c07a9719eb6df773","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9089-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2467219$6F3CCE09-7B8B-4F5B-A3CA-D7C821206F10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85cf49f7cf177447e763213fde758cd647bb4856","datavalue":{"value":"W2061801837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467219$24CF991B-2AD4-4F46-A88E-22667918236B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77bfd9522f696e214cfb4da7cbe8403366f0359f","datavalue":{"value":{"entity-type":"item","numeric-id":4594231,"id":"Q4594231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467219$2FEFCA4C-6C4F-4081-A544-7716E5FD3E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467219$12EB5E6C-1FB9-4EC1-8C8E-B101F16F952C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547c6f841c85ced1e61c177a175661c1c1176d95","datavalue":{"value":{"entity-type":"item","numeric-id":4783302,"id":"Q4783302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467219$866581A1-06E1-4708-9B46-0DA8B938E277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b67f5a219f9a573fed96f7094a795ee643a656","datavalue":{"value":{"entity-type":"item","numeric-id":1964014,"id":"Q1964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467219$01BB1C56-BCFF-4AAA-BC52-42B0707AEA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f28975659da5d1fd5caa98d60a11cabfeea54ab","datavalue":{"value":{"entity-type":"item","numeric-id":4487273,"id":"Q4487273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467219$59778E64-3FD4-4109-8AE6-FBD8A214848C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2467219$BB8251C1-6A70-48B2-AB1E-D66A8BE5E21F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7c6e1fd6b3df43954f362fc1ac5c9ba6dd4ec96","datavalue":{"value":"10.1007/S11225-007-9089-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2467219$3590B391-CADD-4237-92F2-A8F2FEBAFF5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8c22854c84567dec9ded8ca033bb9de29312b1","datavalue":{"value":{"entity-type":"item","numeric-id":908909,"id":"Q908909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ebac518f1eb4d089c1c75ea83ee27f08161ec9","datavalue":{"value":{"amount":"+0.7989218235015869","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":"Q2467219$A4987FAE-8C49-4DEF-8CAC-5E2EFD873D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a1195afb1c3c601a1561a604730c0b6a152933","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c2f2fd31bfa9c9c71bb05fb066fb2185da0cb1","datavalue":{"value":{"amount":"+0.7709049582481384","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":"Q2467219$9FB1CC0D-7410-4B2E-A925-E676ED0650D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6bfd0264180dd1d561b9acf5ce8273f188d1b9","datavalue":{"value":{"entity-type":"item","numeric-id":1575877,"id":"Q1575877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e66d5de4c5e412c37e8e4710b283ec18e60f050","datavalue":{"value":{"amount":"+0.7692235708236694","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":"Q2467219$943F2E33-DA27-4FF7-AEC0-2A82CA97F555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61f1043df0660b821c287adfab81436de44a8af","datavalue":{"value":{"entity-type":"item","numeric-id":4362931,"id":"Q4362931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31137e99420edd2da7a0c7f9e3b17e0b477daaab","datavalue":{"value":{"amount":"+0.7688064575195312","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":"Q2467219$A6379F83-D054-45C1-8DC0-A7EC1B1728F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712576e596f6617f303ee8b32bb91d309c5147b3","datavalue":{"value":{"entity-type":"item","numeric-id":3527292,"id":"Q3527292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebb2c849eed2a01bb6028a26966af4e299dfda6","datavalue":{"value":{"amount":"+0.7682389616966248","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":"Q2467219$BEB7B313-8349-4A0E-95F5-1B234B85324D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2467219","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2467219"}}}}}