{"entities":{"Q2870144":{"pageid":2880864,"ns":120,"title":"Item:Q2870144","lastrevid":83952572,"modified":"2026-05-07T14:52:00Z","type":"item","id":"Q2870144","labels":{"en":{"language":"en","value":"Semantic A-translations and super-consistency entail classical cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247450"}},"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":"Q2870144$58A76D30-FF83-4E76-B9FF-E0B8B2BC2E4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f85f419dec6d00b6f3e57c5f803f3fcc69b600c","datavalue":{"value":{"text":"Semantic A-translations and Super-Consistency Entail Classical Cut Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870144$3DEC2C62-4B94-4B5A-847B-09D6A32608C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ef5e7e6d65232abb90d49d272cd213c37553601","datavalue":{"value":"1433.03134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870144$5B91ECA8-D62B-4A94-8208-8B1AF26A5C8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44d69872e8c487da3e4343b854675673215466ec","datavalue":{"value":"10.1007/978-3-642-45221-5_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870144$A47957A5-ED62-43D8-929E-93BE0A85E13C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42f4887d7ce64b9aad82211cf343296164003b24","datavalue":{"value":{"entity-type":"item","numeric-id":2870143,"id":"Q2870143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870144$9F6859C5-60EB-4B20-A93C-02B56D416995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8810b28319eddf2176b081cd070119a2cf8c13","datavalue":{"value":{"entity-type":"item","numeric-id":281285,"id":"Q281285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870144$72F8B479-A69A-4016-8CA4-5084698B5A9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870144$4963755D-5994-4948-8CCE-C8E66A111E07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870144$27704D57-ED9E-4C0B-99FF-F6B57D679972","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dea0500052fb74ee6d7c9f2111b449232d728ac","datavalue":{"value":"https://arxiv.org/abs/1401.0998","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870144$EABFE80D-321B-4720-B36C-791E1358C755","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870144$A681F066-A54A-42AD-BE6B-C32D7A2844EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9555f3061e8540aceed829fee6364b95ef8f8d6e","datavalue":{"value":"6247450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870144$2711AC99-DEF3-497E-9D08-31AE3FFA7E58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908a412ea1d66c8c3e12f690543d47d72647ae57","datavalue":{"value":"deduction modulo","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870144$2228BD1D-31CB-4934-B65D-3BEB82BBBA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870144$09526D74-0BCE-4F48-8A73-843647F8808A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"607de0978137be1b2062e722141c7a46cc30143f","datavalue":{"value":"A-translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870144$9F5D773B-8686-43C8-BEF4-2FEFEF9F5C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb096c1c359bd5b781b329c4dfcea2e70a06163c","datavalue":{"value":"pseudo-Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870144$10D1B683-AFFD-4F1C-A430-6C8E70086D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94fe175cdf9cd60f2d45f3b2a38cb419c178c78f","datavalue":{"value":"super-consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870144$3A9C67E5-BB36-454E-A727-C27FBD9C6E09","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":"Q2870144$7B490A79-2F8B-43D1-BE5E-A1CF698B3C15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b11eb737337825bda866a62b9bc562f3b525d24","datavalue":{"value":"W2963304822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870144$8086A5A1-636C-410F-AE04-7DEAD3A7DC6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322f173fb3575a797ce385c52c033636a0af7c95","datavalue":{"value":{"entity-type":"item","numeric-id":5432335,"id":"Q5432335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a119a91f9f468b92e6ea23f7bec91b4d43c960","datavalue":{"value":{"amount":"+0.8364111185073853","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":"Q2870144$AC3BCC37-B146-467B-BA1E-310FF7F1C9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d801817ba38a5022c044acb2705af2a0ba08b3e","datavalue":{"value":{"entity-type":"item","numeric-id":691121,"id":"Q691121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39bf92cabdc3588479543224209bdca5c4bd7466","datavalue":{"value":{"amount":"+0.8291102051734924","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":"Q2870144$B118A7A5-D8D6-4A6D-8C95-C44533F53F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6124e2d99b5d5ba2b21158b5b5c6084b9524d3","datavalue":{"value":{"amount":"+0.7986677289009094","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":"Q2870144$D18912C5-FD26-4BFE-9AD1-D3A47AED25F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb85740cec58ec7a36ef91932ed08f036161c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3644841,"id":"Q3644841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d307158beb1e4f153d9f34303eb3c0adb97574","datavalue":{"value":{"amount":"+0.7715352773666382","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":"Q2870144$0EB54384-FE77-4445-BAE8-B8E579F36601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf860819a7d9e00e8ecfc66b9e54f67135b51fe0","datavalue":{"value":{"entity-type":"item","numeric-id":5111901,"id":"Q5111901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b73444e7cccd20691e85472838d6920ae34522","datavalue":{"value":{"amount":"+0.7594365477561951","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":"Q2870144$FEB1881B-F740-47CE-B2E3-B74913EA5A41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantic A-translations and super-consistency entail classical cut elimination","badges":[]}}}}}