{"entities":{"Q5053007":{"pageid":7082584,"ns":120,"title":"Item:Q5053007","lastrevid":54452591,"modified":"2026-01-26T20:30:46Z","type":"item","id":"Q5053007","labels":{"en":{"language":"en","value":"A logic program for transforming sequent proofs to natural deduction proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7623945"}},"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":"Q5053007$C040D3C4-EF8F-4429-92EB-9D950E36C79C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cd03565d7c2638361fb48d06ceee77541721151","datavalue":{"value":{"text":"A logic program for transforming sequent proofs to natural deduction proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5053007$9D698F7F-CC45-44F7-8ACE-5EB28A65D11E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7bfdb5871d017c70777f0f69e842129d2407080","datavalue":{"value":"1502.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053007$D6410B90-0B22-4A89-A1A9-1CEBB0B923B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f8eb1b6981ee2f00126edfdc0e11774e104a6282","datavalue":{"value":{"entity-type":"item","numeric-id":5053002,"id":"Q5053002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053007$0471CB4B-3820-4455-95D6-BA2588EA11CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e1483e38e3bf6c05c7809c6a2cdaaab1a69095b","datavalue":{"value":{"time":"+2022-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5053007$C7EEB2FA-2837-4DAA-A95B-DEDB8127B2D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053007$57C8D99A-2512-434A-8F84-B4F93381651B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053007$1DD998CB-50C4-4322-9C02-707AEEDB8213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053007$09884576-3B35-440E-B0D3-DE16EA303BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053007$9E5FDCB3-CC04-4C86-847D-9BA17157017F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c51901bea17ed679f21141ccf732d142d597bb4b","datavalue":{"value":"7623945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053007$14F3A736-351E-4332-B983-3D2A91983CF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3098c31aaa054039cc5414efb85f4a6bce38102","datavalue":{"value":{"entity-type":"item","numeric-id":590551,"id":"Q590551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053007$DD43B20D-2D95-4D99-ABEB-8D7709CDB831","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":"Q5053007$7B057C08-ACA8-4C53-8843-DD041FD455BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cca90fc361a130668386d912135f3e0d612c442","datavalue":{"value":"10.1007/BFB0038694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053007$AEAA7D40-B5D0-44B9-8BFA-7DDDF350B9D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b390d11c969c888c0f0ad6d374b224f5e508e31b","datavalue":{"value":{"entity-type":"item","numeric-id":2937799,"id":"Q2937799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a1b95b333a4fa6741320c7c8dd0254707e2174","datavalue":{"value":{"amount":"+0.7990493178367615","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":"Q5053007$AEAE04F2-2C50-40D3-A538-34B4A56B1516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28adc20807fb8bf1a2ce2fd8253fb821461e46d7","datavalue":{"value":{"entity-type":"item","numeric-id":4842532,"id":"Q4842532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083c7f91d418b5fb1386697d673cad1d6e53caee","datavalue":{"value":{"amount":"+0.7788438200950623","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":"Q5053007$CA5C02BB-E423-4169-861A-0AFA9E88E79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63f5027884db90b3b56d66c308be753437c9d64","datavalue":{"value":{"entity-type":"item","numeric-id":4525292,"id":"Q4525292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b03965eb18475a6ee8a27f853ea7d507b60deb","datavalue":{"value":{"amount":"+0.7759168744087219","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":"Q5053007$99648A6C-FC58-4CD7-A6A1-3C7980550690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6db93febbf5443665015561fdea5934cf38a07d","datavalue":{"value":{"amount":"+0.7733031511306763","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":"Q5053007$F967B2F1-23DD-4814-A6D5-B1B45635CEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cf38afce0735c00befb4dff53c39e111244570","datavalue":{"value":{"entity-type":"item","numeric-id":1311397,"id":"Q1311397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6db93febbf5443665015561fdea5934cf38a07d","datavalue":{"value":{"amount":"+0.7733031511306763","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":"Q5053007$44A2F07B-9B57-430D-942B-9F8BD163AF07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5053007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5053007"}}}}}