{"entities":{"Q1944778":{"pageid":1955520,"ns":120,"title":"Item:Q1944778","lastrevid":78029339,"modified":"2026-05-06T10:36:59Z","type":"item","id":"Q1944778","labels":{"en":{"language":"en","value":"A formal framework for specifying sequent calculus proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6149029"}},"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":"Q1944778$1BE2C82C-E745-46C2-B048-004FAE18A20B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"157ea455310e85049bf560a8c9a55fa9b4abcb85","datavalue":{"value":{"text":"A formal framework for specifying sequent calculus proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1944778$4761E698-94C3-4F46-839C-E24FDF407492","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2752a691d1b6e653fcd086ffdc9fef95a9d021ab","datavalue":{"value":"1259.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944778$04A5C6B7-B7BC-434E-B47C-77A64EC424C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944778$C19AA310-2D87-428D-AA43-9F877AE0EA3F","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":"Q1944778$720613EC-08A5-4C8E-A6B3-F39F658297C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944778$441F69BC-2EE4-42D4-8085-A99FCB155F32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f050e809bf0d98a9e4fb011b4fba825fa59b3a4","datavalue":{"value":{"time":"+2013-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1944778$63C3532B-0BCA-426C-B444-5F99723067E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944778$4AB62E90-B1A4-49AC-8EFF-5B10EE7052DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944778$1976B303-26A5-43A1-8B84-54482FE06AD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"076fd3b99d3d6fba0fc93006dcf99ad9d2d8ce35","datavalue":{"value":"6149029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944778$EB53A8AE-DFDC-4CD0-A981-464D5541F0F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944778$F747156C-117A-468D-8EB5-F4ED36490C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944778$2ADBC6DC-2162-4677-A171-AABC82A771FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944778$DC203EE9-81D7-4C28-82CA-6A8C11AEBDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944778$9759AF1F-2FCE-4456-B67C-EDB2B09F5FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944778$2444F1EB-6338-478B-ADAA-CDEBDF11E4B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944778$ED14D6CF-C142-4CAF-8495-40CC57DA9C6A","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":"Q1944778$42D0BE65-A8AC-4312-AB68-C102B508A4EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d094ac63647de5b192981acd1e4e6fa1e6d574ad","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.12.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1944778$73A2F141-218F-4F32-A19D-2EDFA3EE0A8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8db2ddf7c8d8086319bdc2310c3b94a77334d29e","datavalue":{"value":"W2033813295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944778$EBC88B04-8CB4-4285-AFDD-A45FF409AD9C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"de6aeeebc83051e8f9efc647b73fe6aae93ee405","datavalue":{"value":"Q57850790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944778$66B82389-28A6-42BA-B608-3194899C9851","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d99c26959ea6d0c8d4a3b89a6c90b785057b6c77","datavalue":{"value":"10.1016/J.TCS.2012.12.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944778$DDA399A3-07A8-4E5D-807F-E44F1521F76D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da6059d4684c2cae342107a04e61262ceec26fa","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849ca4d34ba2746777b50e2b5e166f71dfac9364","datavalue":{"value":{"amount":"+0.8949053883552551","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":"Q1944778$7723EFDC-63CE-4B4B-8F8A-F8A471C578A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da41e92f06b0f33fd3e03e3fdb03e6c775298960","datavalue":{"value":{"entity-type":"item","numeric-id":5387850,"id":"Q5387850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbbe98c1ed641799f19fd6a48a725e022a386219","datavalue":{"value":{"amount":"+0.8805857300758362","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":"Q1944778$8F2159A8-2B78-4456-B755-9AB3A6B06E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e952094e2719c457cc65ccf17740b1c48f29693","datavalue":{"value":{"entity-type":"item","numeric-id":4412848,"id":"Q4412848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e929cd9dfe0cb429505aafb8980f673a19df10f","datavalue":{"value":{"amount":"+0.8525238037109375","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":"Q1944778$64E50560-B3E6-4778-84E4-BE10EB829146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d776251971de9cedf12bb5788f6450a62a83e18","datavalue":{"value":{"entity-type":"item","numeric-id":5739974,"id":"Q5739974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4a16339bcec8f4d767462b4b94c0f5776b19a6","datavalue":{"value":{"amount":"+0.8221276998519897","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":"Q1944778$6DC1211D-3BA0-45E4-8F14-ECB43D992CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71280657ab8daca175bf34f8ca4df2811aac603f","datavalue":{"value":{"entity-type":"item","numeric-id":4263841,"id":"Q4263841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda9134e7708dd5d969bcdb89905bbdf09fd436c","datavalue":{"value":{"amount":"+0.8190873265266418","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":"Q1944778$3A0ED735-2005-4B01-8CAC-F058ECE14C9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal framework for specifying sequent calculus proof systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_framework_for_specifying_sequent_calculus_proof_systems"}}}}}