{"entities":{"Q4032862":{"pageid":6062596,"ns":120,"title":"Item:Q4032862","lastrevid":55230571,"modified":"2026-02-05T02:33:04Z","type":"item","id":"Q4032862","labels":{"en":{"language":"en","value":"Contraction-free sequent calculi for intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150229"}},"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":"Q4032862$6251118D-F29A-4781-B503-BA73332E77AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ec99068a58d92d453bd2ee98cb49f62e1ec8cd3","datavalue":{"value":{"text":"Contraction-free sequent calculi for intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032862$172D8FD8-865C-4042-9F09-32C50FE7C7D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e57dbee09ef4a570d9e86b8a1b62cb25f56768d7","datavalue":{"value":"0761.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032862$9422B8DD-AC72-492D-B4F4-27DA66E993C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5c4b95baf45ccf65c91f7d1c92e64e820c52758","datavalue":{"value":"10.2307/2275431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032862$E7165A4F-D3A1-4295-9531-623A67C9D9A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032862$2E7996A7-CB82-403F-B8BE-30A12F26CB9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032862$6FD375B7-A8DA-476C-82FB-31D81B9EBE6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032862$811C0B4B-88EC-4221-8C3E-18988446B600","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032862$FF7C24D8-059B-4DCA-AFB3-E42A1688D59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032862$3A98B5CE-5920-4DB3-BEF3-12B28203C258","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"784d40fa6a6995b7626686857f680971df71b81c","datavalue":{"value":"150229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032862$704B2072-1A0A-48A2-A2DA-CA72EFFDD6B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbadd689afdff7de47d6fc9658b887b8542f7df4","datavalue":{"value":"contraction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032862$4748FC9C-5FC9-4504-9231-B10031AF3119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032862$45847254-989C-445A-9041-3B81DCCF5343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb67858f26448ad8a446d808d185a3d41f90afc0","datavalue":{"value":"modifications of natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032862$8D7F4196-C3FD-42B7-8928-1F4152E1A0C8","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":"Q4032862$BFDB08ED-999A-45B3-9A7A-91B0D8E83773","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aac68f7103d985dcbbe757b1f680b02dba6c8498","datavalue":{"value":"https://doi.org/10.2307/2275431","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032862$A734DCBE-2AFF-4200-B1CE-C907EFA98B2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f6b7a3a2c17657e5418224d51db7828cb2772b5","datavalue":{"value":"W2131739376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032862$E37CACF8-5F2A-4A53-9BA1-5269EEADAA91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032862$A243B942-31D5-4000-9C80-1B952BD07E0B","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":"Q4032862$3E220F95-D0CF-4ADE-89B0-B04CC06D4209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d26960fbad67a47fb78241cb8cbf2b682033c","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032862$CEF79CDB-03D9-4770-885C-E12080EAAD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc988be9aa0e3cbe81362888ce5721ca24f7b17","datavalue":{"value":{"entity-type":"item","numeric-id":3752367,"id":"Q3752367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032862$13E5F1D1-CBBA-4652-AE90-7D35550D7D96","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":"Q4032862$393A0FEC-0FAF-44A9-A8E3-55BBA4D8E668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b35c77e50165be345c5ee0750cdb5cbc7f5152","datavalue":{"value":{"entity-type":"item","numeric-id":3747702,"id":"Q3747702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032862$BD794244-B3E2-4A35-AF40-A59A71A6F4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032862$EC153AB4-EDC4-4AF5-9D88-ACF49A9E89AC","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":"Q4032862$686F1A03-BB2B-45FD-8A4A-A515C5C9E214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032862$E921C43B-4E9F-4041-BCFE-D54AEA8CB96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032862$DC725BF8-6515-4C95-9B25-FC7111D99316","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":"Q4032862$67CB1D03-4631-4E74-AC97-318B760D416F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032862$668FE10F-2AB7-4CF6-AA3F-4CC0A2FC10FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeaed2800cfe98af7711a896f2705a9c5f48fa3b","datavalue":{"value":{"entity-type":"item","numeric-id":4647120,"id":"Q4647120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e3c3a4db722e95ec87d555b86dfde25a5b7274","datavalue":{"value":{"amount":"+0.8766348958015442","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":"Q4032862$3636027B-A8E5-4E85-9D64-23957ACE2F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4dcf41db2d43dbf04194555c40e590673cb81c","datavalue":{"value":{"entity-type":"item","numeric-id":2710593,"id":"Q2710593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae7c2be11d09b068fce261cc24273bec897f086","datavalue":{"value":{"amount":"+0.8047358989715576","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":"Q4032862$FF5D797F-E472-4100-901D-B3AAD136B186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc833c0de071a9374a09b3209df6f501c8bc0cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4487267,"id":"Q4487267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd596f6575fa7384a8525a4664998e3cdf553aa","datavalue":{"value":{"amount":"+0.8026962280273438","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":"Q4032862$9B9EAF98-C00A-4108-9451-739A3E24D507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a58d94bb57000f6bc92c805bf1a96dd4d60c2bfc","datavalue":{"value":{"entity-type":"item","numeric-id":676308,"id":"Q676308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eefcc3aa96f15a1d867a1b31d1fb700dc3c9b77","datavalue":{"value":{"amount":"+0.7874147295951843","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":"Q4032862$D422C6B1-D7BD-42B9-8060-5FAB4A7970DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bec22ff490172df0fc4deb3bf2206207f1361fb","datavalue":{"value":{"entity-type":"item","numeric-id":1576374,"id":"Q1576374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eefcc3aa96f15a1d867a1b31d1fb700dc3c9b77","datavalue":{"value":{"amount":"+0.7874147295951843","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":"Q4032862$7343D92D-3BAB-4C27-A1AE-B09154BEFE78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032862"}}}}}