{"entities":{"Q4649546":{"pageid":6679127,"ns":120,"title":"Item:Q4649546","lastrevid":51601667,"modified":"2026-01-19T00:42:14Z","type":"item","id":"Q4649546","labels":{"en":{"language":"en","value":"A systematic approach to canonicity in the classical sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109833"}},"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":"Q4649546$E35FEAD2-B7D3-432B-BEF1-9F561D240110","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16155a1430322de78067332f1754b7bf6933357b","datavalue":{"value":"1252.03128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649546$A0EB235C-1132-476E-B9B5-7D6239E985D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c32845a86517c3925e9fa1724cfe5786b42b11","datavalue":{"value":{"entity-type":"item","numeric-id":928658,"id":"Q928658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649546$3668B54E-9FE4-4B6D-8CF7-4C2C8AFCF7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649546$1D339FE4-685A-45E9-BE3C-CB8C301BFBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649546$2C342C06-497F-4E8E-9539-E8E011D73DEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649546$5BC2EB61-7602-463F-8F8D-6BBF2729B21F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649546$6A93E05B-0047-4912-9BD0-FF665E9DBF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649546$F6D9946D-F2F6-4BA9-8E7D-521631DD5A2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d6751fc2f02a2c34d9d38fc60674968b9511a6a","datavalue":{"value":"6109833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649546$637B5E7E-BD05-4D17-AA6F-BC1EB6D3E64F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649546$A4002950-7999-4B2C-A131-233E5F8A4632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649546$C1FF18C2-082A-4AED-878A-8E7F8556B515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649546$828C1840-EE5F-405E-AFD6-1C6A88F7E218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"162c8c826152c47bc21e01bdd0a121076fde9007","datavalue":{"value":"expansion trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649546$CEFCD09B-6D14-41E9-91F9-855D07C32E7E","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":"Q4649546$962DDA49-A31F-4087-87B7-9D0A2735274F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7691c33b64e347ca3c8f959e66267a86c4fcc665","datavalue":{"value":"https://inria.hal.science/hal-00772396","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649546$939705F0-DA89-4CF6-B585-D0F5E4D1FE23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"603cca0b3d6bd8e49d3bfe3dab5097dc9ba21d9d","datavalue":{"value":"W1507611082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649546$73B3D02F-9EB7-4F40-86F1-BD8BCFAC5FB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de56d59d2f8e70b6ed0dbb5ed211fd30f4768865","datavalue":{"value":{"text":"A Systematic Approach to Canonicity in the Classical Sequent Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649546$1DBDACE7-E342-48AD-9872-709997E408DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9917500627d3c5271936438cd2ffab986fa8ddde","datavalue":{"value":"10.4230/LIPICS.CSL.2012.183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649546$B4E719D8-93AF-4517-BAE7-33BBA5524E6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8af6003ec8920b4b51fdf5f6445e2abe3e5394","datavalue":{"value":{"entity-type":"item","numeric-id":5739975,"id":"Q5739975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c38aaed64fa522c3eed839114212a12860029b6","datavalue":{"value":{"amount":"+0.9471989870071412","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":"Q4649546$545B792F-C7B6-4205-A187-BC63022747F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872386990e8ec7de89eb41f32129f183a9544e11","datavalue":{"value":{"entity-type":"item","numeric-id":1946674,"id":"Q1946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f3bc7055ff8a833b73ab5b217c4633066cf8b7","datavalue":{"value":{"amount":"+0.7948154211044312","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":"Q4649546$BFDD2E77-EC20-4008-AAC3-CF9ECDC85170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eaeae3d30e1ea51c387009d9460fa0f84319494","datavalue":{"value":{"entity-type":"item","numeric-id":2915680,"id":"Q2915680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696bd4239b8762672db67bedfafc47bbf50a7079","datavalue":{"value":{"amount":"+0.7877280116081238","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":"Q4649546$382079F6-D5CB-4681-8B36-81DFA2F0D175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eeeb93e74ff091af6be8fcbff4ea645907fefb8","datavalue":{"value":{"entity-type":"item","numeric-id":2946730,"id":"Q2946730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6babd1205d1d84dbed1c1aa4fc345644189bc296","datavalue":{"value":{"amount":"+0.7453383803367615","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":"Q4649546$A4C2314D-D4BF-48D0-847E-E48D1727ED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54139f930430c44bfddd66e87c6f88b9f5f6beaa","datavalue":{"value":{"entity-type":"item","numeric-id":4637625,"id":"Q4637625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d376beaff880638c36b2ef86236a700cef022d","datavalue":{"value":{"amount":"+0.7353498339653015","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":"Q4649546$C476735E-45F4-4DDD-A5A0-EE416DF9A259","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649546"}}}}}