{"entities":{"Q4328835":{"pageid":6358436,"ns":120,"title":"Item:Q4328835","lastrevid":47777233,"modified":"2026-01-02T16:17:32Z","type":"item","id":"Q4328835","labels":{"en":{"language":"en","value":"Sequent calculus in natural deduction style"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1735295"}},"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":"Q4328835$2821CF44-195B-492B-A946-C9D0981D7912","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68a979afb23b1d0f1488f6a30aaf6e9b9b7311f8","datavalue":{"value":{"text":"Sequent calculus in natural deduction style","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4328835$4F758E20-F402-48BC-9CE4-A707DDEE1F0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e01ed148998cdaa8a80bee91bf8b00f3bff8847e","datavalue":{"value":"0994.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328835$7BB3BC3B-B8CE-46C9-B622-6A83570DE188","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4406f88bf4dc1523ff6cdd52b7918d7a6e9e86ab","datavalue":{"value":"10.2307/2694976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328835$AC4D5B78-41D2-49E2-AD96-03426A58232C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328835$F0CB953E-F7BB-4639-A5C2-9F96C8A9EF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328835$442BE41F-34CE-4E0E-895F-4F490944F11E","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":"Q4328835$CE1E666E-F395-4443-ACB6-BB9A9F2A8259","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381ddcb86e65a2a07830e4a1bafeb6cc481b7472","datavalue":{"value":{"time":"+2002-04-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":"Q4328835$998FA24F-DA40-46C9-AF0F-006F0D4B7062","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328835$43530FE1-1273-437F-9FA6-C9377625B1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328835$4AED6228-A0F8-4426-9B08-EE51495EC940","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23b84b713bb06addfdcbbac611d2adb1f097deff","datavalue":{"value":"1735295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328835$A377FC2A-8759-4BDE-A0D6-3055E94D1D1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328835$02B62DDD-4749-41D0-BEB0-474BE1564CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328835$DDBF4BC5-E8F6-474F-9525-57F125CE979E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"612be38dc6332086efd6d593db6ed42740231e6f","datavalue":{"value":"weakening","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328835$436313B6-9587-4A45-A2DF-28A146787D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328835$49CB855F-ECF3-4DD0-8548-9235D519B386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328835$AF578A47-0E72-4FBA-B7C3-361D9BED1582","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":"Q4328835$70F61A82-3A10-44B1-80AE-3BA9A2497487","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78f872184dbe1b587c030f1479cbd670680013c2","datavalue":{"value":"https://doi.org/10.2307/2694976","type":"string"},"datatype":"url"},"type":"statement","id":"Q4328835$494D83FF-1FB0-4F9B-96E4-ACB0562808ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67fafeb468c9092a584df5cd5f96d2a2f16f1dd4","datavalue":{"value":"W2165614850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328835$C272EFF3-40C2-411F-A32C-2451C498A6E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"361e0f23746829e48ff0ff918b87727856cdb536","datavalue":{"value":{"entity-type":"item","numeric-id":5928308,"id":"Q5928308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328835$16C17DCD-2A47-400E-9E43-D436B96830FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328835$854111A6-D3F4-485D-B5D3-965AC8A791FB","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":"Q4328835$DC88A7E1-E72C-4459-BB19-FC00BA3C1DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328835$5467DD3D-08CF-4D16-A060-70677CAA3B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2c283ecaaa5d345904a687c7a7b5c0128d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5623646,"id":"Q5623646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328835$86EFD96A-BBCF-417D-AC86-1B8DA9DF4B61","rank":"normal"}],"P1643":[{"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":"c2cb67097858b0c1f3bea3dae974ba3ef7e4d9e2","datavalue":{"value":{"amount":"+0.8551592230796814","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":"Q4328835$A853668C-D2EB-439D-A5FB-86F8EADDD73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a16dac385b0a6553c09397546dcdb39839e6c21","datavalue":{"value":{"entity-type":"item","numeric-id":4609358,"id":"Q4609358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2cb67097858b0c1f3bea3dae974ba3ef7e4d9e2","datavalue":{"value":{"amount":"+0.8551592230796814","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":"Q4328835$73E927AA-FBBF-4576-8EF4-D25D1D78CE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de03e002f2927c14678bfa68e365d8ee714fd54","datavalue":{"value":{"entity-type":"item","numeric-id":5024505,"id":"Q5024505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4cf7481dbfc596936feb8807d8858d199cd0ef","datavalue":{"value":{"amount":"+0.8193002939224243","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":"Q4328835$AE2F8AD0-ACCB-4208-930F-62E96CA5037B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97cabf5f2c4a3e5f3456b0f010aa873907e2dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4434498,"id":"Q4434498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76f924e0dd494769c8d32116f8a3377f69835cc","datavalue":{"value":{"amount":"+0.8130147457122803","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":"Q4328835$879372C8-50D5-4810-8CF8-3172628C90DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f81abcf92af3e2e3903ba863a25419b5a7ea6f3","datavalue":{"value":{"amount":"+0.8096083998680115","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":"Q4328835$666737EC-56F0-4748-8AC9-12D8B8CE8E5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4328835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4328835"}}}}}