{"entities":{"Q1577341":{"pageid":1588081,"ns":120,"title":"Item:Q1577341","lastrevid":70745697,"modified":"2026-04-13T16:28:22Z","type":"item","id":"Q1577341","labels":{"en":{"language":"en","value":"Cut-elimination and a permutation-free sequent calculus for intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501369"}},"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":"Q1577341$06CEB779-EB31-440B-93D2-B9C7BFA673AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cf8738032a0672a7ae535b0a8ce21f027a6dd1d","datavalue":{"value":{"text":"Cut-elimination and a permutation-free sequent calculus for intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577341$C8FE6C28-E9FF-4C25-B6A5-A1AE5A1CF587","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6dded16245745e15d4294d6e909107a37d96a07","datavalue":{"value":"0954.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577341$6367C4E3-DECD-4A2E-A9AF-9715C044E3C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c46a445285878917757d81271259722cc22c635b","datavalue":{"value":"10.1023/A:1005099619660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577341$BD11901B-C661-4209-8CDD-021E60849A92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577341$4F264FAE-5677-44AD-A8C3-5772A420927F","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":"Q1577341$18F996A8-89F2-42DE-8797-9EAEBCEF5ED7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577341$CAB59215-DBDB-41FE-8E63-E843A4A83DEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577341$BA6221FA-67C7-4248-9751-CB8256EDE561","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577341$333C7018-6D37-4633-912D-B4D6FA882228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577341$FCCDED95-D555-44DB-AAC6-8A5BFDF4EC3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"790e9e8c36d27ab8953a07a9a7ca779ba6466297","datavalue":{"value":"1501369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577341$173DB03E-4A49-4343-9EAC-EAACFD7BD9EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577341$EBBD9704-E673-4BB6-B599-CB03AC20AFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577341$C3AE8D81-1E33-4C7F-9423-3D38E447B0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577341$72CCF0E7-BF9F-4BCC-9174-17859E33AED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577341$02D1AA54-1C15-4F73-8D39-6A459E3975EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577341$F8F74CDA-F519-4C15-8899-E388B7EB4E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577341$96EFEA6D-92C9-48E4-BD39-DBA4A4E0DE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556d07078d8a489ce76b0137cf03ab1710ae0223","datavalue":{"value":"recursive path ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577341$36A7998F-C165-482D-83CA-9A23E6EA8977","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":"Q1577341$CC73407A-F62B-43D3-8930-C8AD10857916","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eabb5f59cf8ab0885fe4e602090564ddd674861b","datavalue":{"value":"https://doi.org/10.1023/a:1005099619660","type":"string"},"datatype":"url"},"type":"statement","id":"Q1577341$0FB0E0DB-B30B-4163-8FC6-041B92C280A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4a3f71aaef20190dc411a13f1fb6ff7e712d5dd","datavalue":{"value":"W1506616756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577341$78E2F6E2-FC35-47E8-A943-2B54865BCCA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14834824771135e9cf6a75527d080c77f143aad3","datavalue":{"value":{"entity-type":"item","numeric-id":1275625,"id":"Q1275625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ef5a8ad5a4de104a700887cbbe2f22c4107c0f","datavalue":{"value":{"amount":"+0.8769906163215637","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":"Q1577341$0E9A7418-C4F4-4AA1-8277-353D112961F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f7d70cf9d40342ff4a597df3c3d7b0a71c26a3","datavalue":{"value":{"entity-type":"item","numeric-id":5387888,"id":"Q5387888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6074b7e697210f80980c9f71f1a6ae40a5d0d6","datavalue":{"value":{"amount":"+0.8452696800231934","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":"Q1577341$28FCD9E5-0FC6-4952-B330-16AE84C53E22","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":"690b5a0e544ec645a47f9298d23d954eded87b3d","datavalue":{"value":{"amount":"+0.8393229842185974","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":"Q1577341$A3F45324-14EA-4C5C-B8EC-22D64F7C1991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c76f77ea149ac341d5cf455fcbd6b85ee4566ec","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eafd226fc64d8b53a1d70b8030217a84b5b6cc7","datavalue":{"value":{"amount":"+0.8375659584999084","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":"Q1577341$C84FF457-98DF-44D7-9136-22690D0C0460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8086fce4db2f660f1696abcf2a31ce4c9a872e62","datavalue":{"value":{"entity-type":"item","numeric-id":2754180,"id":"Q2754180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41c5a7864e2566835b0e50859f960eeb95679df","datavalue":{"value":{"amount":"+0.8321573734283447","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":"Q1577341$606494E3-5388-49CD-B0EF-58894945BBAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-elimination and a permutation-free sequent calculus for intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut-elimination_and_a_permutation-free_sequent_calculus_for_intuitionistic_logic"}}}}}