{"entities":{"Q2982003":{"pageid":2992728,"ns":120,"title":"Item:Q2982003","lastrevid":85293266,"modified":"2026-06-03T06:47:04Z","type":"item","id":"Q2982003","labels":{"en":{"language":"en","value":"Sequent calculus as a compiler intermediate language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713895"}},"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":"Q2982003$84E584DD-5D23-4535-9323-6B4B85643859","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a69d5cef1a85e8f0e59196e7a52753c16f394c54","datavalue":{"value":{"text":"Sequent calculus as a compiler intermediate language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2982003$61D476E3-EF80-48CF-8063-E8A13D5F0F6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40d076811b17e7d36fb6b7b89ed85b52a467aee8","datavalue":{"value":"1360.68326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982003$BBCADA08-2F0E-41D1-ADE8-984A045EF788","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b72080bd4574b841df1ddfe3eb6073efadeeffb9","datavalue":{"value":"10.1145/2951913.2951931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982003$6241DFD4-3A5A-4ECB-B435-17ED5EE08D20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"397b909de6be11d2502cc1d0ac55755d5d9ac3f8","datavalue":{"value":{"entity-type":"item","numeric-id":2291826,"id":"Q2291826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982003$31386981-9EEB-41C8-B413-2A2CC9544155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8bdda8fa1fcad9a0dd0a986eb2ace5231a82f5a","datavalue":{"value":{"entity-type":"item","numeric-id":2982002,"id":"Q2982002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982003$22E333C5-B7A8-4BE6-BC65-102B8AE2A42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982003$577EBDCE-B136-4CAB-B293-486527C6606D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1049de561e4e0575c7855d0da60607e65f900396","datavalue":{"value":{"entity-type":"item","numeric-id":1818317,"id":"Q1818317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982003$E9467335-824D-4E1E-B7F0-EADD67301A1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982003$BA461D4E-2117-46D3-844A-1F4EA418EF65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-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":"Q2982003$9A48D171-26BD-4682-BB85-93404D544EFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982003$D98F3D7B-8C8C-46C4-8470-7327115F06A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982003$5EA5C138-6991-44A6-B464-D25E5978B0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982003$929A9030-3F10-480C-97C3-BFA7EB664D3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e364a7658370d056bcada6f742c219bf30ef7439","datavalue":{"value":"6713895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982003$699AF04B-279C-42DA-AC17-5324A342F4E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07211cbeccf923f58b5c1e5c57fec32b5bad94e9","datavalue":{"value":"compiler optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982003$201D0467-4F1D-4D42-9477-D0846ED95FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24821d94cc8c80abb5ca9331a432b22abfec884","datavalue":{"value":"continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982003$D94A1FE7-E133-491E-809A-D013D1C3F649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982003$1618EC14-0735-4B63-B1D0-A6F39DE28424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"648a41a9df52e7eea9cff5e4cc62a6535b323f6c","datavalue":{"value":"intermediate representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982003$65B08BAB-21E7-45AE-9FF1-93B8492FAC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982003$8899A054-D55E-43F8-B992-DB033540E0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982003$3930900E-01D4-47D8-89E5-F6E06B644434","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982003$25095465-949D-4B88-ACB2-584E8B33A5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982003$E2B84C7A-C277-4AD2-B414-E7F517C8916A","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":"Q2982003$051DA54A-CD0F-4C30-9BCA-262F1DFDC03A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15dcd13a16c477e6e517fa1144fe34631f1987e7","datavalue":{"value":"https://doi.org/10.1145/2951913.2951931","type":"string"},"datatype":"url"},"type":"statement","id":"Q2982003$AA86489C-13AD-4582-9DD8-6DEDFC998BE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2961f66c29aec505a820a7319c167c0ec390099c","datavalue":{"value":"W2509085585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982003$9E0EF315-C814-4093-9481-6BE47306CD0A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"27e104e84dc6aacedd5175e052e90690c98adecd","datavalue":{"value":"Q130840885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982003$A50C2734-5532-44C0-9BDA-71FBFA9E4FB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f19e19a4a72c2189645907ab007786a8647c8c4","datavalue":{"value":{"entity-type":"item","numeric-id":4236754,"id":"Q4236754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b895b0503f234f872ec394f99c6d44e65572bb","datavalue":{"value":{"amount":"+0.7208715081214905","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":"Q2982003$5DD61837-11EA-48D1-9C81-7DAAF3F766A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9dcc6ecbbcb1b6c503b1ff4e2ede75be7f09c1","datavalue":{"value":{"entity-type":"item","numeric-id":2817681,"id":"Q2817681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad958794ffb1fa7cd160b00fce26ba635c117df1","datavalue":{"value":{"amount":"+0.7180017232894897","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":"Q2982003$E28934EF-FE0E-4F4B-A2DF-F6E53183EEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3747d077ad43df9b1df8bd5855b4df3a6cb3d4","datavalue":{"value":{"entity-type":"item","numeric-id":1989344,"id":"Q1989344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"405a654079200142635afbc37d2afaecd16c771d","datavalue":{"value":{"amount":"+0.7111443281173706","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":"Q2982003$757289FF-AAA0-489D-9290-FED0AC1E4D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94adda7d56c31cdd14ed132f15b6580606e443f0","datavalue":{"value":{"entity-type":"item","numeric-id":3520146,"id":"Q3520146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0597d150fc8d06d94723bbdfd95d34dc576cab5","datavalue":{"value":{"amount":"+0.7090956568717957","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":"Q2982003$8D3E7042-F88E-46AA-8049-1D640F4F457A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3561d0e518fe5c2fcbcc2fe231a74e267f2f8a46","datavalue":{"value":{"entity-type":"item","numeric-id":4982627,"id":"Q4982627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4e36c0e28125fa9905540a44ab9e9f0fb9a62e","datavalue":{"value":{"amount":"+0.7055425047874451","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":"Q2982003$CF2AEC13-5399-4C6A-A7C8-0E9B4FBB037F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent calculus as a compiler intermediate language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequent_calculus_as_a_compiler_intermediate_language"}}}}}