{"entities":{"Q6942976":{"pageid":21161463,"ns":120,"title":"Item:Q6942976","lastrevid":75938655,"modified":"2026-04-21T14:58:00Z","type":"item","id":"Q6942976","labels":{"en":{"language":"en","value":"Separations in proof complexity and TFNP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8080001"}},"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":"Q6942976$8323CDBE-D275-4EAE-94B8-1F1D192400E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f5b9b84833e9fc8e2d56f4bff4e15d88bc45a66","datavalue":{"value":{"text":"Separations in proof complexity and TFNP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6942976$749745BA-E8FF-4D68-BF65-F1D9051902A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba799cfa1a3b739436f1ab136a7792f21744194f","datavalue":{"value":"10.1109/FOCS54457.2022.00111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6942976$D37FD9B9-5E28-4CBD-9083-AA4209454498","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74f912e9d0f1183f23995006f20925652142b539","datavalue":{"value":{"entity-type":"item","numeric-id":777963,"id":"Q777963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6942976$BEDEDC71-F94F-4C1A-9C84-D4BD88477168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e7771b655df3ef6dceea1d7f7c6f3f22415937e","datavalue":{"value":{"entity-type":"item","numeric-id":2169431,"id":"Q2169431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6942976$B11EE036-79FE-44AD-9AC7-549BD70221AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4eef2e058cfea5f54b3296819fc24f9fd34ab829","datavalue":{"value":{"entity-type":"item","numeric-id":6325084,"id":"Q6325084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6942976$4BF2BE29-7A62-4BD1-BC99-F308D6BBD69E","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":"Q6942976$12FF7370-102D-4DFD-9CEB-38DFE75D9885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a2baf9ae763263b78068f971e77632a847dfbe","datavalue":{"value":{"entity-type":"item","numeric-id":6115372,"id":"Q6115372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6942976$AA88AF1C-99F0-4D19-B1F3-74122DA3FA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"600f652e978b8683c5f208899a92f0c12d6a6b49","datavalue":{"value":{"entity-type":"item","numeric-id":3569930,"id":"Q3569930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6942976$E515AA86-29F3-4766-B786-5464CBADB109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"207ffe16549c5b4389b28516e26cdf011222b0b3","datavalue":{"value":{"entity-type":"item","numeric-id":269490,"id":"Q269490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6942976$0E4E12CF-5732-4B89-8053-7FEA500A08F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c353c511b4dc13ecee102b336a2664d881fe8b6f","datavalue":{"value":{"time":"+2025-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6942976$A4B14F72-EDF4-474B-8129-A794D7563DF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6942976$B64B2D38-42E0-4A92-9AEE-DE21E5DD03E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d5f5d57a7c5391504415a6ead6e2ed2eb81ea43","datavalue":{"value":"8080001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6942976$83DCFEFE-1019-4D76-BD25-592C7C31D1B0","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":"Q6942976$A163C432-5D31-4D5F-80E6-D3EE3DC54901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separations in proof complexity and TFNP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separations_in_proof_complexity_and_TFNP"}}}}}