{"entities":{"Q851139":{"pageid":852987,"ns":120,"title":"Item:Q851139","lastrevid":64827012,"modified":"2026-04-11T22:29:49Z","type":"item","id":"Q851139","labels":{"en":{"language":"en","value":"Simplifying proofs in Fitch-style natural deduction systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073790"}},"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":"Q851139$4B2E92CE-08EE-4713-B612-41C8DEFDC6FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"123b4b15d36c0b735b4f2eb46ad90eae04c1b66a","datavalue":{"value":{"text":"Simplifying proofs in Fitch-style natural deduction systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q851139$44D27BC2-1166-4796-BD1B-0915B26F6E32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37e2400b145b6eeecd9d63ee9b8ff40a9eaee869","datavalue":{"value":"1108.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851139$6D31E700-02EE-4740-892B-70395747570E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d7f3965b1698361800925fe53b5095380ea4b15","datavalue":{"value":{"entity-type":"item","numeric-id":851138,"id":"Q851138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$EFAFB050-DFAE-4FC6-8758-7C1A84CAE709","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$BBFD9064-971C-4C62-A670-3EA716FFC00F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q851139$B2B3C8F6-8BA7-48FA-A8BF-5B6C0DF8EB69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851139$20C502AC-E515-4060-82B0-F0781102CA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851139$8FA87E73-B6C1-4F30-92F3-AF8BC3BD0483","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af1559429ae12f4702407f79a660afc55aa5d2db","datavalue":{"value":"5073790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851139$4DFCF4BE-7A69-4770-97BB-009A925B8E28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q851139$A68BF914-6FBC-4CAD-BC2F-E7F52DC98F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q851139$8EF3C661-ADF7-4F08-AB21-3EDFE646CB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b8095b11ecb8bb9dec27c06b8e507e1f4bf7af","datavalue":{"value":"denotational proof language","type":"string"},"datatype":"string"},"type":"statement","id":"Q851139$FB58E3CB-F52D-4CF5-8943-A7467085A208","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$9A0ED3C1-0511-4C0C-8CF9-F43CA246DB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d76081471dd644a398d55bd6a5c308c0f0d40f80","datavalue":{"value":{"entity-type":"item","numeric-id":33967,"id":"Q33967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$CA3AED50-8D42-4A0B-967F-31B226BD97C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$AC1364CC-26AE-4BDB-BCF7-2E009BE7008C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$D47AD24D-45AE-4705-8BDB-8B96DB8507C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$195511CE-F592-443B-9AE4-8173E955840C","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":"Q851139$BCF93BA5-69C1-401A-99F3-B9DB5295B125","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"669743ef86cf00c6c45b903c424d32ad302bbbca","datavalue":{"value":"https://doi.org/10.1007/s10817-005-9000-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q851139$8FA933C0-99B1-4853-AF07-DA112121DDD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39750032935ead9fc4ab9f923fd7cc89b4683878","datavalue":{"value":"W2104785859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851139$1C2FBB1A-4721-4D23-A1DE-51A1FD0BD71B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"921703b500304ef43edf61ccaa5a63a377f5cdae","datavalue":{"value":{"entity-type":"item","numeric-id":5712440,"id":"Q5712440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$AE9EE554-68C6-4990-94DD-3FB5AF478B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f64cf04db93cfe9b0a19e95d9bd7caf413f3a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4856150,"id":"Q4856150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$D0B94C74-4D8E-4377-BE16-BCB690D9AF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd44858abd76ba6a4654ef8a7945fafeb171c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1057847,"id":"Q1057847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$8AB8D9D2-C43B-4C19-B398-66EC09177129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"513c3fd3cec4cb5cde9d551fbafa697c437c929d","datavalue":{"value":{"entity-type":"item","numeric-id":5588582,"id":"Q5588582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$E1AD6DB0-0DA8-4379-84AB-DBE7AA4CE3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf22a1b31489d7fbc69dbf46c47b3597cd6245b7","datavalue":{"value":{"entity-type":"item","numeric-id":4342092,"id":"Q4342092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$1683AFB1-E096-4D4B-9CEC-A601100B2231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$CDDB5C2A-A7F3-4F0C-8095-B89951372962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$976DB1D1-22C5-464E-91F5-5076FBA5494C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$491E7073-0C1F-4B8C-823B-52FD5B472A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$5C0FC033-D84D-43BE-993A-AD4A77AE2644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$FAD3E9A6-5BB3-4900-873E-0E41CCB9AB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$D16C644B-78AA-446F-8DB0-EA5BD00BD220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$9D957E53-F957-4C28-82D8-6BDF46E3BFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0fead52443b249df8460e061d76b285d47def0","datavalue":{"value":{"entity-type":"item","numeric-id":5552147,"id":"Q5552147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$D7AE76B0-EFBD-41AA-931C-5768772BEB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2946f9210b56cf40c78bc7c781e28832ee6caf5f","datavalue":{"value":{"entity-type":"item","numeric-id":5541301,"id":"Q5541301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$23998ED2-9EF7-498F-B7DA-E314AE3EE907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8e83091f7f834aee28b42848a75a1b2d2d8cac","datavalue":{"value":{"entity-type":"item","numeric-id":2754120,"id":"Q2754120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$E21AB2B2-D6BA-4860-B818-A1DE2209906F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa8869764d95275ff1256e74294386e198dd5f3","datavalue":{"value":{"entity-type":"item","numeric-id":4936138,"id":"Q4936138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$D23F0536-1AA7-4018-8654-1011CE0F1892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9daa4057ed7a04c427228a37f513d691eccddc","datavalue":{"value":{"entity-type":"item","numeric-id":2757973,"id":"Q2757973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$E4EFC18B-7BEE-4224-8665-5426209E2F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0924a86f652e00311e8961b2cdeee4e5aaf93ece","datavalue":{"value":{"entity-type":"item","numeric-id":1577335,"id":"Q1577335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$FAEC50E7-D5D6-4047-A937-6AF6DE8DB454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4475efc47e43526ff9e141f1923cf2b911d8d8d3","datavalue":{"value":{"entity-type":"item","numeric-id":2728912,"id":"Q2728912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$CF85D485-96D1-4DF4-808A-E4C796198923","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":"Q851139$5F751E5C-F1DD-4D25-899A-F62490C01FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb6e9b04d79e8c7dac38be23f117413e9b005b6","datavalue":{"value":{"entity-type":"item","numeric-id":5337194,"id":"Q5337194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$CE85F96A-E1B9-4D50-A7B8-7FCF2BE758D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a5aa50e889fbd2a02e8c6790dc8c54b50583d6","datavalue":{"value":{"entity-type":"item","numeric-id":4226069,"id":"Q4226069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$C492B8D7-B0EE-4BC5-8CB0-9F41F16E3450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$601D5288-9EDF-462C-9599-CFACB34BEB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b11555faa74c9dd9ad74dc7ae9b8d6db990575","datavalue":{"value":{"entity-type":"item","numeric-id":1904404,"id":"Q1904404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$6CD14C9F-DBB1-48A9-88C8-296088C736DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851139$010E8BF1-2276-412E-9B14-7CA305F967AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96a04c340fb0ecef454c31047f2c4dc5d5bddcbe","datavalue":{"value":"10.1007/S10817-005-9000-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851139$2798B6AF-9011-4C70-8FDB-51F7203D62DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae3575b1ba5c90771e9434d772bd90d036e80575","datavalue":{"value":{"entity-type":"item","numeric-id":5901566,"id":"Q5901566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a20316ff37a8b23453338d25cb6031913b990c","datavalue":{"value":{"amount":"+0.848097026348114","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":"Q851139$E9432CFA-5C75-49F9-ABA9-33D1DCBC4AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276db41e49fbbf97c9b194f4b787dd9c28797e01","datavalue":{"value":{"entity-type":"item","numeric-id":3638254,"id":"Q3638254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962eee602b412d9ad51545f1d04153151a8a8f85","datavalue":{"value":{"amount":"+0.7834506034851074","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":"Q851139$6F4776AA-75DE-4842-A6F8-CB398BD6270A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe628dd31ceb142b83e31f71b8fd767f0e44fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4558008,"id":"Q4558008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821fc0a118a9a6c0f7867a132645184983a9ec3c","datavalue":{"value":{"amount":"+0.7738884687423706","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":"Q851139$4983070E-DBD1-496E-9690-943BE8A7166C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd43a50ecc70714228cdcd0fa5451a65b817bde","datavalue":{"value":{"entity-type":"item","numeric-id":4697041,"id":"Q4697041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098b669ff5849df6553bc18f721b0f6c8992ae43","datavalue":{"value":{"amount":"+0.7700806856155396","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":"Q851139$0A30A6F0-39CD-4CC7-9A50-9F805DEB503C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709f76c94da4181718f1d1e0ead11acba4b45da8","datavalue":{"value":{"amount":"+0.7700803279876709","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":"Q851139$BBB5F458-5D06-43FA-8B87-D20DC971A915","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplifying proofs in Fitch-style natural deduction systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simplifying_proofs_in_Fitch-style_natural_deduction_systems"}}}}}