{"entities":{"Q2936239":{"pageid":2946959,"ns":120,"title":"Item:Q2936239","lastrevid":52166084,"modified":"2026-01-21T02:03:03Z","type":"item","id":"Q2936239","labels":{"en":{"language":"en","value":"Cut elimination for Gentzen's sequent calculus with equality and logic of partial terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383704"}},"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":"Q2936239$1193C762-FAA9-429A-9C2A-2AA0FE1B0D0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3672f03470f91112298dab4ff9181d03aa1f2eb","datavalue":{"value":{"text":"Cut Elimination for Gentzen\u2019s Sequent Calculus with Equality and Logic of Partial Terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936239$37E900CB-5EFC-4D49-BD22-E70BB2662D68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"318259cdbe80416b8b9891679a9db738ff5a78b6","datavalue":{"value":"1303.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936239$955EE5DA-7819-4894-A8EA-B47E0603C0B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98887aad149f2056c72080dd0e720643a78658b5","datavalue":{"value":"10.1007/978-3-642-36039-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936239$3A1DDD18-E37D-4B02-89D4-9A808353CEDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c52ba948b6c523b75b5273749caecb3712a44a6","datavalue":{"value":{"entity-type":"item","numeric-id":1237720,"id":"Q1237720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936239$E6B46BC6-F4A8-427B-92B1-2267539E1899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72965f6c67a117f5726e1f872e608077b885bec2","datavalue":{"value":{"entity-type":"item","numeric-id":810493,"id":"Q810493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936239$2A20298A-A64E-4350-AEF7-B7A7B70D8ED0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936239$2DB44EE8-9F7B-4044-8938-B204B5F31FC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936239$5D2E64BE-D075-433D-86D3-D05A362DEABF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936239$24E74C22-66B2-428F-9D6E-84907064F0C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1b6614a62faeb8bca83dda9da62feeec33bd14f","datavalue":{"value":"6383704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936239$86E3567D-D5A2-412C-ADD6-51885B2104E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936239$50BB96DA-0768-4DAE-891F-74B695381C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936239$9BB65A82-FC6A-4CCE-B3DA-9C90998BD8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936239$36892D54-9B37-4CAC-B7D3-8FCAD5E4437D","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":"Q2936239$49125584-3E1A-445A-9C22-F2383EFE8FDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"679717dc6ec558f68c310f4d66f6df46a0eb53af","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36039-8_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936239$59C51111-7054-4226-87C8-F37ACFAA592C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e1a10a774227378e82bb1373c86245723407bc5","datavalue":{"value":"W1819006997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936239$8B58DC9F-B1B8-42D6-A7AB-5B88D63031FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb18cac53b26dfe575f8a4f16186953196af02f9","datavalue":{"value":{"entity-type":"item","numeric-id":5027662,"id":"Q5027662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28093276c174d154e702508e486707f01cae5f51","datavalue":{"value":{"amount":"+0.8512451648712158","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":"Q2936239$CD466BCA-BFD6-4EDA-8DA0-9029859B597D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9fc6ab7c7ddfc112e975e3314d11db66351706","datavalue":{"value":{"entity-type":"item","numeric-id":5411466,"id":"Q5411466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2fdb9dcdbdeb79ec8ffdbeb842f2bc032b7b590","datavalue":{"value":{"amount":"+0.8351646065711975","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":"Q2936239$DD32FFC5-9E02-446D-B228-A621A5444721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6abc5c664f7e18c12c328d0e89cae7c5d0d0a48","datavalue":{"value":{"amount":"+0.8195999264717102","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":"Q2936239$0B063926-D321-457C-A544-7D86A79A9C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a9919ca83e32aa205ad3ad3e99632c342bca73","datavalue":{"value":{"amount":"+0.7864067554473877","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":"Q2936239$FDE2823D-8F62-4C15-84C3-81BB174B36BB","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":"7669763e66e6ccd2db574188c591e9933796a54d","datavalue":{"value":{"amount":"+0.7814919948577881","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":"Q2936239$CA28BCB2-1EF7-4E62-B778-7A1EF8F0CF94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2936239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2936239"}}}}}