{"entities":{"Q5901474":{"pageid":8009178,"ns":120,"title":"Item:Q5901474","lastrevid":58612989,"modified":"2026-04-06T00:23:20Z","type":"item","id":"Q5901474","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 5527376"}},"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":"Q5901474$4C1CB9BA-5AE5-49D4-98DA-1444B42C60B7","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":"Q5901474$851C2E90-258A-4629-8F98-DCD48C3EDE16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e905ce450a9f10a8892241117261c693c11f7cd2","datavalue":{"value":"1167.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901474$1FD1BFC3-5199-434C-B8D2-5BC2D97CA16E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f6207ec65aebbe359e6c7dad97f2fd553633884","datavalue":{"value":"10.1007/978-3-540-73228-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901474$03213D34-E815-4DE1-9F05-4BCB86C3D7D1","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":"Q5901474$9726E0E8-CACC-4280-9A50-25FB981F7218","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":"Q5901474$C1A10144-E941-4C69-8121-5AEAE072EFC5","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":"Q5901474$3418B13A-7922-4E59-93E5-A17A427FD182","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901474$AC222165-47C3-4A65-904F-B436E152E4A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5901474$6E5E8554-66A3-4B1A-9176-B6B53DBE5873","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56a6e11c91bc6ee75dd964f49fef6c697f2f01a9","datavalue":{"value":"https://arxiv.org/abs/0903.1822","type":"string"},"datatype":"url"},"type":"statement","id":"Q5901474$F0458DA3-0388-41F2-8213-3A56FBBC2C2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901474$8564D112-37E5-4552-8E32-6F7F606644C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901474$A2EB201A-8C6C-4BCD-9A1D-2CDAED345401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901474$139012AF-E6AD-434F-BB51-24046FAE7C54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"095617c3f2560757ac4a5672507de85e594a3f8c","datavalue":{"value":"5527376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901474$1AB47816-E6B1-4438-86DE-8270B4B5A26A","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":"Q5901474$9E4681F7-6151-42A8-B9B0-27959CAAE87B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c60c05c064807fc4f99ade1de24439aefae49bce","datavalue":{"value":"W1563963610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901474$CAAC8CCF-4193-4448-B045-65FB47601165","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e1b45d9663ce929ccaeb672fa61edae6815da0","datavalue":{"value":{"entity-type":"item","numeric-id":5902124,"id":"Q5902124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca8218c837d64ba9ddec5a8925ae5ec5a154ee9","datavalue":{"value":{"amount":"+0.9973015785217284","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":"Q5901474$5F0E6E03-80F8-4C0C-AFD6-5C9C7DF5CD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cf884216827827d76dc386643225100b15468d","datavalue":{"value":{"entity-type":"item","numeric-id":2844073,"id":"Q2844073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28fd0104b490423da877f84d039e1292bee99b5d","datavalue":{"value":{"amount":"+0.8191553950309753","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":"Q5901474$9A4FB0E4-579B-47D0-BEC4-18C0BC1E5C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c3b3e41ea221ab6cf782447f57ac8882402dad","datavalue":{"value":{"entity-type":"item","numeric-id":2778830,"id":"Q2778830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c3167fcfc14d11f62a8f446cfa0026c6eaf149","datavalue":{"value":{"amount":"+0.8058176040649414","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":"Q5901474$C9B832F0-F78B-4ADB-9024-087C815C930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b366c6b332c393ba63cc53f80458cfffbf4b8e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1853595,"id":"Q1853595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c3167fcfc14d11f62a8f446cfa0026c6eaf149","datavalue":{"value":{"amount":"+0.8058176040649414","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":"Q5901474$B7C9045F-F50B-4577-B8B1-F1F5D8CDE43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7da42f86e4eeb2e6dfcd27559f6d7441a7c6c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5410235,"id":"Q5410235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b713d4c4521e2dd53b55fa8bcc031ec8eb5ebc","datavalue":{"value":{"amount":"+0.7977262139320374","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":"Q5901474$3125E00E-03F3-4FB3-8A3C-81AD4767877C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901474"}}}}}