{"entities":{"Q6162080":{"pageid":13296961,"ns":120,"title":"Item:Q6162080","lastrevid":98838374,"modified":"2026-06-05T18:36:36Z","type":"item","id":"Q6162080","labels":{"en":{"language":"en","value":"A Sequent Systems without Improper Derivations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7696165"}},"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":"Q6162080$4AAB72EC-4E7B-4C12-9700-4BF89E03B543","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9658343a08d4fef01e412c1e90816c0d39a8632f","datavalue":{"value":{"text":"A Sequent Systems without Improper Derivations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6162080$01C18A8B-D79F-4F78-95B0-8169F4171A89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06b9f8a1d8d6e470e8981e14fa13443832d770cc","datavalue":{"value":"10.18778/0138-0680.2021.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162080$264A90EF-ADFD-4F04-8BCD-66BFA8F65504","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d676b080028b49a3114d69f7352481b869673136","datavalue":{"value":{"entity-type":"item","numeric-id":1208114,"id":"Q1208114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162080$A7205AF9-4506-457A-B02B-3B346A309B45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162080$18BC64E2-D3CE-4A93-BB12-333DF9C32AD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b16353a59d462651b8369dc98a71ef493226d62e","datavalue":{"value":{"time":"+2023-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6162080$4E584276-710A-43BF-9537-FE4542E2E978","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162080$2DFC06C0-9D3D-4DD0-85FF-A6CCC1230229","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b708b778dd96fbcdea3691de2d523268d7217a40","datavalue":{"value":"7696165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162080$1A2A4272-4851-4ECF-94AB-E97555BEB94A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac188209dcaa28b594baba58dc08f1f2eb8fb7c4","datavalue":{"value":"sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162080$9E21917F-187A-4E20-820A-648DE412B6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ecd9262c468b9bcb2b4712a01dca61f6f3d051","datavalue":{"value":"improper derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162080$A10BDEAE-048C-4BF8-833F-7C7C99EEA039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162080$2AC0D2DA-ABE0-4C32-BEC7-9FB756CB71E5","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":"Q6162080$29C1916D-9A7C-4811-8E39-4E292A4B2522","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f8dced1365525a2445e09062d8bbd01aa631027","datavalue":{"value":"https://doi.org/10.18778/0138-0680.2021.21","type":"string"},"datatype":"url"},"type":"statement","id":"Q6162080$C79273E6-DD21-456B-994E-9D0B0E1D6C33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"736ca91c67a13403470a62b4d305cbb398aae5cc","datavalue":{"value":"W3207903955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162080$97E1018E-CCC1-44B4-9175-29247FC2919A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162080$A81756DB-72C4-474F-90CF-A9284D3CC8A1","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":"Q6162080$684BD707-B39C-4B35-B6A6-C603F9373B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc1c5f7b73fb09a816cde46784bb96707e26caf","datavalue":{"value":{"entity-type":"item","numeric-id":2259014,"id":"Q2259014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162080$2EA8C8E1-022C-4A44-AFD0-2C04A90ED1EC","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":"Q6162080$AFA2CE68-0ABF-48DE-8C6B-ADF328F7F5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5467e98b7dc60fe42e5d5add8e9221e5b7fece1c","datavalue":{"value":{"entity-type":"item","numeric-id":2720395,"id":"Q2720395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162080$C4108122-9925-4D32-B444-EA98FECD805F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d76d0080e73382629d30e4bc952a2749e33fea8","datavalue":{"value":{"entity-type":"item","numeric-id":3149962,"id":"Q3149962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162080$544F31B8-337D-4327-A80A-C84B0448D46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5712faae7526dbf49898e1f752209cc1ab0d5ce7","datavalue":{"value":{"entity-type":"item","numeric-id":2531861,"id":"Q2531861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162080$28807337-4154-486E-9AF2-A65D8B38A9BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be587327b5caa4a24de8934d80cb1cc7f83b1054","datavalue":{"value":{"entity-type":"item","numeric-id":6200440,"id":"Q6200440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8577e018fced0a18c4dda2e83e80d7641a2c20","datavalue":{"value":{"amount":"+0.8496820330619812","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":"Q6162080$2149D23A-5713-4DA7-9D72-A20D110CD6DC","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":"cda3692123a2984ac641f3fec6c56a5923bd1e52","datavalue":{"value":{"amount":"+0.7142588496208191","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":"Q6162080$E022F171-9054-4D3D-B98A-E79BE9A8E8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc72172923504fc6ca859445ce692ea25f18e7b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062053,"id":"Q1062053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad801c6199218feb74c0e17386ad398023114913","datavalue":{"value":{"amount":"+0.7142033576965332","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":"Q6162080$E36815F7-C2A8-4EC5-96C5-4DEB413AFD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bbdf74d3f7a60e19306b7a5b48985bbf64e7b10","datavalue":{"value":{"amount":"+0.7133679986000061","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":"Q6162080$C963463E-79B2-4CDB-950C-F8F66C3BB3E7","rank":"normal"},{"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":"857e3963037a55c9c4e446baa5ea8885c5ee7c4b","datavalue":{"value":{"amount":"+0.7095094323158264","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":"Q6162080$5F56416C-0B9A-4E6A-8813-377D862FAD55","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162080$E85BF089-8012-42C3-896E-02A3805F906B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Sequent Systems without Improper Derivations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Sequent_Systems_without_Improper_Derivations"}}}}}