{"entities":{"Q2106879":{"pageid":2117622,"ns":120,"title":"Item:Q2106879","lastrevid":57533904,"modified":"2026-03-31T07:32:02Z","type":"item","id":"Q2106879","labels":{"en":{"language":"en","value":"The G4i analogue of a G3i sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7625362"}},"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":"Q2106879$1E7AB36C-BE29-46CD-83C0-93BFA7E2F642","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f90599ff863f62f1a2c577a2d2b782ad19498ce0","datavalue":{"value":{"text":"The G4i analogue of a G3i sequent calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2106879$878215A2-0607-41FE-A739-87EE0CEE4408","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$7DE52AAF-1005-424A-BA4D-2E15ACDA42AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$AD329FC0-4AE0-410F-AF9A-507062F11CA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff554c38a929f96d81bcf5843c23acf6139d71e1","datavalue":{"value":{"time":"+2022-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2106879$A7580B41-1D5D-414F-9717-492519B40248","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106879$A7AEBA9D-C6E3-491A-86F5-D8B653C70522","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"890c23a132cf641d1f71a9e6802ba9ab1dec4016","datavalue":{"value":"7625362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106879$8A4E2282-66B0-462D-86E3-7E1C43413F95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106879$2448AE03-ED85-49E0-8D83-FB2E76732E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106879$CB3CCFEC-F75D-4202-BF71-3E4722320C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106879$33F39094-8DD0-47DA-B587-65D18480361A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d37ca6510b72975a69800ae81212321700d414","datavalue":{"value":"terminating proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2106879$60B95D52-9A79-4C51-827F-AEB40E96FCC0","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":"Q2106879$61B1D77F-DAC5-4CEF-A46E-6B1CDEA4C92D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"965b88df408b247a516d4a7d681730cf0e0b9610","datavalue":{"value":"https://doi.org/10.1007/s11225-022-10008-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2106879$F56ECA0A-34F8-4B69-8A22-8477492831D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57b3a9efdf2aa2290db595a643b1ba983be53269","datavalue":{"value":"W4285491326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106879$7ACAA4B6-01FB-4073-A7CD-9E6BA698A48B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8f785ea2420d127b9a4f594f007eebb1d922c3fa","datavalue":{"value":"Q114017381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106879$89F88D7A-EBF6-46EA-9958-F73077261A26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d08e6067b59bb61a8cf9444d0c163829dae753","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$09554E4F-AB67-428F-8382-511510CF6A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$E4C32DEC-BFF8-4E20-859D-2BE56FEC2B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$55EEE3C4-7BA5-4EC3-9F23-D2E332E0FC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b01c430c91cec5f0c7619c27c486ede0808e55","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$68A130B9-1C3A-48B3-91ED-4D1419B9D30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$6D3FC055-5A83-4D9B-AE09-0DB4001313D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee19f680d962c1f634bcb5b5a87502da5129db0","datavalue":{"value":{"entity-type":"item","numeric-id":1240729,"id":"Q1240729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$1AF1274C-0AAA-401E-93B3-7AAFDE01BCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$ABFFBAA2-6D24-47E2-8082-B288D0C25EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2862ab20bb5e75fe141023e595e2f86d486a85","datavalue":{"value":{"entity-type":"item","numeric-id":1982008,"id":"Q1982008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$0651031A-7DD2-4390-B761-5621F0D77D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cec2053f85c621341f9c6fcd2e0de57624a7f0","datavalue":{"value":{"entity-type":"item","numeric-id":4934559,"id":"Q4934559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$96B96920-23F5-45CA-8656-96EC4D480BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d4e9adfae30c74c6219689c62d0d59ee370b50","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$C49846D2-7D57-4579-BCF5-AC15AE940651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$D9D6E741-7C78-4322-8BDF-313B5D37D7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c3f0062690f32b6da1cdb4fe91638f618aefe8","datavalue":{"value":{"entity-type":"item","numeric-id":4612455,"id":"Q4612455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$905E3098-BD7B-40E5-BBE9-CC6ECDEEF20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb93535332a50764f81a3ddaee046dbfde1d1975","datavalue":{"value":{"entity-type":"item","numeric-id":1712936,"id":"Q1712936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$839CB0FB-5093-4293-A312-DEFCD564974A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c23f143e374a6b10f9e74124e08c026bf67303","datavalue":{"value":{"entity-type":"item","numeric-id":2326416,"id":"Q2326416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$89BC4DB9-0F66-49D9-84BE-074F61ABE705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e08786b7a1174ac9d76d6bde17d9942d64900e","datavalue":{"value":{"entity-type":"item","numeric-id":5255796,"id":"Q5255796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$A9EA1280-95BF-4D65-99C4-09EAC86DFEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95a0350055f8b6f3891390f856cecbdcde2dbfc","datavalue":{"value":{"entity-type":"item","numeric-id":1688950,"id":"Q1688950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$FE6B46AD-817B-4C54-8F06-9B280280165D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$FD175069-BC25-4A26-ADC3-BDC57387FF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce826b9222349d4c8dd6d3e4b01d5fde76b8bf23","datavalue":{"value":{"entity-type":"item","numeric-id":3417780,"id":"Q3417780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$7CAA6208-08D2-4B1F-BE64-A6A946FA196D","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":"Q2106879$A1010C16-E778-408D-A551-E8F1899CC0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e2c2513a865775e0ab3b28589f58f0c0e8d22a","datavalue":{"value":{"entity-type":"item","numeric-id":5813185,"id":"Q5813185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$976241A8-7C2E-4820-9FF0-1155D09424AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9916acae3c5f1fa2203775504b75059dc2c908","datavalue":{"value":{"entity-type":"item","numeric-id":5608767,"id":"Q5608767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$CBC14640-6C05-4E46-9471-7A33971745E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62891394bffe584fcdbefd47be2a4496e572fd13","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$718941AA-6207-45BF-914B-BBE38ABAEF82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f69ed12497d4cd726ef7ef318150f2f8e05561cd","datavalue":{"value":"10.1007/S11225-022-10008-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2106879$AA6BDC9D-D435-48E7-BA9A-18F65F971247","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42a2c5c1557cf86b004fd438a7929e8c2ea8860","datavalue":{"value":{"entity-type":"item","numeric-id":4612455,"id":"Q4612455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3440db127546212677f50b09db1d86ad96de75e0","datavalue":{"value":{"amount":"+0.8715888857841492","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":"Q2106879$8026A482-305D-4895-9B6E-FFE9436C0CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d28c86a920167957a04c40173fd3d56eea7a49","datavalue":{"value":{"entity-type":"item","numeric-id":1982008,"id":"Q1982008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c3cdc36a17e9c7513e995ac770e55823f82cd7","datavalue":{"value":{"amount":"+0.8004416823387146","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":"Q2106879$AE3D18C9-4BCB-4B9F-BF4C-402E8A962DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6bdfb6d3006b453474ea06a77e968873feb9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5014057,"id":"Q5014057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1873c2ef36e5316c05970b5224983842eff3cf8","datavalue":{"value":{"amount":"+0.775729238986969","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":"Q2106879$A582CFF5-4F00-48C9-9AA6-646A99717A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59df2915507b58bda40c43f4ea4f622cc2576c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2851938,"id":"Q2851938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b23cea2e3e38b454a7aa291516b149c37292c78","datavalue":{"value":{"amount":"+0.7610840201377869","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":"Q2106879$58F83B39-8CB9-4F84-AFEB-70792DDEB980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2faa735fddeaf6e8fdcbb0a47d4bf0f0d6107c","datavalue":{"value":{"entity-type":"item","numeric-id":2330501,"id":"Q2330501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a7b08cef17b26c3452c4cd6fcbe900228cd950","datavalue":{"value":{"amount":"+0.7592745423316956","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":"Q2106879$C0F6B782-01B3-4411-815F-27469F5A8388","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2106879$E7F29327-5B05-4F8A-B3C6-EE17D2C47131","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2106879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2106879"}}}}}