{"entities":{"Q4683217":{"pageid":6712798,"ns":120,"title":"Item:Q4683217","lastrevid":89948561,"modified":"2026-06-04T18:41:47Z","type":"item","id":"Q4683217","labels":{"en":{"language":"en","value":"A simulation of natural deduction and Gentzen sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6940675"}},"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":"Q4683217$51489015-A899-4B05-8144-2FA102F119AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd1f9e649299edd090d71c7f8d1603ede556fb77","datavalue":{"value":{"text":"Simulation of Natural Deduction and Gentzen Sequent Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4683217$8B355B5A-8CE4-4C1D-BFF7-ADB18C2B1E5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc1499787ffecfb9cda619b3ea85618ba9ea62a2","datavalue":{"value":"1456.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683217$F139427A-9CDB-4B8B-B75E-14E6C7D8973E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2943a2be6629f312fd74193c36f934260368f6cb","datavalue":{"value":"10.12775/LLP.2017.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683217$D257D3DC-4C13-4F61-A3E3-07BC5FD8603A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28900ca7f4e898f23eab43d9d659d0a2c9336aa0","datavalue":{"value":{"entity-type":"item","numeric-id":2021562,"id":"Q2021562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$49172546-3697-4AB1-9CDD-CE62D774F1C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$D9A2340D-8371-4AEC-8AEC-694A5711DDC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45b0b308b892e14a056523b8ca557a64add37a38","datavalue":{"value":{"time":"+2018-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4683217$F3076DC1-F7B4-4C80-8155-F4BEE6BCDA3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683217$A8505923-6C3D-4566-B8C3-056B14A989FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e39e635463f9680c2bf655098da8092d77c79f74","datavalue":{"value":"6940675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683217$C923C4E2-A77F-4320-8774-EAF80C488E3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edf6802105c7189d078ee28d809d45f0e611cc09","datavalue":{"value":"speedup","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683217$CA0D0FFD-C97C-436C-A135-F06EDB84F09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683217$58682339-FC83-4F95-9312-115ECBC9896C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"575d52777c96ed8b1abc03a380308394d27f0224","datavalue":{"value":"Gentzen-style calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683217$D6A24296-EB9E-4BEA-B5E0-62A4F40FD489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683217$1F914267-6538-4336-8D48-E05013FD918A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683217$377B0207-0529-4F1E-BC6D-0C4B2FB8B0BD","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":"Q4683217$729383D0-1F22-40D6-ADA8-FA5E8FFC22FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f26cdf3dbb7656aa8d1a8c3c3f68e3d28b0f44","datavalue":{"value":{"entity-type":"item","numeric-id":3138022,"id":"Q3138022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$E3666398-3C90-4619-824B-635BF5DAA575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$B4533602-C60E-49DF-B689-513DAAB92721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$FF62951F-7BAA-411B-BCF1-1A65CCA8E011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$14926AC6-1050-43F6-B73F-0ED13CB12048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f174f8187c91bfe6499d7c38885f45afea642586","datavalue":{"value":{"entity-type":"item","numeric-id":3007263,"id":"Q3007263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$1B3C1996-26D9-4A10-9FD5-D9698EEA2753","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":"Q4683217$02F6583E-75F8-4EE3-8BAC-64A58CF3B06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$617F5A46-05A1-47EF-99FF-F887803412AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52cd1a25a23d6ee1d2d790b85193089c176c154","datavalue":{"value":{"entity-type":"item","numeric-id":1840387,"id":"Q1840387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$37F82794-D4F4-4A80-8640-4CF29485C2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e983d36cfecec9b58e1c37d6c18b89433801d","datavalue":{"value":{"entity-type":"item","numeric-id":1119576,"id":"Q1119576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$43F822DB-B246-4CD3-866B-9244E1E464A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$9AA51194-0DFF-4113-BBAE-B0AEF73EAC34","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":"Q4683217$6F166B62-3404-4132-88DD-13C79AF7E8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$472ED375-6410-4CEC-8DC6-E1DD40F1C6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$38D40B0B-084B-4101-A66E-2D4956FA8E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c88ba7ec62a74a120649025590522149f9c71c7","datavalue":{"value":{"entity-type":"item","numeric-id":1263584,"id":"Q1263584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$6CAFA821-D3DB-4322-A788-6EF705DDA970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca150fc2f2e85a3de0df315208f3fa055514a44e","datavalue":{"value":{"entity-type":"item","numeric-id":1353988,"id":"Q1353988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$055F8C84-687B-46FB-985F-378EFDAF4173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683217$7FAC3CBF-0E41-47F6-A2BC-69BFF0495660","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97040c746017999b59eca5ee9e0197e24e4c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":3138022,"id":"Q3138022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd6ec370c535412668970b0665fbe3c127ebebc","datavalue":{"value":{"amount":"+0.8487751483917236","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":"Q4683217$DED00005-1CF3-43CF-8752-C1A7B0746921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6293fadaad389add09b0f160dfa0dddb68ef4e","datavalue":{"value":{"entity-type":"item","numeric-id":1350509,"id":"Q1350509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd6ec370c535412668970b0665fbe3c127ebebc","datavalue":{"value":{"amount":"+0.8487751483917236","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":"Q4683217$FA0326CB-18B8-44BB-AF55-85124772242A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b80fca7f62860281b4adc1942417ab1f4d67b95","datavalue":{"value":{"entity-type":"item","numeric-id":851139,"id":"Q851139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6db57f57b6f1b8c62763a4648cc7ac6b9e57c7b","datavalue":{"value":{"amount":"+0.7643283009529114","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":"Q4683217$336ED2F0-2733-4B86-A9CD-C126D18EDFC5","rank":"normal"},{"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":"e0f5483f285afff78d09ceb0ea8f409b84e7ba0b","datavalue":{"value":{"amount":"+0.7566908597946167","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":"Q4683217$9FC3D6D0-9654-4E45-A36B-F307BCAC9025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d096b94fda2a0ccefd424b9e7dc5f320dbc9f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1353988,"id":"Q1353988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d7f4081cccac6c1fb36fdaef9a45fabf6e3e86","datavalue":{"value":{"amount":"+0.7530357837677002","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":"Q4683217$11344776-55C3-4688-8039-3A9D0D4B0670","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simulation of natural deduction and Gentzen sequent calculus","badges":[]}}}}}