{"entities":{"Q2811589":{"pageid":2822327,"ns":120,"title":"Item:Q2811589","lastrevid":52552922,"modified":"2026-01-22T23:02:05Z","type":"item","id":"Q2811589","labels":{"en":{"language":"en","value":"Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6592214"}},"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":"Q2811589$0889E47F-FCC5-4DC1-9064-21B0E5F83E49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f1c6ed85bfdbbd965882dc3f0444d888dd5ef80","datavalue":{"value":"1344.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811589$86DAD1D9-B322-4CC3-B13B-A77D5CD986E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b417081ff3600658a3025bfda3ebccf222d36d2","datavalue":{"value":{"entity-type":"item","numeric-id":174447,"id":"Q174447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811589$0862B30D-89B0-4C8B-BD3D-B3BA6A14115C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811589$7A128A53-AF6C-42A4-BFFA-BB3C9B352572","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811589$8F2E7ABC-6159-4E55-9BF1-D7AF238C927B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811589$0B4F9EF5-0B5D-4F1A-BE20-91FD373ED0D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4aac4aa15dd67af28ee84fd03a764cae3f892116","datavalue":{"value":"6592214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811589$67984203-B81C-4F98-8888-C26799A449C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1415e9a69bb48ccb94d7a4e794186d5a0711f30","datavalue":{"value":"Glivenko theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811589$C00BDD9E-31E8-4F1D-BB5C-942C6FFBF991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0feee6f0450ac63fa92bed46acf8752f7c5157f","datavalue":{"value":"classical propositional sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811589$5E181D5F-4880-49B7-84B6-AA6F3110FE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"139d4b821f0a5e8b3266eefc89a49f001f4db5d4","datavalue":{"value":"intuitionistic propositional sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811589$72415DDE-259B-41A2-85E8-72D089131B66","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":"Q2811589$4A973900-DE1C-48A1-9D72-983A6E03F1BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ea09a454bc4f91f49218b9c5794b993eb66c13c","datavalue":{"value":{"text":"Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811589$E9F0C56D-9042-4689-AFBA-4FCD9E6A35FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d13f78e0250926a342a04894d5483e01be9d177","datavalue":{"value":{"entity-type":"item","numeric-id":6770969,"id":"Q6770969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811589$628EED2F-EB24-47C8-8342-90EA08D1E8C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35150276c6bad23e4c181838fcdb965c1d8e735d","datavalue":{"value":{"amount":"+0.8393796682357788","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":"Q2811589$1CE10BD4-AF31-4F8D-9DCD-8735783C7F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5461cb2508e87a4328967389321f1e4f348459c","datavalue":{"value":{"entity-type":"item","numeric-id":2701978,"id":"Q2701978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb87180402486436e2a6c80068e821b2b17e148","datavalue":{"value":{"amount":"+0.8335216641426086","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":"Q2811589$779E7D46-924E-4CA8-91F4-CFB6ED064871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bd3300c7dc67e2bc56e6bd1256442b32e9f142","datavalue":{"value":{"entity-type":"item","numeric-id":4645244,"id":"Q4645244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81be033fdd2e855de81fc8491c5077b2386b5236","datavalue":{"value":{"amount":"+0.7873581051826477","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":"Q2811589$84977796-1B43-4A21-8C35-6822F5F9E3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8227bbe8bca555f1cdf693b9d531cbbd0d7f90","datavalue":{"value":{"amount":"+0.7832266092300415","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":"Q2811589$22000D90-372A-4AE5-BA7D-A963DB9E9A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e9b9d0f7d471546cf959849cfb3699590e8c97","datavalue":{"value":{"entity-type":"item","numeric-id":4533383,"id":"Q4533383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8227bbe8bca555f1cdf693b9d531cbbd0d7f90","datavalue":{"value":{"amount":"+0.7832266092300415","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":"Q2811589$C2E9E45B-5761-448F-BEA0-BD1CCFE9288E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811589","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811589"}}}}}