{"entities":{"Q5213631":{"pageid":7243201,"ns":120,"title":"Item:Q5213631","lastrevid":53654795,"modified":"2026-01-25T12:23:10Z","type":"item","id":"Q5213631","labels":{"en":{"language":"en","value":"A cut-like inference in a framework of explicit composition for various calculi of natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162507"}},"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":"Q5213631$487CA986-D841-422E-B643-F017157AA0E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7024f62f2d6470e7da18a59c90e63d96f98f802","datavalue":{"value":{"text":"A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213631$611659DE-CFAF-419F-AE3A-677EE6A572FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b86c3f5f9eef51659434e2e7a5a85be1327feca","datavalue":{"value":"1429.03201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213631$E23872CA-807E-4F44-BA8F-33AEF5698AB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c378898b4b50bc92054a89b2f1f2352b592b786","datavalue":{"value":"10.1007/978-3-319-10434-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213631$C67E1226-9CBD-4A22-A443-B304774A6DDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"193570030a9797c9d0e20e2afa4b890fc30826cc","datavalue":{"value":{"entity-type":"item","numeric-id":2186693,"id":"Q2186693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213631$DBF44F46-C987-49AD-A8FF-0E55FAE4BEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fbdb540a5143022810bc902be88db038b9cfede","datavalue":{"value":{"entity-type":"item","numeric-id":3518562,"id":"Q3518562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213631$B62A4195-294B-4630-8E59-E27804E55990","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a29cfcac686d7e8cef03c1f98554d74dfe94b5ff","datavalue":{"value":{"entity-type":"item","numeric-id":300740,"id":"Q300740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213631$418DEE62-BA93-400B-8FC5-1564FBB12809","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213631$81DB0373-6CBA-40A4-A36F-194E0635F967","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213631$C4D2ACCF-46D8-4301-B10A-C2BD43F61D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213631$9BCD115B-1B8C-41CA-8A09-05FCBCB6631B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b98cc0c1eeb7934a4bbe7a3d3362aab111e6333b","datavalue":{"value":"7162507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213631$AF4B9382-867A-464D-9C9A-71F83985C05F","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":"Q5213631$4C68BF4A-72D1-47CB-833C-173EC45E8BEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3f4595c5a8bc50c6f3bb4637ded4e5a6e15afdb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10434-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213631$2DFC00F7-7825-4EE6-BA75-E5509F96FEEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97ac40531c09cb32f0981dd52b14e2eec00c9624","datavalue":{"value":"W136284187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213631$EEEA646C-74B6-42C5-982B-D479782B874B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d958f6da23869555795dab6ef143722bfd034c5","datavalue":{"value":{"entity-type":"item","numeric-id":5213631,"id":"Q5213631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213631$E81F408A-8D81-405D-BF7D-B595A0CDCA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9b17b058262356a218fbfe4c50273096acc3c","datavalue":{"value":{"entity-type":"item","numeric-id":5586224,"id":"Q5586224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213631$C153327E-F93A-49E9-B6C9-801BD8D250A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3bfa6429084272e3b286c3ade956221a18f48d","datavalue":{"value":{"entity-type":"item","numeric-id":1353259,"id":"Q1353259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213631$8EC3BE09-2A94-4534-8D05-5C21B4866568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213631$F6BC83F4-8089-44AA-B2ED-7C92FDDBFB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddec26712ac82da0f0136d9cec14ce8968d4df05","datavalue":{"value":{"entity-type":"item","numeric-id":3459084,"id":"Q3459084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213631$E3176C02-EC00-41C9-82BC-EDE4F5B23FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213631$23064A50-D272-46D5-B652-A7474211FA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef99ce0422f6ffe01f7826651bb5796d62b92de","datavalue":{"value":{"entity-type":"item","numeric-id":4903811,"id":"Q4903811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213631$4E7B5D88-285A-44E2-803C-A8A526852091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f438116a01398ab16f739ed0a52e81c33b7bfb","datavalue":{"value":{"entity-type":"item","numeric-id":2695033,"id":"Q2695033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213631$FCF95B7C-EA0E-472B-B575-BB965486B2ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e26ce1230c9b8bee351f13d20c5d280087553d","datavalue":{"value":{"entity-type":"item","numeric-id":4328835,"id":"Q4328835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c44e9808f096741d48b062da990ac1f072e6ffb","datavalue":{"value":{"amount":"+0.7658336758613586","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":"Q5213631$3B4664A2-A6A1-4B84-8FAD-C9C7542233DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c71915f1707e35235ce457f4d96b35b61c5ff71","datavalue":{"value":{"entity-type":"item","numeric-id":2713355,"id":"Q2713355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb61e94d2cad130f6860bc50b744ccc249f9193","datavalue":{"value":{"amount":"+0.7569122910499573","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":"Q5213631$34DA2AA6-3DB5-4ED5-823C-B695DF8037C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af1374bac7370fa0d3581501fec968a8eada2d7","datavalue":{"value":{"entity-type":"item","numeric-id":5425327,"id":"Q5425327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb61e94d2cad130f6860bc50b744ccc249f9193","datavalue":{"value":{"amount":"+0.7569122910499573","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":"Q5213631$4B0C8690-0BF1-4D99-BCAF-A9BD9D3998C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c9839b1de3c89de6aeaaec12aac3ea32bb8db2","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad38d5526eb793300658667718072d80454bb4e","datavalue":{"value":{"amount":"+0.7529667019844055","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":"Q5213631$F7D7813A-9B4C-440D-93B7-F60245413885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de03e002f2927c14678bfa68e365d8ee714fd54","datavalue":{"value":{"entity-type":"item","numeric-id":5024505,"id":"Q5024505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad38d5526eb793300658667718072d80454bb4e","datavalue":{"value":{"amount":"+0.7529667019844055","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":"Q5213631$0698EC69-B6DA-48EF-A320-02462E5C0A70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213631","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213631"}}}}}