{"entities":{"Q2016062":{"pageid":2026804,"ns":120,"title":"Item:Q2016062","lastrevid":52018700,"modified":"2026-01-20T18:39:51Z","type":"item","id":"Q2016062","labels":{"en":{"language":"en","value":"Cut-elimination for weak Grzegorczyk logic Go"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6305272"}},"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":"Q2016062$EBB6FC4D-53C3-4C1C-AEA5-05E20EACD72C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea44725ef71be6064d1374d7d957f3aaa4d9069f","datavalue":{"value":{"text":"Cut-elimination for weak Grzegorczyk logic Go","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2016062$C9792DA7-3F80-4A93-A664-748ABB5D5ED7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1619a3f9e92d6fe43ebb72af54ec7fa506f353a","datavalue":{"value":"1329.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016062$4C24F288-EAB4-4CFD-AC06-4FF53D22E280","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$514EF657-6072-4652-8B3F-ADD30A533FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd26fdbdfe1d2fb01e4aa125652a423d7111de5","datavalue":{"value":{"entity-type":"item","numeric-id":1709694,"id":"Q1709694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$40FDB751-39C0-4809-B02B-0FD84203148D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$06C2EFB0-CC31-47BC-8023-442B0910E452","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"837e229c4712445d21ddb3419ca34ef7a9a006d4","datavalue":{"value":{"time":"+2014-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2016062$5A6CD439-A29B-4F09-A7F1-5C4ACEA94594","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016062$39C984A9-A9DA-4D46-BFA4-3B2E8CB90493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016062$2621E31E-11FF-4BEE-BBC5-69DDD2DAFF13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b300b4775cb099e3502850f1eae45d3200191c8f","datavalue":{"value":"6305272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016062$330C55D7-C4C9-4830-9CAE-54FCB0AA9D62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016062$7AE884BC-A6C5-4DB6-9D9F-F15E0BB96CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2eb42e9c631061f39767507435b7bd8b60b23e9","datavalue":{"value":"syntactic cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016062$83F69903-24EA-4595-A2DA-87DFEE440D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"823ee78f3b172fe5f1ae1fd25c714e61822ca135","datavalue":{"value":"Go","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016062$6222E3E3-1A1C-43D0-8F83-CDF6130BD6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98cf7d61652a989c358dd883dc2dc77f3586dff2","datavalue":{"value":"weak Grzegorczyk logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016062$700C1547-4805-4F29-BDD8-55D36D80D63A","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":"Q2016062$77B8844A-A6B1-482A-B3C5-86981BF78156","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95c5c8d201f0cade62351c922bf5fc0576be51f3","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9432-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2016062$F8A51F17-99A8-4451-8BBA-D03F892A312F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5b1e61c50f2b031c713266013c098753fd9a6ee","datavalue":{"value":"W2084145796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016062$72D5D7DA-2264-412B-AC09-D30C03EFC906","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee242edfc0ce2685f2a03ec3be9ee5cb8a12c1d","datavalue":{"value":{"entity-type":"item","numeric-id":2563456,"id":"Q2563456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$AAF4F2B1-995C-4285-9858-8CD853BBFA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$639F44E3-5BFC-4D88-B8D3-BF210D27D3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba513acce41afdadafe2075e4fa4f56dd7aa740","datavalue":{"value":{"entity-type":"item","numeric-id":3753985,"id":"Q3753985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$670AC3FC-7A6D-4321-9189-600253616B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcfc8403876b09cb2cc770b8d6fb399a97b6112d","datavalue":{"value":{"entity-type":"item","numeric-id":798649,"id":"Q798649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$0654BADF-537F-4F8A-B71F-FB6FF2BA945D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de332840536f381870db505612964ed89a02917","datavalue":{"value":{"entity-type":"item","numeric-id":3647244,"id":"Q3647244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$023EDD66-DAFF-4904-A57F-9FBB6D8608B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$32020C1A-CFB7-48F8-ABA1-BEEC687B4451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffd84912139d8217e689626c314944e5a38b834","datavalue":{"value":{"entity-type":"item","numeric-id":3086940,"id":"Q3086940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$C5258DD8-A667-4605-9F9E-B9A4098492A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738fe44281653a0a7febeb1bdb3acd3e75648d82","datavalue":{"value":{"entity-type":"item","numeric-id":5411417,"id":"Q5411417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$BEF7ED22-0747-4657-B1CB-D21210FD56F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"779bf9f138b6cf35c4f8cdddf03b162d270c24aa","datavalue":{"value":{"entity-type":"item","numeric-id":817705,"id":"Q817705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$31E9DE9D-3219-43A0-A92B-3EF009D2039D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$56413534-2B7E-481B-B5F7-14C8E4BD5F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$E5805F66-6F48-499D-AED8-91CBA34D3AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9046092912369ae53c021eb53125c7bea4658d3d","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016062$ECF23E73-1C9B-4BE7-B53E-D112DE9F811B","rank":"normal"},{"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":"Q2016062$085EA2A9-3FFE-47FF-843A-7EDA3949431B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9380788c47e95c16ab9241ed259f78fa14a18bc","datavalue":{"value":"10.1007/S11225-012-9432-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016062$0BDA8739-2204-4CE3-B42B-13C6EC990C9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5085a4f190468c7d040e315facfc5b23ae9b19","datavalue":{"value":{"entity-type":"item","numeric-id":1685937,"id":"Q1685937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708058a841f90b3b0a8749e192b6844665c18599","datavalue":{"value":{"amount":"+0.8266615271568298","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":"Q2016062$4CD5B953-679F-4195-8823-4CBD079CF46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94dbc4d5af6628bf041d1a959215ec69f7cf4ed8","datavalue":{"value":{"entity-type":"item","numeric-id":3753985,"id":"Q3753985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9bb2e202d2255e8d0fec652324677cdf90e443","datavalue":{"value":{"amount":"+0.8046929836273193","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":"Q2016062$1F977BB2-1C16-43C6-8905-86ADEAF2EC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"137ece3485bd94eb6384fe30979b166becb136e5","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8fc186b6a95de15c3ec17b9a83d2d37119ec8d","datavalue":{"value":{"amount":"+0.7725277543067932","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":"Q2016062$6CF1D8D5-E0AE-4BAE-AADD-7F1F3212441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f67801b52a527fb9014cdf6ab3e49ba3f542dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5001550,"id":"Q5001550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7782d3f6f10753fb9cd60e245bdfbc8ac1cdaa88","datavalue":{"value":{"amount":"+0.7705702781677246","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":"Q2016062$A5B3AE93-1537-4B6A-903F-58E9079E7718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33260c330036bf32f0d71212b76189aa4dd9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":2804325,"id":"Q2804325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ac27378c66af6f4fed5a907f2e747622a03f3d","datavalue":{"value":{"amount":"+0.7699216604232788","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":"Q2016062$3D6FD235-A0A8-4A7F-BA90-FEF2002F9F1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2016062","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2016062"}}}}}