{"entities":{"Q2841236":{"pageid":2851956,"ns":120,"title":"Item:Q2841236","lastrevid":83724716,"modified":"2026-05-07T10:14:52Z","type":"item","id":"Q2841236","labels":{"en":{"language":"en","value":"A third-order representation of the \\(\\lambda\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190930"}},"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":"Q2841236$4C6303AE-5653-4259-B605-A948CFCDB5E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97f134b72d10daec931c63b01f3c4b8cd124f602","datavalue":{"value":"1268.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841236$3A742693-B222-4BFB-A1EF-1EAFCE81EC9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c2f53ef9a84146ec4fa0a114527baf75e39bc68","datavalue":{"value":"10.1016/S1571-0661(04)00281-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841236$26A619FA-83AE-4093-AECE-49F18C5F0260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$09F83278-DB68-429D-BD70-A35FB1F18688","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":"Q2841236$FDC2534C-ADFC-472F-9D37-A69B6BF70F28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841236$707C31BA-A7EC-45CF-B68B-0F8D590DBCBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841236$0A3A3DFA-C804-4778-BE7C-A96901154EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841236$A156BA38-952F-44D7-9E90-3E3FDFA59376","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbbc232146e70059d785c8784b783a24068bdb8f","datavalue":{"value":"6190930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841236$FE04CD92-C42E-4BC8-876E-FC78CC4EFCD2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$451DEEEE-5605-4BDB-BEE2-4B44E08D8A29","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":"Q2841236$86696D69-70C5-4B18-8997-5FEC60301B08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2248baad94d49deb8d6e5be7cb1220558fdc2015","datavalue":{"value":{"entity-type":"item","numeric-id":2841236,"id":"Q2841236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$BCFF304F-B877-4CC9-9F5A-85F168AF7323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8bfe191ca90d3395347096033dd0a0643030e0","datavalue":{"value":{"entity-type":"item","numeric-id":4281462,"id":"Q4281462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$F57B0661-D51B-486F-A588-9D5FB4C17A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792eb82a1128e3c271566834fa0a60a0234aaaf5","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$16013E55-CAEF-435D-8A36-753134038FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7dc71408bfc822fcfb26590a9ac4a240325ab9b","datavalue":{"value":{"entity-type":"item","numeric-id":3024836,"id":"Q3024836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$91417173-2039-40D0-A155-9652B0EA7A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164e164be4d75ec979fdc954e7e437e9cf684e41","datavalue":{"value":{"entity-type":"item","numeric-id":4236202,"id":"Q4236202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$E7FCEA70-1DDA-42E6-BC32-8AA070426CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$A99F4CD1-CD3B-4609-BB3E-837A67AB1BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$EC955036-50D3-4889-AEBC-6E34C222E0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$F067555F-7D18-4ADB-B2B4-90A58F0D00D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d4048d68302ad95851d7b1bf999b446bba869","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$F0ADBDC4-29FB-4669-80E3-B2190BC8599D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93870916f985296994d3e934a3bbc33cc4056cee","datavalue":{"value":{"entity-type":"item","numeric-id":3801105,"id":"Q3801105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$85A08A47-E61B-4222-A8DA-C991B4ECAAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841236$882032A9-7B67-452E-A802-355A596A28AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72614c2af85b24f2bdf08b1edbba0470e399dd2e","datavalue":{"value":{"text":"A third-order representation of the \\(\\lambda\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841236$55D7F9B5-38AB-43D2-87B3-FC3240B15D5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7b6e5bdd0ee2463bb86185d60ece2fdb609d8e","datavalue":{"value":{"entity-type":"item","numeric-id":5704020,"id":"Q5704020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95973a3fea1a1792f6dcfd0a6f731cfdcbc835d2","datavalue":{"value":{"amount":"+0.7388465404510498","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":"Q2841236$7C199853-5CF9-400E-B1ED-93A26ED6BBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831a3fb0fa0656fc8cfc2ee914d1fa622eb33da1","datavalue":{"value":{"entity-type":"item","numeric-id":5176934,"id":"Q5176934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4714df43f5fd9040126d03bfd3a8f51092e32c96","datavalue":{"value":{"amount":"+0.7269452214241028","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":"Q2841236$6A963ADC-BAFA-4E35-8415-6006FAEDD744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cba2f7ff378d313a9a94ad6d6c129f25bdbb4f","datavalue":{"value":{"entity-type":"item","numeric-id":3024905,"id":"Q3024905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2322bfa72191ccd6158179b4ff599ece225f4d4d","datavalue":{"value":{"amount":"+0.7073383927345276","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":"Q2841236$9D679332-DBA0-4EA6-9505-2929246D1C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2abb394675a0b074dfe7372120f9c17eb470562","datavalue":{"value":{"entity-type":"item","numeric-id":5958752,"id":"Q5958752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44d757050fefff18eeec52e2ca649091c41909a","datavalue":{"value":{"amount":"+0.7009223103523254","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":"Q2841236$7D91983D-99D1-45B6-BB63-CF2BDBC01037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78445fd150f18c284ab76803c84b03d06f5a8598","datavalue":{"value":{"entity-type":"item","numeric-id":2841275,"id":"Q2841275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cd927e3355c4263d56e5c5821d521ec0f9c8db","datavalue":{"value":{"amount":"+0.7006168961524963","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":"Q2841236$1B1E2D6F-3BB2-44D0-8887-863F3DE7A6EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A third-order representation of the \\(\\lambda\\mu\\)-calculus","badges":[]}}}}}