{"entities":{"Q2864217":{"pageid":2874937,"ns":120,"title":"Item:Q2864217","lastrevid":79501280,"modified":"2026-05-06T14:03:31Z","type":"item","id":"Q2864217","labels":{"en":{"language":"en","value":"A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236167"}},"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":"Q2864217$DFC28645-35C6-464E-AC85-C9A3D5A1A02A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d864930b4f58942af2ea81a46398d5a11874d1c","datavalue":{"value":"1277.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864217$9AE580BB-E1E5-406F-8788-2C0A18D909E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb428d5aa7042646d8ac24ba2d06e734204da0aa","datavalue":{"value":{"entity-type":"item","numeric-id":2864216,"id":"Q2864216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864217$CD0656BC-517B-41D9-A4F6-B0BFCCA116CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864217$AAAFD859-E395-47C2-AE9F-52CE9E6B6B7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864217$B73D0108-3108-4A80-AB96-907E50986869","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864217$6067A050-CF9B-4282-83D3-36EC384FBFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864217$3B77EEDE-CAC3-4EF2-AA00-D8356D077C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864217$9A98A84C-399C-48C5-9D14-5CEF4876770B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864217$4561472E-D992-4A39-AEE1-56D9E604779F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d31804085570fbbc2f821fe74ca3145821f464b6","datavalue":{"value":"6236167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864217$C641EB48-475E-4CAC-A868-71E15A82657D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864217$CF96EC9C-2ACA-4AF3-91D8-F18358F71621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7680ae9346bf7be9bf2087d0fbd5cbb5596fde","datavalue":{"value":"labels","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864217$F70E4118-FE5D-4D1B-9F9E-01FD307F03AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e865dcf04feef79efcf163ac054d2ac37b7305b","datavalue":{"value":"paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864217$9C77550B-B2E4-424D-9289-C1D505644E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a82277bbe473528241978984f20c76f7f8f712","datavalue":{"value":"geometry of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864217$C9ABE982-01B8-43D9-8777-DCB3A50AF7E1","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":"Q2864217$48A15BCE-FEB9-426F-B7C8-725E5FB59E2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8e3cd0f94ee6e77e7c467ef7f1d2f2b88a390f1","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.12.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864217$06F3E4C4-6009-470B-AD47-D1CBADB10BBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ada5142251b50bcad711922de37dd5d4c17e202","datavalue":{"value":"W1975604664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864217$9331FD75-A1E9-4B5D-886A-9A3361AFF441","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864217$CEE55B09-5E3A-43BC-A481-DF47774EF42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ec3cfc46976e38fcb4d04fa4c6ffa0627484c4","datavalue":{"value":{"entity-type":"item","numeric-id":4327409,"id":"Q4327409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864217$B1088764-CFD4-4C7E-B3AD-60924988ED54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68afa5639a324128bcfccbec0a324c3bc880bbc7","datavalue":{"value":{"entity-type":"item","numeric-id":673626,"id":"Q673626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864217$7B5C1981-17DC-4698-86E7-820E6199615B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01aa2ed5e9d627304a8ca991a6b97789bc5d411f","datavalue":{"value":{"entity-type":"item","numeric-id":5898152,"id":"Q5898152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864217$A691A88B-DFE5-4E36-BDAE-578389B75F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6153e1c3fffb715aeb3bf1cf0bd6d05da7b7efe6","datavalue":{"value":{"entity-type":"item","numeric-id":1575873,"id":"Q1575873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864217$F8D7F670-DD2E-469B-ABC4-F8DB5142E64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64612808e96dd711eedd029a351c4e6627d56ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4438766,"id":"Q4438766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864217$D255C950-621B-4D85-AFA3-26BED04BC640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da88094cd0f8f7b2372d67f2718a6f39c385893c","datavalue":{"value":{"entity-type":"item","numeric-id":4675772,"id":"Q4675772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864217$DEC744D2-264D-49A6-B810-11575F762095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864217$DB687132-A4C3-4ECF-B5E9-B9E0B6B5DA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84645920564bdd5531c4e5a01b23e4a3e514114b","datavalue":{"value":{"entity-type":"item","numeric-id":1583245,"id":"Q1583245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864217$06A940B0-0A49-4FD5-8A64-60ABE25E2DEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3f0dcfbbec17c60a2be9578d8a3debd45bad7ea","datavalue":{"value":"10.1016/J.ENTCS.2006.12.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864217$0BD4F3E8-9E2E-4AF1-A0C3-9CEC37393856","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50773326dd9e508ff3a39532d0578c8e7783b202","datavalue":{"value":{"text":"A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864217$A4DD2A92-D7B5-4254-867A-FA1567178A64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b6ecaa36f1609889ff1e62f4978e12bc0369cb","datavalue":{"value":{"entity-type":"item","numeric-id":2937686,"id":"Q2937686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb125fa9d7569d9146e4c0942c105e4565a222a7","datavalue":{"value":{"amount":"+0.795198917388916","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":"Q2864217$5469DFA5-E8B7-4367-8D21-C1B1C65131F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a12ad9ace3e4ce779e93008d5a3f7984a0e0db69","datavalue":{"value":{"entity-type":"item","numeric-id":5150152,"id":"Q5150152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc1bb85e6cb1764fb4e0bcfce106e43ad2b5f20","datavalue":{"value":{"amount":"+0.770327091217041","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":"Q2864217$512463AB-E965-4E41-851A-E2AD6F328D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7bb52143392dbbf6fa57010e070dd77dc920b12","datavalue":{"value":{"entity-type":"item","numeric-id":5111200,"id":"Q5111200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e017ef7430e72676df9e142ee13011277f213b7","datavalue":{"value":{"amount":"+0.7669317722320557","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":"Q2864217$EBB22D3D-09AE-4F41-B73E-8A8BE10D1C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8f62f98faf026d644192a824909daa6e7331ea","datavalue":{"value":{"entity-type":"item","numeric-id":4972738,"id":"Q4972738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc17f599498c97980f051b2bfac7eeca0ed9a2b5","datavalue":{"value":{"amount":"+0.755996823310852","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":"Q2864217$567333A7-6633-4AFC-AC74-9553886C2848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294c4f62f1d789807e616cddc548eafd511dfc9d","datavalue":{"value":{"entity-type":"item","numeric-id":2778835,"id":"Q2778835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab87607b1470b9785143372fe3c30b1869c62485","datavalue":{"value":{"amount":"+0.7499632239341736","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":"Q2864217$4A00C9D2-67E9-43D1-A88D-5C1B32FD75B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fully_labelled_lambda_calculus:_towards_closed_reduction_in_the_geometry_of_interaction_machine"}}}}}