{"entities":{"Q5902124":{"pageid":8010915,"ns":120,"title":"Item:Q5902124","lastrevid":41628679,"modified":"2025-05-06T13:39:43Z","type":"item","id":"Q5902124","labels":{"en":{"language":"en","value":"Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571824"}},"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":"Q5902124$FCCB90BC-6226-49F9-AD8B-4A4EDDA44C7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55d091df90dfa6add3230ec6cd8e04c5139adb44","datavalue":{"value":{"text":"Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902124$0CFCCF3D-F46B-4F01-B713-FDFD5AB289CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f6378b4dc752e0f23e197235dd6bceba3e221d3","datavalue":{"value":"1168.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902124$04B5009E-2A45-4D61-8870-054091268A4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0905961cea78b9dcc909e360467a6751e162ac74","datavalue":{"value":"10.2168/LMCS-5(2:11)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902124$B951C2ED-817A-4BBB-BD97-AB29D3E455C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902124$C9CB2EA4-2F06-45CB-A81A-74C838E42982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902124$3445D0A8-17AF-48C2-B14B-BB8FB76899C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902124$6A4096B2-F24D-4B31-9A5C-E741762DD644","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902124$D8591F8F-B182-4695-95B6-C04453CD0918","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902124$F5CA9FB2-87EE-4835-8BAA-2A9EAE1C00EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902124$CD2CA0D2-8A66-4D76-B207-6283BDE177CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902124$1440A757-DF1F-455B-ABFE-76F6E522852C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902124$28F532FB-6F4F-49C2-907E-E1E7C7BE2FAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da126d2815a723cd0f689ffdda0f2f466dfb37f2","datavalue":{"value":"5571824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902124$94220FF6-A50B-45A7-9B36-7D424C6AF28E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5449286be9f1a133f2f29d1fa390a5e3e7749238","datavalue":{"value":"call-by-name","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902124$CD0D3AE6-0F46-4E6C-BFE0-AE4B4282CF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d16a741da1e08903c84a973e87820e0425d498","datavalue":{"value":"simply-typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902124$00D201F9-9612-48AC-870B-D68D42674128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49719df10d997431ecdb26e45c408bc6d0751c81","datavalue":{"value":"continuation-and-garbage-passing-style translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902124$0D9E942F-4EE6-42BB-AB39-8BDA2656B058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd5a0fc8524d164d5f2bf08c2ab6fbd4c6ec28e","datavalue":{"value":"intuitionistic sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902124$F4AC4636-F826-4C1D-9DE2-690F7314F0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902124$AD0786E3-8DC0-450C-BF70-DE7129415B59","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":"Q5902124$DE862A39-5B7E-4BDF-9B0C-57D89C2B8F89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50bf77012d57da28cfaed8fc93134867507b7704","datavalue":{"value":{"entity-type":"item","numeric-id":5901474,"id":"Q5901474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902124$9DB2D7A4-3309-4B19-B0DA-D29B45D2BBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db012f8738b23c4c3ab59ea47a38d30150d1a7b6","datavalue":{"value":{"entity-type":"item","numeric-id":3499751,"id":"Q3499751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a17607b79a7cceca6675e9284be86e3bb5fee7f","datavalue":{"value":{"amount":"+0.9139129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902124$D647C99F-407F-4A26-8041-7D7DF1727330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d589f0b3ae0a93300846fd5da03f744cdb2c6c8","datavalue":{"value":{"entity-type":"item","numeric-id":1946671,"id":"Q1946671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff7ae801efaff4f9d6dc1b3298cdf155bc14890","datavalue":{"value":{"amount":"+0.90113735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902124$9BC75131-59AE-4891-9E93-752308E866C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51bb6c0a493875b35b3625aaa97838d37e568702","datavalue":{"value":{"entity-type":"item","numeric-id":5387838,"id":"Q5387838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487174d739e23cccda4317e57042f65da4e52ffe","datavalue":{"value":{"amount":"+0.89666426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902124$03690F80-340B-492F-A9AA-8F3AA604AF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f16449b0dc5be21fb7eae3e0bd40e56c9184635","datavalue":{"value":{"entity-type":"item","numeric-id":3019972,"id":"Q3019972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5be0e8c003d20e884a6771e37fdf533244c070","datavalue":{"value":{"amount":"+0.8962299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902124$3AABD59B-C2A3-432D-BC1B-29CBF0568A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc025492c3f688012f1576558ed7c64211309902","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53becad792f15bb767fdb5ac4de767b71c698a31","datavalue":{"value":{"amount":"+0.8923371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902124$1B903810-729B-4121-A21D-6A9F4992DB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed2a7e5bc5fb1722e7010cffa93b58804e39960","datavalue":{"value":{"entity-type":"item","numeric-id":514513,"id":"Q514513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c769f9dc2c4d6d4911df2aba9cb7bf72cefbdb4","datavalue":{"value":{"amount":"+0.8894198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902124$1C06F7F4-9891-4B9B-B6CC-14B1CB8D591F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8e73130c3caf1b700389e1f186a8856cfb2402","datavalue":{"value":{"entity-type":"item","numeric-id":4796512,"id":"Q4796512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d4a1ed2bf3003898da0a8fb15bb550e73eff72","datavalue":{"value":{"amount":"+0.8826691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902124$E99FF70F-5706-41FF-9143-14127D0C6051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7935a24e3d9a93d1050bb59495eea46421edb2","datavalue":{"value":{"entity-type":"item","numeric-id":1400711,"id":"Q1400711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1b7bdbb316c7e5b586cd630d96a80b39dedb35","datavalue":{"value":{"amount":"+0.88116246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902124$FFF247F5-E1B6-4EA5-8651-DD0FF354DC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541e68a6f314c069be7c658f925b039484ec628d","datavalue":{"value":{"entity-type":"item","numeric-id":4933315,"id":"Q4933315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83f45e0342f790a4a8679885256cee6cf99a672","datavalue":{"value":{"amount":"+0.8787559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5902124$6DF533B3-8B53-4ACC-AAD9-45AD41737F1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902124"}}}}}