{"entities":{"Q6640374":{"pageid":14251526,"ns":120,"title":"Item:Q6640374","lastrevid":99929594,"modified":"2026-06-05T21:02:00Z","type":"item","id":"Q6640374","labels":{"en":{"language":"en","value":"Colourful TFNP and propositional proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7946377"}},"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":"Q6640374$B95931FB-AE05-4503-97C8-7E3748EE454A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62732bd709c8b59c5a2d1bf34a8abf7c684152b0","datavalue":{"value":{"text":"Colourful TFNP and propositional proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6640374$78FE00E4-B39D-4B26-AC22-9FA0C100AA8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd46923efd015b21aead32d7998578d449fe0e65","datavalue":{"value":{"entity-type":"item","numeric-id":2169430,"id":"Q2169430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6640374$0D16BEFA-ED5B-4398-9968-34074DC9DF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7749ea419a7c3b783242f22f32dec4d05237622f","datavalue":{"value":{"entity-type":"item","numeric-id":2040599,"id":"Q2040599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6640374$7EE9F088-4AC0-40A7-98AC-1CB7B01E703F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51eae7dddb64e9526fdf435a881f345596fc8b93","datavalue":{"value":{"time":"+2024-11-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":"Q6640374$CC0C611E-51AB-4143-BA22-80814969EFDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6640374$43BCF526-FEA0-4A6A-ACCC-6467E1BE7D59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e066723b5f98048e47564c3bd8770eb7a117b9b6","datavalue":{"value":"7946377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6640374$FD4446AA-6A2C-4A89-8760-294873C8F8B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06138d60ee164e8616adbadcd1bbd4b9bc2bbd6","datavalue":{"value":"oracle separations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640374$28682597-3893-4D78-9336-E946113F3DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645f355bfce2b56ddcc0a50b9d76eb626f7374fb","datavalue":{"value":"TFNP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640374$3A796A03-D473-495D-AD31-02A4BF3CEF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640374$EA4CDE1E-3E34-4B09-B87F-5A8B160933E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7ca7a697624762700bbaeb1775e6a796dccf34","datavalue":{"value":"res(k)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640374$B8DD7531-B581-4ACC-9A3F-10B8D1FAC830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640374$95BD1B9F-BB60-487E-85CD-10DD53C9D6F5","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":"Q6640374$880D7434-9277-4FB6-92D2-702FAB8FA7B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"169af8d9506d85bf0219e3f2547be77739ef5fa1","datavalue":{"value":"10.4230/LIPICS.CCC.2023.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6640374$6ED78264-60E1-4F16-8E15-566FB3B1059D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Colourful TFNP and propositional proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Colourful_TFNP_and_propositional_proofs"}}}}}