{"entities":{"Q5259653":{"pageid":7289221,"ns":120,"title":"Item:Q5259653","lastrevid":52293029,"modified":"2026-01-21T09:17:22Z","type":"item","id":"Q5259653","labels":{"en":{"language":"en","value":"Emptiness and discharge in sequent calculus and natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451643"}},"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":"Q5259653$607C02E8-6222-4C7D-94C9-F64A12215281","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1be8963d26a25fa230d1e47d13b7839a90b6613","datavalue":{"value":{"text":"Emptiness and Discharge in Sequent Calculus and Natural Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259653$CCC7E77B-5C0A-46AE-9DDC-5489F85598AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39d8c436f724d8bee7d2f1e7fa796351e56bb72e","datavalue":{"value":"1347.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259653$66C371E6-DC60-4948-B1A4-DE08F18B2394","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b763987b4d2cd85c83822e4cfd75efcb5b5fee6","datavalue":{"value":"10.1007/978-3-319-06080-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259653$9A27939F-C2F0-439C-9DAA-2AB163FA2E8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"193570030a9797c9d0e20e2afa4b890fc30826cc","datavalue":{"value":{"entity-type":"item","numeric-id":2186693,"id":"Q2186693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259653$7288BD6D-FD3D-4C07-BB09-C17EA32BE309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff00a37020abfb1072c98141396d6673e6995d93","datavalue":{"value":{"entity-type":"item","numeric-id":694490,"id":"Q694490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259653$693E92C1-3812-40E1-88B7-517A7CAA36C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d1d44cf21b11ef13773952503ce77d9f4d068f4","datavalue":{"value":{"entity-type":"item","numeric-id":5259651,"id":"Q5259651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259653$963EDC2C-2039-44AA-AC3B-262EE44FCE46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8267f1856df5311ac8f067da2122b7880d3f7c0c","datavalue":{"value":{"time":"+2015-06-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":"Q5259653$EA6B79E9-CB79-4EC6-9277-F18F5F530074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259653$0E3D589F-2F05-4716-AA09-0D6849A0F4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259653$7868C12B-EA6C-46E7-8691-E9B23C63DAF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ee3e551d8618a79c19d24770ddbd349ca43ef45","datavalue":{"value":"6451643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259653$563D4B11-6B54-495D-9520-3C8382A01FF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259653$53145181-D94D-4F59-A7A8-1140CAD7C926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259653$9D0A2B04-0CCC-4A67-80BF-EF5F98DEA7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27bb350f2862fe21410d80e308e5dd36c3f219e4","datavalue":{"value":"dual intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259653$502D5CB3-A68E-41AB-B31F-2F536DFE85C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f44738cac51ff283a654145030aa0c9097b5e87","datavalue":{"value":"pseudo-constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259653$E4E16FB9-A44D-45F3-BDB5-BB4FFA778327","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":"Q5259653$CAE1D046-838E-40AB-B682-43BD6FBA6BBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acb0261cf3f4f43a3fa9b29757fbd4d4325d80ab","datavalue":{"value":"https://doi.org/10.1007/978-3-319-06080-4_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259653$0DCAED5B-FF6A-46E6-A67F-5763D6D8DEEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15960139080f15b2fb2c4802a1b8d8c437a39de5","datavalue":{"value":"W1033934183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259653$92DF18CF-AF9C-46CD-A1D6-AD2C75B86808","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2dfc188569540d0bb56e9b9daac826d6a18b37","datavalue":{"value":{"entity-type":"item","numeric-id":1220483,"id":"Q1220483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259653$64EE61B8-CE78-4B06-954F-F426034E53AA","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":"Q5259653$DAF2E874-50F2-4D6D-8DDE-4256521E163E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933c5de800d53b507ccb6d9645f24fe2bbefc56e","datavalue":{"value":{"entity-type":"item","numeric-id":2715524,"id":"Q2715524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259653$C19743AC-FD91-4BAE-8293-7CD4AFB23C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b837d80f785356c5cdc5211c3b9fa55515950df","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259653$6FE96AE8-44EA-4A33-AD1C-84E314013D41","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":"Q5259653$5286B27F-EC12-4774-84AD-DA8E931401FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40fc645ef6b13fa26298136aa38f0f9b6d1bbd7a","datavalue":{"value":{"entity-type":"item","numeric-id":1355125,"id":"Q1355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259653$5C7CAEF7-1905-4E24-AEAF-C9D379DB4C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5825148a961f228afc865f1cecca329397f40a5","datavalue":{"value":{"entity-type":"item","numeric-id":2904071,"id":"Q2904071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259653$CEEAC399-0AC7-4D79-8C60-4176DB7AF4AF","rank":"normal"}],"P1643":[{"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":"35e5dbb4d0e8eef8ab3f5b3bb967930e4d96ea07","datavalue":{"value":{"amount":"+0.7406735420227051","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":"Q5259653$FE9E12C1-CB0D-4DA3-A5D8-F35B93FE4B6E","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":"e8bd158050f7dab7b504d62fb47f4b2202e2d87e","datavalue":{"value":{"amount":"+0.7331005930900574","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":"Q5259653$CD3B2C04-3395-4D5F-B76E-67E629A232D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dddeac9786fc99ce58829ed820765c19f32b42f1","datavalue":{"value":{"entity-type":"item","numeric-id":1288969,"id":"Q1288969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436d8c486fdca84d01ae9c5c207ad9f3aff6caef","datavalue":{"value":{"amount":"+0.7264356017112732","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":"Q5259653$0F158718-A9AA-4B95-8658-5300449B28B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c93873d0ced2daf3b52bcb0b27792709f218adb","datavalue":{"value":{"entity-type":"item","numeric-id":4939407,"id":"Q4939407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed501fa5aa2f7ae943553e78db478108eec39b1","datavalue":{"value":{"amount":"+0.7248735427856445","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":"Q5259653$972CF9B4-B098-4184-AA6E-FAF384B36627","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":"c69d26db7fb754726586f55d691e722356b41f88","datavalue":{"value":{"amount":"+0.7075209021568298","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":"Q5259653$E8014835-FD86-409A-AE76-B75709A8E5B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259653"}}}}}