{"entities":{"Q4648720":{"pageid":6678301,"ns":120,"title":"Item:Q4648720","lastrevid":51598166,"modified":"2026-01-19T00:17:24Z","type":"item","id":"Q4648720","labels":{"en":{"language":"en","value":"Sequent calculus for the intersection of LK and the reversed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6107944"}},"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":"Q4648720$E92B4E80-2BF1-46D6-A2D6-71BA6FA26575","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a124d252f17631d60025de29295277c7bb2024d","datavalue":{"value":"1271.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648720$4C599E8A-1502-42FF-B024-2329AB17DF86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4648720$907F1445-19F0-4FE5-9158-A0CDB8C1C7CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d9ed1da0749c54273c05a4ba5499c71e474aeb","datavalue":{"value":{"time":"+2012-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4648720$D81960F0-F2AF-40BC-92E5-23CBA93B6594","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edaee0f0ea6426ada2e16a12d73fbbe15dcff3f5","datavalue":{"value":"http://www.pphmj.com/abstract/6940.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4648720$09CD7287-F09B-47EF-A98E-A06750E21353","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648720$D012F62D-B2E9-4937-AA08-52CE1F3288BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648720$96393062-4C26-49B7-9C1B-B62DD260998B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80bf8e5e72c68a024cdcb3ef72488768e4f6040c","datavalue":{"value":"6107944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648720$248CA326-A1EC-47B2-BD22-5BA84F367313","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648720$0723FDED-6487-4E38-B184-2AC382CB20D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648720$1F021287-BC61-47A8-869B-49BB6E3E5331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e870e0338c34a492edd355b07361e55a31f6a202","datavalue":{"value":"intersection of calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648720$DBB79E49-F3F3-4826-8DE4-8420173710E7","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":"Q4648720$966CF42C-0D4F-4B36-814B-BABF20D9BB53","rank":"normal"}],"P1643":[{"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":"19c3fa29586662eeb78d8f2e3c988bf41e49e4c8","datavalue":{"value":{"amount":"+0.7680704593658447","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":"Q4648720$63779E53-AEDC-4F32-9252-2F1DCC9452AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c67c7baa355d83bb8de33bb6ee7174b047b0b75","datavalue":{"value":{"entity-type":"item","numeric-id":1115420,"id":"Q1115420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1838172b75afe2ef74ed312141dcee0878526589","datavalue":{"value":{"amount":"+0.754907488822937","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":"Q4648720$A926DC43-49F8-43B4-A2E7-A4CC2829CCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c349a65bcbd14f1436fadc43658f4e3f78fad84d","datavalue":{"value":{"entity-type":"item","numeric-id":636359,"id":"Q636359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af14bf9592434fa688e0da169641d7bddc8674e","datavalue":{"value":{"amount":"+0.7443680763244629","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":"Q4648720$45C9B51A-6422-4462-88F8-61938F6718F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d17f64b6dcabc48d4b8e689ff570bf01000e32f","datavalue":{"value":{"entity-type":"item","numeric-id":2454875,"id":"Q2454875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0350b545e0ae55f8e214916a3ef92bf99bd05cca","datavalue":{"value":{"amount":"+0.726009726524353","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":"Q4648720$C22BEB0F-200F-4F48-8CAC-607A006E37A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de3d7f0d1608e3b98d2602d445ad0b0fe3d0a17","datavalue":{"value":{"entity-type":"item","numeric-id":4842975,"id":"Q4842975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2dc5c79fe20c2c324288d440ebf64c6356e87f","datavalue":{"value":{"amount":"+0.7241531610488892","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":"Q4648720$E1724EEE-87AC-464C-BCEF-EE4244B0F7AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4648720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4648720"}}}}}