{"entities":{"Q3743313":{"pageid":5773219,"ns":120,"title":"Item:Q3743313","lastrevid":50963444,"modified":"2026-01-15T23:10:43Z","type":"item","id":"Q3743313","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3977009"}},"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":"Q3743313$AAFD796B-DF23-4A44-B67E-AB54B7C7987D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"402da24ce8e653823a4863864b2edea9c85a6e18","datavalue":{"value":"0605.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743313$4803D4BB-0C4B-4E34-AE44-48208389CB0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3743313$B35DFB4D-6F1A-49AD-9CD8-C99660ACB886","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743313$6923582E-D77E-405F-8E85-3E03736A784E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a5d26276a685c71ade0448fa7b62072c7bc609a","datavalue":{"value":"3977009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743313$3D3BA4D3-A239-4B19-A1E6-9D690D9018BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"330def18352fb33e388df0803d89faf172c20d9e","datavalue":{"value":"bounded formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743313$E4D820C3-FBF6-4E71-ABD3-45323EAC886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4813b8e9cf1db4b3a7b929086209260906139d41","datavalue":{"value":"sigma formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743313$60E3D037-136B-471E-B8FA-263827A86553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3363fc7f727507b2255b39be1c0459fd887eed7","datavalue":{"value":"sequent calculus RBC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743313$71DECBD9-548D-455C-8EEB-722D56574C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b19c6b6ca3417b0683f92e14b2d32038d5f20e7","datavalue":{"value":"Collection Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743313$CF41BB98-E2F3-49FC-A899-DD9912FD909E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743313$A8440434-AB2D-4FB9-845B-7B59AA9C9FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b314998bf874ec4a15be488adb6e62f9123b61a","datavalue":{"value":"analogue of E-theorem for RBC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743313$3B3CA289-3C9D-4A99-8C8A-D349B8BD59CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae35bad7549359b9b6aca521ddc233f7fa22071","datavalue":{"value":"generalization of cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743313$2716E6DE-A27C-4A22-B869-0E268BE2E761","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f97442067587f34561e1b330380ce554ed3a639e","datavalue":{"value":{"entity-type":"item","numeric-id":1311972,"id":"Q1311972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3743313$8B7E9693-3023-4252-BFFF-0F57F8D34639","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":"Q3743313$B3BD76E2-96F9-4604-9EE3-94962DEE2FD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6f70a7675f656e388484fc22d0f1af31a54d67","datavalue":{"value":{"entity-type":"item","numeric-id":3029007,"id":"Q3029007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4ea5dd68f991d8f35d47c52e887501e9d9a497","datavalue":{"value":{"amount":"+0.756698727607727","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":"Q3743313$234B98EE-8E61-47C9-BAC3-99D4B9130265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7cf2bddc1bdbbb99bc09afd6251963098d986d","datavalue":{"value":{"entity-type":"item","numeric-id":1267837,"id":"Q1267837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12e33227cb5eb2a181e7b72e557125717766209","datavalue":{"value":{"amount":"+0.7003456950187683","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":"Q3743313$5EB3AEC6-BD4A-43EB-95A6-940AF35D6869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f7eb7b155e686d1e5e67bd5fcf9d19fc2d855f","datavalue":{"value":{"entity-type":"item","numeric-id":3552388,"id":"Q3552388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12e33227cb5eb2a181e7b72e557125717766209","datavalue":{"value":{"amount":"+0.7003456950187683","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":"Q3743313$589AFFE0-8D7D-442A-9BD4-1082A3EE4864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6139eb162ffafedfc84c8624167295d89372d593","datavalue":{"value":{"entity-type":"item","numeric-id":4264539,"id":"Q4264539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27120363435c4768630e56aba5d04d6cbed44dab","datavalue":{"value":{"amount":"+0.6926981210708618","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":"Q3743313$2EEFAE45-5463-4103-93E8-A0AF7927A692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91240cf30087291545b29183dc984d261ab98d66","datavalue":{"value":{"entity-type":"item","numeric-id":4867394,"id":"Q4867394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc2477f09519c6646bbe4f43576c1769bac7864","datavalue":{"value":{"amount":"+0.6906360983848572","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":"Q3743313$3F73CEBD-65A6-4AE4-AD5E-AA64A98C7963","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3743313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3743313"}}}}}