{"entities":{"Q2851698":{"pageid":2862418,"ns":120,"title":"Item:Q2851698","lastrevid":58026210,"modified":"2026-04-03T12:23:12Z","type":"item","id":"Q2851698","labels":{"en":{"language":"en","value":"Why the usual candidates of reducibility do not work for the symmetric \\(\\lambda\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213341"}},"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":"Q2851698$98A31211-D104-4634-A26C-29B33D1AA5F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f1ac00adde44f49e6c3fe05e2f19cae42365c39","datavalue":{"value":"1272.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851698$B27C3434-910A-4766-82F5-10E9AFDEC4EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8a2b41fc82fc820470803336cf6817ae0318cec","datavalue":{"value":{"entity-type":"item","numeric-id":172779,"id":"Q172779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851698$EA016DA3-57A3-4C25-88B1-DEAB7F334CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851698$FFE80BF6-4F55-4110-BC9A-A56352B25809","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851698$F6ED154C-FDA2-4D7F-B9E9-2389DCFA1EEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d554a184717c5d4fd7910e0aeb89132213abadaa","datavalue":{"value":"https://arxiv.org/abs/0905.1554","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851698$151610D9-A394-4F97-80A0-5E2602F8D794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e0d160e705c94f76fcb77beb039e7a7322fb117","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105051303","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851698$9F0CD7F4-A77F-42F8-B384-52A6BA310528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851698$87E12B29-7BD8-48DC-BE23-6C8717315897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851698$64A7130D-4E21-47B1-8590-96AA13ABD1CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbdabeb52c0ac27e8a8d5407ef703e55ed6ab7c0","datavalue":{"value":"6213341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851698$6C3114C4-8678-4E49-8845-60FF4115A8AD","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":"Q2851698$675408D7-092D-469F-94F7-A0F874CCEAF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70ff738af996a7c75ca3447f131cdd4421b0edcf","datavalue":{"value":{"text":"Why the usual candidates of reducibility do not work for the symmetric \\(\\lambda\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851698$638B7283-79B2-4513-9395-A454A2CAFC1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41218928b8e812851ddfaaa5e2bdc5d7db555a0","datavalue":{"value":{"entity-type":"item","numeric-id":5704007,"id":"Q5704007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6207d4fd6fe89bc6e7137fff6e006dc8e4c256fa","datavalue":{"value":{"amount":"+0.8470072150230408","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":"Q2851698$0539D2F2-EE18-4526-A75F-A802579C0F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e62011c702ac3a7d2d164da01b062eb3f729fa8","datavalue":{"value":{"entity-type":"item","numeric-id":1881230,"id":"Q1881230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6ba3e3723ecc6272831b7244b6ceb01b6bf603","datavalue":{"value":{"amount":"+0.7999333739280701","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":"Q2851698$F15B58A4-5E61-4DCA-A607-AC120809C3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcf8d9f38390e860597c391b0a34415c705810d","datavalue":{"value":{"entity-type":"item","numeric-id":5714454,"id":"Q5714454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d3563e45054875501d4e901d59b52afab56126a","datavalue":{"value":{"amount":"+0.7944074273109436","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":"Q2851698$13C7BC39-B323-4273-ABEF-1518266A2424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a59cc9f998e01330f563136f238af0aa7062f","datavalue":{"value":{"entity-type":"item","numeric-id":5308466,"id":"Q5308466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9a9443ca671f0b0f23b5e03431a93a0dfee668","datavalue":{"value":{"amount":"+0.7926505208015442","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":"Q2851698$EA4F1191-AD84-4946-AA95-BD61B3AC2966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4470dbea6a40b40b3daed6ea4692ae8fc057fd","datavalue":{"value":{"entity-type":"item","numeric-id":3540177,"id":"Q3540177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecd875265f36b7ff1871176c892f2918ff8adbb","datavalue":{"value":{"amount":"+0.7792296409606934","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":"Q2851698$2CFD0062-4B9C-45FB-98B2-4BD792FAF754","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851698"}}}}}