{"entities":{"Q4635844":{"pageid":6665425,"ns":120,"title":"Item:Q4635844","lastrevid":53070572,"modified":"2026-01-24T04:11:08Z","type":"item","id":"Q4635844","labels":{"en":{"language":"en","value":"A note on the complexity of classical and intuitionistic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863427"}},"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":"Q4635844$1914A54E-6DA1-47E1-9A2A-858BC10B822D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6285cbe18e50f81bf636c20fb65987369ed0d017","datavalue":{"value":{"text":"A Note on the Complexity of Classical and Intuitionistic Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635844$BD18B76F-ECB1-4274-B415-0EBA1B5C9324","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e5045267133715af2059a9b0b967f7e28c970c6","datavalue":{"value":"1395.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635844$8E92016F-F157-4FA1-8020-12AC4238D04E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6ae7e0b17e1620b4fb1b91eb68040659780afd6","datavalue":{"value":"10.1109/LICS.2015.66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635844$370D1239-5E21-4D3C-AF5A-F64594BDD96D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635844$F012D656-AAD2-46CD-A386-3D48081CB6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635844$B8A59EE5-66E1-4788-9028-3D8DB8AD2A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17cdb0f2ca16c9cd1883b12b5d361fd27847e033","datavalue":{"value":{"entity-type":"item","numeric-id":402113,"id":"Q402113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635844$37220EEC-036B-4D39-A58B-C12B0184A5EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635844$5DD1475C-3952-4C1B-8850-6D3BEBDF88C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635844$CDE53E6A-E10B-4559-8296-50FDF43F54D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635844$0B35094D-17F5-4ED4-98D5-69573BE1357F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635844$276551B6-52A7-4965-9F15-F054B0481C12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ff4fc51375ec1c92b891664a782c25bbb738a52","datavalue":{"value":"6863427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635844$194B6CD5-DD52-4026-B225-CE3116E61D7F","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":"Q4635844$BB09B646-8F3E-4940-9FB4-6A40C58B9E43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acb44fdb0f45be657d000d51446968d0832ba4b0","datavalue":{"value":"https://doi.org/10.1109/lics.2015.66","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635844$2A24C706-04C4-49BB-92A2-3D940CBAF0BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6848f737980cb4dc00983e1a4357bac50dca0c94","datavalue":{"value":"W2141291205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635844$F1068E7A-D0E7-49A0-A86D-B3BC710912AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"093dc2e6655d9dad58c1804e795e875aa09220d7","datavalue":{"value":{"entity-type":"item","numeric-id":1349247,"id":"Q1349247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c07eb4047e12587172602bcc86e8d6df1bc05b2","datavalue":{"value":{"amount":"+0.7928749322891235","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":"Q4635844$B302CBEE-1E12-4287-B054-ABFDD75AE9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5459115414d7cfb7aaac71d5a12384467091ea","datavalue":{"value":{"entity-type":"item","numeric-id":5234695,"id":"Q5234695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6414fa2236d0b09c3f780cfe4c20d90d0aa0c4e7","datavalue":{"value":{"amount":"+0.7882695198059082","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":"Q4635844$A19262E8-48FC-483A-95C6-F8088800193E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb3f97197cc5507bdb6e9313478f714e3311063","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a307aae5491b2523467e15240fd932dc9c1c22","datavalue":{"value":{"amount":"+0.7730039358139038","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":"Q4635844$1E5F73F2-86C5-4958-95FE-3ADA3A9C33E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa561b8b5342ab318639cadc68c91a52aafd256f","datavalue":{"value":{"entity-type":"item","numeric-id":3475264,"id":"Q3475264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41553ce67c198385410af461d223e32c4597c474","datavalue":{"value":{"amount":"+0.772918164730072","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":"Q4635844$CB891C5A-4A24-486E-85A1-6DE2DDC4DFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cfe35f01597c59a79d7085293ee38ec71a3c4d2","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b22ba81929bc7d7f56fcd3737bce20b0376013","datavalue":{"value":{"amount":"+0.7674456834793091","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":"Q4635844$6AE484EB-FBF6-4846-996B-C4BA018EE153","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635844"}}}}}