{"entities":{"Q4405695":{"pageid":6435294,"ns":120,"title":"Item:Q4405695","lastrevid":97243610,"modified":"2026-06-05T13:41:30Z","type":"item","id":"Q4405695","labels":{"en":{"language":"en","value":"Encoding left reduction in the \u03bb-calculus with interaction nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1933114"}},"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":"Q4405695$A9303A2D-3440-4F75-A761-0774F2FA52CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"072ab645e6bfd264dd82fba09e4c21812b08c6dd","datavalue":{"value":{"text":"Encoding left reduction in the \u03bb-calculus with interaction nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4405695$BB3DFC4E-DDFB-43FF-B681-C0A890C803E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83b98bfac0e2803f7cc4807de90557e9d442e5a4","datavalue":{"value":"1022.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405695$49735AD9-559F-4640-8551-7FAF8FB3BB28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45b5d71af9ba44ad8a724af2ce61e1a3823bf3a8","datavalue":{"value":"10.1017/S0960129502003754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405695$2304CA8D-11AB-4CA7-BE5B-24B7D249C9F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d179dc0de105a3ac9cecbbadfc3827fd27e29c","datavalue":{"value":{"entity-type":"item","numeric-id":2464712,"id":"Q2464712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405695$2E21EE9B-C14F-4B3F-B53D-454723198DAE","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":"Q4405695$8C2ACCC8-3268-42D6-BD2D-A3031C48B6B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8479a2f47f981ef0e0f4ad28679adf61eafb595","datavalue":{"value":{"time":"+2003-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4405695$CAB489FD-DF42-403F-8E0E-CEB7078CEA39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405695$0F23B866-BFF0-4F91-9E7C-ABC9C9569B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405695$CB1ED61D-A145-49AE-9FCC-BBEADE226072","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f214cc3486aaa2577e7d80c0e7cf2cda2cde92ee","datavalue":{"value":"1933114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405695$C094399A-D075-4953-9D7E-330B2D26D346","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405695$774CBA8A-94D8-4AF6-A02C-91FE17F04C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6218c9d0ca3f3b990a828bc3481a200f47070161","datavalue":{"value":"interaction net","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405695$420AC1BA-C477-42FD-8BF9-B6BA7FC37E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c823d5520cbae0851ffaa49a92d96a2f0e260e8","datavalue":{"value":"decoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405695$0185ECAD-E6BD-4B98-884C-6A86AB1C8547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86858b19e06e7f53cefb9a2372bf5b13d0adff66","datavalue":{"value":"encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405695$8DAEB848-21C9-4686-8D8F-8CC449DBDDFC","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":"Q4405695$6BC27F70-EAF0-4FAB-9DE4-44D6F7A05CDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"916b0b41c16725ff190e6f5b6e1bed31f9781a4c","datavalue":{"value":"https://doi.org/10.1017/s0960129502003754","type":"string"},"datatype":"url"},"type":"statement","id":"Q4405695$4E6B05E2-0DC5-4EBF-B49B-2670B4D6A2E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b12dc5be7e78d5886cd4568cd894cbbf308dfc2d","datavalue":{"value":"W2035291585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405695$EFB813F4-6B42-4960-BBE1-F71C8E7AE6DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4716c7d694d14ceed61ee2ae21107019aaaaabd7","datavalue":{"value":{"entity-type":"item","numeric-id":3623947,"id":"Q3623947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29440d8a7fe1904ffd7cf6633d5e0f9cf414568","datavalue":{"value":{"amount":"+0.8880302309989929","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":"Q4405695$79327622-39B4-40C8-9058-7D767A2544F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9123a6382e52431fd39f62f73b065e2ba71307c9","datavalue":{"value":{"entity-type":"item","numeric-id":4870805,"id":"Q4870805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73033c0dddb4130f42e313ea069e0814a0617a2","datavalue":{"value":{"amount":"+0.8443067669868469","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":"Q4405695$ECC65B87-9748-4ED7-81BF-B22766EAF93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8736d7d95dc1e00facdbb133799eead2a1ebe7c","datavalue":{"value":{"entity-type":"item","numeric-id":5348892,"id":"Q5348892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9cb3e11a2041cd585382db33c7818ee8a2839d","datavalue":{"value":{"amount":"+0.8438210487365723","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":"Q4405695$D09ADF91-AE84-4769-83FB-7685F16D7403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc657fcf4037938594c230bcce0baf9f85dc9cd","datavalue":{"value":{"entity-type":"item","numeric-id":5234262,"id":"Q5234262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028fb9d845c74d63d515dc031c2c7b1fa0ac194a","datavalue":{"value":{"amount":"+0.8424582481384277","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":"Q4405695$16FA8183-47A3-43E4-9910-10984D2F5135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e31deb5b2e34b107c81d4ae3b02a5d4c133472e","datavalue":{"value":{"entity-type":"item","numeric-id":5901567,"id":"Q5901567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa3bde7b6a08f78bf1d29ac6b88e83333247091","datavalue":{"value":{"amount":"+0.8245409727096558","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":"Q4405695$5BC1520A-7204-4831-A392-6D33E47DF2C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding left reduction in the \u03bb-calculus with interaction nets","badges":[]}}}}}